[Bug sanitizer/106726] ICE: verify_gimple failed (dead statement in EH table) on __builtin_alloca_with_align() with -fsanitize=hwaddress -fstack-check=generic -fexceptions

[Bug sanitizer/106726] ICE: verify_gimple failed (dead statement in EH table) on __builtin_alloca_with_align() with -fsanitize=hwaddress -fstack-check=generic -fexceptions

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2022-08-24
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
From bug 104449 comment #6 :
"    I haven't touched the hwasan code which most likely suffers from the
    same problem.
"
Yes so confirmed.

[Bug sanitizer/106726] ICE: verify_gimple failed (dead statement in EH table) on __builtin_alloca_with_align() with -fsanitize=hwaddress -fstack-check=generic -fexceptions

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |matmal01 at gcc dot gnu.org

--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> ---
So started with r11-5377-g93a732514865f3.

[Bug sanitizer/106726] ICE: verify_gimple failed (dead statement in EH table) on __builtin_alloca_with_align() with -fsanitize=hwaddress -fstack-check=generic -fexceptions

[zsojka at seznam dot cz]

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

--- Comment #3 from Zdenek Sojka <zsojka at seznam dot cz> ---
This can now be also observed on the x86_64 target, with -mlam=u57:
$ x86_64-pc-linux-gnu-gcc -fsanitize=hwaddress -fstack-check=generic
-fexceptions -mlam=u57 testcase.c 
testcase.c: In function 'foo':
testcase.c:4:1: error: dead statement in EH table
    4 | foo (void)
      | ^~~
# _4 = VDEF <.MEM_2>
_5 = __builtin_alloca_with_align (64, 512);
during GIMPLE pass: asan0
testcase.c:4:1: internal compiler error: verify_gimple failed
0x141d106 verify_gimple_in_cfg(function*, bool, bool)
        /repo/gcc-trunk/gcc/tree-cfg.cc:5647
0x12c0e20 execute_function_todo
        /repo/gcc-trunk/gcc/passes.cc:2091
0x12c13cb execute_todo
        /repo/gcc-trunk/gcc/passes.cc:2145
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.