id	summary	reporter	owner	description	type	status	priority	component	version	resolution	keywords	cc
15	Error Generating result Condition (!=zero_t)	ajbeach	Rob Schluntz <rschlunt@…>	"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."	defect	closed	minor	cfa-cc	1.0	fixed