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

            Bug ID: 116296
           Summary: [15 Regression] internal compiler error: in merge, at
                    ipa-modref-tree.cc:176 at -O3
           Product: gcc
           Version: 15.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ipa
          Assignee: unassigned at gcc dot gnu.org
          Reporter: patrick at rivosinc dot com
  Target Milestone: ---

Testcase:
short c;
#define d(a, b)                                                               
\
  {                                                                           
\
    __typeof__(a) e = a;                                                      
\
    __typeof__(b) f = b;                                                      
\
    e > f;                                                                    
\
  }
void g(int h, int i[11][11]) {
  for (unsigned long j = 0; j < h; j += -6380968575470960909)
    c = (d(c, 1 ? i[j][j] : 0));
}

Command/backtrace:
> /scratch/tc-testing/tc-compiler-fuzz-trunk/build-gcv/bin/riscv64-unknown-linux-gnu-gcc
>  -O3 func.c
during GIMPLE pass: modref
func.c: In function 'g':
func.c:8:6: internal compiler error: in merge, at ipa-modref-tree.cc:176
    8 | void g(int h, int i[11][11]) {
      |      ^
0x2de60b5 internal_error(char const*, ...)
        ../../../gcc/gcc/diagnostic-global-context.cc:491
0xc50a02 fancy_abort(char const*, int, char const*)
        ../../../gcc/gcc/diagnostic.cc:1772
0xaabea3 modref_access_node::merge(modref_access_node const&, bool)
        ../../../gcc/gcc/ipa-modref-tree.cc:176
0x10eee54 modref_access_node::try_merge_with(vec<modref_access_node, va_gc,
vl_embed>*&, unsigned long)
        ../../../gcc/gcc/ipa-modref-tree.cc:457
0x10f0cbc modref_access_node::insert(vec<modref_access_node, va_gc,
vl_embed>*&, modref_access_node, unsigned long, bool)
        ../../../gcc/gcc/ipa-modref-tree.cc:562
0x10eb903 modref_ref_node<int>::insert_access(modref_access_node, unsigned
long, bool)
        ../../../gcc/gcc/ipa-modref-tree.h:194
0x10eb903 modref_tree<int>::insert(unsigned int, unsigned int, unsigned int,
int, int, modref_access_node, bool)
        ../../../gcc/gcc/ipa-modref-tree.h:444
0x10dded8 modref_tree<int>::insert(tree_node*, int, int, modref_access_node
const&, bool)
        ../../../gcc/gcc/ipa-modref-tree.h:471
0x10dded8 record_access
        ../../../gcc/gcc/ipa-modref.cc:1078
0x10dea68 analyze_load
        ../../../gcc/gcc/ipa-modref.cc:1715
0x1023c14 walk_stmt_load_store_addr_ops(gimple*, void*, bool (*)(gimple*,
tree_node*, tree_node*, void*), bool (*)(gimple*, tree_node*, tree_node*,
void*), bool (*)(gimple*, tree_node*, tree_node*, void*))
        ../../../gcc/gcc/gimple-walk.cc:824
0x10e4f01 analyze_stmt
        ../../../gcc/gcc/ipa-modref.cc:1796
0x10e6749 analyze
        ../../../gcc/gcc/ipa-modref.cc:1908
0x10e6749 analyze_function
        ../../../gcc/gcc/ipa-modref.cc:3233
0x10e81be execute
        ../../../gcc/gcc/ipa-modref.cc:4254
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.

Godbolts
RISC-V: https://godbolt.org/z/EPPhnPdY5
X86: https://godbolt.org/z/3odEoMd6s
ARM: https://godbolt.org/z/vdaGcqxc5

Reply via email to