/* TAGS: sym c++ */ /* VERIFY_OPTS: --symbolic --lart stubs */ /* CC_OPTS: */ #include #include #include extern int stubbed( int val ); int main() { int val = __sym_val_i32(); stubbed( val ); /* ERROR */ }