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

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change on this file since b617e4b was b1d6dd5, checked in by Peter A. Buhr <pabuhr@…>, 9 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.