/* TAGS: min c */ /* VERIFY_OPTS: --leakcheck return */ #include void foo() { int *x = malloc( sizeof( int ) ); } int main() { foo(); /* ERROR */ }