[Bug tree-optimization/103856] New: ICE during GIMPLE pass: hardcmp since r12-4759-g95bb87b2458bfab4

[marxin at gcc dot gnu.org]

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

            Bug ID: 103856
           Summary: ICE during GIMPLE pass: hardcmp since
                    r12-4759-g95bb87b2458bfab4
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
                CC: aoliva at gcc dot gnu.org
  Target Milestone: ---

The following fails:

$ cat ice.ii
struct S {
  S(float);
  S();
  operator float();
  ~S() {}
};

int
main() {
  S s_arr[]{2};
  S var1;
  if (var1)
    ;
}

$ g++ -Og -fnon-call-exceptions -fsignaling-nans -fharden-compares -c ice.ii
ice.ii: In function ‘int main()’:
ice.ii:9:1: error: missing ‘PHI’ def
    9 | main() {
      | ^~~~
_5 = PHI <&MEM <struct S[1]> [(void *)&s_arr + 1B](4), &MEM <struct S[1]>
[(void *)&s_arr + 1B](2), &MEM <struct S[1]> [(void *)&s_arr + 1B](3), (5)>
during GIMPLE pass: hardcmp
ice.ii:9:1: internal compiler error: verify_gimple failed
0x1289035 verify_gimple_in_cfg(function*, bool)
        /home/marxin/Programming/gcc/gcc/tree-cfg.c:5578
0x114f4ee execute_function_todo
        /home/marxin/Programming/gcc/gcc/passes.c:2084
0x114fb0b execute_todo
        /home/marxin/Programming/gcc/gcc/passes.c:2138
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.