https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116059
Bug ID: 116059
Summary: [14/15 Regression] Miscompile at -O2 since
r14-6420-g85c5efcffed
Product: gcc
Version: 15.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: patrick at rivosinc dot com
Target Milestone: ---
Testcase:
char a;
_Bool b[11] = {1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1};
int main() {
_Bool *c = b;
for (signed d = 0; d < 11; d += 1)
a = d % 2 == 0 ? c[d] / c[d]
: c[d];
__builtin_printf("%u\n", a);
}
Commands:
> /scratch/tc-testing/tc-compiler-fuzz-trunk/build-gcv/bin/riscv64-unknown-linux-gnu-gcc
> -march=rv64gcv -O2 red.c -o user-config.out -fsigned-char
> -fno-strict-aliasing -fwrapv
> QEMU_CPU=rv64,vlen=128,rvv_ta_all_1s=true,rvv_ma_all_1s=true,v=true,vext_spec=v1.0,zve32f=true,zve64f=true
> timeout --verbose -k 0.1 4
> /scratch/tc-testing/tc-compiler-fuzz-trunk/build-gcv/bin/qemu-riscv64
> user-config.out
4294967295
> /scratch/tc-testing/tc-compiler-fuzz-trunk/build-gcv/bin/riscv64-unknown-linux-gnu-gcc
> -march=rv64gcv -O1 red.c -o user-config.out -fsigned-char
> -fno-strict-aliasing -fwrapv
> QEMU_CPU=rv64,vlen=128,rvv_ta_all_1s=true,rvv_ma_all_1s=true,v=true,vext_spec=v1.0,zve32f=true,zve64f=true
> timeout --verbose -k 0.1 4
> /scratch/tc-testing/tc-compiler-fuzz-trunk/build-gcv/bin/qemu-riscv64
> user-config.out
1
Bisected to first bad commit: r14-6420-g85c5efcffed
Found via fuzzer.
