Index: src/Tests/Expect-v/Abstype.txt =================================================================== --- src/Tests/Expect-v/Abstype.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/Abstype.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,138 @@ +T: type + with assertions + x: function + with parameters + instance of type T (not function type) + returning + instance of type T (not function type) + + +?=?: automatically generated function + with parameters + _dst: pointer to instance of type T (not function type) + _src: instance of type T (not function type) + returning + instance of type T (not function type) + +y: function + with parameters + t: instance of type T (not function type) + returning + instance of type T (not function type) + with body + CompoundStmt + Declaration of t_instance: instance of type T (not function type) + Return Statement, returning: Applying untyped: + Name: x +...to: + Name: t + + + +*?: forall + T: type + with assertions + ?=?: pointer to function + with parameters + pointer to instance of type T (not function type) + instance of type T (not function type) + returning + instance of type T (not function type) + + + function + with parameters + pointer to instance of type T (not function type) + returning + lvalue instance of type T (not function type) + +?++: function + with parameters + pointer to signed int + returning + signed int + +?=?: function + with parameters + pointer to signed int + signed int + returning + signed int + +?=?: forall + DT: incomplete type + function + with parameters + pointer to pointer to instance of type DT (not function type) + pointer to instance of type DT (not function type) + returning + pointer to instance of type DT (not function type) + +U: type for pointer to signed int +?=?: automatically generated function + with parameters + _dst: pointer to instance of type U (not function type) + _src: instance of type U (not function type) + returning + instance of type U (not function type) + with body + CompoundStmt + Return Statement, returning: Applying untyped: + Name: ?=? +...to: + Cast of: + Variable Expression: _dst: pointer to instance of type U (not function type) + + to: + pointer to pointer to signed int + Cast of: + Variable Expression: _src: instance of type U (not function type) + + to: + pointer to signed int + + + +x: function + with parameters + u: instance of type U (not function type) + returning + instance of type U (not function type) + with body + CompoundStmt + Declaration of u_instance: instance of type U (not function type) with initializer + Simple Initializer: Name: u + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Name: u_instance + Name: u + + Expression Statement: + Applying untyped: + Name: ?++ + ...to: + Address of: + Applying untyped: + Name: *? + ...to: + Name: u + + Return Statement, returning: Name: u + + + +break_abstraction: function + with parameters + u: instance of type U (not function type) + returning + pointer to signed int + with body + CompoundStmt + Return Statement, returning: Name: u + + + Index: src/Tests/Expect-v/Array.txt =================================================================== --- src/Tests/Expect-v/Array.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/Array.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,50 @@ +a1: open array of signed int +a2: variable length array of signed int +a4: array of double with dimension of constant expression 3.0 double +m1: open array of array of signed int with dimension of constant expression 3 signed int +m2: variable length array of variable length array of signed int +m4: array of array of signed int with dimension of constant expression 3 signed int with dimension of constant expression 3 signed int +fred: function + accepting unspecified arguments + returning + signed int + with body + CompoundStmt + Declaration of a1: open array of signed int + Declaration of a2: variable length array of signed int + Declaration of a4: array of signed int with dimension of constant expression 3 signed int + Declaration of T: array of signed int with dimension of constant expression 3 signed int + +mary: function + with parameters + T: pointer to array of constant expression 3 signed int signed int + p1: const pointer to array of constant expression 3 signed int signed int + p2: pointer to static array of constant expression 3 signed int signed int + p3: const pointer to static array of constant expression 3 signed int signed int + returning + signed int + with body + CompoundStmt + +tom: function + accepting unspecified arguments + returning + pointer to array of signed int with dimension of constant expression 3 signed int + with body + CompoundStmt + +jane: function + accepting unspecified arguments + returning + pointer to function + with parameters + T: pointer to array of constant expression 3 signed int signed int + p1: const pointer to array of constant expression 3 signed int signed int + p2: pointer to static array of constant expression 3 signed int signed int + p3: const pointer to static array of constant expression 3 signed int signed int + returning + signed int + + with body + CompoundStmt + Index: src/Tests/Expect-v/AsmName.txt =================================================================== --- src/Tests/Expect-v/AsmName.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/AsmName.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,11 @@ +x: auto signed int +fred: function + with parameters + x: signed int + returning + signed int + with body + CompoundStmt + Declaration of y: static signed int + Declaration of z: static pointer to signed int + Index: src/Tests/Expect-v/Attributes.txt =================================================================== --- src/Tests/Expect-v/Attributes.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/Attributes.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,1 @@ +Error at line 8 reading token "*" Index: src/Tests/Expect-v/Cast.txt =================================================================== --- src/Tests/Expect-v/Cast.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/Cast.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,55 @@ +f: char +f: function + accepting unspecified arguments + returning + nothing + with body + CompoundStmt + Declaration of f: char + Declaration of f: double + Expression Statement: + Cast of: + Name: f + + to: + signed int + + Declaration of f: short signed int + Expression Statement: + Cast of: + Name: f + + to: + signed int + + Expression Statement: + Cast of: + Name: f + + to: + pointer to function + accepting unspecified arguments + returning + nothing + + + Expression Statement: + Cast of: + Tuple: + Name: f + + Name: f + + Name: f + + + to: + long signed int + long double + pointer to function + accepting unspecified arguments + returning + nothing + + + Index: src/Tests/Expect-v/CastError.txt =================================================================== --- src/Tests/Expect-v/CastError.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/CastError.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,28 @@ +f: signed int +f: function + accepting unspecified arguments + returning + nothing + with body + CompoundStmt + Declaration of f: signed int + Declaration of f: double + Expression Statement: + Cast of: + Name: f + + to: + char + + Expression Statement: + Cast of: + Name: f + + to: + pointer to function + accepting unspecified arguments + returning + signed int + + + Index: src/Tests/Expect-v/CharStringConstants.txt =================================================================== --- src/Tests/Expect-v/CharStringConstants.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/CharStringConstants.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,131 @@ +main: C function + accepting unspecified arguments + returning + signed int + with body + CompoundStmt + Expression Statement: +constant expression ' ' char + Expression Statement: +constant expression 'a' char + Expression Statement: +constant expression '"' char + Expression Statement: +constant expression '_' char + Expression Statement: +constant expression '\a' char + Expression Statement: +constant expression '\b' char + Expression Statement: +constant expression '\e' char + Expression Statement: +constant expression '\f' char + Expression Statement: +constant expression '\n' char + Expression Statement: +constant expression '\r' char + Expression Statement: +constant expression '\t' char + Expression Statement: +constant expression '\v' char + Expression Statement: +constant expression '\'' char + Expression Statement: +constant expression '\"' char + Expression Statement: +constant expression '\?' char + Expression Statement: +constant expression '\\' char + Expression Statement: +constant expression '\0' char + Expression Statement: +constant expression '\377' char + Expression Statement: +constant expression '\xf' char + Expression Statement: +constant expression '\xff' char + Expression Statement: +constant expression '' char + Expression Statement: +constant expression 'aa' char + Expression Statement: +constant expression 'a\na' char + Expression Statement: +constant expression 'a\0a' char + Expression Statement: +constant expression '\xfff' char + Expression Statement: +constant expression '_\377_' char + Expression Statement: +constant expression '_\xff_' char + Expression Statement: +constant expression '\xffff' char + Expression Statement: +constant expression 'a\xff34w' char + Expression Statement: +constant expression '\xff' char + Expression Statement: +constant expression '\xffff' char + Expression Statement: +constant expression " " array of char with dimension of constant expression 4 unsigned int + Expression Statement: +constant expression "a" array of char with dimension of constant expression 4 unsigned int + Expression Statement: +constant expression "'" array of char with dimension of constant expression 4 unsigned int + Expression Statement: +constant expression '_' char + Expression Statement: +constant expression "\a" array of char with dimension of constant expression 5 unsigned int + Expression Statement: +constant expression "\b" array of char with dimension of constant expression 5 unsigned int + Expression Statement: +constant expression "\e" array of char with dimension of constant expression 5 unsigned int + Expression Statement: +constant expression "\f" array of char with dimension of constant expression 5 unsigned int + Expression Statement: +constant expression "\n" array of char with dimension of constant expression 5 unsigned int + Expression Statement: +constant expression "\r" array of char with dimension of constant expression 5 unsigned int + Expression Statement: +constant expression "\t" array of char with dimension of constant expression 5 unsigned int + Expression Statement: +constant expression "\v" array of char with dimension of constant expression 5 unsigned int + Expression Statement: +constant expression "\'" array of char with dimension of constant expression 5 unsigned int + Expression Statement: +constant expression "\"" array of char with dimension of constant expression 5 unsigned int + Expression Statement: +constant expression "\?" array of char with dimension of constant expression 5 unsigned int + Expression Statement: +constant expression "\\" array of char with dimension of constant expression 5 unsigned int + Expression Statement: +constant expression "\0" array of char with dimension of constant expression 5 unsigned int + Expression Statement: +constant expression "\377" array of char with dimension of constant expression 7 unsigned int + Expression Statement: +constant expression "\xf" array of char with dimension of constant expression 6 unsigned int + Expression Statement: +constant expression "\xff" array of char with dimension of constant expression 7 unsigned int + Expression Statement: +constant expression "" array of char with dimension of constant expression 3 unsigned int + Expression Statement: +constant expression "aa" array of char with dimension of constant expression 5 unsigned int + Expression Statement: +constant expression "a\na" array of char with dimension of constant expression 7 unsigned int + Expression Statement: +constant expression "a\0a" array of char with dimension of constant expression 7 unsigned int + Expression Statement: +constant expression "_\377_" array of char with dimension of constant expression 9 unsigned int + Expression Statement: +constant expression "_\xff_" array of char with dimension of constant expression 9 unsigned int + Expression Statement: +constant expression "\xff" array of char with dimension of constant expression 7 unsigned int + Expression Statement: +constant expression "\xffff" array of char with dimension of constant expression 9 unsigned int + Expression Statement: +constant expression "\xfff" array of char with dimension of constant expression 8 unsigned int + Expression Statement: +constant expression "a\xff34w" array of char with dimension of constant expression 11 unsigned int + Expression Statement: +constant expression "\xffff" array of char with dimension of constant expression 9 unsigned int + Index: src/Tests/Expect-v/CommentMisc.txt =================================================================== --- src/Tests/Expect-v/CommentMisc.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/CommentMisc.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,12 @@ +i: signed int +i: signed int +i: signed int +i: signed int +main: C function + accepting unspecified arguments + returning + signed int + with body + CompoundStmt + Declaration of x: array of signed int with dimension of constant expression 10 signed int + Index: src/Tests/Expect-v/Constant0-1.txt =================================================================== --- src/Tests/Expect-v/Constant0-1.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/Constant0-1.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,291 @@ +0: signed int +0: const signed int +0: static const signed int +1: signed int +1: const signed int +1: static const signed int +0: signed int +1: signed int +0: const signed int +1: const signed int +0: signed int +1: signed int +0: signed int +1: signed int +0: static const signed int +1: static const signed int +struct __anonymous0 + with members + i: signed int + +?=?: automatically generated inline static function + with parameters + _dst: pointer to instance of struct __anonymous0 + _src: instance of struct __anonymous0 + returning + instance of struct __anonymous0 + with body + CompoundStmt + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + i: signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct __anonymous0 + Member Expression, with field: + i: signed int + from aggregate: + Variable Expression: _src: instance of struct __anonymous0 + + Return Statement, returning: Variable Expression: _src: instance of struct __anonymous0 + + + +0: instance of struct __anonymous0 +struct __anonymous1 + with members + i: signed int + +?=?: automatically generated inline static function + with parameters + _dst: pointer to instance of struct __anonymous1 + _src: instance of struct __anonymous1 + returning + instance of struct __anonymous1 + with body + CompoundStmt + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + i: signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct __anonymous1 + Member Expression, with field: + i: signed int + from aggregate: + Variable Expression: _src: instance of struct __anonymous1 + + Return Statement, returning: Variable Expression: _src: instance of struct __anonymous1 + + + +1: const instance of struct __anonymous1 +struct __anonymous2 + with members + i: signed int + +?=?: automatically generated inline static function + with parameters + _dst: pointer to instance of struct __anonymous2 + _src: instance of struct __anonymous2 + returning + instance of struct __anonymous2 + with body + CompoundStmt + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + i: signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct __anonymous2 + Member Expression, with field: + i: signed int + from aggregate: + Variable Expression: _src: instance of struct __anonymous2 + + Return Statement, returning: Variable Expression: _src: instance of struct __anonymous2 + + + +1: static const instance of struct __anonymous2 +0: pointer to signed int +1: pointer to signed int +0: pointer to signed int +1: pointer to signed int +0: pointer to signed int +1: pointer to signed int +0: pointer to signed int +1: pointer to signed int +0: const pointer to signed int +1: const pointer to signed int +0: const pointer to signed int +1: const pointer to signed int +0: const pointer to signed int +1: const pointer to signed int +struct __anonymous3 + with members + i: signed int + +?=?: automatically generated inline static function + with parameters + _dst: pointer to instance of struct __anonymous3 + _src: instance of struct __anonymous3 + returning + instance of struct __anonymous3 + with body + CompoundStmt + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + i: signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct __anonymous3 + Member Expression, with field: + i: signed int + from aggregate: + Variable Expression: _src: instance of struct __anonymous3 + + Return Statement, returning: Variable Expression: _src: instance of struct __anonymous3 + + + +0: pointer to instance of struct __anonymous3 +x: pointer to signed int +0: pointer to signed int +x: const pointer to signed int +0: const pointer to signed int +x: static const pointer to signed int +0: static const pointer to signed int +struct __anonymous4 + with members + i: signed int + +?=?: automatically generated inline static function + with parameters + _dst: pointer to instance of struct __anonymous4 + _src: instance of struct __anonymous4 + returning + instance of struct __anonymous4 + with body + CompoundStmt + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + i: signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct __anonymous4 + Member Expression, with field: + i: signed int + from aggregate: + Variable Expression: _src: instance of struct __anonymous4 + + Return Statement, returning: Variable Expression: _src: instance of struct __anonymous4 + + + +0: pointer to instance of struct __anonymous4 +struct __anonymous5 + with members + i: signed int + +?=?: automatically generated inline static function + with parameters + _dst: pointer to instance of struct __anonymous5 + _src: instance of struct __anonymous5 + returning + instance of struct __anonymous5 + with body + CompoundStmt + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + i: signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct __anonymous5 + Member Expression, with field: + i: signed int + from aggregate: + Variable Expression: _src: instance of struct __anonymous5 + + Return Statement, returning: Variable Expression: _src: instance of struct __anonymous5 + + + +0: const pointer to instance of struct __anonymous5 +struct __anonymous6 + with members + i: signed int + +?=?: automatically generated inline static function + with parameters + _dst: pointer to instance of struct __anonymous6 + _src: instance of struct __anonymous6 + returning + instance of struct __anonymous6 + with body + CompoundStmt + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + i: signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct __anonymous6 + Member Expression, with field: + i: signed int + from aggregate: + Variable Expression: _src: instance of struct __anonymous6 + + Return Statement, returning: Variable Expression: _src: instance of struct __anonymous6 + + + +0: static const pointer to instance of struct __anonymous6 +x: static pointer to signed int +0: static pointer to signed int +x: static const pointer to signed int +0: static const pointer to signed int +x: const pointer to pointer to signed int +0: const pointer to pointer to signed int +main: C function + accepting unspecified arguments + returning + signed int + with body + CompoundStmt + Declaration of 1: signed int + Declaration of 0: pointer to signed int + Declaration of x: pointer to signed int + Declaration of 0: pointer to signed int + Index: src/Tests/Expect-v/Context.txt =================================================================== --- src/Tests/Expect-v/Context.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/Context.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,79 @@ +context has_q + with parameters + T: type + + with members + q: function + with parameters + instance of type T (not function type) + returning + instance of type T (not function type) + + +f: forall + z: type + with assertions + ?=?: pointer to function + with parameters + pointer to instance of type z (not function type) + instance of type z (not function type) + returning + instance of type z (not function type) + + q: pointer to function + with parameters + instance of type z (not function type) + returning + instance of type z (not function type) + + + function + accepting unspecified arguments + returning + nothing + with body + CompoundStmt + Declaration of context has_r + with parameters + T: type + U: type + + with members + r: function + with parameters + instance of type T (not function type) + pointer to function + with parameters + instance of type T (not function type) + instance of type U (not function type) + returning + instance of type T (not function type) + + returning + instance of type T (not function type) + + + Declaration of x: auto type + Declaration of ?=?: automatically generated function + with parameters + _dst: pointer to instance of type x (not function type) + _src: instance of type x (not function type) + returning + instance of type x (not function type) + + Declaration of y: auto type + with assertions + instance of context has_r + with parameters + instance of type x (not function type) + instance of type y (not function type) + + + Declaration of ?=?: automatically generated function + with parameters + _dst: pointer to instance of type y (not function type) + _src: instance of type y (not function type) + returning + instance of type y (not function type) + + Index: src/Tests/Expect-v/DeclarationErrors.txt =================================================================== --- src/Tests/Expect-v/DeclarationErrors.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/DeclarationErrors.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,14 @@ +Error: invalid combination of storage classes in declaration of x9: static static volatile const short int + +Error: invalid combination of storage classes in declaration of x18: static static const volatile instance of struct __anonymous0 + with members + i: int + + +Error: invalid combination of storage classes in declaration of x19: static static const volatile volatile instance of struct __anonymous1 + with members + i: int + + +Error: invalid combination of storage classes in declaration of x28: static static volatile const instance of type Int + Index: src/Tests/Expect-v/DeclarationSpecifier.txt =================================================================== --- src/Tests/Expect-v/DeclarationSpecifier.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/DeclarationSpecifier.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,14 @@ +Error: invalid combination of storage classes in declaration of x9: static static volatile const short int + +Error: invalid combination of storage classes in declaration of x18: static static const volatile instance of struct __anonymous8 + with members + i: int + + +Error: invalid combination of storage classes in declaration of x19: static static const volatile volatile instance of struct __anonymous9 + with members + i: int + + +Error: invalid combination of storage classes in declaration of x28: static static volatile const instance of type Int + Index: src/Tests/Expect-v/Enum.txt =================================================================== --- src/Tests/Expect-v/Enum.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/Enum.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,26 @@ +enum Colors + with members + Red: const instance of enum Colors + Yellow: const instance of enum Colors + Pink: const instance of enum Colors + Blue: const instance of enum Colors + Purple: const instance of enum Colors + Orange: const instance of enum Colors + Green: const instance of enum Colors + +f: function + returning + nothing + with body + CompoundStmt + Declaration of enum Fruits + with members + Apple: const instance of enum Fruits + Banana: const instance of enum Fruits + Pear: const instance of enum Fruits + Mango: const instance of enum Fruits + + Declaration of fruit: instance of enum Fruits with initializer + Simple Initializer: Name: Mango + + Index: src/Tests/Expect-v/Exception.txt =================================================================== --- src/Tests/Expect-v/Exception.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/Exception.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,60 @@ +fred: function + accepting unspecified arguments + returning + signed int + with body + CompoundStmt + Declaration of x: signed int + Throw Statement, returning: constant expression 3 signed int + + Throw Statement, returning: Applying untyped: + Name: ?=? +...to: + Address of: + Name: x +constant expression 5 signed int + + Try Statement + with block: + CompoundStmt + and handlers: + Catch Statement + ... catching +i: signed int + + Try Statement + with block: + CompoundStmt + Expression Statement: + Applying untyped: + Name: ?/? + ...to: + Name: x +constant expression 4 signed int + and handlers: + Catch Statement + ... catching +signed int + Catch Statement + ... catching +x: signed int + Catch Statement + ... catching +struct __anonymous0 + Catch Statement + ... catching +x: instance of struct __anonymous1 + Catch Statement + ... catching +x: pointer to instance of struct __anonymous2 + Catch Statement + ... catching +pointer to instance of struct __anonymous3 + Catch Statement + ... catching +x: pointer to instance of struct __anonymous4 + Catch Statement + ... catching + the rest + + Index: src/Tests/Expect-v/Expression.txt =================================================================== --- src/Tests/Expect-v/Expression.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/Expression.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,365 @@ +fred: function + accepting unspecified arguments + returning + signed int + with body + CompoundStmt + Declaration of struct s + with members + i: signed int + + Declaration of ?=?: automatically generated inline function + with parameters + _dst: pointer to instance of struct s + _src: instance of struct s + returning + instance of struct s + with body + CompoundStmt + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + i: signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct s + Member Expression, with field: + i: signed int + from aggregate: + Variable Expression: _src: instance of struct s + + Return Statement, returning: Variable Expression: _src: instance of struct s + + + + Declaration of p: pointer to instance of struct s + Declaration of i: signed int + Expression Statement: + Applying untyped: + Name: !? + ...to: + Name: i + + Expression Statement: + Applying untyped: + Name: ~? + ...to: + Name: i + + Expression Statement: + Applying untyped: + Name: +? + ...to: + Name: i + + Expression Statement: + Applying untyped: + Name: -? + ...to: + Name: i + + Expression Statement: + Applying untyped: + Name: *? + ...to: + Name: p + + Expression Statement: + Applying untyped: + Name: ++? + ...to: + Address of: + Name: p + + Expression Statement: + Applying untyped: + Name: --? + ...to: + Address of: + Name: p + + Expression Statement: + Applying untyped: + Name: ?++ + ...to: + Address of: + Name: p + + Expression Statement: + Applying untyped: + Name: ?-- + ...to: + Address of: + Name: p + + Expression Statement: + Applying untyped: + Name: ?+? + ...to: + Name: i + Name: i + + Expression Statement: + Applying untyped: + Name: ?-? + ...to: + Name: i + Name: i + + Expression Statement: + Applying untyped: + Name: ?*? + ...to: + Name: i + Name: i + + Expression Statement: + Applying untyped: + Name: ?/? + ...to: + Name: i + Name: i + + Expression Statement: + Applying untyped: + Name: ?%? + ...to: + Name: i + Name: i + + Expression Statement: + Applying untyped: + Name: ?^? + ...to: + Name: i + Name: i + + Expression Statement: + Applying untyped: + Name: ?&? + ...to: + Name: i + Name: i + + Expression Statement: + Applying untyped: + Name: ?|? + ...to: + Name: i + Name: i + + Expression Statement: + Applying untyped: + Name: ?? + ...to: + Name: i + Name: i + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Name: i + Name: i + + Expression Statement: + Applying untyped: + Name: ?==? + ...to: + Name: i + Name: i + + Expression Statement: + Applying untyped: + Name: ?!=? + ...to: + Name: i + Name: i + + Expression Statement: + Applying untyped: + Name: ?<>? + ...to: + Name: i + Name: i + + Expression Statement: + Applying untyped: + Name: ?<=? + ...to: + Name: i + Name: i + + Expression Statement: + Applying untyped: + Name: ?>=? + ...to: + Name: i + Name: i + + Expression Statement: + Short-circuited operation (and) on: Cast of: + Applying untyped: + Name: ?!=? + ...to: + Name: i + Name: 0 + +to: + signed int + and Cast of: + Applying untyped: + Name: ?!=? + ...to: + Name: i + Name: 0 + +to: + signed int + + + Expression Statement: + Short-circuited operation (or) on: Cast of: + Applying untyped: + Name: ?!=? + ...to: + Name: i + Name: 0 + +to: + signed int + and Cast of: + Applying untyped: + Name: ?!=? + ...to: + Name: i + Name: 0 + +to: + signed int + + + Expression Statement: + Member Expression, with field: i from aggregate: Applying untyped: + Name: *? + ...to: + Name: p + + Expression Statement: + Applying untyped: + Name: ?+=? + ...to: + Address of: + Name: i + Name: i + + Expression Statement: + Applying untyped: + Name: ?-=? + ...to: + Address of: + Name: i + Name: i + + Expression Statement: + Applying untyped: + Name: ?*=? + ...to: + Address of: + Name: i + Name: i + + Expression Statement: + Applying untyped: + Name: ?/=? + ...to: + Address of: + Name: i + Name: i + + Expression Statement: + Applying untyped: + Name: ?%=? + ...to: + Address of: + Name: i + Name: i + + Expression Statement: + Applying untyped: + Name: ?&=? + ...to: + Address of: + Name: i + Name: i + + Expression Statement: + Applying untyped: + Name: ?|=? + ...to: + Address of: + Name: i + Name: i + + Expression Statement: + Applying untyped: + Name: ?^=? + ...to: + Address of: + Name: i + Name: i + + Expression Statement: + Applying untyped: + Name: ?<<=? + ...to: + Address of: + Name: i + Name: i + + Expression Statement: + Applying untyped: + Name: ?>>=? + ...to: + Address of: + Name: i + Name: i + + Expression Statement: + Conditional expression on: + Cast of: + Applying untyped: + Name: ?!=? + ...to: + Name: i + Name: 0 + + to: + signed int + First alternative: + Name: i + Second alternative: + Name: i + + + Index: src/Tests/Expect-v/Forall.txt =================================================================== --- src/Tests/Expect-v/Forall.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/Forall.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,731 @@ +?=?: function + with parameters + pointer to signed int + signed int + returning + signed int + +?=?: function + with parameters + pointer to float + float + returning + float + +?=?: function + with parameters + pointer to pointer to signed int + pointer to signed int + returning + pointer to signed int + +?=?: function + with parameters + pointer to pointer to float + pointer to float + returning + pointer to float + +?=?: function + with parameters + pointer to char + char + returning + char + +?=?: function + with parameters + pointer to pointer to function + returning + nothing + + pointer to function + returning + nothing + + returning + pointer to function + returning + nothing + + +g1: function + accepting unspecified arguments + returning + nothing + with body + CompoundStmt + Declaration of f: forall + T: type + with assertions + ?=?: pointer to function + with parameters + pointer to instance of type T (not function type) + instance of type T (not function type) + returning + instance of type T (not function type) + + + function + with parameters + instance of type T (not function type) + returning + instance of type T (not function type) + + Declaration of f: function + with parameters + signed int + returning + nothing + + Declaration of h: function + with parameters + p: pointer to function + returning + nothing + + returning + nothing + + Declaration of x: signed int + Declaration of y: pointer to function + returning + nothing + + Declaration of z: char + Declaration of w: float + Expression Statement: + Applying untyped: + Name: f + ...to: + Name: x + + Expression Statement: + Applying untyped: + Name: f + ...to: + Name: y + + Expression Statement: + Applying untyped: + Name: f + ...to: + Name: z + + Expression Statement: + Applying untyped: + Name: f + ...to: + Name: w + + Expression Statement: + Applying untyped: + Name: h + ...to: + Applying untyped: + Name: f + ...to: + Name: y + + +g2: function + accepting unspecified arguments + returning + nothing + with body + CompoundStmt + Declaration of f: forall + T: type + with assertions + ?=?: pointer to function + with parameters + pointer to instance of type T (not function type) + instance of type T (not function type) + returning + instance of type T (not function type) + + + function + with parameters + instance of type T (not function type) + instance of type T (not function type) + returning + nothing + + Declaration of f: forall + T: type + with assertions + ?=?: pointer to function + with parameters + pointer to instance of type T (not function type) + instance of type T (not function type) + returning + instance of type T (not function type) + + + U: type + with assertions + ?=?: pointer to function + with parameters + pointer to instance of type U (not function type) + instance of type U (not function type) + returning + instance of type U (not function type) + + + function + with parameters + instance of type T (not function type) + instance of type U (not function type) + returning + nothing + + Declaration of x: signed int + Declaration of y: float + Declaration of z: pointer to signed int + Declaration of w: pointer to float + Expression Statement: + Applying untyped: + Name: f + ...to: + Name: x + Name: y + + Expression Statement: + Applying untyped: + Name: f + ...to: + Name: z + Name: w + + Expression Statement: + Applying untyped: + Name: f + ...to: + Name: x + Name: z + + +swap: forall + T: type + with assertions + ?=?: pointer to function + with parameters + pointer to instance of type T (not function type) + instance of type T (not function type) + returning + instance of type T (not function type) + + + function + with parameters + left: instance of type T (not function type) + right: instance of type T (not function type) + returning + nothing + with body + CompoundStmt + Declaration of temp: instance of type T (not function type) with initializer + Simple Initializer: Name: left + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Name: temp + Name: left + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Name: left + Name: right + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Name: right + Name: temp + + +context sumable + with parameters + T: type + + with members + 0: const instance of type T (not function type) + ?+?: function + with parameters + instance of type T (not function type) + instance of type T (not function type) + returning + instance of type T (not function type) + + ?++: function + with parameters + instance of type T (not function type) + returning + instance of type T (not function type) + + ?+=?: function + with parameters + instance of type T (not function type) + instance of type T (not function type) + returning + instance of type T (not function type) + + +T1: type + with assertions + 0: const instance of type T1 (not function type) + ?+?: function + with parameters + instance of type T1 (not function type) + instance of type T1 (not function type) + returning + instance of type T1 (not function type) + + ?++: function + with parameters + instance of type T1 (not function type) + returning + instance of type T1 (not function type) + + ?+=?: function + with parameters + instance of type T1 (not function type) + instance of type T1 (not function type) + returning + instance of type T1 (not function type) + + +?=?: automatically generated function + with parameters + _dst: pointer to instance of type T1 (not function type) + _src: instance of type T1 (not function type) + returning + instance of type T1 (not function type) + +T2: type + with parameters + P1: type + P2: type + +?=?: automatically generated function + with parameters + _dst: pointer to instance of type T2 (not function type) + _src: instance of type T2 (not function type) + returning + instance of type T2 (not function type) + +T3: type + with assertions + instance of context sumable + with parameters + instance of type T3 (not function type) + + +?=?: automatically generated function + with parameters + _dst: pointer to instance of type T3 (not function type) + _src: instance of type T3 (not function type) + returning + instance of type T3 (not function type) + +struct __anonymous0 + with members + i: instance of type P1 (not function type) + j: instance of type P2 (not function type) + +?=?: automatically generated inline static function + with parameters + _dst: pointer to instance of struct __anonymous0 + _src: instance of struct __anonymous0 + returning + instance of struct __anonymous0 + with body + CompoundStmt + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + i: instance of type P1 (not function type) + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct __anonymous0 + Member Expression, with field: + i: instance of type P1 (not function type) + from aggregate: + Variable Expression: _src: instance of struct __anonymous0 + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + j: instance of type P2 (not function type) + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct __anonymous0 + Member Expression, with field: + j: instance of type P2 (not function type) + from aggregate: + Variable Expression: _src: instance of struct __anonymous0 + + Return Statement, returning: Variable Expression: _src: instance of struct __anonymous0 + + + +T2: type for instance of struct __anonymous0 + with parameters + P1: type + P2: type + + with assertions + instance of context sumable + with parameters + instance of type T2 (not function type) + with parameters + instance of type P1 (not function type) + instance of type P2 (not function type) + + + +?=?: automatically generated function + with parameters + _dst: pointer to instance of type T2 (not function type) + _src: instance of type T2 (not function type) + returning + instance of type T2 (not function type) + with body + CompoundStmt + Return Statement, returning: Applying untyped: + Name: ?=? +...to: + Cast of: + Variable Expression: _dst: pointer to instance of type T2 (not function type) + + to: + pointer to instance of struct __anonymous0 + Cast of: + Variable Expression: _src: instance of type T2 (not function type) + + to: + instance of struct __anonymous0 + + + +w1: instance of type T2 (not function type) + with parameters + signed int + signed int + +g2: instance of type T2 (not function type) + with parameters + signed int + signed int + +w3: type for instance of type T2 (not function type) + with parameters + signed int + signed int + +?=?: automatically generated function + with parameters + _dst: pointer to instance of type w3 (not function type) + _src: instance of type w3 (not function type) + returning + instance of type w3 (not function type) + with body + CompoundStmt + Return Statement, returning: Applying untyped: + Name: ?=? +...to: + Cast of: + Variable Expression: _dst: pointer to instance of type w3 (not function type) + + to: + pointer to instance of type T2 (not function type) + with parameters + signed int + signed int + + Cast of: + Variable Expression: _src: instance of type w3 (not function type) + + to: + instance of type T2 (not function type) + with parameters + signed int + signed int + + + + +g3: instance of type w3 (not function type) +sum: forall + T: type + with assertions + ?=?: pointer to function + with parameters + pointer to instance of type T (not function type) + instance of type T (not function type) + returning + instance of type T (not function type) + + 0: const instance of type T (not function type) + ?+?: pointer to function + with parameters + instance of type T (not function type) + instance of type T (not function type) + returning + instance of type T (not function type) + + ?++: pointer to function + with parameters + instance of type T (not function type) + returning + instance of type T (not function type) + + ?+=?: pointer to function + with parameters + instance of type T (not function type) + instance of type T (not function type) + returning + instance of type T (not function type) + + + function + with parameters + n: signed int + a: pointer to instance of type T (not function type) + returning + instance of type T (not function type) + with body + CompoundStmt + Declaration of total: instance of type T (not function type) with initializer + Simple Initializer: Name: 0 + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Name: total + Name: 0 + + Declaration of i: signed int + Labels: {} + For Statement + initialization: + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Name: i + Name: 0 + + condition: + Cast of: + Applying untyped: + Name: ?!=? + ...to: + Applying untyped: + Name: ?? + ...to: + Name: i +constant expression 5 signed int Name: 0 + + to: + signed int + .... and branches: + Branch (Continue) + + If on condition: + Cast of: + Applying untyped: + Name: ?!=? + ...to: + Applying untyped: + Name: ?? + ...to: + Name: i +constant expression 5 signed int Name: 0 + + to: + signed int + .... and branches: + Branch (Continue) + + If on condition: + Cast of: + Applying untyped: + Name: ?!=? + ...to: + Applying untyped: + Name: ?? + ...to: + Name: i +constant expression 5 signed int Name: 0 + + to: + signed int + .... and branches: + Branch (Break) + + If on condition: + Cast of: + Applying untyped: + Name: ?!=? + ...to: + Applying untyped: + Name: ?? + ...to: + Name: i +constant expression 5 signed int Name: 0 + + to: + signed int + .... and branches: + CompoundStmt + Expression Statement: + Applying untyped: + Name: ?+=? + ...to: + Address of: + Name: i + Name: 1 + + Branch (Break) + + Expression Statement: + Applying untyped: + Name: ?+=? + ...to: + Address of: + Name: i + Name: 1 + + Index: src/Tests/Expect-v/Members.txt =================================================================== --- src/Tests/Expect-v/Members.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/Members.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,383 @@ +?=?: function + with parameters + pointer to char + char + returning + char + +?=?: function + with parameters + pointer to signed int + signed int + returning + signed int + +?=?: function + with parameters + pointer to float + float + returning + float + +?=?: forall + DT: incomplete type + function + with parameters + pointer to pointer to instance of type DT (not function type) + pointer to instance of type DT (not function type) + returning + pointer to instance of type DT (not function type) + +*?: forall + T: type + with assertions + ?=?: pointer to function + with parameters + pointer to instance of type T (not function type) + instance of type T (not function type) + returning + instance of type T (not function type) + + + function + with parameters + pointer to instance of type T (not function type) + returning + lvalue instance of type T (not function type) + +__builtin_memcpy: function + accepting unspecified arguments + returning + pointer to char + +a: function + with parameters + char + returning + nothing + +b: function + with parameters + signed int + returning + nothing + +c: function + with parameters + pointer to signed int + returning + nothing + +d: function + with parameters + pointer to float + returning + nothing + +struct a_struct + with members + a: signed int + a: char + a: float + +?=?: automatically generated inline static function + with parameters + _dst: pointer to instance of struct a_struct + _src: instance of struct a_struct + returning + instance of struct a_struct + with body + CompoundStmt + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + a: signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct a_struct + Member Expression, with field: + a: signed int + from aggregate: + Variable Expression: _src: instance of struct a_struct + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + a: char + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct a_struct + Member Expression, with field: + a: char + from aggregate: + Variable Expression: _src: instance of struct a_struct + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + a: float + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct a_struct + Member Expression, with field: + a: float + from aggregate: + Variable Expression: _src: instance of struct a_struct + + Return Statement, returning: Variable Expression: _src: instance of struct a_struct + + + +union b_struct + with members + a: pointer to signed int + a: pointer to char + a: pointer to float + +?=?: automatically generated inline static function + with parameters + _dst: pointer to instance of union b_struct + _src: instance of union b_struct + returning + instance of union b_struct + with body + CompoundStmt + Expression Statement: + Applying untyped: + Name: __builtin_memcpy + ...to: + Variable Expression: _dst: pointer to instance of union b_struct + Address of: + Variable Expression: _src: instance of union b_struct + Sizeof Expression on: instance of union b_struct + + Return Statement, returning: Variable Expression: _src: instance of union b_struct + + + +f: function + accepting unspecified arguments + returning + nothing + with body + CompoundStmt + Declaration of the_struct: instance of struct a_struct + Declaration of the_struct: instance of union b_struct + Expression Statement: + Applying untyped: + Name: a + ...to: + Member Expression, with field: a from aggregate: Name: the_struct + + Expression Statement: + Applying untyped: + Name: b + ...to: + Member Expression, with field: a from aggregate: Name: the_struct + + Expression Statement: + Applying untyped: + Name: c + ...to: + Member Expression, with field: a from aggregate: Name: the_struct + + Expression Statement: + Applying untyped: + Name: d + ...to: + Member Expression, with field: a from aggregate: Name: the_struct + + +struct c_struct + with members + signed int + char + float + +?=?: automatically generated inline static function + with parameters + _dst: pointer to instance of struct c_struct + _src: instance of struct c_struct + returning + instance of struct c_struct + with body + CompoundStmt + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct c_struct + Member Expression, with field: + signed int + from aggregate: + Variable Expression: _src: instance of struct c_struct + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + char + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct c_struct + Member Expression, with field: + char + from aggregate: + Variable Expression: _src: instance of struct c_struct + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + float + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct c_struct + Member Expression, with field: + float + from aggregate: + Variable Expression: _src: instance of struct c_struct + + Return Statement, returning: Variable Expression: _src: instance of struct c_struct + + + +union d_struct + with members + pointer to signed int + pointer to char + pointer to float + +?=?: automatically generated inline static function + with parameters + _dst: pointer to instance of union d_struct + _src: instance of union d_struct + returning + instance of union d_struct + with body + CompoundStmt + Expression Statement: + Applying untyped: + Name: __builtin_memcpy + ...to: + Variable Expression: _dst: pointer to instance of union d_struct + Address of: + Variable Expression: _src: instance of union d_struct + Sizeof Expression on: instance of union d_struct + + Return Statement, returning: Variable Expression: _src: instance of union d_struct + + + +g: function + accepting unspecified arguments + returning + nothing + with body + CompoundStmt + Declaration of x: short unsigned int + Declaration of x: instance of struct c_struct + Declaration of x: instance of union d_struct + Expression Statement: + Applying untyped: + Name: a + ...to: + Name: x + + Expression Statement: + Applying untyped: + Name: b + ...to: + Name: x + + Expression Statement: + Applying untyped: + Name: c + ...to: + Name: x + + Expression Statement: + Applying untyped: + Name: d + ...to: + Name: x + + +struct forward +q: pointer to instance of struct forward +struct forward + with members + y: signed int + +?=?: automatically generated inline static function + with parameters + _dst: pointer to instance of struct forward + _src: instance of struct forward + returning + instance of struct forward + with body + CompoundStmt + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + y: signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct forward + Member Expression, with field: + y: signed int + from aggregate: + Variable Expression: _src: instance of struct forward + + Return Statement, returning: Variable Expression: _src: instance of struct forward + + + +h: function + accepting unspecified arguments + returning + nothing + with body + CompoundStmt + Expression Statement: + Member Expression, with field: y from aggregate: Applying untyped: + Name: *? + ...to: + Name: q + + Index: src/Tests/Expect-v/Misc.txt =================================================================== --- src/Tests/Expect-v/Misc.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/Misc.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,55 @@ +a: signed int +b: signed int +b: float +g: function + with parameters + signed int + returning + nothing + +g: function + with parameters + unsigned int + returning + nothing + +f: function + returning + nothing + with body + CompoundStmt + Expression Statement: + Applying untyped: + Name: g + ...to: + Comma Expression: + Name: a + + Name: b + + Expression Statement: + Applying untyped: + Name: g + ...to: + Comma Expression: + Comma Expression: + Name: a + + Name: a + + Name: b + + Expression Statement: + Applying untyped: + Name: g + ...to: + Sizeof Expression on: Name: a + + + Expression Statement: + Applying untyped: + Name: g + ...to: + Sizeof Expression on: signed int + + Index: src/Tests/Expect-v/MiscError.txt =================================================================== --- src/Tests/Expect-v/MiscError.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/MiscError.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,52 @@ +a: signed int +b: signed int +b: float +g: function + with parameters + signed int + returning + nothing + +f: function + returning + nothing + with body + CompoundStmt + Expression Statement: + Applying untyped: + Name: g + ...to: + Comma Expression: + Name: b + + Name: a + + Expression Statement: + Applying untyped: + Name: g + ...to: + Comma Expression: + Comma Expression: + Name: b + + Name: a + + Name: b + + Expression Statement: + Applying untyped: + Name: g + ...to: + Comma Expression: + Comma Expression: + Name: a + + Name: b + + Name: b + + Expression Statement: + Sizeof Expression on: Name: b + + + Index: src/Tests/Expect-v/NamedParmArg.txt =================================================================== --- src/Tests/Expect-v/NamedParmArg.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/NamedParmArg.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,94 @@ +f1: function + with parameters + i: signed int with initializer + Simple Initializer: constant expression 3 signed int + j: pointer to signed int with initializer + Simple Initializer: Name: 0 + + returning + signed int + with body + CompoundStmt + +f2: function + with parameters + i: signed int with initializer + Simple Initializer: constant expression 3 signed int + j: pointer to signed int + returning + signed int + signed int + with body + CompoundStmt + +main: C function + accepting unspecified arguments + returning + signed int + with body + CompoundStmt + Expression Statement: + Applying untyped: + Name: f1 + ...to: + + Expression Statement: + Applying untyped: + Name: f1 + ...to: +constant expression 3 signed int + Expression Statement: + Applying untyped: + Name: f1 + ...to: +constant expression 3 signed int + Expression Statement: + Applying untyped: + Name: f1 + ...to: +constant expression 3 signed int Name: 0 + + Expression Statement: + Applying untyped: + Name: f1 + ...to: +constant expression 3 signed int Name: 0 + with designator: Name: j + + Expression Statement: + Applying untyped: + Name: f1 + ...to: + Name: 0 + with designator: Name: j +constant expression 3 signed int + Expression Statement: + Applying untyped: + Name: f1 + ...to: +constant expression 3 signed int with designator: Name: i + Name: 0 + with designator: Name: j + + Expression Statement: + Applying untyped: + Name: f1 + ...to: + Name: 0 + with designator: Name: j +constant expression 3 signed int with designator: Name: i + + Expression Statement: + Applying untyped: + Name: f1 + ...to: + Applying untyped: + Name: f2 + ...to: + with designator: Tuple: + Name: j + + Name: i + + + Index: src/Tests/Expect-v/NumericConstants.txt =================================================================== --- src/Tests/Expect-v/NumericConstants.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/NumericConstants.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,88 @@ +main: C function + accepting unspecified arguments + returning + signed int + with body + CompoundStmt + Expression Statement: + Name: 1 + + Expression Statement: +constant expression 21 signed int + Expression Statement: +constant expression 2147483647 signed int + Expression Statement: +constant expression 37LL long long signed int + Expression Statement: +constant expression 45ull long long unsigned int + Expression Statement: +constant expression 89llu long long unsigned int + Expression Statement: +constant expression 99LLu long long unsigned int + Expression Statement: +constant expression 56lu long unsigned int + Expression Statement: +constant expression 88LLu long long unsigned int + Expression Statement: +constant expression 0u unsigned int + Expression Statement: +constant expression 0377 signed int + Expression Statement: +constant expression 0377ul long unsigned int + Expression Statement: +constant expression 0x1 signed int + Expression Statement: +constant expression 0x1u unsigned int + Expression Statement: +constant expression 0xabL long signed int + Expression Statement: +constant expression 0x80000000 unsigned int + Expression Statement: +constant expression 0xfff signed int + Expression Statement: +constant expression 0xef3daa5c unsigned int + Expression Statement: +constant expression 0x3LL long long signed int + Expression Statement: +constant expression 3. double + Expression Statement: +constant expression 3100. double + Expression Statement: +constant expression 1000000. double + Expression Statement: +constant expression 3.1 double + Expression Statement: +constant expression 3.141592654L long double + Expression Statement: +constant expression 123456.123456 double + Expression Statement: +constant expression 3E1 double + Expression Statement: +constant expression 3e1f float + Expression Statement: +constant expression 3E11F float + Expression Statement: +constant expression 3E11 double + Expression Statement: +constant expression 3e+11 double + Expression Statement: +constant expression 3E-11 double + Expression Statement: +constant expression 3.0E1 double + Expression Statement: +constant expression 3.0E1L long double + Expression Statement: +constant expression 3.0e11 double + Expression Statement: +constant expression 3.0E11l long double + Expression Statement: +constant expression 3.0e+11l long double + Expression Statement: +constant expression 3.0E-11 double + Expression Statement: +constant expression 123456.123456E-16 double + Expression Statement: +constant expression 0xff.ffp0 double + Expression Statement: +constant expression 0x1.ffffffffp128l long double + Index: src/Tests/Expect-v/OccursError.txt =================================================================== --- src/Tests/Expect-v/OccursError.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/OccursError.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,54 @@ +f: forall + T: type + with assertions + ?=?: pointer to function + with parameters + pointer to instance of type T (not function type) + instance of type T (not function type) + returning + instance of type T (not function type) + + + function + with parameters + pointer to function + with parameters + instance of type T (not function type) + pointer to instance of type T (not function type) + returning + nothing + + returning + nothing + +g: forall + U: type + with assertions + ?=?: pointer to function + with parameters + pointer to instance of type U (not function type) + instance of type U (not function type) + returning + instance of type U (not function type) + + + function + with parameters + pointer to instance of type U (not function type) + instance of type U (not function type) + returning + nothing + +test: function + accepting unspecified arguments + returning + nothing + with body + CompoundStmt + Expression Statement: + Applying untyped: + Name: f + ...to: + Name: g + + Index: src/Tests/Expect-v/Operators.txt =================================================================== --- src/Tests/Expect-v/Operators.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/Operators.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,114 @@ +?*?: function + with parameters + signed int + signed int + returning + signed int + +?(): function + with parameters + number1: signed int + number2: signed int + returning + signed int + with body + CompoundStmt + Return Statement, returning: Applying untyped: + Name: ?*? +...to: + Name: number1 + Name: number2 + + + +?+?: function + with parameters + signed int + signed int + returning + signed int + +?=?: function + with parameters + pointer to signed int + signed int + returning + signed int + +struct accumulator + with members + total: signed int + +?=?: automatically generated inline static function + with parameters + _dst: pointer to instance of struct accumulator + _src: instance of struct accumulator + returning + instance of struct accumulator + with body + CompoundStmt + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + total: signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct accumulator + Member Expression, with field: + total: signed int + from aggregate: + Variable Expression: _src: instance of struct accumulator + + Return Statement, returning: Variable Expression: _src: instance of struct accumulator + + + +?(): function + with parameters + a: instance of struct accumulator + number1: char + number2: char + returning + char + +f: function + returning + nothing + with body + CompoundStmt + Declaration of a: char + Declaration of b: char + Expression Statement: + Applying untyped: + Name: ?() + ...to: + Name: a + Name: b + + Expression Statement: + Applying untyped: + Name: a + ...to: + Name: b + + Expression Statement: + Applying untyped: + Name: ?+? + ...to: + Name: a + Name: b + + Declaration of ?+?: instance of struct accumulator + Expression Statement: + Applying untyped: + Name: ?+? + ...to: + Name: a + Name: b + + Index: src/Tests/Expect-v/Quad.txt =================================================================== --- src/Tests/Expect-v/Quad.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/Quad.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,93 @@ +?=?: function + with parameters + pointer to signed int + signed int + returning + signed int + +?*?: function + with parameters + signed int + signed int + returning + signed int + +square: forall + T: type + with assertions + ?=?: pointer to function + with parameters + pointer to instance of type T (not function type) + instance of type T (not function type) + returning + instance of type T (not function type) + + ?*?: pointer to function + with parameters + instance of type T (not function type) + instance of type T (not function type) + returning + instance of type T (not function type) + + + function + with parameters + t: instance of type T (not function type) + returning + instance of type T (not function type) + with body + CompoundStmt + Return Statement, returning: Applying untyped: + Name: ?*? +...to: + Name: t + Name: t + + + +quad: forall + U: type + with assertions + ?=?: pointer to function + with parameters + pointer to instance of type U (not function type) + instance of type U (not function type) + returning + instance of type U (not function type) + + square: pointer to function + with parameters + instance of type U (not function type) + returning + instance of type U (not function type) + + + function + with parameters + u: instance of type U (not function type) + returning + instance of type U (not function type) + with body + CompoundStmt + Return Statement, returning: Applying untyped: + Name: square +...to: + Applying untyped: + Name: square + ...to: + Name: u + + + +f: function + accepting unspecified arguments + returning + nothing + with body + CompoundStmt + Expression Statement: + Applying untyped: + Name: quad + ...to: +constant expression 7 signed int + Index: src/Tests/Expect-v/Rank2.txt =================================================================== --- src/Tests/Expect-v/Rank2.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/Rank2.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,117 @@ +?=?: function + with parameters + pointer to signed int + signed int + returning + signed int + +?=?: forall + DT: incomplete type + function + with parameters + pointer to pointer to instance of type DT (not function type) + pointer to instance of type DT (not function type) + returning + pointer to instance of type DT (not function type) + +a: function + accepting unspecified arguments + returning + nothing + with body + CompoundStmt + Declaration of f: forall + T: type + with assertions + ?=?: pointer to function + with parameters + pointer to instance of type T (not function type) + instance of type T (not function type) + returning + instance of type T (not function type) + + + function + with parameters + instance of type T (not function type) + returning + nothing + + Declaration of g: function + with parameters + p: pointer to forall + U: type + with assertions + ?=?: pointer to function + with parameters + pointer to instance of type U (not function type) + instance of type U (not function type) + returning + instance of type U (not function type) + + + function + with parameters + instance of type U (not function type) + returning + nothing + + returning + nothing + + Expression Statement: + Applying untyped: + Name: g + ...to: + Name: f + + +g: function + accepting unspecified arguments + returning + nothing + with body + CompoundStmt + Declaration of h: function + with parameters + null: pointer to signed int + returning + nothing + + Declaration of id: forall + T: type + with assertions + ?=?: pointer to function + with parameters + pointer to instance of type T (not function type) + instance of type T (not function type) + returning + instance of type T (not function type) + + + function + with parameters + instance of type T (not function type) + returning + instance of type T (not function type) + + Declaration of 0: forall + T: incomplete type + pointer to instance of type T (not function type) + Declaration of 0: signed int + Expression Statement: + Applying untyped: + Name: h + ...to: + Applying untyped: + Name: id + ...to: + Applying untyped: + Name: id + ...to: + Applying untyped: + Name: id + ...to: + Name: 0 + + Index: src/Tests/Expect-v/Scope.txt =================================================================== --- src/Tests/Expect-v/Scope.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/Scope.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,282 @@ +x: signed int +z: double +struct __anonymous0 + with members + a: signed int + b: double + +?=?: automatically generated inline static function + with parameters + _dst: pointer to instance of struct __anonymous0 + _src: instance of struct __anonymous0 + returning + instance of struct __anonymous0 + with body + CompoundStmt + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + a: signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct __anonymous0 + Member Expression, with field: + a: signed int + from aggregate: + Variable Expression: _src: instance of struct __anonymous0 + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + b: double + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct __anonymous0 + Member Expression, with field: + b: double + from aggregate: + Variable Expression: _src: instance of struct __anonymous0 + + Return Statement, returning: Variable Expression: _src: instance of struct __anonymous0 + + + +u: type for instance of struct __anonymous0 +?=?: automatically generated function + with parameters + _dst: pointer to instance of type u (not function type) + _src: instance of type u (not function type) + returning + instance of type u (not function type) + with body + CompoundStmt + Return Statement, returning: Applying untyped: + Name: ?=? +...to: + Cast of: + Variable Expression: _dst: pointer to instance of type u (not function type) + + to: + pointer to instance of struct __anonymous0 + Cast of: + Variable Expression: _src: instance of type u (not function type) + + to: + instance of struct __anonymous0 + + + +f: function + with parameters + y: signed int + returning + signed int + +q: double +w: function + with parameters + y: double + v: instance of type u (not function type) + returning + double + with body + CompoundStmt + Declaration of x: type + with assertions + t: function + with parameters + instance of type u (not function type) + returning + instance of type x (not function type) + + + Declaration of ?=?: automatically generated function + with parameters + _dst: pointer to instance of type x (not function type) + _src: instance of type x (not function type) + returning + instance of type x (not function type) + + Declaration of u: instance of type u (not function type) with initializer + Simple Initializer: Name: y + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Name: u + Name: y + + Declaration of z: instance of type x (not function type) with initializer + Simple Initializer: Applying untyped: + Name: t + ...to: + Name: u + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Name: z + Applying untyped: + Name: t + ...to: + Name: u + + +p: double +context has_u + with parameters + z: type + + with members + u: function + with parameters + instance of type z (not function type) + returning + instance of type z (not function type) + + +q: forall + t: type + with assertions + ?=?: pointer to function + with parameters + pointer to instance of type t (not function type) + instance of type t (not function type) + returning + instance of type t (not function type) + + u: pointer to function + with parameters + instance of type t (not function type) + returning + instance of type t (not function type) + + + function + with parameters + the_t: instance of type t (not function type) + returning + double + with body + CompoundStmt + Declaration of y: instance of type t (not function type) with initializer + Simple Initializer: Applying untyped: + Name: u + ...to: + Name: the_t + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Name: y + Applying untyped: + Name: u + ...to: + Name: the_t + + +f: function + with parameters + p: double + returning + float + with body + CompoundStmt + Declaration of y: signed int + CompoundStmt + Declaration of y: char + CompoundStmt + Declaration of x: char + Declaration of z: char with initializer + Simple Initializer: Name: x + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Name: z + Name: x + + + Declaration of x: char with initializer + Simple Initializer: Name: y + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Name: x + Name: y + + + Declaration of q: char with initializer + Simple Initializer: Name: y + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Name: q + Name: y + + +g: function + returning + float + with body + CompoundStmt + Try Statement + with block: + CompoundStmt + Expression Statement: + Applying untyped: + Name: some_func + ...to: + + and handlers: + Catch Statement + ... catching +x: char + + Declaration of z: char + +q: function + accepting unspecified arguments + returning + double + with parameter names + i + with parameter declarations + i: signed int + with body + CompoundStmt + Switch on condition: Name: i + + Case Name: 0 + + Return Statement, returning: Name: q + + Default + Return Statement, returning: Name: i + + + Index: src/Tests/Expect-v/ScopeErrors.txt =================================================================== --- src/Tests/Expect-v/ScopeErrors.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/ScopeErrors.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,8 @@ +Error: duplicate function definition for butThisIsAnError: function + with parameters + double + returning + double + with body + CompoundStmt + Index: src/Tests/Expect-v/ShortCircuit.txt =================================================================== --- src/Tests/Expect-v/ShortCircuit.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/ShortCircuit.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,105 @@ +?!=?: function + with parameters + signed int + signed int + returning + signed int + +?!=?: function + with parameters + float + float + returning + signed int + +0: signed int +g: function + with parameters + float + returning + nothing + +g: function + with parameters + signed int + returning + nothing + +f: function + with parameters + a: signed int + returning + nothing + with body + CompoundStmt + Declaration of b: signed int + Declaration of c: float + Expression Statement: + Applying untyped: + Name: g + ...to: + Conditional expression on: + Cast of: + Applying untyped: + Name: ?!=? + ...to: + Name: a + Name: 0 + + to: + signed int + First alternative: + Name: b + Second alternative: + Name: c + + + Expression Statement: + Applying untyped: + Name: g + ...to: + Short-circuited operation (and) on: Cast of: + Applying untyped: + Name: ?!=? + ...to: + Name: a + Name: 0 + +to: + signed int + and Cast of: + Applying untyped: + Name: ?!=? + ...to: + Name: c + Name: 0 + +to: + signed int + + + Expression Statement: + Applying untyped: + Name: g + ...to: + Short-circuited operation (or) on: Cast of: + Applying untyped: + Name: ?!=? + ...to: + Name: a + Name: 0 + +to: + signed int + and Cast of: + Applying untyped: + Name: ?!=? + ...to: + Name: b + Name: 0 + +to: + signed int + + + Index: src/Tests/Expect-v/Statement.txt =================================================================== --- src/Tests/Expect-v/Statement.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/Statement.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,108 @@ +?=?: function + with parameters + pointer to signed int + signed int + returning + signed int + +?!=?: function + with parameters + signed int + signed int + returning + signed int + +0: signed int +f: function + accepting unspecified arguments + returning + nothing + with body + CompoundStmt + Declaration of a: signed int + Declaration of struct __anonymous0 + with members + b: signed int + + Declaration of ?=?: automatically generated inline function + with parameters + _dst: pointer to instance of struct __anonymous0 + _src: instance of struct __anonymous0 + returning + instance of struct __anonymous0 + with body + CompoundStmt + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + b: signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct __anonymous0 + Member Expression, with field: + b: signed int + from aggregate: + Variable Expression: _src: instance of struct __anonymous0 + + Return Statement, returning: Variable Expression: _src: instance of struct __anonymous0 + + + + Declaration of a: instance of struct __anonymous0 + If on condition: + Cast of: + Applying untyped: + Name: ?!=? + ...to: + Name: a + Name: 0 + + to: + signed int + .... and branches: + CompoundStmt + While on condition: + Cast of: + Applying untyped: + Name: ?!=? + ...to: + Name: a + Name: 0 + + to: + signed int + .... with body: + CompoundStmt + Declaration of b: pointer to signed int + Labels: {} + For Statement + initialization: + Expression Statement: + Name: b + + condition: + Cast of: + Applying untyped: + Name: ?!=? + ...to: + Name: a + Name: 0 + + to: + signed int + + increment: + Name: b + + statement block: + CompoundStmt + + + + + Index: src/Tests/Expect-v/StructMember.txt =================================================================== --- src/Tests/Expect-v/StructMember.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/StructMember.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,693 @@ +struct S + with members + m1: signed int with bitfield width constant expression 3 signed int + m2: signed int with bitfield width constant expression 4 signed int + signed int with bitfield width constant expression 2 signed int + signed int with bitfield width constant expression 3 signed int + signed int with bitfield width constant expression 4 signed int + m3: signed int + m4: signed int + m5: signed int + m6: signed int + m7: pointer to signed int + m8: pointer to signed int + m9: pointer to signed int + m10: pointer to function + accepting unspecified arguments + returning + signed int + + m11: pointer to function + with parameters + signed int + returning + pointer to signed int + + T: signed int + T: signed int + m12: pointer to signed int + m13: pointer to signed int + m14: pointer to function + with parameters + signed int + returning + pointer to signed int + + signed int + signed int + signed int + signed int + pointer to signed int + signed int + signed int + pointer to signed int + pointer to signed int + pointer to signed int + pointer to signed int + pointer to signed int + pointer to signed int + pointer to function + accepting unspecified arguments + returning + signed int + + pointer to pointer to function + with parameters + signed int + returning + signed int + + signed int + +?=?: automatically generated inline static function + with parameters + _dst: pointer to instance of struct S + _src: instance of struct S + returning + instance of struct S + with body + CompoundStmt + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + m1: signed int with bitfield width constant expression 3 signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct S + Member Expression, with field: + m1: signed int with bitfield width constant expression 3 signed int + from aggregate: + Variable Expression: _src: instance of struct S + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + m2: signed int with bitfield width constant expression 4 signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct S + Member Expression, with field: + m2: signed int with bitfield width constant expression 4 signed int + from aggregate: + Variable Expression: _src: instance of struct S + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + m3: signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct S + Member Expression, with field: + m3: signed int + from aggregate: + Variable Expression: _src: instance of struct S + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + m4: signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct S + Member Expression, with field: + m4: signed int + from aggregate: + Variable Expression: _src: instance of struct S + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + m5: signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct S + Member Expression, with field: + m5: signed int + from aggregate: + Variable Expression: _src: instance of struct S + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + m6: signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct S + Member Expression, with field: + m6: signed int + from aggregate: + Variable Expression: _src: instance of struct S + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + m7: pointer to signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct S + Member Expression, with field: + m7: pointer to signed int + from aggregate: + Variable Expression: _src: instance of struct S + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + m8: pointer to signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct S + Member Expression, with field: + m8: pointer to signed int + from aggregate: + Variable Expression: _src: instance of struct S + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + m9: pointer to signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct S + Member Expression, with field: + m9: pointer to signed int + from aggregate: + Variable Expression: _src: instance of struct S + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + m10: pointer to function + accepting unspecified arguments + returning + signed int + + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct S + Member Expression, with field: + m10: pointer to function + accepting unspecified arguments + returning + signed int + + from aggregate: + Variable Expression: _src: instance of struct S + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + m11: pointer to function + with parameters + signed int + returning + pointer to signed int + + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct S + Member Expression, with field: + m11: pointer to function + with parameters + signed int + returning + pointer to signed int + + from aggregate: + Variable Expression: _src: instance of struct S + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + T: signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct S + Member Expression, with field: + T: signed int + from aggregate: + Variable Expression: _src: instance of struct S + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + T: signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct S + Member Expression, with field: + T: signed int + from aggregate: + Variable Expression: _src: instance of struct S + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + m12: pointer to signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct S + Member Expression, with field: + m12: pointer to signed int + from aggregate: + Variable Expression: _src: instance of struct S + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + m13: pointer to signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct S + Member Expression, with field: + m13: pointer to signed int + from aggregate: + Variable Expression: _src: instance of struct S + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + m14: pointer to function + with parameters + signed int + returning + pointer to signed int + + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct S + Member Expression, with field: + m14: pointer to function + with parameters + signed int + returning + pointer to signed int + + from aggregate: + Variable Expression: _src: instance of struct S + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct S + Member Expression, with field: + signed int + from aggregate: + Variable Expression: _src: instance of struct S + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct S + Member Expression, with field: + signed int + from aggregate: + Variable Expression: _src: instance of struct S + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct S + Member Expression, with field: + signed int + from aggregate: + Variable Expression: _src: instance of struct S + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct S + Member Expression, with field: + signed int + from aggregate: + Variable Expression: _src: instance of struct S + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + pointer to signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct S + Member Expression, with field: + pointer to signed int + from aggregate: + Variable Expression: _src: instance of struct S + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct S + Member Expression, with field: + signed int + from aggregate: + Variable Expression: _src: instance of struct S + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct S + Member Expression, with field: + signed int + from aggregate: + Variable Expression: _src: instance of struct S + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + pointer to signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct S + Member Expression, with field: + pointer to signed int + from aggregate: + Variable Expression: _src: instance of struct S + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + pointer to signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct S + Member Expression, with field: + pointer to signed int + from aggregate: + Variable Expression: _src: instance of struct S + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + pointer to signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct S + Member Expression, with field: + pointer to signed int + from aggregate: + Variable Expression: _src: instance of struct S + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + pointer to signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct S + Member Expression, with field: + pointer to signed int + from aggregate: + Variable Expression: _src: instance of struct S + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + pointer to signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct S + Member Expression, with field: + pointer to signed int + from aggregate: + Variable Expression: _src: instance of struct S + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + pointer to signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct S + Member Expression, with field: + pointer to signed int + from aggregate: + Variable Expression: _src: instance of struct S + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + pointer to function + accepting unspecified arguments + returning + signed int + + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct S + Member Expression, with field: + pointer to function + accepting unspecified arguments + returning + signed int + + from aggregate: + Variable Expression: _src: instance of struct S + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + pointer to pointer to function + with parameters + signed int + returning + signed int + + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct S + Member Expression, with field: + pointer to pointer to function + with parameters + signed int + returning + signed int + + from aggregate: + Variable Expression: _src: instance of struct S + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct S + Member Expression, with field: + signed int + from aggregate: + Variable Expression: _src: instance of struct S + + Return Statement, returning: Variable Expression: _src: instance of struct S + + + +s: instance of struct S +union U + with members + m1: array of signed int with dimension of constant expression 5 signed int + m2: array of signed int with dimension of constant expression 5 signed int + m3: pointer to signed int + m4: pointer to signed int + +?=?: automatically generated inline static function + with parameters + _dst: pointer to instance of union U + _src: instance of union U + returning + instance of union U + with body + CompoundStmt + Expression Statement: + Applying untyped: + Name: __builtin_memcpy + ...to: + Variable Expression: _dst: pointer to instance of union U + Address of: + Variable Expression: _src: instance of union U + Sizeof Expression on: instance of union U + + Return Statement, returning: Variable Expression: _src: instance of union U + + + +u: instance of union U Index: src/Tests/Expect-v/Subrange.txt =================================================================== --- src/Tests/Expect-v/Subrange.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/Subrange.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,409 @@ +context ordered + with parameters + T: type + + with members + ?? + ...to: +constant expression 3 signed int constant expression 4 signed int Name: 0 + + to: + signed int + First alternative: + Tuple: + Name: b + + constant expression 6 signed int + Second alternative: + Tuple: + constant expression 7 signed int + constant expression 8 signed int + + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Name: t1 + Tuple: + Name: a + + Name: b + + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Name: t1 + Applying untyped: + Name: ?=? + ...to: + Address of: + Name: t2 + Tuple: + Name: a + + Name: b + + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Tuple: + Name: a + + Name: b + + Applying untyped: + Name: ?=? + ...to: + Address of: + Tuple: + Name: c + + Name: d + + Applying untyped: + Name: ?+=? + ...to: + Address of: + Name: d + Applying untyped: + Name: ?+=? + ...to: + Address of: + Name: c + Name: 1 + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Tuple: + Name: a + + Name: b + + Applying untyped: + Name: ?=? + ...to: + Address of: + Tuple: + Name: c + + Name: d + + Name: t1 + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Tuple: + Name: a + + Name: b + + Applying untyped: + Name: ?=? + ...to: + Address of: + Name: t1 + Tuple: + Name: c + + Name: d + + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Tuple: + Name: a + + Name: b + + Applying untyped: + Name: ?=? + ...to: + Address of: + Name: t1 + Applying untyped: + Name: ?=? + ...to: + Address of: + Name: t2 + Tuple: + Name: c + + Name: d + + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Name: t1 + Applying untyped: + Name: ?=? + ...to: + Address of: + Tuple: + constant expression 3 signed int + constant expression 4 signed int + Applying untyped: + Name: ?=? + ...to: + Address of: + Tuple: + constant expression 3 signed int + constant expression 4 signed int + Applying untyped: + Name: ?=? + ...to: + Address of: + Name: t1 + Tuple: + constant expression 3 signed int + constant expression 4 signed int + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Name: s + Tuple: + constant expression 11 signed int + constant expression 12 signed int + constant expression 13 signed int + constant expression 3.14159 double + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Name: s + Applying untyped: + Name: h + ...to: +constant expression 3 signed int constant expression 3 signed int Name: 0 +constant expression "abc" array of char with dimension of constant expression 6 unsigned int + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Tuple: + Name: a + + Name: b + + Applying untyped: + Name: h + ...to: +constant expression 3 signed int constant expression 3 signed int Name: 0 +constant expression "abc" array of char with dimension of constant expression 6 unsigned int + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Name: sp + Name: sp + + Expression Statement: + Applying untyped: + Name: printf + ...to: +constant expression "expecting 3, 17, 23, 4; got %d, %d, %d, %d\n" array of char with dimension of constant expression 47 unsigned int Name: s + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Name: rc + Name: 0 + + Index: src/Tests/Expect-v/TypeGenerator.txt =================================================================== --- src/Tests/Expect-v/TypeGenerator.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/TypeGenerator.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,409 @@ +context addable + with parameters + T: type + + with members + ?+?: function + with parameters + instance of type T (not function type) + instance of type T (not function type) + returning + instance of type T (not function type) + + +struct __anonymous0 + with members + data: instance of type T (not function type) + next: pointer to instance of type List1 (not function type) + with parameters + instance of type T (not function type) + + +?=?: automatically generated inline static function + with parameters + _dst: pointer to instance of struct __anonymous0 + _src: instance of struct __anonymous0 + returning + instance of struct __anonymous0 + with body + CompoundStmt + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + data: instance of type T (not function type) + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct __anonymous0 + Member Expression, with field: + data: instance of type T (not function type) + from aggregate: + Variable Expression: _src: instance of struct __anonymous0 + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + next: pointer to instance of type List1 (not function type) + with parameters + instance of type T (not function type) + + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct __anonymous0 + Member Expression, with field: + next: pointer to instance of type List1 (not function type) + with parameters + instance of type T (not function type) + + from aggregate: + Variable Expression: _src: instance of struct __anonymous0 + + Return Statement, returning: Variable Expression: _src: instance of struct __anonymous0 + + + +List1: type for pointer to instance of struct __anonymous0 + with parameters + T: type + with assertions + instance of context addable + with parameters + instance of type T (not function type) + + + + with assertions + instance of context addable + with parameters + instance of type T (not function type) + + +?=?: automatically generated function + with parameters + _dst: pointer to instance of type List1 (not function type) + _src: instance of type List1 (not function type) + returning + instance of type List1 (not function type) + with body + CompoundStmt + Return Statement, returning: Applying untyped: + Name: ?=? +...to: + Cast of: + Variable Expression: _dst: pointer to instance of type List1 (not function type) + + to: + pointer to pointer to instance of struct __anonymous0 + Cast of: + Variable Expression: _src: instance of type List1 (not function type) + + to: + pointer to instance of struct __anonymous0 + + + +li: instance of type List1 (not function type) + with parameters + signed int + +f: function + with parameters + g: pointer to function + with parameters + signed int + returning + instance of type List1 (not function type) + with parameters + signed int + + + returning + signed int + +h: function + with parameters + p: pointer to instance of type List1 (not function type) + with parameters + signed int + + returning + signed int + +struct S1 + with parameters + T: type + +struct S1 + with parameters + T: type + + with members + i: instance of type T (not function type) + +?=?: automatically generated inline static function + with parameters + _dst: pointer to instance of struct S1 + _src: instance of struct S1 + returning + instance of struct S1 + with body + CompoundStmt + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + i: instance of type T (not function type) + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct S1 + Member Expression, with field: + i: instance of type T (not function type) + from aggregate: + Variable Expression: _src: instance of struct S1 + + Return Statement, returning: Variable Expression: _src: instance of struct S1 + + + +v1: instance of struct S1 + with parameters + signed int + +p: pointer to instance of struct S1 + with parameters + signed int + +struct S2 + with parameters + T: type + + with members + i: instance of type T (not function type) + +?=?: automatically generated inline static function + with parameters + _dst: pointer to instance of struct S2 + _src: instance of struct S2 + returning + instance of struct S2 + with body + CompoundStmt + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + i: instance of type T (not function type) + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct S2 + Member Expression, with field: + i: instance of type T (not function type) + from aggregate: + Variable Expression: _src: instance of struct S2 + + Return Statement, returning: Variable Expression: _src: instance of struct S2 + + + +v2: instance of struct S2 + with parameters + signed int + +struct __anonymous1 + with parameters + T: type + + with members + i: instance of type T (not function type) + +?=?: automatically generated inline static function + with parameters + _dst: pointer to instance of struct __anonymous1 + _src: instance of struct __anonymous1 + returning + instance of struct __anonymous1 + with body + CompoundStmt + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + i: instance of type T (not function type) + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct __anonymous1 + Member Expression, with field: + i: instance of type T (not function type) + from aggregate: + Variable Expression: _src: instance of struct __anonymous1 + + Return Statement, returning: Variable Expression: _src: instance of struct __anonymous1 + + + +v2: instance of struct __anonymous1 + with parameters + signed int + +struct node + with parameters + T: type + with assertions + instance of context addable + with parameters + instance of type T (not function type) + + + + with members + data: instance of type T (not function type) + next: pointer to instance of struct node + with parameters + instance of type T (not function type) + + +?=?: automatically generated inline static function + with parameters + _dst: pointer to instance of struct node + _src: instance of struct node + returning + instance of struct node + with body + CompoundStmt + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + data: instance of type T (not function type) + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct node + Member Expression, with field: + data: instance of type T (not function type) + from aggregate: + Variable Expression: _src: instance of struct node + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + next: pointer to instance of struct node + with parameters + instance of type T (not function type) + + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct node + Member Expression, with field: + next: pointer to instance of struct node + with parameters + instance of type T (not function type) + + from aggregate: + Variable Expression: _src: instance of struct node + + Return Statement, returning: Variable Expression: _src: instance of struct node + + + +List: type for pointer to instance of struct node + with parameters + instance of type T (not function type) + + with parameters + T: type + +?=?: automatically generated function + with parameters + _dst: pointer to instance of type List (not function type) + _src: instance of type List (not function type) + returning + instance of type List (not function type) + with body + CompoundStmt + Return Statement, returning: Applying untyped: + Name: ?=? +...to: + Cast of: + Variable Expression: _dst: pointer to instance of type List (not function type) + + to: + pointer to pointer to instance of struct node + with parameters + instance of type T (not function type) + + Cast of: + Variable Expression: _src: instance of type List (not function type) + + to: + pointer to instance of struct node + with parameters + instance of type T (not function type) + + + + +my_list: instance of type List (not function type) + with parameters + signed int + +Complex: type + with assertions + instance of context addable + with parameters + instance of type Complex (not function type) + + +?=?: automatically generated function + with parameters + _dst: pointer to instance of type Complex (not function type) + _src: instance of type Complex (not function type) + returning + instance of type Complex (not function type) + +main: C function + accepting unspecified arguments + returning + signed int + with body + CompoundStmt + Expression Statement: + Cast of: + Name: my_list + + to: + instance of struct node + with parameters + signed int + + + Index: src/Tests/Expect-v/Typedef.txt =================================================================== --- src/Tests/Expect-v/Typedef.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/Typedef.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,86 @@ +f: function + returning + nothing + with body + CompoundStmt + Declaration of T: function + with parameters + signed int + returning + signed int + + Expression Statement: + Applying untyped: + Name: T + ...to: +constant expression 3 signed int + +struct __anonymous0 + with members + T: signed int + +?=?: automatically generated inline static function + with parameters + _dst: pointer to instance of struct __anonymous0 + _src: instance of struct __anonymous0 + returning + instance of struct __anonymous0 + with body + CompoundStmt + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Member Expression, with field: + T: signed int + from aggregate: + Applying untyped: + Name: *? + ...to: + Variable Expression: _dst: pointer to instance of struct __anonymous0 + Member Expression, with field: + T: signed int + from aggregate: + Variable Expression: _src: instance of struct __anonymous0 + + Return Statement, returning: Variable Expression: _src: instance of struct __anonymous0 + + + +fred: instance of struct __anonymous0 with initializer + Compound initializer: + Simple Initializer: constant expression 3 signed int +b: pointer to function + with parameters + signed int + char + returning + signed int + +g: function + returning + signed int + with body + CompoundStmt + Declaration of a: double + +c: pointer to function + with parameters + signed int + char + returning + signed int + +p: type-of expression constant expression 3 signed int +q: type-of expression constant expression 3 signed int +main: C function + accepting unspecified arguments + returning + signed int + with body + CompoundStmt + Declaration of w: type-of expression constant expression 3 signed int + Declaration of x: type-of expression constant expression 3 signed int + +array: array of pointer to signed int with dimension of constant expression 10 signed int Index: src/Tests/Expect-v/TypedefDeclarator.txt =================================================================== --- src/Tests/Expect-v/TypedefDeclarator.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/TypedefDeclarator.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,185 @@ +main: C function + accepting unspecified arguments + returning + signed int + with body + CompoundStmt + Declaration of f1: signed int + Declaration of f2: signed int + Declaration of f3: pointer to signed int + Declaration of f4: pointer to pointer to signed int + Declaration of f5: pointer to const pointer to signed int + Declaration of f6: const pointer to const pointer to signed int + Declaration of f7: pointer to signed int + Declaration of f8: pointer to pointer to signed int + Declaration of f9: pointer to const pointer to signed int + Declaration of f10: const pointer to const pointer to signed int + Declaration of f11: pointer to signed int + Declaration of f12: pointer to pointer to signed int + Declaration of f13: pointer to const pointer to signed int + Declaration of f14: const pointer to const pointer to signed int + Declaration of f15: open array of signed int + Declaration of f16: array of signed int with dimension of constant expression 10 signed int + Declaration of f17: open array of signed int + Declaration of f18: array of signed int with dimension of constant expression 10 signed int + Declaration of f19: open array of pointer to signed int + Declaration of f20: array of pointer to signed int with dimension of constant expression 10 signed int + Declaration of f21: open array of pointer to pointer to signed int + Declaration of f22: array of pointer to pointer to signed int with dimension of constant expression 10 signed int + Declaration of f23: open array of pointer to const pointer to signed int + Declaration of f24: array of pointer to const pointer to signed int with dimension of constant expression 10 signed int + Declaration of f25: open array of const pointer to const pointer to signed int + Declaration of f26: array of const pointer to const pointer to signed int with dimension of constant expression 10 signed int + Declaration of f27: open array of pointer to signed int + Declaration of f28: array of pointer to signed int with dimension of constant expression 10 signed int + Declaration of f29: open array of pointer to pointer to signed int + Declaration of f30: array of pointer to pointer to signed int with dimension of constant expression 10 signed int + Declaration of f31: open array of pointer to const pointer to signed int + Declaration of f32: array of pointer to const pointer to signed int with dimension of constant expression 10 signed int + Declaration of f33: open array of const pointer to const pointer to signed int + Declaration of f34: array of const pointer to const pointer to signed int with dimension of constant expression 10 signed int + Declaration of f35: open array of pointer to signed int + Declaration of f36: array of pointer to signed int with dimension of constant expression 10 signed int + Declaration of f37: open array of pointer to pointer to signed int + Declaration of f38: array of pointer to pointer to signed int with dimension of constant expression 10 signed int + Declaration of f39: open array of pointer to const pointer to signed int + Declaration of f40: array of pointer to const pointer to signed int with dimension of constant expression 10 signed int + Declaration of f41: open array of const pointer to const pointer to signed int + Declaration of f42: array of const pointer to const pointer to signed int with dimension of constant expression 10 signed int + Declaration of f43: open array of array of signed int with dimension of constant expression 3 signed int + Declaration of f44: array of array of signed int with dimension of constant expression 3 signed int with dimension of constant expression 3 signed int + Declaration of f45: open array of array of signed int with dimension of constant expression 3 signed int + Declaration of f46: array of array of signed int with dimension of constant expression 3 signed int with dimension of constant expression 3 signed int + Declaration of f47: open array of array of signed int with dimension of constant expression 3 signed int + Declaration of f48: array of array of signed int with dimension of constant expression 3 signed int with dimension of constant expression 3 signed int + Declaration of f49: open array of array of pointer to signed int with dimension of constant expression 3 signed int + Declaration of f50: array of array of pointer to signed int with dimension of constant expression 3 signed int with dimension of constant expression 3 signed int + Declaration of f51: open array of array of pointer to pointer to signed int with dimension of constant expression 3 signed int + Declaration of f52: array of array of pointer to pointer to signed int with dimension of constant expression 3 signed int with dimension of constant expression 3 signed int + Declaration of f53: open array of array of pointer to const pointer to signed int with dimension of constant expression 3 signed int + Declaration of f54: array of array of pointer to const pointer to signed int with dimension of constant expression 3 signed int with dimension of constant expression 3 signed int + Declaration of f55: open array of array of const pointer to const pointer to signed int with dimension of constant expression 3 signed int + Declaration of f56: array of array of const pointer to const pointer to signed int with dimension of constant expression 3 signed int with dimension of constant expression 3 signed int + Declaration of f57: open array of array of pointer to signed int with dimension of constant expression 3 signed int + Declaration of f58: array of array of pointer to signed int with dimension of constant expression 3 signed int with dimension of constant expression 3 signed int + Declaration of f59: open array of array of pointer to pointer to signed int with dimension of constant expression 3 signed int + Declaration of f60: array of array of pointer to pointer to signed int with dimension of constant expression 3 signed int with dimension of constant expression 3 signed int + Declaration of f61: open array of array of pointer to const pointer to signed int with dimension of constant expression 3 signed int + Declaration of f62: array of array of pointer to const pointer to signed int with dimension of constant expression 3 signed int with dimension of constant expression 3 signed int + Declaration of f63: open array of array of const pointer to const pointer to signed int with dimension of constant expression 3 signed int + Declaration of f64: array of array of const pointer to const pointer to signed int with dimension of constant expression 3 signed int with dimension of constant expression 3 signed int + Declaration of f65: function + with parameters + signed int + returning + signed int + + Declaration of f66: function + with parameters + signed int + returning + signed int + + Declaration of f67: function + with parameters + signed int + returning + pointer to signed int + + Declaration of f68: function + with parameters + signed int + returning + pointer to pointer to signed int + + Declaration of f69: function + with parameters + signed int + returning + pointer to const pointer to signed int + + Declaration of f70: function + with parameters + signed int + returning + const pointer to const pointer to signed int + + Declaration of f71: function + with parameters + signed int + returning + pointer to signed int + + Declaration of f72: function + with parameters + signed int + returning + pointer to pointer to signed int + + Declaration of f73: function + with parameters + signed int + returning + pointer to const pointer to signed int + + Declaration of f74: function + with parameters + signed int + returning + const pointer to const pointer to signed int + + Declaration of f75: pointer to function + with parameters + signed int + returning + signed int + + Declaration of f76: pointer to pointer to function + with parameters + signed int + returning + signed int + + Declaration of f77: pointer to const pointer to function + with parameters + signed int + returning + signed int + + Declaration of f78: const pointer to const pointer to function + with parameters + signed int + returning + signed int + + Declaration of f79: pointer to function + with parameters + signed int + returning + pointer to function + accepting unspecified arguments + returning + signed int + + + Declaration of f80: const pointer to function + with parameters + signed int + returning + pointer to function + accepting unspecified arguments + returning + signed int + + + Declaration of f81: const pointer to function + with parameters + signed int + returning + const pointer to function + accepting unspecified arguments + returning + signed int + + + Index: src/Tests/Expect-v/TypedefParamDeclarator.txt =================================================================== --- src/Tests/Expect-v/TypedefParamDeclarator.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/TypedefParamDeclarator.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,262 @@ +fred: function + with parameters + f1: signed int + f3: pointer to signed int + f4: pointer to pointer to signed int + f5: pointer to const pointer to signed int + f6: const pointer to const pointer to signed int + f11: pointer to signed int + f12: pointer to pointer to signed int + f13: pointer to const pointer to signed int + f14: const pointer to const pointer to signed int + f15: pointer to signed int + f16: pointer to array of constant expression 10 signed int signed int + f19: pointer to pointer to signed int + f20: pointer to array of constant expression 10 signed int pointer to signed int + f21: pointer to pointer to pointer to signed int + f22: pointer to array of constant expression 10 signed int pointer to pointer to signed int + f23: pointer to pointer to const pointer to signed int + f24: pointer to array of constant expression 10 signed int pointer to const pointer to signed int + f25: pointer to const pointer to const pointer to signed int + f26: pointer to array of constant expression 10 signed int const pointer to const pointer to signed int + f35: pointer to pointer to signed int + f36: pointer to array of constant expression 10 signed int pointer to signed int + f37: pointer to pointer to pointer to signed int + f38: pointer to array of constant expression 10 signed int pointer to pointer to signed int + f39: pointer to pointer to const pointer to signed int + f40: pointer to array of constant expression 10 signed int pointer to const pointer to signed int + f41: pointer to const pointer to const pointer to signed int + f42: pointer to array of constant expression 10 signed int const pointer to const pointer to signed int + f43: pointer to array of signed int with dimension of constant expression 3 signed int + f44: pointer to array of constant expression 3 signed int array of signed int with dimension of constant expression 3 signed int + f49: pointer to array of pointer to signed int with dimension of constant expression 3 signed int + f50: pointer to array of constant expression 3 signed int array of pointer to signed int with dimension of constant expression 3 signed int + f51: pointer to array of pointer to pointer to signed int with dimension of constant expression 3 signed int + f52: pointer to array of constant expression 3 signed int array of pointer to pointer to signed int with dimension of constant expression 3 signed int + f53: pointer to array of pointer to const pointer to signed int with dimension of constant expression 3 signed int + f54: pointer to array of constant expression 3 signed int array of pointer to const pointer to signed int with dimension of constant expression 3 signed int + f55: pointer to array of const pointer to const pointer to signed int with dimension of constant expression 3 signed int + f56: pointer to array of constant expression 3 signed int array of const pointer to const pointer to signed int with dimension of constant expression 3 signed int + f57: pointer to array of pointer to signed int with dimension of constant expression 3 signed int + f58: pointer to array of constant expression 3 signed int array of pointer to signed int with dimension of constant expression 3 signed int + f59: pointer to array of pointer to pointer to signed int with dimension of constant expression 3 signed int + f60: pointer to array of constant expression 3 signed int array of pointer to pointer to signed int with dimension of constant expression 3 signed int + f61: pointer to array of pointer to const pointer to signed int with dimension of constant expression 3 signed int + f62: pointer to array of constant expression 3 signed int array of pointer to const pointer to signed int with dimension of constant expression 3 signed int + f63: pointer to array of const pointer to const pointer to signed int with dimension of constant expression 3 signed int + f64: pointer to array of constant expression 3 signed int array of const pointer to const pointer to signed int with dimension of constant expression 3 signed int + f65: pointer to function + with parameters + signed int + returning + signed int + + f67: pointer to function + with parameters + signed int + returning + pointer to signed int + + f68: pointer to function + with parameters + signed int + returning + pointer to pointer to signed int + + f69: pointer to function + with parameters + signed int + returning + pointer to const pointer to signed int + + f70: pointer to function + with parameters + signed int + returning + const pointer to const pointer to signed int + + f75: pointer to function + with parameters + signed int + returning + signed int + + f76: pointer to pointer to function + with parameters + signed int + returning + signed int + + f77: pointer to const pointer to function + with parameters + signed int + returning + signed int + + f78: const pointer to const pointer to function + with parameters + signed int + returning + signed int + + f79: pointer to function + with parameters + signed int + returning + pointer to function + accepting unspecified arguments + returning + signed int + + + f80: const pointer to function + with parameters + signed int + returning + pointer to function + accepting unspecified arguments + returning + signed int + + + f81: const pointer to function + with parameters + signed int + returning + const pointer to function + accepting unspecified arguments + returning + signed int + + + f82: const pointer to variable length array of signed int + f83: const pointer to array of constant expression 3 signed int signed int + f84: pointer to static array of constant expression 3 signed int signed int + f85: const pointer to static array of constant expression 3 signed int signed int + pointer to function + with parameters + const pointer to variable length array of signed int + returning + signed int + + pointer to function + with parameters + const pointer to array of constant expression 3 signed int signed int + returning + signed int + + pointer to function + with parameters + pointer to static array of constant expression 3 signed int signed int + returning + signed int + + pointer to function + with parameters + const pointer to static array of constant expression 3 signed int signed int + returning + signed int + + f90: const pointer to variable length array of pointer to signed int + f91: const pointer to array of constant expression 3 signed int pointer to signed int + f92: pointer to static array of constant expression 3 signed int pointer to pointer to signed int + f93: const pointer to static array of constant expression 3 signed int pointer to const pointer to signed int + f94: const pointer to static array of constant expression 3 signed int const pointer to const pointer to signed int + pointer to function + with parameters + const pointer to variable length array of signed int + returning + pointer to signed int + + pointer to function + with parameters + const pointer to array of constant expression 3 signed int signed int + returning + pointer to signed int + + pointer to function + with parameters + pointer to static array of constant expression 3 signed int signed int + returning + pointer to pointer to signed int + + pointer to function + with parameters + const pointer to static array of constant expression 3 signed int signed int + returning + pointer to const pointer to signed int + + pointer to function + with parameters + const pointer to static array of constant expression 3 signed int signed int + returning + const pointer to const pointer to signed int + + f100: const pointer to variable length array of array of signed int with dimension of constant expression 3 signed int + f101: const pointer to array of constant expression 3 signed int array of signed int with dimension of constant expression 3 signed int + f102: pointer to static array of constant expression 3 signed int array of signed int with dimension of constant expression 3 signed int + f103: const pointer to static array of constant expression 3 signed int array of signed int with dimension of constant expression 3 signed int + pointer to function + with parameters + const pointer to variable length array of array of signed int with dimension of constant expression 3 signed int + returning + signed int + + pointer to function + with parameters + const pointer to array of constant expression 3 signed int array of signed int with dimension of constant expression 3 signed int + returning + signed int + + pointer to function + with parameters + pointer to static array of constant expression 3 signed int array of signed int with dimension of constant expression 3 signed int + returning + signed int + + pointer to function + with parameters + const pointer to static array of constant expression 3 signed int array of signed int with dimension of constant expression 3 signed int + returning + signed int + + f108: const pointer to variable length array of array of pointer to signed int with dimension of constant expression 3 signed int + f109: const pointer to array of constant expression 3 signed int array of pointer to signed int with dimension of constant expression 3 signed int + f110: pointer to static array of constant expression 3 signed int array of pointer to pointer to signed int with dimension of constant expression 3 signed int + f111: const pointer to static array of constant expression 3 signed int array of pointer to const pointer to signed int with dimension of constant expression 3 signed int + f112: const pointer to static array of constant expression 3 signed int array of const pointer to const pointer to signed int with dimension of constant expression 3 signed int + pointer to function + with parameters + const pointer to variable length array of array of signed int with dimension of constant expression 3 signed int + returning + pointer to signed int + + pointer to function + with parameters + const pointer to array of constant expression 3 signed int array of signed int with dimension of constant expression 3 signed int + returning + pointer to signed int + + pointer to function + with parameters + pointer to static array of constant expression 3 signed int array of signed int with dimension of constant expression 3 signed int + returning + pointer to pointer to signed int + + pointer to function + with parameters + const pointer to static array of constant expression 3 signed int array of signed int with dimension of constant expression 3 signed int + returning + pointer to const pointer to signed int + + pointer to function + with parameters + const pointer to static array of constant expression 3 signed int array of signed int with dimension of constant expression 3 signed int + returning + const pointer to const pointer to signed int + + returning + signed int + with body + CompoundStmt + Index: src/Tests/Expect-v/Typeof.txt =================================================================== --- src/Tests/Expect-v/Typeof.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/Typeof.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,32 @@ +main: C function + accepting unspecified arguments + returning + signed int + with body + CompoundStmt + Declaration of v1: pointer to signed int + Declaration of v2: type-of expression Name: v1 + + Declaration of v3: array of type-of expression Applying untyped: + Name: *? + ...to: + Name: v1 +with dimension of constant expression 4 signed int + Declaration of v4: array of pointer to char with dimension of constant expression 4 signed int + Declaration of v5: array of pointer to char with dimension of constant expression 4 signed int + Declaration of v6: pointer to signed int + Declaration of v7: pointer to function + with parameters + signed int + p: signed int + returning + signed int + + Declaration of v8: pointer to function + with parameters + signed int + p: signed int + returning + signed int + + Index: src/Tests/Expect-v/VariableDeclarator.txt =================================================================== --- src/Tests/Expect-v/VariableDeclarator.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/VariableDeclarator.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,253 @@ +f1: signed int +f2: signed int +f3: pointer to signed int +f4: pointer to pointer to signed int +f5: pointer to const pointer to signed int +f6: const pointer to const pointer to signed int +f7: pointer to signed int +f8: pointer to pointer to signed int +f9: pointer to const pointer to signed int +f10: const pointer to const pointer to signed int +f11: pointer to signed int +f12: pointer to pointer to signed int +f13: pointer to const pointer to signed int +f14: const pointer to const pointer to signed int +f15: open array of signed int +f16: array of signed int with dimension of constant expression 10 signed int +f17: open array of signed int +f18: array of signed int with dimension of constant expression 10 signed int +f19: open array of pointer to signed int +f20: array of pointer to signed int with dimension of constant expression 10 signed int +f21: open array of pointer to pointer to signed int +f22: array of pointer to pointer to signed int with dimension of constant expression 10 signed int +f23: open array of pointer to const pointer to signed int +f24: array of pointer to const pointer to signed int with dimension of constant expression 10 signed int +f25: open array of const pointer to const pointer to signed int +f26: array of const pointer to const pointer to signed int with dimension of constant expression 10 signed int +f27: open array of pointer to signed int +f28: array of pointer to signed int with dimension of constant expression 10 signed int +f29: open array of pointer to pointer to signed int +f30: array of pointer to pointer to signed int with dimension of constant expression 10 signed int +f31: open array of pointer to const pointer to signed int +f32: array of pointer to const pointer to signed int with dimension of constant expression 10 signed int +f33: open array of const pointer to const pointer to signed int +f34: array of const pointer to const pointer to signed int with dimension of constant expression 10 signed int +f35: pointer to open array of signed int +f36: pointer to array of signed int with dimension of constant expression 10 signed int +f37: pointer to pointer to open array of signed int +f38: pointer to pointer to array of signed int with dimension of constant expression 10 signed int +f39: pointer to const pointer to open array of signed int +f40: pointer to const pointer to array of signed int with dimension of constant expression 10 signed int +f41: const pointer to const pointer to open array of signed int +f42: const pointer to const pointer to array of signed int with dimension of constant expression 10 signed int +f43: open array of array of signed int with dimension of constant expression 3 signed int +f44: array of array of signed int with dimension of constant expression 3 signed int with dimension of constant expression 3 signed int +f45: open array of array of signed int with dimension of constant expression 3 signed int +f46: array of array of signed int with dimension of constant expression 3 signed int with dimension of constant expression 3 signed int +f47: open array of array of signed int with dimension of constant expression 3 signed int +f48: array of array of signed int with dimension of constant expression 3 signed int with dimension of constant expression 3 signed int +f49: open array of array of pointer to signed int with dimension of constant expression 3 signed int +f50: array of array of pointer to signed int with dimension of constant expression 3 signed int with dimension of constant expression 3 signed int +f51: open array of array of pointer to pointer to signed int with dimension of constant expression 3 signed int +f52: array of array of pointer to pointer to signed int with dimension of constant expression 3 signed int with dimension of constant expression 3 signed int +f53: open array of array of pointer to const pointer to signed int with dimension of constant expression 3 signed int +f54: array of array of pointer to const pointer to signed int with dimension of constant expression 3 signed int with dimension of constant expression 3 signed int +f55: open array of array of const pointer to const pointer to signed int with dimension of constant expression 3 signed int +f56: array of array of const pointer to const pointer to signed int with dimension of constant expression 3 signed int with dimension of constant expression 3 signed int +f57: open array of array of pointer to signed int with dimension of constant expression 3 signed int +f58: array of array of pointer to signed int with dimension of constant expression 3 signed int with dimension of constant expression 3 signed int +f59: open array of array of pointer to pointer to signed int with dimension of constant expression 3 signed int +f60: array of array of pointer to pointer to signed int with dimension of constant expression 3 signed int with dimension of constant expression 3 signed int +f61: open array of array of pointer to const pointer to signed int with dimension of constant expression 3 signed int +f62: array of array of pointer to const pointer to signed int with dimension of constant expression 3 signed int with dimension of constant expression 3 signed int +f63: open array of array of const pointer to const pointer to signed int with dimension of constant expression 3 signed int +f64: array of array of const pointer to const pointer to signed int with dimension of constant expression 3 signed int with dimension of constant expression 3 signed int +f65: function + with parameters + signed int + returning + signed int + +f66: function + with parameters + signed int + returning + signed int + +f67: function + with parameters + signed int + returning + pointer to signed int + +f68: function + with parameters + signed int + returning + pointer to pointer to signed int + +f69: function + with parameters + signed int + returning + pointer to const pointer to signed int + +f70: function + with parameters + signed int + returning + const pointer to const pointer to signed int + +f71: function + with parameters + signed int + returning + pointer to signed int + +f72: function + with parameters + signed int + returning + pointer to pointer to signed int + +f73: function + with parameters + signed int + returning + pointer to const pointer to signed int + +f74: function + with parameters + signed int + returning + const pointer to const pointer to signed int + +f75: pointer to function + with parameters + signed int + returning + signed int + +f76: pointer to pointer to function + with parameters + signed int + returning + signed int + +f77: pointer to const pointer to function + with parameters + signed int + returning + signed int + +f78: const pointer to const pointer to function + with parameters + signed int + returning + signed int + +f79: pointer to function + with parameters + signed int + returning + pointer to function + accepting unspecified arguments + returning + signed int + + +f80: const pointer to function + with parameters + signed int + returning + pointer to function + accepting unspecified arguments + returning + signed int + + +f81: const pointer to function + with parameters + signed int + returning + const pointer to function + accepting unspecified arguments + returning + signed int + + +cf3: pointer to signed int +cf4: pointer to pointer to signed int +cf5: pointer to const pointer to signed int +cf6: const pointer to const pointer to signed int +cf15: open array of signed int +cf16: array of signed int with dimension of constant expression 10 signed int +cf19: open array of pointer to signed int +cf20: array of pointer to signed int with dimension of constant expression 10 signed int +cf21: open array of pointer to pointer to signed int +cf22: array of pointer to pointer to signed int with dimension of constant expression 10 signed int +cf23: open array of pointer to const pointer to signed int +cf24: array of pointer to const pointer to signed int with dimension of constant expression 10 signed int +cf25: open array of const pointer to const pointer to signed int +cf26: array of const pointer to const pointer to signed int with dimension of constant expression 10 signed int +cf35: pointer to open array of signed int +cf36: pointer to array of signed int with dimension of constant expression 10 signed int +cf37: pointer to pointer to open array of signed int +cf38: pointer to pointer to array of signed int with dimension of constant expression 10 signed int +cf39: pointer to const pointer to open array of signed int +cf40: pointer to const pointer to array of signed int with dimension of constant expression 10 signed int +cf41: const pointer to const pointer to open array of signed int +cf42: const pointer to const pointer to array of signed int with dimension of constant expression 10 signed int +cf43: open array of array of signed int with dimension of constant expression 3 signed int +cf44: array of array of signed int with dimension of constant expression 3 signed int with dimension of constant expression 3 signed int +cf49: open array of array of pointer to signed int with dimension of constant expression 3 signed int +cf50: array of array of pointer to signed int with dimension of constant expression 3 signed int with dimension of constant expression 3 signed int +cf51: open array of array of pointer to pointer to signed int with dimension of constant expression 3 signed int +cf52: array of array of pointer to pointer to signed int with dimension of constant expression 3 signed int with dimension of constant expression 3 signed int +cf53: open array of array of const pointer to signed int with dimension of constant expression 3 signed int +cf54: array of array of pointer to const pointer to signed int with dimension of constant expression 3 signed int with dimension of constant expression 3 signed int +cf55: open array of array of const pointer to const pointer to signed int with dimension of constant expression 3 signed int +cf56: array of array of const pointer to const pointer to signed int with dimension of constant expression 3 signed int with dimension of constant expression 3 signed int +cf65: function + with parameters + signed int + returning + signed int + +cf66: function + with parameters + signed int + returning + signed int + +cf67: function + with parameters + signed int + returning + pointer to signed int + +cf68: function + with parameters + signed int + returning + pointer to pointer to signed int + +cf69: function + with parameters + signed int + returning + const pointer to pointer to signed int + +cf70: function + with parameters + signed int + returning + const pointer to const pointer to signed int + +v3: pointer to open array of pointer to open array of pointer to function + with parameters + pointer to open array of pointer to open array of signed int + pointer to open array of pointer to open array of signed int + returning + pointer to open array of pointer to open array of signed int + Index: src/Tests/Expect-v/gcc900407-1.txt =================================================================== --- src/Tests/Expect-v/gcc900407-1.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/gcc900407-1.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,71 @@ +foo: function + with parameters + a: signed int + b: signed int + p: pointer to signed int + returning + signed int + with body + CompoundStmt + Declaration of c: signed int + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Applying untyped: + Name: ?[?] + ...to: + Name: p +constant expression 2 signed int Applying untyped: + Name: ?+? + ...to: + Name: a +constant expression 0x1000 signed int + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Name: c + Applying untyped: + Name: ?+? + ...to: + Name: b +constant expression 0xffff0000 unsigned int + If on condition: + Cast of: + Applying untyped: + Name: ?!=? + ...to: + Applying untyped: + Name: ?==? + ...to: + Applying untyped: + Name: ?+? + ...to: + Name: b +constant expression 0xffff0000 unsigned int constant expression 2 signed int Name: 0 + + to: + signed int + .... and branches: + Expression Statement: + Applying untyped: + Name: ?++ + ...to: + Address of: + Name: c + + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Applying untyped: + Name: ?[?] + ...to: + Name: p +constant expression 2 signed int Name: c + + Index: src/Tests/Expect-v/gcc900516-1.txt =================================================================== --- src/Tests/Expect-v/gcc900516-1.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/gcc900516-1.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,26 @@ +f: function + with parameters + c: signed int + returning + signed int + with body + CompoundStmt + Return Statement, returning: Applying untyped: + Name: !? +...to: + Conditional expression on: + Cast of: + Applying untyped: + Name: ?!=? + ...to: + Name: c + Name: 0 + + to: + signed int + First alternative: +constant expression 2.0 double Second alternative: +constant expression 1.0 double + + + Index: src/Tests/Expect-v/gcc920301-1.txt =================================================================== --- src/Tests/Expect-v/gcc920301-1.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/gcc920301-1.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,18 @@ +f: function + accepting unspecified arguments + returning + signed int + with body + CompoundStmt + Declaration of t: static open array of pointer to void + Null Statement + + +g: function + accepting unspecified arguments + returning + signed int + with body + CompoundStmt + Declaration of p: static array of unsigned int with dimension of constant expression 5 signed int + Index: src/Tests/Expect-v/gcc920409-1.txt =================================================================== --- src/Tests/Expect-v/gcc920409-1.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/gcc920409-1.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,32 @@ +x: function + accepting unspecified arguments + returning + signed int + with body + CompoundStmt + Declaration of y: signed int + Expression Statement: + Conditional expression on: + Cast of: + Applying untyped: + Name: ?!=? + ...to: + Applying untyped: + Name: ?>? + ...to: + Name: y +constant expression 0.0 double Name: 0 + + to: + signed int + First alternative: + Name: y + Second alternative: + Applying untyped: + Name: ?-? + ...to: + Name: y + Name: 1 + + + Index: src/Tests/Expect-v/gcc920409-2.txt =================================================================== --- src/Tests/Expect-v/gcc920409-2.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/gcc920409-2.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,90 @@ +x: function + accepting unspecified arguments + returning + double + with body + CompoundStmt + Declaration of x1: signed int + Declaration of x2: signed int + Declaration of v: double + If on condition: + Cast of: + Applying untyped: + Name: ?!=? + ...to: + Applying untyped: + Name: ?? + ...to: + Name: v +constant expression 0.0 double Name: 0 + + to: + signed int + First alternative: + Cast of: + Name: v + + to: + signed int + Second alternative: + Applying untyped: + Name: ?-? + ...to: + Cast of: + Name: v + + to: + signed int + Name: 1 + + + Index: src/Tests/Expect-v/gcc920410-2.txt =================================================================== --- src/Tests/Expect-v/gcc920410-2.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) +++ src/Tests/Expect-v/gcc920410-2.txt (revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad) @@ -0,0 +1,93 @@ +joe: function + accepting unspecified arguments + returning + signed int + with body + CompoundStmt + Declaration of j: signed int + While on condition: + Cast of: + Applying untyped: + Name: ?!=? + ...to: + Name: 1 + Name: 0 + + to: + signed int + .... with body: + CompoundStmt + Labels: {} + For Statement + initialization: + Expression Statement: + Applying untyped: + Name: ?=? + ...to: + Address of: + Name: j + Name: 0 + + condition: + Cast of: + Applying untyped: + Name: ?!=? + ...to: + Applying untyped: + Name: ?