[Bug c/126084] New: ICE verify_gimple failed - _BitInt + ASAN, r14-3751

[mjires at gcc dot gnu.org via Gcc-bugs]

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

            Bug ID: 126084
           Summary: ICE verify_gimple failed - _BitInt + ASAN, r14-3751
           Product: gcc
           Version: 17.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: mjires at gcc dot gnu.org
                CC: jakub at redhat dot com
  Target Milestone: ---

Compiling reduced testcase gcc.dg/torture/bitint-38.c results in ICE since
_BitInt was added r14-3751-g8c984a1c3693df

$ cat bitint-38.c
_BitInt(5) t() {
  _BitInt(135) r1, r2;
  &r1;
  &r2;
}


$ gcc bitint-38.c -fno-tree-dce -fsanitize=address -Oz
bitint-38.c: In function ‘t’:
bitint-38.c:1:12: error: invalid argument to gimple call
    1 | _BitInt(5) t() {
      |            ^
.MEM_6
# VUSE <.MEM>
.ASAN_POISON_USE (.MEM_6);
during GIMPLE pass: bitintlower
bitint-38.c:1:12: internal compiler error: verify_gimple failed
0x268443b internal_error(char const*, ...)
        /home/mjires/git/GCC/master/gcc/diagnostic-global-context.cc:787
0x10f6439 verify_gimple_in_cfg(function*, bool, bool)
        /home/mjires/git/GCC/master/gcc/tree-cfg.cc:5562
0xf4155a execute_function_todo
        /home/mjires/git/GCC/master/gcc/passes.cc:2100
0xf41aa4 do_per_function
        /home/mjires/git/GCC/master/gcc/passes.cc:1699
0xf41c00 execute_todo
        /home/mjires/git/GCC/master/gcc/passes.cc:2152
/home/mjires/built/master/libexec/gcc/x86_64-pc-linux-gnu/17.0.0/cc1 -quiet
bitint-38.c -quiet -dumpdir a- -dumpbase bitint-38.c -dumpbase-ext .c
-mtune=generic -march=x86-64 -Oz -fno-tree-dce -fsanitize=address -o
/tmp/cchbGuNN.s
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.


$ gcc -v
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/home/mjires/built/master/libexec/gcc/x86_64-pc-linux-gnu/17.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: /home/mjires/git/GCC/master/configure
--prefix=/home/mjires/built/master --disable-bootstrap
--enable-languages=c,c++,fortran,lto --disable-multilib --disable-libsanitizer
--enable-checking
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 17.0.0 20260702 (experimental) (GCC)