[Bug c++/77722] -fsanitize=undefined doesn't give runtime error in function without return value, unless at least 2 instructions

[jakub at gcc dot gnu.org]

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