[Bug tree-optimization/78072] [7 Regression] ICE on valid code at -O3 on x86_64-linux-gnu: verify_gimple failed

[su at cs dot ucdavis.edu]

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

--- Comment #2 from Zhendong Su <su at cs dot ucdavis.edu> ---
(In reply to Andrew Pinski from comment #1)
> Most likely a dup of bug 78060.

Yes, it looks like.  But the reported C++ test case for 78060 has undefined
behavior due to uninitialized variables.  The ICE disappears if c and l are
initialized: 

$ g++-trunk -O3 -c small.cpp
small.cpp: In function ‘void fn1()’:
small.cpp:9:6: error: type mismatch in binary expression
 void fn1()
      ^~~
long int

long int

int

_29 = _27 - l_5(D);
small.cpp:9:6: internal compiler error: verify_gimple failed
0xe33b6f verify_gimple_in_cfg(function*, bool)
        ../../gcc-source-trunk/gcc/tree-cfg.c:5208
0xd13f42 execute_function_todo
        ../../gcc-source-trunk/gcc/passes.c:1965
0xd148f9 execute_todo
        ../../gcc-source-trunk/gcc/passes.c:2015
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
$ 
$ g++-trunk -O3 -c small-fixed.cpp
$ 
$ cat small-fixed.cpp
class A {
public:
  template <typename T2> int &operator[](T2);
};

int a;
A b;

void fn1() 
{
  long c = 0; 
  for (int l = 0; l < c; ++l)
    b[l] = l < 2 ? : a;
}
$