Custom Query (145 matches)

with statement does not work with anonymous fields:

struct inner { int value; };
struct outer { inner;     };

int foo(outer & this) with( this ) {
	return value;
}

forall( dtype T | sized(T), ttype Params | { void ?{}( T &, Params ); } ) T * new( Params p );

forall( otype T )
struct Ptr {
  T * values;
};

int main() {
  int * x = new();
}

 forall( otype T )
 struct S { T i; };

 struct R {
     S(int) & s;
 };

 cfa test.c
 CFA Version 1.0.0 (debug)
 test.c: In function '___operator_assign__F2sR_R2sR2sR_autogen___1':
 test.c:5:14: error: expected identifier or '(' before ')' token
      S(int) & s;
             ^
 test.c:5:13: error: '_temp1' undeclared (first use in this function)
      S(int) & s;
            ^~~   
 test.c:5:13: note: each undeclared identifier is reported only once for each function it appears in

The problem is this line of generated code:

   struct S()  _temp1;

which is not C. This temporary is generated by the Box pass. May be related to #7.