This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug sanitizer/67204] documentation for sanitizer missing/incomplete
- From: "mpolacek at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Mon, 17 Aug 2015 12:51:51 +0000
- Subject: [Bug sanitizer/67204] documentation for sanitizer missing/incomplete
- Auto-submitted: auto-generated
- References: <bug-67204-4 at http dot gcc dot gnu dot org/bugzilla/>
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)