id	summary	reporter	owner	description	type	status	priority	component	version	resolution	keywords	cc
37	Missing generated code	pabuhr	Rob Schluntz <rschlunt@…>	"{{{
void  fred() {
    int x;
    double y;
    sizeof( typeof( int ) );
    sizeof( typeof( 3 ) );
    sizeof( typeof( x ) );     // missing
    sizeof( typeof( x + 3 ) );
    sizeof( typeof( x + y ) ); // missing
    sizeof( typeof( y + 3 ) ); // wrong type (type of 3)
}

cfa test3.c -CFA
CFA Version 1.0.0 (debug)
...
void __fred__F___1(){
    int __x__i_2;
    double __y__d_2;
    ((void)sizeof(int ));
    ((void)sizeof(int ));
    ((void)sizeof());     // missing
    ((void)sizeof(int ));
    ((void)sizeof());     // missing
    ((void)sizeof(int )); // wrong type (type of 3)
}
}}}
"	defect	closed	minor	cfa-cc	1.0	fixed