[Bug sanitizer/87095] [8/9 Regression] UndefinedBehaviorSanitizer vptr false positive with virtual inheritance only with -fno-sanitize-recover

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87095

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Wed Aug 29 21:43:18 2018
New Revision: 263967

URL: https://gcc.gnu.org/viewcvs?rev=263967&root=gcc&view=rev
Log:
        PR c++/87095
        * decl.c (begin_destructor_body): If current_class_type has
        virtual bases and the primary base is nearly empty virtual base,
        voidify clearing of vptr and make it conditional on in-charge
        argument.

        * g++.dg/ubsan/vptr-13.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/ubsan/vptr-13.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/decl.c
    trunk/gcc/testsuite/ChangeLog