[Bug sanitizer/90865] ubsan causes coverage branch errors
jakub at gcc dot gnu.org
gcc-bugzilla@gcc.gnu.org
Thu Jun 13 12:10:00 GMT 2019
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90865
--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
There is a way out of this. Defer building those conditionals till the sanopt
pass, before that have new IFN_UBSAN_* internal calls in the IL like we already
do with IFN_UBSAN_{NULL,BOUNDS,OBJECT_SIZE,PTR,VPTR}. Another advantage of
doing that would be we would create the ubsan data only for code that actuall
survives till the sanopt pass and is not optimized away before that.
More information about the Gcc-bugs
mailing list