c++: ICE with -fsanitize=vptr and constexpr dynamic_cast [PR98103]
authorMarek Polacek <polacek@redhat.com>
Wed, 2 Dec 2020 19:33:13 +0000 (14:33 -0500)
committerMarek Polacek <polacek@redhat.com>
Tue, 8 Dec 2020 22:26:37 +0000 (17:26 -0500)
commit0221c656bbe5b4ab54e784df3b109c60cb27e5b6
tree96822a349ac389e06496aea1a0f54ec4eee2e6d9
parent5ea350d1d7edf8afaae9e6723cda535c9eaa7562
c++: ICE with -fsanitize=vptr and constexpr dynamic_cast [PR98103]

-fsanitize=vptr initializes all vtable pointers to null so that it can
catch invalid calls; see cp_ubsan_maybe_initialize_vtbl_ptrs.  That
means that evaluating a vtable reference can produce a null pointer
in this mode, so cxx_eval_dynamic_cast_fn should check that and give
and error.

gcc/cp/ChangeLog:

PR c++/98103
* constexpr.c (cxx_eval_dynamic_cast_fn): If the evaluating of vtable
yields a null pointer, give an error and return.  Use objtype.

gcc/testsuite/ChangeLog:

PR c++/98103
* g++.dg/ubsan/vptr-18.C: New test.
gcc/cp/constexpr.c
gcc/testsuite/g++.dg/ubsan/vptr-18.C [new file with mode: 0644]