[Bug tree-optimization/78725] wrong code at -O3 on x86_64-linux-gnu (in both 32-bit and 64-bit modes)

[mpolacek at gcc dot gnu.org]

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2016-12-08
                 CC|                            |mpolacek at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
This used to work correctly, then with introduction of loop splitting in
r241374 it started to ICE:

/home/brq/mpolacek/2.c: In function ‘main’:
/home/brq/mpolacek/2.c:12:5: error: type mismatch in binary expression
 int main ()
     ^~~~
int

int

unsigned char

_38 = _37 - d_lsm.12_20;
/home/brq/mpolacek/2.c:12:5: internal compiler error: verify_gimple failed
0xe85c03 verify_gimple_in_cfg(function*, bool)
        ../../gcc/tree-cfg.c:5208
0xd19da0 execute_function_todo
        ../../gcc/passes.c:1965
0xd18e2b do_per_function
        ../../gcc/passes.c:1649
0xd19f72 execute_todo
        ../../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.

This ICE was fixed in r241551 but we've miscompiled this since.