Custom Query (145 matches)

The following code fails to compile :

extern void foo();

void libFloor() { 
	({
		if( 1 == 0 )
			; 
		else 
			foo(); 
	});
}

This code is equivalent to what can be in assert.h

I need this to work for external scheduling :

extern void save( void (*func)() );

void foo( int a ) {
	save( &foo );
}

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)
}