[Bug tree-optimization/126458] [16/17 Regression] Wrong code with ((int)a)>0 ? (type1)a : CST since r16-4585

[pinskia at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #4 from Drea Pinski <pinskia at gcc dot gnu.org> ---
Note this can show up in gimple (but not phiopt due to factoring of casts). But
requires a little more complex stuff to do that.