source: src/Tests/Expect-v/Abstype.txt @ b1d6dd5

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
Last change on this file since b1d6dd5 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: 3.4 KB
Line 
1T: type
2  with assertions
3    x: function
4        with parameters
5          instance of type T (not function type)
6        returning
7          instance of type T (not function type)
8
9
10?=?: automatically generated function
11    with parameters
12      _dst: pointer to instance of type T (not function type)
13      _src: instance of type T (not function type)
14    returning
15      instance of type T (not function type)
16
17y: function
18    with parameters
19      t: instance of type T (not function type)
20    returning
21      instance of type T (not function type)
22    with body
23      CompoundStmt
24        Declaration of t_instance: instance of type T (not function type)
25                  Return Statement, returning: Applying untyped:
26    Name: x
27...to:
28    Name: t
29
30
31
32*?: forall
33      T: type
34        with assertions
35          ?=?: pointer to function
36              with parameters
37                pointer to instance of type T (not function type)
38                instance of type T (not function type)
39              returning
40                instance of type T (not function type)
41
42
43    function
44    with parameters
45      pointer to instance of type T (not function type)
46    returning
47      lvalue instance of type T (not function type)
48
49?++: function
50    with parameters
51      pointer to signed int
52    returning
53      signed int
54
55?=?: function
56    with parameters
57      pointer to signed int
58      signed int
59    returning
60      signed int
61
62?=?: forall
63      DT: incomplete type
64    function
65    with parameters
66      pointer to pointer to instance of type DT (not function type)
67      pointer to instance of type DT (not function type)
68    returning
69      pointer to instance of type DT (not function type)
70
71U: type for pointer to signed int
72?=?: automatically generated function
73    with parameters
74      _dst: pointer to instance of type U (not function type)
75      _src: instance of type U (not function type)
76    returning
77      instance of type U (not function type)
78    with body
79      CompoundStmt
80                  Return Statement, returning: Applying untyped:
81    Name: ?=?
82...to:
83    Cast of:
84      Variable Expression: _dst: pointer to instance of type U (not function type)
85
86    to:
87      pointer to pointer to signed int
88    Cast of:
89      Variable Expression: _src: instance of type U (not function type)
90
91    to:
92      pointer to signed int
93
94
95
96x: function
97    with parameters
98      u: instance of type U (not function type)
99    returning
100      instance of type U (not function type)
101    with body
102      CompoundStmt
103        Declaration of u_instance: instance of type U (not function type) with initializer
104          Simple Initializer:             Name: u
105
106                  Expression Statement:
107            Applying untyped:
108                Name: ?=?
109            ...to:
110                Address of:
111                  Name: u_instance
112                Name: u
113
114                  Expression Statement:
115            Applying untyped:
116                Name: ?++
117            ...to:
118                Address of:
119                  Applying untyped:
120                      Name: *?
121                  ...to:
122                      Name: u
123
124                  Return Statement, returning: Name: u
125
126
127
128break_abstraction: function
129    with parameters
130      u: instance of type U (not function type)
131    returning
132      pointer to signed int
133    with body
134      CompoundStmt
135                  Return Statement, returning: Name: u
136
137
138
Note: See TracBrowser for help on using the repository browser.