https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71872
Bug ID: 71872
Summary: ICE in inchash::add_expr, at tree.c:7782 -
OEP_ADDRESS_OF asserted for ADDR_EXPR applied to
constant
Product: gcc
Version: 7.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: sanitizer
Assignee: unassigned at gcc dot gnu.org
Reporter: gary at intrepid dot com
CC: dodji at gcc dot gnu.org, dvyukov at gcc dot gnu.org,
jakub at gcc dot gnu.org, kcc at gcc dot gnu.org
Target Milestone: ---
Created attachment 38895
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=38895&action=edit
Non-reduced, pre-processed, test case for ICE in inchash::add_expr
See also PR 70683.
When the attached test case is compiled with -O3 and gcc checks are enabled,
the following ICE is triggered.
It looks like this check was added by trunk revision r23546.
ice-hash-expr.i: In function ‘main’:
ice-hash-expr.i:300:1: internal compiler error: in add_expr, at tree.c:7782
main ()
^~~~
0xde5865 inchash::add_expr(tree_node const*, inchash::hash&, unsigned int)
/eng/upc/dev/gary/gupc-gcc-trunk/src/gcc/tree.c:7782
0xde65d3 inchash::add_expr(tree_node const*, inchash::hash&, unsigned int)
/eng/upc/dev/gary/gupc-gcc-trunk/src/gcc/tree.c:7997
0xba4406 iterative_hash_expr
/eng/upc/dev/gary/gupc-gcc-trunk/src/gcc/tree.h:4786
0xba4406 innermost_loop_behavior_hash::hash(innermost_loop_behavior* const&)
/eng/upc/dev/gary/gupc-gcc-trunk/src/gcc/tree-if-conv.c:150
0xba4406
simple_hashmap_traits<default_hash_traits<innermost_loop_behavior_hash>,
data_reference*>::hash(innermost_loop_behavior* const&)
/eng/upc/dev/gary/gupc-gcc-trunk/src/gcc/hash-map-traits.h:48
0xba4406 hash_map<innermost_loop_behavior_hash, data_reference*,
simple_hashmap_traits<default_hash_traits<innermost_loop_behavior_hash>,
data_reference*> >::get_or_insert(innermost_loop_behavior* const&, bool*)
/eng/upc/dev/gary/gupc-gcc-trunk/src/gcc/hash-map.h:161
0xba4406 hash_memrefs_baserefs_and_store_DRs_read_written_info
/eng/upc/dev/gary/gupc-gcc-trunk/src/gcc/tree-if-conv.c:693
0xba4406 if_convertible_loop_p_1
/eng/upc/dev/gary/gupc-gcc-trunk/src/gcc/tree-if-conv.c:1410
0xba4406 if_convertible_loop_p
/eng/upc/dev/gary/gupc-gcc-trunk/src/gcc/tree-if-conv.c:1490
0xba6e41 tree_if_conversion
/eng/upc/dev/gary/gupc-gcc-trunk/src/gcc/tree-if-conv.c:2647
0xba6e41 execute
/eng/upc/dev/gary/gupc-gcc-trunk/src/gcc/tree-if-conv.c:2749
The offending tree expression looks like this:
<addr_expr 0x7fffeff80200
type <pointer_type 0x7fffefe2d930
type <integer_type 0x7fffefe0c888 unsigned int sizes-gimplified public
unsigned SI
size <integer_cst 0x7fffefe08ee8 constant 32>
unit size <integer_cst 0x7fffefe08f00 constant 4>
align 32 symtab 0 alias set -1 canonical type 0x7fffefe0c888
precision 32 min <integer_cst 0x7fffefe08f18 0> max <integer_cst 0x7fffefe08ed0
4294967295> context <translation_unit_decl 0x7fffeff47168 D.1906>
pointer_to_this <pointer_type 0x7fffefe2d930>>
public unsigned DI
size <integer_cst 0x7fffefe08ca8 constant 64>
unit size <integer_cst 0x7fffefe08cc0 constant 8>
align 64 symtab 0 alias set -1 canonical type 0x7fffefe2d930>
constant
arg 0 <integer_cst 0x7fffeff43330 type <integer_type 0x7fffefe0c888
unsigned int> constant 1>>
The assertion check is at line 7782.
7777 identity. */
7778 case VOID_CST:
7779 hstate.merge_hash (0);
7780 return;
7781 case INTEGER_CST:
7782 gcc_checking_assert (!(flags & OEP_ADDRESS_OF));
7783 for (i = 0; i < TREE_INT_CST_EXT_NUNITS (t); i++)
7784 hstate.add_wide_int (TREE_INT_CST_ELT (t, i));
7785 return;
7786 case REAL_CST:
