Custom Query (145 matches)

trait is_a_thing(otype T) {
	T & ?=?( T &, T );
};

forall(otype T | is_a_thing(T))
T foo();

results in an error with no line number:

error: duplicate function definition for ?=?: pointer to function
... with parameters
  reference to instance of type T (not function type) 
  instance of type T (not function type) 
... returning 
  _retval__operator_assign: reference to instance of type T (not function type) 
  ... with attributes: 
    Attribute with name: unused

forall( dtype T )
struct ptr_t {
	T * ptr;
};

int foo( ptr_t( int ) p ) {
	return 3;
}

int foo( ptr_t( float ) p ) {
	return 4;
}

yields

test.c:10:1 error: duplicate function definition for foo: function
  with parameters
    p: instance of struct ptr_t 
      with parameters
        float

  returning 
    _retval_foo:       Attribute with name: unused
signed int
  with body 
    CompoundStmt
      Return Statement, returning: 
          constant expression (4 4: signed int)

Neither of the following two versions compile:

assert( ((result(int, char)){1, 4}) );

result(int, char) pass = {1, 4};
assert(pass);

Removing the assert statement causes the code to compile, so the error might be in converting the result to a boolean (?!=? zero_t). The error message generated reads as follows:

/home/ajbeach/cfa-cc/include/cfa/containers/result: In function ‘__checkPredicates__F___1’:
/home/ajbeach/cfa-cc/include/cfa/containers/result:52:160: error: expected identifier before ‘)’ token

Which works out to be about 2987:160 in the -CFA output the following line:

long unsigned int _offsetof_14s_conc_result0[2] = { __builtin_offsetof(struct _conc_result0 , __has_value__b_1), __builtin_offsetof(struct _conc_result0 , ) };

Which does not seem to refer directly to any operation. The next line does refer to the notequal operation.