1 | ?=?: a function
|
---|
2 | with parameters
|
---|
3 | pointer to char
|
---|
4 | char
|
---|
5 | returning
|
---|
6 | char
|
---|
7 |
|
---|
8 | ?=?: a function
|
---|
9 | with parameters
|
---|
10 | pointer to signed int
|
---|
11 | signed int
|
---|
12 | returning
|
---|
13 | signed int
|
---|
14 |
|
---|
15 | ?=?: a function
|
---|
16 | with parameters
|
---|
17 | pointer to float
|
---|
18 | float
|
---|
19 | returning
|
---|
20 | float
|
---|
21 |
|
---|
22 | ?=?: a forall
|
---|
23 | DT: a incomplete type
|
---|
24 | function
|
---|
25 | with parameters
|
---|
26 | pointer to pointer to instance of type DT
|
---|
27 | pointer to instance of type DT
|
---|
28 | returning
|
---|
29 | pointer to instance of type DT
|
---|
30 |
|
---|
31 | *?: a forall
|
---|
32 | T: a type
|
---|
33 | with assertions
|
---|
34 | ?=?: a pointer to function
|
---|
35 | with parameters
|
---|
36 | pointer to instance of type T
|
---|
37 | instance of type T
|
---|
38 | returning
|
---|
39 | instance of type T
|
---|
40 |
|
---|
41 |
|
---|
42 | function
|
---|
43 | with parameters
|
---|
44 | pointer to instance of type T
|
---|
45 | returning
|
---|
46 | lvalue instance of type T
|
---|
47 |
|
---|
48 | __builtin_memcpy: a function
|
---|
49 | accepting unspecified arguments
|
---|
50 | returning
|
---|
51 | pointer to char
|
---|
52 |
|
---|
53 | a: a function
|
---|
54 | with parameters
|
---|
55 | char
|
---|
56 | returning
|
---|
57 | nothing
|
---|
58 |
|
---|
59 | b: a function
|
---|
60 | with parameters
|
---|
61 | signed int
|
---|
62 | returning
|
---|
63 | nothing
|
---|
64 |
|
---|
65 | c: a function
|
---|
66 | with parameters
|
---|
67 | pointer to signed int
|
---|
68 | returning
|
---|
69 | nothing
|
---|
70 |
|
---|
71 | d: a function
|
---|
72 | with parameters
|
---|
73 | pointer to float
|
---|
74 | returning
|
---|
75 | nothing
|
---|
76 |
|
---|
77 | struct a_struct
|
---|
78 | with members
|
---|
79 | a: a signed int
|
---|
80 | a: a char
|
---|
81 | a: a float
|
---|
82 |
|
---|
83 | ?=?: a automatically generated inline static function
|
---|
84 | with parameters
|
---|
85 | _dst: a pointer to instance of struct a_struct
|
---|
86 | _src: a instance of struct a_struct
|
---|
87 | returning
|
---|
88 | instance of struct a_struct
|
---|
89 | with body
|
---|
90 |
|
---|
91 | Expression Statement:
|
---|
92 | Application of
|
---|
93 | Variable Expression: ?=?: a function
|
---|
94 | with parameters
|
---|
95 | pointer to signed int
|
---|
96 | signed int
|
---|
97 | returning
|
---|
98 | signed int
|
---|
99 |
|
---|
100 | to arguments
|
---|
101 | Address of:
|
---|
102 | Member Expression, with field:
|
---|
103 | a: a signed int
|
---|
104 | from aggregate:
|
---|
105 | Applying untyped:
|
---|
106 | Name: *?
|
---|
107 |
|
---|
108 | ...to:
|
---|
109 | Variable Expression: _dst: a pointer to instance of struct a_struct
|
---|
110 |
|
---|
111 | Member Expression, with field:
|
---|
112 | a: a signed int
|
---|
113 | from aggregate:
|
---|
114 | Variable Expression: _src: a instance of struct a_struct
|
---|
115 |
|
---|
116 | with environment:
|
---|
117 | Types:
|
---|
118 | Non-types:
|
---|
119 |
|
---|
120 |
|
---|
121 | Expression Statement:
|
---|
122 | Application of
|
---|
123 | Variable Expression: ?=?: a function
|
---|
124 | with parameters
|
---|
125 | pointer to char
|
---|
126 | char
|
---|
127 | returning
|
---|
128 | char
|
---|
129 |
|
---|
130 | to arguments
|
---|
131 | Address of:
|
---|
132 | Member Expression, with field:
|
---|
133 | a: a char
|
---|
134 | from aggregate:
|
---|
135 | Applying untyped:
|
---|
136 | Name: *?
|
---|
137 |
|
---|
138 | ...to:
|
---|
139 | Variable Expression: _dst: a pointer to instance of struct a_struct
|
---|
140 |
|
---|
141 | Member Expression, with field:
|
---|
142 | a: a char
|
---|
143 | from aggregate:
|
---|
144 | Variable Expression: _src: a instance of struct a_struct
|
---|
145 |
|
---|
146 | with environment:
|
---|
147 | Types:
|
---|
148 | Non-types:
|
---|
149 |
|
---|
150 |
|
---|
151 | Expression Statement:
|
---|
152 | Application of
|
---|
153 | Variable Expression: ?=?: a function
|
---|
154 | with parameters
|
---|
155 | pointer to float
|
---|
156 | float
|
---|
157 | returning
|
---|
158 | float
|
---|
159 |
|
---|
160 | to arguments
|
---|
161 | Address of:
|
---|
162 | Member Expression, with field:
|
---|
163 | a: a float
|
---|
164 | from aggregate:
|
---|
165 | Applying untyped:
|
---|
166 | Name: *?
|
---|
167 |
|
---|
168 | ...to:
|
---|
169 | Variable Expression: _dst: a pointer to instance of struct a_struct
|
---|
170 |
|
---|
171 | Member Expression, with field:
|
---|
172 | a: a float
|
---|
173 | from aggregate:
|
---|
174 | Variable Expression: _src: a instance of struct a_struct
|
---|
175 |
|
---|
176 | with environment:
|
---|
177 | Types:
|
---|
178 | Non-types:
|
---|
179 |
|
---|
180 |
|
---|
181 | Return Statement, returning: Cast of:
|
---|
182 | Variable Expression: _src: a instance of struct a_struct
|
---|
183 |
|
---|
184 | to:
|
---|
185 | instance of struct a_struct
|
---|
186 | with environment:
|
---|
187 | Types:
|
---|
188 | Non-types:
|
---|
189 |
|
---|
190 |
|
---|
191 |
|
---|
192 | union b_struct
|
---|
193 | with members
|
---|
194 | a: a pointer to signed int
|
---|
195 | a: a pointer to char
|
---|
196 | a: a pointer to float
|
---|
197 |
|
---|
198 | ?=?: a automatically generated inline static function
|
---|
199 | with parameters
|
---|
200 | _dst: a pointer to instance of union b_struct
|
---|
201 | _src: a instance of union b_struct
|
---|
202 | returning
|
---|
203 | instance of union b_struct
|
---|
204 | with body
|
---|
205 |
|
---|
206 | Expression Statement:
|
---|
207 | Application of
|
---|
208 | Variable Expression: __builtin_memcpy: a function
|
---|
209 | accepting unspecified arguments
|
---|
210 | returning
|
---|
211 | pointer to char
|
---|
212 |
|
---|
213 | to arguments
|
---|
214 | Variable Expression: _dst: a pointer to instance of union b_struct
|
---|
215 |
|
---|
216 | Address of:
|
---|
217 | Variable Expression: _src: a instance of union b_struct
|
---|
218 |
|
---|
219 | Sizeof Expression on: instance of union b_struct
|
---|
220 |
|
---|
221 | with environment:
|
---|
222 | Types:
|
---|
223 | Non-types:
|
---|
224 |
|
---|
225 |
|
---|
226 | Return Statement, returning: Cast of:
|
---|
227 | Variable Expression: _src: a instance of union b_struct
|
---|
228 |
|
---|
229 | to:
|
---|
230 | instance of union b_struct
|
---|
231 | with environment:
|
---|
232 | Types:
|
---|
233 | Non-types:
|
---|
234 |
|
---|
235 |
|
---|
236 |
|
---|
237 | f: a function
|
---|
238 | accepting unspecified arguments
|
---|
239 | returning
|
---|
240 | nothing
|
---|
241 | with body
|
---|
242 | Declaration of the_struct: a instance of struct a_struct
|
---|
243 | Declaration of the_struct: a instance of union b_struct
|
---|
244 |
|
---|
245 | Expression Statement:
|
---|
246 | Application of
|
---|
247 | Variable Expression: a: a function
|
---|
248 | with parameters
|
---|
249 | char
|
---|
250 | returning
|
---|
251 | nothing
|
---|
252 |
|
---|
253 | to arguments
|
---|
254 | Member Expression, with field:
|
---|
255 | a: a char
|
---|
256 | from aggregate:
|
---|
257 | Variable Expression: the_struct: a instance of struct a_struct
|
---|
258 |
|
---|
259 | with environment:
|
---|
260 | Types:
|
---|
261 | Non-types:
|
---|
262 |
|
---|
263 |
|
---|
264 | Expression Statement:
|
---|
265 | Application of
|
---|
266 | Variable Expression: b: a function
|
---|
267 | with parameters
|
---|
268 | signed int
|
---|
269 | returning
|
---|
270 | nothing
|
---|
271 |
|
---|
272 | to arguments
|
---|
273 | Member Expression, with field:
|
---|
274 | a: a signed int
|
---|
275 | from aggregate:
|
---|
276 | Variable Expression: the_struct: a instance of struct a_struct
|
---|
277 |
|
---|
278 | with environment:
|
---|
279 | Types:
|
---|
280 | Non-types:
|
---|
281 |
|
---|
282 |
|
---|
283 | Expression Statement:
|
---|
284 | Application of
|
---|
285 | Variable Expression: c: a function
|
---|
286 | with parameters
|
---|
287 | pointer to signed int
|
---|
288 | returning
|
---|
289 | nothing
|
---|
290 |
|
---|
291 | to arguments
|
---|
292 | Member Expression, with field:
|
---|
293 | a: a pointer to signed int
|
---|
294 | from aggregate:
|
---|
295 | Variable Expression: the_struct: a instance of union b_struct
|
---|
296 |
|
---|
297 | with environment:
|
---|
298 | Types:
|
---|
299 | Non-types:
|
---|
300 |
|
---|
301 |
|
---|
302 | Expression Statement:
|
---|
303 | Application of
|
---|
304 | Variable Expression: d: a function
|
---|
305 | with parameters
|
---|
306 | pointer to float
|
---|
307 | returning
|
---|
308 | nothing
|
---|
309 |
|
---|
310 | to arguments
|
---|
311 | Member Expression, with field:
|
---|
312 | a: a pointer to float
|
---|
313 | from aggregate:
|
---|
314 | Variable Expression: the_struct: a instance of union b_struct
|
---|
315 |
|
---|
316 | with environment:
|
---|
317 | Types:
|
---|
318 | Non-types:
|
---|
319 |
|
---|
320 |
|
---|
321 | struct c_struct
|
---|
322 | with members
|
---|
323 | signed int
|
---|
324 | char
|
---|
325 | float
|
---|
326 |
|
---|
327 | ?=?: a automatically generated inline static function
|
---|
328 | with parameters
|
---|
329 | _dst: a pointer to instance of struct c_struct
|
---|
330 | _src: a instance of struct c_struct
|
---|
331 | returning
|
---|
332 | instance of struct c_struct
|
---|
333 | with body
|
---|
334 |
|
---|
335 | Expression Statement:
|
---|
336 | Application of
|
---|
337 | Variable Expression: ?=?: a function
|
---|
338 | with parameters
|
---|
339 | pointer to signed int
|
---|
340 | signed int
|
---|
341 | returning
|
---|
342 | signed int
|
---|
343 |
|
---|
344 | to arguments
|
---|
345 | Address of:
|
---|
346 | Member Expression, with field:
|
---|
347 | signed int
|
---|
348 | from aggregate:
|
---|
349 | Applying untyped:
|
---|
350 | Name: *?
|
---|
351 |
|
---|
352 | ...to:
|
---|
353 | Variable Expression: _dst: a pointer to instance of struct c_struct
|
---|
354 |
|
---|
355 | Member Expression, with field:
|
---|
356 | signed int
|
---|
357 | from aggregate:
|
---|
358 | Variable Expression: _src: a instance of struct c_struct
|
---|
359 |
|
---|
360 | with environment:
|
---|
361 | Types:
|
---|
362 | Non-types:
|
---|
363 |
|
---|
364 |
|
---|
365 | Expression Statement:
|
---|
366 | Application of
|
---|
367 | Variable Expression: ?=?: a function
|
---|
368 | with parameters
|
---|
369 | pointer to char
|
---|
370 | char
|
---|
371 | returning
|
---|
372 | char
|
---|
373 |
|
---|
374 | to arguments
|
---|
375 | Address of:
|
---|
376 | Member Expression, with field:
|
---|
377 | char
|
---|
378 | from aggregate:
|
---|
379 | Applying untyped:
|
---|
380 | Name: *?
|
---|
381 |
|
---|
382 | ...to:
|
---|
383 | Variable Expression: _dst: a pointer to instance of struct c_struct
|
---|
384 |
|
---|
385 | Member Expression, with field:
|
---|
386 | char
|
---|
387 | from aggregate:
|
---|
388 | Variable Expression: _src: a instance of struct c_struct
|
---|
389 |
|
---|
390 | with environment:
|
---|
391 | Types:
|
---|
392 | Non-types:
|
---|
393 |
|
---|
394 |
|
---|
395 | Expression Statement:
|
---|
396 | Application of
|
---|
397 | Variable Expression: ?=?: a function
|
---|
398 | with parameters
|
---|
399 | pointer to float
|
---|
400 | float
|
---|
401 | returning
|
---|
402 | float
|
---|
403 |
|
---|
404 | to arguments
|
---|
405 | Address of:
|
---|
406 | Member Expression, with field:
|
---|
407 | float
|
---|
408 | from aggregate:
|
---|
409 | Applying untyped:
|
---|
410 | Name: *?
|
---|
411 |
|
---|
412 | ...to:
|
---|
413 | Variable Expression: _dst: a pointer to instance of struct c_struct
|
---|
414 |
|
---|
415 | Member Expression, with field:
|
---|
416 | float
|
---|
417 | from aggregate:
|
---|
418 | Variable Expression: _src: a instance of struct c_struct
|
---|
419 |
|
---|
420 | with environment:
|
---|
421 | Types:
|
---|
422 | Non-types:
|
---|
423 |
|
---|
424 |
|
---|
425 | Return Statement, returning: Cast of:
|
---|
426 | Variable Expression: _src: a instance of struct c_struct
|
---|
427 |
|
---|
428 | to:
|
---|
429 | instance of struct c_struct
|
---|
430 | with environment:
|
---|
431 | Types:
|
---|
432 | Non-types:
|
---|
433 |
|
---|
434 |
|
---|
435 |
|
---|
436 | union d_struct
|
---|
437 | with members
|
---|
438 | pointer to signed int
|
---|
439 | pointer to char
|
---|
440 | pointer to float
|
---|
441 |
|
---|
442 | ?=?: a automatically generated inline static function
|
---|
443 | with parameters
|
---|
444 | _dst: a pointer to instance of union d_struct
|
---|
445 | _src: a instance of union d_struct
|
---|
446 | returning
|
---|
447 | instance of union d_struct
|
---|
448 | with body
|
---|
449 |
|
---|
450 | Expression Statement:
|
---|
451 | Application of
|
---|
452 | Variable Expression: __builtin_memcpy: a function
|
---|
453 | accepting unspecified arguments
|
---|
454 | returning
|
---|
455 | pointer to char
|
---|
456 |
|
---|
457 | to arguments
|
---|
458 | Variable Expression: _dst: a pointer to instance of union d_struct
|
---|
459 |
|
---|
460 | Address of:
|
---|
461 | Variable Expression: _src: a instance of union d_struct
|
---|
462 |
|
---|
463 | Sizeof Expression on: instance of union d_struct
|
---|
464 |
|
---|
465 | with environment:
|
---|
466 | Types:
|
---|
467 | Non-types:
|
---|
468 |
|
---|
469 |
|
---|
470 | Return Statement, returning: Cast of:
|
---|
471 | Variable Expression: _src: a instance of union d_struct
|
---|
472 |
|
---|
473 | to:
|
---|
474 | instance of union d_struct
|
---|
475 | with environment:
|
---|
476 | Types:
|
---|
477 | Non-types:
|
---|
478 |
|
---|
479 |
|
---|
480 |
|
---|
481 | g: a function
|
---|
482 | accepting unspecified arguments
|
---|
483 | returning
|
---|
484 | nothing
|
---|
485 | with body
|
---|
486 | Declaration of x: a short unsigned int
|
---|
487 | Declaration of x: a instance of struct c_struct
|
---|
488 | Declaration of x: a instance of union d_struct
|
---|
489 |
|
---|
490 | Expression Statement:
|
---|
491 | Application of
|
---|
492 | Variable Expression: a: a function
|
---|
493 | with parameters
|
---|
494 | char
|
---|
495 | returning
|
---|
496 | nothing
|
---|
497 |
|
---|
498 | to arguments
|
---|
499 | Cast of:
|
---|
500 | Variable Expression: x: a short unsigned int
|
---|
501 |
|
---|
502 | to:
|
---|
503 | char
|
---|
504 |
|
---|
505 | with environment:
|
---|
506 | Types:
|
---|
507 | Non-types:
|
---|
508 |
|
---|
509 |
|
---|
510 | Expression Statement:
|
---|
511 | Application of
|
---|
512 | Variable Expression: b: a function
|
---|
513 | with parameters
|
---|
514 | signed int
|
---|
515 | returning
|
---|
516 | nothing
|
---|
517 |
|
---|
518 | to arguments
|
---|
519 | Cast of:
|
---|
520 | Variable Expression: x: a short unsigned int
|
---|
521 |
|
---|
522 | to:
|
---|
523 | signed int
|
---|
524 |
|
---|
525 | with environment:
|
---|
526 | Types:
|
---|
527 | Non-types:
|
---|
528 |
|
---|
529 |
|
---|
530 | Expression Statement:
|
---|
531 | Application of
|
---|
532 | Variable Expression: c: a function
|
---|
533 | with parameters
|
---|
534 | pointer to signed int
|
---|
535 | returning
|
---|
536 | nothing
|
---|
537 |
|
---|
538 | to arguments
|
---|
539 | Member Expression, with field:
|
---|
540 | pointer to signed int
|
---|
541 | from aggregate:
|
---|
542 | Variable Expression: x: a instance of union d_struct
|
---|
543 |
|
---|
544 | with environment:
|
---|
545 | Types:
|
---|
546 | Non-types:
|
---|
547 |
|
---|
548 |
|
---|
549 | Expression Statement:
|
---|
550 | Application of
|
---|
551 | Variable Expression: d: a function
|
---|
552 | with parameters
|
---|
553 | pointer to float
|
---|
554 | returning
|
---|
555 | nothing
|
---|
556 |
|
---|
557 | to arguments
|
---|
558 | Member Expression, with field:
|
---|
559 | pointer to float
|
---|
560 | from aggregate:
|
---|
561 | Variable Expression: x: a instance of union d_struct
|
---|
562 |
|
---|
563 | with environment:
|
---|
564 | Types:
|
---|
565 | Non-types:
|
---|
566 |
|
---|
567 |
|
---|
568 | struct forward
|
---|
569 | q: a pointer to instance of struct forward
|
---|
570 | struct forward
|
---|
571 | with members
|
---|
572 | y: a signed int
|
---|
573 |
|
---|
574 | ?=?: a automatically generated inline static function
|
---|
575 | with parameters
|
---|
576 | _dst: a pointer to instance of struct forward
|
---|
577 | _src: a instance of struct forward
|
---|
578 | returning
|
---|
579 | instance of struct forward
|
---|
580 | with body
|
---|
581 |
|
---|
582 | Expression Statement:
|
---|
583 | Application of
|
---|
584 | Variable Expression: ?=?: a function
|
---|
585 | with parameters
|
---|
586 | pointer to signed int
|
---|
587 | signed int
|
---|
588 | returning
|
---|
589 | signed int
|
---|
590 |
|
---|
591 | to arguments
|
---|
592 | Address of:
|
---|
593 | Member Expression, with field:
|
---|
594 | y: a signed int
|
---|
595 | from aggregate:
|
---|
596 | Applying untyped:
|
---|
597 | Name: *?
|
---|
598 |
|
---|
599 | ...to:
|
---|
600 | Variable Expression: _dst: a pointer to instance of struct forward
|
---|
601 |
|
---|
602 | Member Expression, with field:
|
---|
603 | y: a signed int
|
---|
604 | from aggregate:
|
---|
605 | Variable Expression: _src: a instance of struct forward
|
---|
606 |
|
---|
607 | with environment:
|
---|
608 | Types:
|
---|
609 | Non-types:
|
---|
610 |
|
---|
611 |
|
---|
612 | Return Statement, returning: Cast of:
|
---|
613 | Variable Expression: _src: a instance of struct forward
|
---|
614 |
|
---|
615 | to:
|
---|
616 | instance of struct forward
|
---|
617 | with environment:
|
---|
618 | Types:
|
---|
619 | Non-types:
|
---|
620 |
|
---|
621 |
|
---|
622 |
|
---|
623 | h: a function
|
---|
624 | accepting unspecified arguments
|
---|
625 | returning
|
---|
626 | nothing
|
---|
627 | with body
|
---|
628 |
|
---|
629 | Expression Statement:
|
---|
630 | Member Expression, with field:
|
---|
631 | y: a signed int
|
---|
632 | from aggregate:
|
---|
633 | Application of
|
---|
634 | Variable Expression: *?: a forall
|
---|
635 | T: a type
|
---|
636 | with assertions
|
---|
637 | ?=?: a pointer to function
|
---|
638 | with parameters
|
---|
639 | pointer to instance of type T
|
---|
640 | instance of type T
|
---|
641 | returning
|
---|
642 | instance of type T
|
---|
643 |
|
---|
644 |
|
---|
645 | function
|
---|
646 | with parameters
|
---|
647 | pointer to instance of type T
|
---|
648 | returning
|
---|
649 | lvalue instance of type T
|
---|
650 |
|
---|
651 | to arguments
|
---|
652 | Variable Expression: q: a pointer to instance of struct forward
|
---|
653 |
|
---|
654 | with inferred parameters:
|
---|
655 | ?=?: a inline static function
|
---|
656 | with parameters
|
---|
657 | _dst: a pointer to instance of struct forward
|
---|
658 | _src: a instance of struct forward
|
---|
659 | returning
|
---|
660 | instance of struct forward
|
---|
661 |
|
---|
662 | with environment:
|
---|
663 | Types:
|
---|
664 | Non-types:
|
---|
665 |
|
---|
666 |
|
---|