Changeset 62e456f
- Timestamp:
- Dec 3, 2020, 1:53:23 PM (4 years ago)
- Branches:
- ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- 6011658
- Parents:
- 3233b91 (diff), b5629d8 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the(diff)
links above to see all the changes relative to each parent. - Files:
-
- 4 added
- 2 edited
- 10 moved
Legend:
- Unmodified
- Added
- Removed
-
tests/errors/.expect/completeType.oast.arm64.txt
r3233b91 r62e456f 6 6 Name: x 7 7 8 ... to: nothing Alternatives are: 8 ... to: nothing 9 with resolved type: 10 void Alternatives are: 9 11 Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of: 10 12 Application of … … 20 22 21 23 24 with resolved type: 25 pointer to forall 26 [unbound]:data type 27 function 28 ... with parameters 29 intrinsic pointer to instance of type [unbound] (not function type) 30 ... returning 31 _retval__operator_deref: reference to instance of type [unbound] (not function type) 32 ... with attributes: 33 Attribute with name: unused 34 35 22 36 ... to arguments 23 37 Variable Expression: x: pointer to instance of struct A with body 0 24 38 with resolved type: 39 pointer to instance of struct A with body 0 40 41 with resolved type: 42 reference to instance of struct A with body 0 25 43 ... to: nothing 44 with resolved type: 45 void 26 46 (types: 27 47 void 28 48 ) 29 Environment: -> instance of struct A with body 0 (no widening)49 Environment:([unbound]) -> instance of struct A with body 0 (no widening) 30 50 31 51 … … 43 63 44 64 65 with resolved type: 66 pointer to forall 67 [unbound]:data type 68 function 69 ... with parameters 70 intrinsic pointer to instance of type [unbound] (not function type) 71 ... returning 72 _retval__operator_deref: reference to instance of type [unbound] (not function type) 73 ... with attributes: 74 Attribute with name: unused 75 76 45 77 ... to arguments 46 78 Variable Expression: x: pointer to instance of struct B with body 1 47 79 with resolved type: 80 pointer to instance of struct B with body 1 81 82 with resolved type: 83 reference to instance of struct B with body 1 48 84 ... to: nothing 85 with resolved type: 86 void 49 87 (types: 50 88 void 51 89 ) 52 Environment: -> instance of struct B with body 1 (no widening)90 Environment:([unbound]) -> instance of struct B with body 1 (no widening) 53 91 54 92 … … 121 159 ... returning nothing 122 160 161 with resolved type: 162 pointer to forall 163 [unbound]:sized data type 164 ... with assertions 165 ?=?: pointer to function 166 ... with parameters 167 reference to instance of type [unbound] (not function type) 168 instance of type [unbound] (not function type) 169 ... returning 170 _retval__operator_assign: instance of type [unbound] (not function type) 171 ... with attributes: 172 Attribute with name: unused 173 174 175 ?{}: pointer to function 176 ... with parameters 177 reference to instance of type [unbound] (not function type) 178 ... returning nothing 179 180 ?{}: pointer to function 181 ... with parameters 182 reference to instance of type [unbound] (not function type) 183 instance of type [unbound] (not function type) 184 ... returning nothing 185 186 ^?{}: pointer to function 187 ... with parameters 188 reference to instance of type [unbound] (not function type) 189 ... returning nothing 190 191 192 function 193 ... with parameters 194 pointer to instance of type [unbound] (not function type) 195 ... returning nothing 196 123 197 ... to arguments 124 198 Variable Expression: z: pointer to instance of type T (not function type) 125 199 with resolved type: 200 pointer to instance of type T (not function type) 201 202 with resolved type: 203 void 126 204 (types: 127 205 void 128 206 ) 129 Environment: -> instance of type T (not function type) (no widening)207 Environment:([unbound]) -> instance of type T (not function type) (no widening) 130 208 131 209 Could not satisfy assertion: 132 210 ?=?: pointer to function 133 211 ... with parameters 134 reference to instance of type _110_0_T(not function type)135 instance of type _110_0_T(not function type)212 reference to instance of type [unbound] (not function type) 213 instance of type [unbound] (not function type) 136 214 ... returning 137 _retval__operator_assign: instance of type _110_0_T(not function type)215 _retval__operator_assign: instance of type [unbound] (not function type) 138 216 ... with attributes: 139 217 Attribute with name: unused -
tests/meta/.expect/archVast.nast.arm64.txt
r3233b91 r62e456f 3 3 Name: FA64 4 4 ... to: 5 char 6 ... with resolved type: 5 7 char Alternatives are: 6 8 Cost ( 1, 0, 0, 0, 0, 0, 0 ): Explicit Cast of: 7 9 Variable Expression: FA64: signed int 10 ... with resolved type: 11 signed int 8 12 ... to: 13 char 14 ... with resolved type: 9 15 char 10 16 (types: … … 18 24 ... returning nothing 19 25 26 ... with resolved type: 27 pointer to function 28 accepting unspecified arguments 29 ... returning nothing 30 20 31 ... to: 32 char 33 ... with resolved type: 21 34 char 22 35 (types: … … 27 40 Cost ( 1, 0, 0, 0, 0, 0, 0 ): Explicit Cast of: 28 41 Variable Expression: FA64: double 42 ... with resolved type: 43 double 29 44 ... to: 45 char 46 ... with resolved type: 30 47 char 31 48 (types: -
tests/meta/.expect/archVast.oast.arm64.txt
r3233b91 r62e456f 3 3 Name: FA64 4 4 ... to: 5 char 6 with resolved type: 5 7 char Alternatives are: 6 8 Cost ( 1, 0, 0, 0, 0, 0, 0 ): Explicit Cast of: … … 9 11 ... returning nothing 10 12 13 with resolved type: 14 pointer to function 15 accepting unspecified arguments 16 ... returning nothing 17 11 18 ... to: 19 char 20 with resolved type: 12 21 char 13 22 (types: … … 18 27 Cost ( 1, 0, 0, 0, 0, 0, 0 ): Explicit Cast of: 19 28 Variable Expression: FA64: double 29 with resolved type: 30 double 20 31 ... to: 32 char 33 with resolved type: 21 34 char 22 35 (types: … … 27 40 Cost ( 1, 0, 0, 0, 0, 0, 0 ): Explicit Cast of: 28 41 Variable Expression: FA64: signed int 42 with resolved type: 43 signed int 29 44 ... to: 45 char 46 with resolved type: 30 47 char 31 48 (types:
Note: See TracChangeset
for help on using the changeset viewer.