id	summary	reporter	owner	description	type	status	priority	component	version	resolution	keywords	cc
104	Tuple assertion generate bad C code	Thierry Delisle		"CFA-CPP produces bad C code from this cfa code:
{{{
[ float, float ] modf_( float x );

forall(T | { [T, T] modf_(T); })
void modf(T);

int main() {
    modf(7.0f);
}
}}}"	defect	new	major	cfa-cc	1.0		tuples