[Bug c/115530] New: ICE: in verify_loop_structure, at cfgloop.cc:1741 with simd attribute

[Bug c/115530] New: ICE: in verify_loop_structure, at cfgloop.cc:1741 with simd attribute

[iamanonymous.cs at gmail dot com]

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.

[Bug middle-end/115530] ICE: in verify_loop_structure, at cfgloop.cc:1741 with simd attribute and tm

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
-fgnu-tm is not well maintained but thanks for finding this bug.

[Bug middle-end/115530] ICE: in verify_loop_structure, at cfgloop.cc:1741 with simd attribute and tm

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |openmp
   Last reconfirmed|                            |2024-06-18
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Less invalid:

__attribute__((simd)) int a()
{
  int *b = __builtin_malloc(6 * sizeof (int));
  __transaction_atomic { b[5] = 3; }
  return b[5];
}