This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/77722] -fsanitize=undefined doesn't give runtime error in function without return value, unless at least 2 instructions
- From: "jakub at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Tue, 27 Sep 2016 18:15:53 +0000
- Subject: [Bug c++/77722] -fsanitize=undefined doesn't give runtime error in function without return value, unless at least 2 instructions
- Auto-submitted: auto-generated
- References: <bug-77722-4@http.gcc.gnu.org/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77722
--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Tue Sep 27 18:15:21 2016
New Revision: 240555
URL: https://gcc.gnu.org/viewcvs?rev=240555&root=gcc&view=rev
Log:
PR c++/77722
* cp-gimplify.c (cp_ubsan_maybe_instrument_return): Instrument also
functions that have just a STATEMENT_LIST instead of BIND_EXPR, or
BIND_EXPR with some statement rather than STATEMENT_LIST as body.
* g++.dg/ubsan/return-4.C: New test.
* g++.dg/ubsan/return-5.C: New test.
* g++.dg/ubsan/return-6.C: New test.
Added:
trunk/gcc/testsuite/g++.dg/ubsan/return-4.C
trunk/gcc/testsuite/g++.dg/ubsan/return-5.C
trunk/gcc/testsuite/g++.dg/ubsan/return-6.C
Modified:
trunk/gcc/cp/ChangeLog
trunk/gcc/cp/cp-gimplify.c
trunk/gcc/testsuite/ChangeLog