source: src/Tests/Expect-a/InferParam.txt@ 189243c

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 189243c 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: 3.7 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 ?=?: 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 ?=?: 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: 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 void
72
73h: function
74 accepting unspecified arguments
75 returning
76 void
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 ?=?: 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 ?=?: 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 instance of context has_f_and_j
138 with parameters
139 instance of type T (not function type)
140 instance of type U (not function type)
141
142
143 function
144 with parameters
145 instance of type T (not function type)
146 returning
147 instance of type U (not function type)
148
149l: function
150 accepting unspecified arguments
151 returning
152 void
153 with body
154 CompoundStmt
155 Declaration of b: signed int
156 Expression Statement:
157 Applying untyped:
158 Name: i
159 ...to:
160 Applying untyped:
161 Name: k
162 ...to:
163 Name: b
164
165
Note: See TracBrowser for help on using the repository browser.