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:
3.1 KB
|
Line | |
---|
1 | x: a int |
---|
2 | y: a typedef definition for double |
---|
3 | t: a typedef definition for float |
---|
4 | z: a instance of type y |
---|
5 | u: a type definition for instance of struct __anonymous0 |
---|
6 | with members |
---|
7 | a: a int |
---|
8 | b: a double |
---|
9 | |
---|
10 | f: a function |
---|
11 | with parameters |
---|
12 | y: a int |
---|
13 | returning int |
---|
14 | |
---|
15 | q: a instance of type y |
---|
16 | w: a function |
---|
17 | with parameters |
---|
18 | y: a instance of type y |
---|
19 | v: a instance of type u |
---|
20 | returning instance of type y |
---|
21 | with body |
---|
22 | x: a type definition |
---|
23 | with assertions |
---|
24 | t: a function |
---|
25 | with parameters |
---|
26 | instance of type u |
---|
27 | returning instance of type x |
---|
28 | |
---|
29 | |
---|
30 | u: a instance of type u |
---|
31 | with initializer y |
---|
32 | z: a instance of type x |
---|
33 | with initializer ( t u ) |
---|
34 | |
---|
35 | p: a instance of type y |
---|
36 | context has_u |
---|
37 | with type parameters |
---|
38 | z: a type variable |
---|
39 | with members |
---|
40 | u: a function |
---|
41 | with parameters |
---|
42 | instance of type z |
---|
43 | returning instance of type z |
---|
44 | |
---|
45 | |
---|
46 | q: a forall |
---|
47 | t: a type variable |
---|
48 | with assertions |
---|
49 | instance of context has_u |
---|
50 | with parameters |
---|
51 | Type: instance of type t |
---|
52 | |
---|
53 | |
---|
54 | function |
---|
55 | with parameters |
---|
56 | the_t: a instance of type t |
---|
57 | returning instance of type y |
---|
58 | with body |
---|
59 | y: a instance of type t |
---|
60 | with initializer ( u the_t ) |
---|
61 | |
---|
62 | f: a function |
---|
63 | with parameters |
---|
64 | p: a instance of type y |
---|
65 | returning instance of type t |
---|
66 | with body |
---|
67 | y: a int |
---|
68 | x: a typedef definition for char |
---|
69 | y: a instance of type x |
---|
70 | z: a typedef definition for instance of type x |
---|
71 | x: a instance of type z |
---|
72 | y: a typedef definition for instance of type z |
---|
73 | z: a instance of type y |
---|
74 | with initializer x |
---|
75 | x: a instance of type z |
---|
76 | with initializer y |
---|
77 | q: a instance of type x |
---|
78 | with initializer y |
---|
79 | |
---|
80 | g: a function |
---|
81 | with parameters |
---|
82 | void |
---|
83 | returning instance of type t |
---|
84 | with body |
---|
85 | x: a typedef definition for char |
---|
86 | |
---|
87 | Try |
---|
88 | |
---|
89 | Branches of execution: |
---|
90 | |
---|
91 | Application of: |
---|
92 | |
---|
93 | Referencing: Variable: some_func |
---|
94 | |
---|
95 | ... on no arguments: |
---|
96 | |
---|
97 | |
---|
98 | Catch |
---|
99 | |
---|
100 | Declaration: |
---|
101 | x: a instance of type x |
---|
102 | |
---|
103 | Branches of execution: |
---|
104 | y: a instance of type t |
---|
105 | with initializer x |
---|
106 | z: a instance of type x |
---|
107 | |
---|
108 | q: a function |
---|
109 | with no parameters |
---|
110 | with old-style identifier list |
---|
111 | i: a untyped entity |
---|
112 | with old-style declaration list |
---|
113 | i: a int |
---|
114 | returning instance of type y |
---|
115 | with body |
---|
116 | |
---|
117 | Switch |
---|
118 | |
---|
119 | Expression: |
---|
120 | |
---|
121 | Referencing: Variable: i |
---|
122 | |
---|
123 | Branches of execution: |
---|
124 | |
---|
125 | Case |
---|
126 | |
---|
127 | Expression: |
---|
128 | |
---|
129 | Referencing: Variable: 0 |
---|
130 | |
---|
131 | Branches of execution: |
---|
132 | |
---|
133 | Return |
---|
134 | |
---|
135 | Expression: |
---|
136 | |
---|
137 | Referencing: Variable: q |
---|
138 | |
---|
139 | Default |
---|
140 | |
---|
141 | Expression: |
---|
142 | |
---|
143 | Null Expression |
---|
144 | |
---|
145 | Branches of execution: |
---|
146 | |
---|
147 | Return |
---|
148 | |
---|
149 | Expression: |
---|
150 | |
---|
151 | Referencing: Variable: i |
---|
152 | |
---|
Note: See
TracBrowser
for help on using the repository browser.