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

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 with_gc
Last change on this file since c44e622 was b1d6dd5, checked in by Peter A. Buhr <pabuhr@…>, 11 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.