void _php_stream_free4() { 1 ? _efree(0) : free(0); }
int _php_stream_free1() { return (1 ? free(0) : _efree(0)); // expected-error {{returning 'void' from a function with incompatible result type 'int'}} }
void _php_stream_free3() { (1 ? free(0) : _efree(0)); }
int _php_stream_free1() { return (1 ? free(0) : _efree(0)); // expected-error {{incompatible type returning 'void', expected 'int'}} }