[Bug sanitizer/81530] [8 Regression] ICE in add_stmt in gcc/cp/semantics.c:387

[aldyh at gcc dot gnu.org]

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

--- Comment #3 from Aldy Hernandez <aldyh at gcc dot gnu.org> ---
Author: aldyh
Date: Wed Sep 13 16:06:20 2017
New Revision: 252186

URL: https://gcc.gnu.org/viewcvs?rev=252186&root=gcc&view=rev
Log:
Do UBSAN sanitization just when current_function_decl != NULL_TREE (PR
sanitize/81530).

2017-07-31  Martin Liska  <mli...@suse.cz>

        PR sanitize/81530
        * cp-gimplify.c (cp_genericize): Guard condition with flag_sanitize_p
        also with current_function_decl non-null equality.
        * cp-ubsan.c (cp_ubsan_instrument_vptr_p): Likewise.
        * decl.c (compute_array_index_type): Likewise.
        * init.c (finish_length_check): Likewise.
        * typeck.c (cp_build_binary_op): Likewise.
2017-07-31  Martin Liska  <mli...@suse.cz>

        PR sanitize/81530
        * c-convert.c (convert): Guard condition with flag_sanitize_p
        also with current_function_decl non-null equality.
        * c-decl.c (grokdeclarator): Likewise.
        * c-typeck.c (build_binary_op): Likewise.
2017-07-31  Martin Liska  <mli...@suse.cz>

        PR sanitize/81530
        * convert.c (convert_to_integer_1): Guard condition with
flag_sanitize_p
        also with current_function_decl non-null equality.
2017-07-31  Martin Liska  <mli...@suse.cz>

        PR sanitize/81530
        * c-ubsan.c (ubsan_maybe_instrument_array_ref):
        Guard condition with flag_sanitize_p also with current_function_decl
        non-null equality.
        (ubsan_maybe_instrument_reference_or_call): Likewise.
2017-07-31  Martin Liska  <mli...@suse.cz>

        PR sanitize/81530
        * g++.dg/ubsan/pr81530.C: New test.

Added:
    branches/range-gen2/gcc/testsuite/g++.dg/ubsan/pr81530.C
Modified:
    branches/range-gen2/gcc/ChangeLog
    branches/range-gen2/gcc/c-family/ChangeLog
    branches/range-gen2/gcc/c-family/c-ubsan.c
    branches/range-gen2/gcc/c/ChangeLog
    branches/range-gen2/gcc/c/c-convert.c
    branches/range-gen2/gcc/c/c-decl.c
    branches/range-gen2/gcc/c/c-typeck.c
    branches/range-gen2/gcc/convert.c
    branches/range-gen2/gcc/cp/ChangeLog
    branches/range-gen2/gcc/cp/cp-gimplify.c
    branches/range-gen2/gcc/cp/cp-ubsan.c
    branches/range-gen2/gcc/cp/decl.c
    branches/range-gen2/gcc/cp/init.c
    branches/range-gen2/gcc/cp/typeck.c
    branches/range-gen2/gcc/testsuite/ChangeLog