https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80998
--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Author: jakub Date: Fri Jul 28 10:37:51 2017 New Revision: 250656 URL: https://gcc.gnu.org/viewcvs?rev=250656&root=gcc&view=rev Log: PR sanitizer/80998 * sanopt.c (pass_sanopt::execute): Handle IFN_UBSAN_PTR. * tree-ssa-alias.c (call_may_clobber_ref_p_1): Likewise. * flag-types.h (enum sanitize_code): Add SANITIZER_POINTER_OVERFLOW. Or it into SANITIZER_UNDEFINED. * ubsan.c: Include gimple-fold.h and varasm.h. (ubsan_expand_ptr_ifn): New function. (instrument_pointer_overflow): New function. (maybe_instrument_pointer_overflow): New function. (instrument_object_size): Formatting fix. (pass_ubsan::execute): Call instrument_pointer_overflow and maybe_instrument_pointer_overflow. * internal-fn.c (expand_UBSAN_PTR): New function. * ubsan.h (ubsan_expand_ptr_ifn): Declare. * sanitizer.def (__ubsan_handle_pointer_overflow, __ubsan_handle_pointer_overflow_abort): New builtins. * tree-ssa-tail-merge.c (merge_stmts_p): Handle IFN_UBSAN_PTR. * internal-fn.def (UBSAN_PTR): New internal function. * opts.c (sanitizer_opts): Add pointer-overflow. * lto-streamer-in.c (input_function): Handle IFN_UBSAN_PTR. * fold-const.c (build_range_check): Compute pointer range check in integral type if pointer arithmetics would be needed. Formatting fixes. gcc/testsuite/ * c-c++-common/ubsan/ptr-overflow-1.c: New test. * c-c++-common/ubsan/ptr-overflow-2.c: New test. libsanitizer/ * ubsan/ubsan_handlers.cc: Cherry-pick upstream r304461. * ubsan/ubsan_checks.inc: Likewise. * ubsan/ubsan_handlers.h: Likewise. Added: trunk/gcc/testsuite/c-c++-common/ubsan/ptr-overflow-1.c trunk/gcc/testsuite/c-c++-common/ubsan/ptr-overflow-2.c Modified: trunk/gcc/ChangeLog trunk/gcc/flag-types.h trunk/gcc/fold-const.c trunk/gcc/internal-fn.c trunk/gcc/internal-fn.def trunk/gcc/lto-streamer-in.c trunk/gcc/opts.c trunk/gcc/sanitizer.def trunk/gcc/sanopt.c trunk/gcc/testsuite/ChangeLog trunk/gcc/tree-ssa-alias.c trunk/gcc/tree-ssa-tail-merge.c trunk/gcc/ubsan.c trunk/gcc/ubsan.h trunk/libsanitizer/ChangeLog trunk/libsanitizer/ubsan/ubsan_checks.inc trunk/libsanitizer/ubsan/ubsan_handlers.cc trunk/libsanitizer/ubsan/ubsan_handlers.h