[Bug middle-end/115128] [15 regression] ICE when building aflplusplus (internal compiler error: in type, at value-range.h:983)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115128 Aldy Hernandez changed: What|Removed |Added Resolution|--- |FIXED Status|NEW |RESOLVED --- Comment #7 from Aldy Hernandez --- Fixed
[Bug middle-end/115128] [15 regression] ICE when building aflplusplus (internal compiler error: in type, at value-range.h:983)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115128 --- Comment #6 from GCC Commits --- The master branch has been updated by Aldy Hernandez : https://gcc.gnu.org/g:bc6e336cb7c85094ddc77757be97c3d8588f35ca commit r15-627-gbc6e336cb7c85094ddc77757be97c3d8588f35ca Author: Aldy Hernandez Date: Fri May 17 10:30:03 2024 +0200 [prange] Avoid looking at type() for undefined ranges Undefined ranges have no type. This patch fixes the thinko. gcc/ChangeLog: PR middle-end/115128 * ipa-cp.cc (ipa_value_range_from_jfunc): Check for undefined_p before looking at type. (propagate_vr_across_jump_function): Same. gcc/testsuite/ChangeLog: * gcc.dg/tree-ssa/pr115128.c: New test.
[Bug middle-end/115128] [15 regression] ICE when building aflplusplus (internal compiler error: in type, at value-range.h:983)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115128
Sam James changed:
What|Removed |Added
Keywords|needs-reduction |
--- Comment #5 from Sam James ---
Bit more (and no more now):
```
long a, b, c;
typedef unsigned long d();
int e;
void f();
static void g(unsigned long) {
for (;;)
f(c);
}
static __attribute__((noinline)) unsigned long h(void *, unsigned long i) {
g(i * 7);
}
__attribute__((always_inline)) int j(unsigned long k, d i) {
if (k <= 1) {
int d = e ^ b;
f(d, a);
return 1;
}
i(1, k);
}
static void l(unsigned long k) { j(k, h); }
void m() { l(1); }
```
[Bug middle-end/115128] [15 regression] ICE when building aflplusplus (internal compiler error: in type, at value-range.h:983)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115128
--- Comment #4 from Sam James ---
Reduced:
```
long XXH3_len_4to8_64b_len, XXH3_len_0to16_64b___trans_tmp_3,
XXH3_mix2Accs_acc,
XXH3_64bits_internal___trans_tmp_8;
typedef unsigned long XXH3_hashLong64_f();
void *XXH3_64bits_internal_input;
int XXH3_64bits_internal___trans_tmp_1;
void XXH3_mul128_fold64();
static void XXH3_mergeAccs(unsigned long) {
for (;;)
XXH3_mul128_fold64(XXH3_mix2Accs_acc);
}
static __attribute__((noinline)) unsigned long
XXH3_hashLong_64b_default(void *, unsigned long len) {
XXH3_mergeAccs(len * 7);
}
__attribute__((always_inline)) long
XXH3_64bits_internal(unsigned long len, XXH3_hashLong64_f f_hashLong) {
if (len <= 16) {
long keyed =
XXH3_64bits_internal___trans_tmp_1 ^ XXH3_len_0to16_64b___trans_tmp_3;
XXH3_mul128_fold64(keyed, XXH3_len_4to8_64b_len);
return XXH3_64bits_internal___trans_tmp_8;
}
f_hashLong(XXH3_64bits_internal_input, len);
}
static void XXH_INLINE_XXH3_64bits(unsigned long len) {
XXH3_64bits_internal(len, XXH3_hashLong_64b_default);
}
void __cmplog_rtn_hook() { XXH_INLINE_XXH3_64bits(sizeof(long)); }
```
(and thank you aldy!)
[Bug middle-end/115128] [15 regression] ICE when building aflplusplus (internal compiler error: in type, at value-range.h:983)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115128 --- Comment #3 from Aldy Hernandez --- Created attachment 58222 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58222=edit patch in testing
[Bug middle-end/115128] [15 regression] ICE when building aflplusplus (internal compiler error: in type, at value-range.h:983)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115128 --- Comment #2 from Sam James --- Reduction is nearly done.
[Bug middle-end/115128] [15 regression] ICE when building aflplusplus (internal compiler error: in type, at value-range.h:983)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115128 Aldy Hernandez changed: What|Removed |Added Ever confirmed|0 |1 Last reconfirmed||2024-05-17 Status|UNCONFIRMED |NEW --- Comment #1 from Aldy Hernandez --- Mine.
[Bug middle-end/115128] [15 regression] ICE when building aflplusplus (internal compiler error: in type, at value-range.h:983)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115128 Richard Biener changed: What|Removed |Added Keywords||needs-reduction Target Milestone|--- |15.0 Version|unknown |15.0
