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

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 a3e7d34 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
RevLine 
[5f2f2d7]1x: signed int
2y: typedef for double
3t: typedef for float
4z: instance of type y (not function type)
[51b7345]5struct __anonymous0
6    with members
[5f2f2d7]7      a: signed int
8      b: double
[51b7345]9
[5f2f2d7]10u: type for instance of struct __anonymous0
11f: function
[51b7345]12    with parameters
[5f2f2d7]13      y: signed int
[51b7345]14    returning
15      signed int
16
[5f2f2d7]17q: instance of type y (not function type)
18w: function
[51b7345]19    with parameters
[5f2f2d7]20      y: instance of type y (not function type)
21      v: instance of type u (not function type)
[51b7345]22    returning
[5f2f2d7]23      instance of type y (not function type)
[51b7345]24    with body
[5f2f2d7]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
[51b7345]37
[5f2f2d7]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
[51b7345]43
44
[5f2f2d7]45p: instance of type y (not function type)
[51b7345]46context has_u
47    with parameters
[5f2f2d7]48      z: type
[51b7345]49
50    with members
[5f2f2d7]51      u: function
[51b7345]52          with parameters
[5f2f2d7]53            instance of type z (not function type)
[51b7345]54          returning
[5f2f2d7]55            instance of type z (not function type)
[51b7345]56
57
[5f2f2d7]58q: forall
59      t: type
[51b7345]60        with assertions
[5f2f2d7]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
[51b7345]68          instance of context has_u
69            with parameters
[5f2f2d7]70              instance of type t (not function type)
[51b7345]71
72
[5f2f2d7]73    function
74    with parameters
75      the_t: instance of type t (not function type)
[51b7345]76    returning
[5f2f2d7]77      instance of type y (not function type)
[51b7345]78    with body
[5f2f2d7]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
[51b7345]85
[5f2f2d7]86
87f: function
[51b7345]88    with parameters
[5f2f2d7]89      p: instance of type y (not function type)
[51b7345]90    returning
[5f2f2d7]91      instance of type t (not function type)
[51b7345]92    with body
[5f2f2d7]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
[51b7345]108
109
[5f2f2d7]110        Declaration of q: instance of type x (not function type) with initializer
111          Simple Initializer:             Name: y
[51b7345]112
[5f2f2d7]113
114g: function
[51b7345]115    with parameters
116      void
117    returning
[5f2f2d7]118      instance of type t (not function type)
[51b7345]119    with body
[5f2f2d7]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
[51b7345]139    returning
[5f2f2d7]140      instance of type y (not function type)
[51b7345]141    with parameter names
142      i
143    with parameter declarations
[5f2f2d7]144      i: signed int
[51b7345]145    with body
[5f2f2d7]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
[51b7345]156
157
Note: See TracBrowser for help on using the repository browser.