[Bug tree-optimization/115244] New: virtual operand SSA form verifier imperfect

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

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

            Bug ID: 115244
           Summary: virtual operand SSA form verifier imperfect
           Product: gcc
           Version: 15.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: rguenth at gcc dot gnu.org
  Target Milestone: ---

On r15-845-g06bb125521dec5 the virtual SSA form verifier does not catch
the sink pass wrecking virtual operand form for the following testcase at -O3.

extern void c();
int a, b;
int main() {
  while (b) {
    int d, e = 0, *f = &a;
    *f = 1;
    e = 1 >> d ? : 1 << d;
    if (e)
      a = 0;
    c();
  }
  return 0;
}