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

            Bug ID: 101331
           Summary: [12 Regression] ICE in sanitize_coverage_p, at
                    asan.h:259
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gs...@t-online.de
  Target Milestone: ---

Changed between 20210523 and 20210530 :


$ cat z1.cc
int a[2];
int b = 1;
int c { b && (a[b] = 0) };


$ g++-12-20210704 -c z1.cc -fsanitize-coverage=trace-pc -O2
z1.cc:3:25: internal compiler error: Segmentation fault
    3 | int c { b && (a[b] = 0) };
      |                         ^
0xd6677f crash_signal
        ../../gcc/toplev.c:328
0xaa2a2f sanitize_coverage_p
        ../../gcc/asan.h:259
0xaa2a2f fold_range_test
        ../../gcc/fold-const.c:6019
0xaa2a2f fold_truth_andor
        ../../gcc/fold-const.c:9624
0xa8fbf4 fold_binary_loc(unsigned int, tree_code, tree_node*, tree_node*,
tree_node*)
        ../../gcc/fold-const.c:11931
0xa954aa fold_build2_loc(unsigned int, tree_code, tree_node*, tree_node*,
tree_node*)
        ../../gcc/fold-const.c:13736
0x7297db cp_fold
        ../../gcc/cp/cp-gimplify.c:2432
0x72ae0c cp_fold_maybe_rvalue(tree_node*, bool)
        ../../gcc/cp/cp-gimplify.c:2109
0x72f917 cp_convert_and_check(tree_node*, tree_node*, int)
        ../../gcc/cp/cvt.c:666
0x6e30ca convert_like_internal
        ../../gcc/cp/call.c:8105
0x6e30ca convert_like
        ../../gcc/cp/call.c:8160
0x6dfe69 convert_like
        ../../gcc/cp/call.c:8174
0x6dfe69 perform_implicit_conversion_flags(tree_node*, tree_node*, int, int)
        ../../gcc/cp/call.c:12364
0x88db30 convert_for_assignment
        ../../gcc/cp/typeck.c:9641
0x88df54 convert_for_initialization(tree_node*, tree_node*, tree_node*, int,
impl_conv_rhs, tree_node*, int, int)
        ../../gcc/cp/typeck.c:9732
0x89401e digest_init_r
        ../../gcc/cp/typeck2.c:1253
0x8957d0 digest_init_flags(tree_node*, tree_node*, int, int)
        ../../gcc/cp/typeck2.c:1266
0x8957d0 store_init_value(tree_node*, tree_node*, vec<tree_node*, va_gc,
vl_embed>**, int)
        ../../gcc/cp/typeck2.c:742
0x751aed check_initializer
        ../../gcc/cp/decl.c:7167
0x752fe1 cp_finish_decl(tree_node*, tree_node*, bool, tree_node*, int)
        ../../gcc/cp/decl.c:8101

Reply via email to