[Bug tree-optimization/104196] [12 Regression] wrong code at -O2 and above on x86_64-linux-gnu

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

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

--- Comment #6 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Here is a new testcase where we have the same IR (including the range) in GCC
11.2.0 and the trunk:
int a = 6;
int main() {
     for (;;)
    {
        int c = 111;
        if (a < 0)
            c = 1;
        else
          goto t;
        c = -__INT_MAX__ - a;
        int b = a;
        int tt, ttt;

        tt = a != -2147479551;
        ttt = c == 1;
        tt = tt | ttt;
        if (!tt)
          continue;
        {
            t:
            if (a < 6)
                __builtin_abort ();
            ty:
            return 0;
        }
    }
}

It would be useful to run a bisect on this new one.