[Bug tree-optimization/61677] False positive with -Wmaybe-uninitialized (predicate analysis, VRP)

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

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|NEW                         |RESOLVED
   Target Milestone|---                         |13.0

--- Comment #11 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Before
```
After normalization [USE]:
        jump_119->offset = _118;
  is conditional on:
        _146 != 0 && menu_116 == location_131 (expanded)
        AND (_146 != 0, menu_116 == location_131)
Found unguarded use in bb 32: jump_119->offset = _118;
```

In GCC 13:
```
After normalization [USE]:
        jump_119->offset = _118;
  is conditional on:
        ((menu_116 == location_131) AND (_146 != 0))
found predicate overlap
```


Looks like we simplified the predicate here.

There were a bunch of improvements to the predicates code in GCC 13 so closing
as fixed.