https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115530
Bug ID: 115530 Summary: ICE: in verify_loop_structure, at cfgloop.cc:1741 with simd attribute Product: gcc Version: 15.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: iamanonymous.cs at gmail dot com Target Milestone: --- Compiler Explorer: https://godbolt.org/z/c4qPbxcr6 ******************************************************************************* OS and Platform: $ uname -a: Linux ubuntu 4.15.0-213-generic #224-Ubuntu SMP Mon Jun 19 13:30:12 UTC 2023 x86_64 x86_64 x86_64 GNU/Linux ******************************************************************************* gcc version: Using built-in specs. COLLECT_GCC=/root/gcc_set/trunk-48a320a/bin/gcc COLLECT_LTO_WRAPPER=/root/gcc_set/trunk-48a320a/libexec/gcc/x86_64-pc-linux-gnu/15.0.0/lto-wrapper Target: x86_64-pc-linux-gnu Configured with: ../gcc/configure --prefix=/root/gcc_set/trunk-48a320a --with-gmp=/root/build_essential --with-mpfr=/root/build_essential --with-mpc=/root/build_essential --enable-languages=c,c++ --disable-multilib --with-sanitizer=address,undefined,thread,leak --enable-coverage --disable-bootstrap Thread model: posix Supported LTO compression algorithms: zlib gcc version 15.0.0 20240426 (experimental) (GCC) ******************************************************************************* Program: $ cat mutant.c void *malloc(); __attribute__((simd)) int a() { int *b = malloc(); __transaction_atomic { b[5] = 3; } return b[5]; } ******************************************************************************* Command Lines: $ gcc -fgnu-tm -O mutant.c mutant.c: In function ‘a’: mutant.c:3:12: warning: too few arguments to built-in function ‘malloc’ expecting 1 [-Wbuiltin-declaration-mismatch] 3 | int *b = malloc(); | ^~~~~~ mutant.c:1:7: note: declared here 1 | void *malloc(); | ^~~~~~ mutant.c: In function ‘a.simdclone.0’: mutant.c:2:27: error: size of loop 1 should be 8, not 9 2 | __attribute__((simd)) int a() { | ^ during GIMPLE pass: tmmark mutant.c:2:27: internal compiler error: in verify_loop_structure, at cfgloop.cc:1741 0x118afec verify_loop_structure() ../../gcc/gcc/cfgloop.cc:1741 0x1b99d62 execute_function_todo ../../gcc/gcc/passes.cc:2105 0x1b97b22 do_per_function ../../gcc/gcc/passes.cc:1688 0x1b9a04c execute_todo ../../gcc/gcc/passes.cc:2143 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.