https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83555
--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Author: jakub Date: Wed Jan 3 20:37:41 2018 New Revision: 256186 URL: https://gcc.gnu.org/viewcvs?rev=256186&root=gcc&view=rev Log: PR c++/83555 * typeck.c (build_static_cast_1): For static casts to reference types, call build_base_path with flag_delete_null_pointer_checks as nonnull instead of always false. When -fsanitize=null, call ubsan_maybe_instrument_reference on the NULL reference INTEGER_CST. * cp-gimplify.c (cp_genericize_r): Don't walk subtrees of UBSAN_NULL call if the first argument is INTEGER_CST with REFERENCE_TYPE. * g++.dg/opt/pr83555.C: New test. * g++.dg/ubsan/pr83555.C: New test. Added: trunk/gcc/testsuite/g++.dg/opt/pr83555.C trunk/gcc/testsuite/g++.dg/ubsan/pr83555.C Modified: trunk/gcc/cp/ChangeLog trunk/gcc/cp/cp-gimplify.c trunk/gcc/cp/typeck.c trunk/gcc/testsuite/ChangeLog