source: src/Tests/Expect-a/Abstype.txt @ 220ca4a

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change on this file since 220ca4a was b1d6dd5, checked in by Peter A. Buhr <pabuhr@…>, 9 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: 2.3 KB
Line 
1T: type
2  with assertions
3    x: function
4        with parameters
5          instance of type T (not function type)
6        returning
7          instance of type T (not function type)
8
9
10y: function
11    with parameters
12      t: instance of type T (not function type)
13    returning
14      instance of type T (not function type)
15    with body
16      CompoundStmt
17        Declaration of t_instance: instance of type T (not function type)
18                  Return Statement, returning: Applying untyped:
19    Name: x
20...to:
21    Name: t
22
23
24
25*?: forall
26      T: type
27        with assertions
28          ?=?: function
29              with parameters
30                pointer to instance of type T (not function type)
31                instance of type T (not function type)
32              returning
33                instance of type T (not function type)
34
35
36    function
37    with parameters
38      pointer to instance of type T (not function type)
39    returning
40      lvalue instance of type T (not function type)
41
42?++: function
43    with parameters
44      pointer to signed int
45    returning
46      signed int
47
48?=?: function
49    with parameters
50      pointer to signed int
51      signed int
52    returning
53      signed int
54
55?=?: forall
56      DT: incomplete type
57    function
58    with parameters
59      pointer to pointer to instance of type DT (not function type)
60      pointer to instance of type DT (not function type)
61    returning
62      pointer to instance of type DT (not function type)
63
64U: type for pointer to signed int
65x: function
66    with parameters
67      u: instance of type U (not function type)
68    returning
69      instance of type U (not function type)
70    with body
71      CompoundStmt
72        Declaration of u_instance: instance of type U (not function type) with initializer
73          Simple Initializer:             Name: u
74
75                  Expression Statement:
76            Applying untyped:
77                Name: ?++
78            ...to:
79                Address of:
80                  Applying untyped:
81                      Name: *?
82                  ...to:
83                      Name: u
84
85                  Return Statement, returning: Name: u
86
87
88
89break_abstraction: function
90    with parameters
91      u: instance of type U (not function type)
92    returning
93      pointer to signed int
94    with body
95      CompoundStmt
96                  Return Statement, returning: Name: u
97
98
99
Note: See TracBrowser for help on using the repository browser.