[Bug sanitizer/90208] New: [7/8/9 Regression] error: EH landing pad label

[marxin at gcc dot gnu.org]

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

            Bug ID: 90208
           Summary: [7/8/9 Regression] error: EH landing pad label
           Product: gcc
           Version: 9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: sanitizer
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
                CC: dodji at gcc dot gnu.org, dvyukov at gcc dot gnu.org,
                    jakub at gcc dot gnu.org, kcc at gcc dot gnu.org, marxin at 
gcc dot gnu.org
  Target Milestone: ---

This is a following up of PR89280:

$ gcc
/home/marxin/Programming/gcc/gcc/testsuite/gcc.c-torture/compile/pr89280.c 
-fexceptions -fsanitize=thread -O3
/home/marxin/Programming/gcc/gcc/testsuite/gcc.c-torture/compile/pr89280.c: In
function ‘test4’:
/home/marxin/Programming/gcc/gcc/testsuite/gcc.c-torture/compile/pr89280.c:48:1:
error: EH landing pad label 
   48 | }
      | ^
<L6> is not first in a sequence of labels in bb 4during GIMPLE pass: einline
/home/marxin/Programming/gcc/gcc/testsuite/gcc.c-torture/compile/pr89280.c:48:1:
internal compiler error: verify_flow_info failed
0x8d931b verify_flow_info()
        /home/marxin/Programming/gcc/gcc/cfghooks.c:265
0xd4a684 checking_verify_flow_info
        /home/marxin/Programming/gcc/gcc/cfghooks.h:211
0xd4a684 cleanup_tree_cfg_noloop
        /home/marxin/Programming/gcc/gcc/tree-cfgcleanup.c:1108
0xd4a684 cleanup_tree_cfg(unsigned int)
        /home/marxin/Programming/gcc/gcc/tree-cfgcleanup.c:1159
0xc1f0cf execute_function_todo
        /home/marxin/Programming/gcc/gcc/passes.c:1930
0xc1ff7e execute_todo
        /home/marxin/Programming/gcc/gcc/passes.c:2031
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.

And I have also a reduced test-case that started with r269243:

$ cat ice-new.c 
void *b;
void a();
void c(int d) {
  while (d)
    a();
}
void e() {
  c(2);
  __builtin_setjmp(b);
}

$ gcc -fexceptions -fsanitize=thread -O2 ice-new.c
ice-new.c: In function ‘e’:
ice-new.c:10:1: error: EH landing pad label 
   10 | }
      | ^
<L4> is not first in a sequence of labels in bb 4during GIMPLE pass: einline
ice-new.c:10:1: internal compiler error: verify_flow_info failed
0x8d931b verify_flow_info()
        /home/marxin/Programming/gcc/gcc/cfghooks.c:265
0xd4a684 checking_verify_flow_info
        /home/marxin/Programming/gcc/gcc/cfghooks.h:211
0xd4a684 cleanup_tree_cfg_noloop
        /home/marxin/Programming/gcc/gcc/tree-cfgcleanup.c:1108
0xd4a684 cleanup_tree_cfg(unsigned int)
        /home/marxin/Programming/gcc/gcc/tree-cfgcleanup.c:1159
0xc1f0cf execute_function_todo
        /home/marxin/Programming/gcc/gcc/passes.c:1930
0xc1ff7e execute_todo
        /home/marxin/Programming/gcc/gcc/passes.c:2031
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.