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 91b216b4 was
51b7345,
checked in by Peter A. Buhr <pabuhr@…>, 10 years ago
|
initial commit
|
-
Property mode set to
100644
|
File size:
2.5 KB
|
Line | |
---|
1 | in default case, (shouldn't be here) |
---|
2 | in default case, (shouldn't be here) |
---|
3 | in default case, (shouldn't be here) |
---|
4 | x: a signed int |
---|
5 | y: a typedef for double |
---|
6 | t: a typedef for float |
---|
7 | z: a instance of type y |
---|
8 | struct __anonymous0 |
---|
9 | with members |
---|
10 | a: a signed int |
---|
11 | b: a double |
---|
12 | |
---|
13 | u: a type for instance of struct __anonymous0 |
---|
14 | f: a function |
---|
15 | with parameters |
---|
16 | y: a signed int |
---|
17 | returning |
---|
18 | signed int |
---|
19 | |
---|
20 | q: a instance of type y |
---|
21 | w: a function |
---|
22 | with parameters |
---|
23 | y: a instance of type y |
---|
24 | v: a instance of type u |
---|
25 | returning |
---|
26 | instance of type y |
---|
27 | with body |
---|
28 | Declaration of x: a type |
---|
29 | with assertions |
---|
30 | t: a function |
---|
31 | with parameters |
---|
32 | instance of type u |
---|
33 | returning |
---|
34 | instance of type x |
---|
35 | |
---|
36 | |
---|
37 | Declaration of u: a instance of type u |
---|
38 | Declaration of z: a instance of type x |
---|
39 | |
---|
40 | p: a instance of type y |
---|
41 | context has_u |
---|
42 | with parameters |
---|
43 | z: a type |
---|
44 | |
---|
45 | with members |
---|
46 | u: a function |
---|
47 | with parameters |
---|
48 | instance of type z |
---|
49 | returning |
---|
50 | instance of type z |
---|
51 | |
---|
52 | |
---|
53 | q: a function |
---|
54 | with parameters |
---|
55 | the_t: a instance of type t |
---|
56 | with forall |
---|
57 | t: a type |
---|
58 | with assertions |
---|
59 | instance of context has_u |
---|
60 | with parameters |
---|
61 | instance of type t |
---|
62 | |
---|
63 | |
---|
64 | returning |
---|
65 | instance of type y |
---|
66 | with body |
---|
67 | Declaration of y: a instance of type t |
---|
68 | |
---|
69 | f: a function |
---|
70 | with parameters |
---|
71 | p: a instance of type y |
---|
72 | returning |
---|
73 | instance of type t |
---|
74 | with body |
---|
75 | Declaration of y: a signed int |
---|
76 | Declaration of x: a typedef for char |
---|
77 | Declaration of y: a instance of type x |
---|
78 | Declaration of z: a typedef for instance of type x |
---|
79 | Declaration of x: a instance of type z |
---|
80 | Declaration of y: a typedef for instance of type z |
---|
81 | Declaration of z: a instance of type y |
---|
82 | |
---|
83 | Declaration of x: a instance of type z |
---|
84 | |
---|
85 | Declaration of q: a instance of type x |
---|
86 | |
---|
87 | g: a function |
---|
88 | with parameters |
---|
89 | void |
---|
90 | returning |
---|
91 | instance of type t |
---|
92 | with body |
---|
93 | Declaration of x: a typedef for char |
---|
94 | Declaration of z: a instance of type x |
---|
95 | |
---|
96 | q: a function |
---|
97 | returning |
---|
98 | instance of type y |
---|
99 | with parameter names |
---|
100 | i |
---|
101 | with parameter declarations |
---|
102 | i: a signed int |
---|
103 | with body |
---|
104 | |
---|
105 | Switch on condition: |
---|
106 | Name: i |
---|
107 | |
---|
108 | Case: |
---|
109 | .... and 1 conditions |
---|
110 | Name: 0 |
---|
111 | |
---|
112 | Case: |
---|
113 | .... and 0 conditions |
---|
114 | |
---|
115 | |
---|
Note: See
TracBrowser
for help on using the repository browser.