source: src/Tests/Expect-a/Scope.txt@ e01559c

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors ctor deferred_resn demangler enum forall-pointer-decay gc_noraii jacob/cs343-translation jenkins-sandbox memory new-ast new-ast-unique-expr new-env no_list persistent-indexer pthread-emulation qualifiedEnum resolv-new string with_gc
Last change on this file since e01559c was b1d6dd5, checked in by Peter A. Buhr <pabuhr@…>, 10 years ago

fix parsing error for EOF message, change cfa-ccp -x flag to -v, regression testing third attempt: consolidate example programs
  • Property mode set to 100644
File size: 4.3 KB
Line 
1x: signed int
2y: typedef for double
3t: typedef for float
4z: instance of type y (not function type)
5struct __anonymous0
6 with members
7 a: signed int
8 b: double
9
10u: type for instance of struct __anonymous0
11f: function
12 with parameters
13 y: signed int
14 returning
15 signed int
16
17q: instance of type y (not function type)
18w: function
19 with parameters
20 y: instance of type y (not function type)
21 v: instance of type u (not function type)
22 returning
23 instance of type y (not function type)
24 with body
25 CompoundStmt
26 Declaration of x: type
27 with assertions
28 t: function
29 with parameters
30 instance of type u (not function type)
31 returning
32 instance of type x (not function type)
33
34
35 Declaration of u: instance of type u (not function type) with initializer
36 Simple Initializer: Name: y
37
38 Declaration of z: instance of type x (not function type) with initializer
39 Simple Initializer: Applying untyped:
40 Name: t
41 ...to:
42 Name: u
43
44
45p: instance of type y (not function type)
46context has_u
47 with parameters
48 z: type
49
50 with members
51 u: function
52 with parameters
53 instance of type z (not function type)
54 returning
55 instance of type z (not function type)
56
57
58q: forall
59 t: type
60 with assertions
61 ?=?: function
62 with parameters
63 pointer to instance of type t (not function type)
64 instance of type t (not function type)
65 returning
66 instance of type t (not function type)
67
68 instance of context has_u
69 with parameters
70 instance of type t (not function type)
71
72
73 function
74 with parameters
75 the_t: instance of type t (not function type)
76 returning
77 instance of type y (not function type)
78 with body
79 CompoundStmt
80 Declaration of y: instance of type t (not function type) with initializer
81 Simple Initializer: Applying untyped:
82 Name: u
83 ...to:
84 Name: the_t
85
86
87f: function
88 with parameters
89 p: instance of type y (not function type)
90 returning
91 instance of type t (not function type)
92 with body
93 CompoundStmt
94 Declaration of y: signed int
95 Declaration of x: typedef for char
96 CompoundStmt
97 Declaration of y: instance of type x (not function type)
98 Declaration of z: typedef for instance of type x (not function type)
99 CompoundStmt
100 Declaration of x: instance of type z (not function type)
101 Declaration of y: typedef for instance of type z (not function type)
102 Declaration of z: instance of type y (not function type) with initializer
103 Simple Initializer: Name: x
104
105
106 Declaration of x: instance of type z (not function type) with initializer
107 Simple Initializer: Name: y
108
109
110 Declaration of q: instance of type x (not function type) with initializer
111 Simple Initializer: Name: y
112
113
114g: function
115 with parameters
116 void
117 returning
118 instance of type t (not function type)
119 with body
120 CompoundStmt
121 Declaration of x: typedef for char
122 Try Statement
123 with block:
124 CompoundStmt
125 Expression Statement:
126 Applying untyped:
127 Name: some_func
128 ...to:
129
130 and handlers:
131 Catch Statement
132 ... catching
133x: instance of type x (not function type)
134
135 Declaration of z: instance of type x (not function type)
136
137q: function
138 accepting unspecified arguments
139 returning
140 instance of type y (not function type)
141 with parameter names
142 i
143 with parameter declarations
144 i: signed int
145 with body
146 CompoundStmt
147 Switch on condition: Name: i
148
149 Case Name: 0
150
151 Return Statement, returning: Name: q
152
153 Default
154 Return Statement, returning: Name: i
155
156
157
Note: See TracBrowser for help on using the repository browser.