Custom Query (145 matches)
Results (16 - 18 of 145)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#15 | fixed | Error Generating result Condition (!=zero_t) | ||
Description |
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. |
|||
#17 | fixed | Can't assign 0 to function pointer | ||
Description |
This code crashes the compiler: int main() { int (*foo)(int) = 0; } |
|||
#19 | fixed | Functions taking array types and taking pointer types are conflicting overloads | ||
Description |
extern "C" { void fred(int __env[1]); void fred(int *__env); } cfa test3.c CFA Version 1.0.0 (debug) test3.c:3 error: conflicting overload of C function fred: C function with parameters __env: C pointer to signed int returning _retval_fred: Attribute with name: unused void |
Note: See TracQuery
for help on using queries.