https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67204
--- Comment #11 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
(In reply to Yury Gribov from comment #10)
> Are you sure? I've been using it with libubsan in GCC trunk...
Ah, ok, it seems to work:
$ UBSAN_OPTIONS=print_stacktrace=1 ./a.out
r.c:6:10: runtime error: signed integer overflow: 2147483647 + 1 cannot be
represented in type 'int'
#0 0x400712 in foo (/home/marek/x/trunk/gcc/a.out+0x400712)
#1 0x400729 in main (/home/marek/x/trunk/gcc/a.out+0x400729)
#2 0x3a498206ff in __libc_start_main (/lib64/libc.so.6+0x3a498206ff)
#3 0x400618 in _start (/home/marek/x/trunk/gcc/a.out+0x400618)
