https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95385
Martin Liška <marxin at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed| |2020-05-28
Status|UNCONFIRMED |NEW
Ever confirmed|0 |1
CC| |marxin at gcc dot gnu.org
--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Note that clang has the same limitation:
clang++ pr95384.C -fsanitize=undefined && ./a.out
pr95384.C:11:7: warning: expression result unused [-Wunused-value]
0 / 0;
~ ^ ~
pr95384.C:11:7: warning: division by zero is undefined [-Wdivision-by-zero]
0 / 0;
^ ~
2 warnings generated.
pr95384.C:6:11: runtime error: division by zero
SUMMARY: UndefinedBehaviorSanitizer: undefined-behavior pr95384.C:6:11 in
UndefinedBehaviorSanitizer:DEADLYSIGNAL
==27328==ERROR: UndefinedBehaviorSanitizer: FPE on unknown address
0x000000425cdc (pc 0x000000425cdc bp 0x7fffffffe2d0 sp 0x7fffffffe280 T27328)
#0 0x425cdc in main (/home/marxin/Programming/testcases/a.out+0x425cdc)
#1 0x7ffff7a7ccea in __libc_start_main
/usr/src/debug/glibc-2.31-5.1.x86_64/csu/../csu/libc-start.c:308:16
#2 0x4043a9 in _start
/home/abuild/rpmbuild/BUILD/glibc-2.31/csu/../sysdeps/x86_64/start.S:120
UndefinedBehaviorSanitizer can not provide additional info.
SUMMARY: UndefinedBehaviorSanitizer: FPE
(/home/marxin/Programming/testcases/a.out+0x425cdc) in main
==27328==ABORTING
