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

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(e)VRP can handle the non-constant case already too:
```
bool bar (int x, int y, int z) {
    if (x == y)
      return true;
    if (x == z)
      if (y == z)
        return true;
    return f(x,y);
}
```

Though not like:
```
bool bar (int x, int y, int z) {
    if (x == y)
      return true;
    if (x == z && y == z)
        return true;
    return f(x,y);
}
```

Reply via email to