[Bug tree-optimization/102794] New: [12 Regression] missing vrp in evrp dealing with casts and ands

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

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

            Bug ID: 102794
           Summary: [12 Regression] missing vrp in evrp dealing with casts
                    and ands
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Keywords: missed-optimization
          Severity: enhancement
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: pinskia at gcc dot gnu.org
  Target Milestone: ---

Take:
void foo(void);
int main() {
  int b = 0;
  int a = -100;
  for (; a; ++a) {
    unsigned short d = a;
    if (!(b | d) && d)
      foo();
  }
  return 0;
}

--- CUT ----
This used to be optimized during evrp in 11.1.0/11.2.0 but trunk evrp does not.
This is reduced from PR 102703 but is related issue though different.