source: src/Tests/Expect-v/InferParam.txt@ 9cdce58

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 9cdce58 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.0 KB
RevLine 
[b1d6dd5]1?=?: function
2 with parameters
3 pointer to signed int
4 signed int
5 returning
6 signed int
7
8?=?: function
9 with parameters
10 pointer to float
11 float
12 returning
13 float
14
15?=?: function
16 with parameters
17 pointer to double
18 double
19 returning
20 double
21
22g: forall
23 T: type
24 with assertions
25 ?=?: pointer to function
26 with parameters
27 pointer to instance of type T (not function type)
28 instance of type T (not function type)
29 returning
30 instance of type T (not function type)
31
32
33 U: type
34 with assertions
35 ?=?: pointer to function
36 with parameters
37 pointer to instance of type U (not function type)
38 instance of type U (not function type)
39 returning
40 instance of type U (not function type)
41
42 f: pointer to function
43 with parameters
44 instance of type T (not function type)
45 returning
46 instance of type U (not function type)
47
48
49 function
50 with parameters
51 instance of type T (not function type)
52 returning
53 instance of type U (not function type)
54
55f: function
56 with parameters
57 signed int
58 returning
59 float
60
61f: function
62 with parameters
63 signed int
64 returning
65 double
66
67i: function
68 with parameters
69 float
70 returning
71 nothing
72
73h: function
74 accepting unspecified arguments
75 returning
76 nothing
77 with body
78 CompoundStmt
79 Declaration of a: signed int
80 Expression Statement:
81 Applying untyped:
82 Name: i
83 ...to:
84 Applying untyped:
85 Name: g
86 ...to:
87 Name: a
88
89
90context has_f_and_j
91 with parameters
92 T: type
93 U: type
94
95 with members
96 f: function
97 with parameters
98 instance of type T (not function type)
99 returning
100 instance of type U (not function type)
101
102 j: function
103 with parameters
104 instance of type T (not function type)
105 instance of type U (not function type)
106 returning
107 instance of type U (not function type)
108
109
110j: function
111 with parameters
112 signed int
113 float
114 returning
115 float
116
117k: forall
118 T: type
119 with assertions
120 ?=?: pointer to function
121 with parameters
122 pointer to instance of type T (not function type)
123 instance of type T (not function type)
124 returning
125 instance of type T (not function type)
126
127
128 U: type
129 with assertions
130 ?=?: pointer to function
131 with parameters
132 pointer to instance of type U (not function type)
133 instance of type U (not function type)
134 returning
135 instance of type U (not function type)
136
137 f: pointer to function
138 with parameters
139 instance of type T (not function type)
140 returning
141 instance of type U (not function type)
142
143 j: pointer to function
144 with parameters
145 instance of type T (not function type)
146 instance of type U (not function type)
147 returning
148 instance of type U (not function type)
149
150
151 function
152 with parameters
153 instance of type T (not function type)
154 returning
155 instance of type U (not function type)
156
157l: function
158 accepting unspecified arguments
159 returning
160 nothing
161 with body
162 CompoundStmt
163 Declaration of b: signed int
164 Expression Statement:
165 Applying untyped:
166 Name: i
167 ...to:
168 Applying untyped:
169 Name: k
170 ...to:
171 Name: b
172
173
Note: See TracBrowser for help on using the repository browser.