/* VERIFY_OPTS: --symbolic */ #include #define __sym __attribute__((__annotate__("lart.abstract.symbolic"))) int main() { __sym int x; long y = x; assert( y + 1 > y ); }