[Bug middle-end/96564] [13/14/15/16 Regression] New maybe use of uninitialized variable warning since r11-959

[amacleod at redhat dot com]

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

--- Comment #25 from Andrew Macleod <amacleod at redhat dot com> ---
yeah, in GCC 17 prange will start to track some values. It already tracks
non-nullness.

Initially it will be the 'is_gimple_min_invariant' values which are currently
maintained in a side table in VRP, but the infrastructure will be in place to
hopefully replace most or all of the pointer_query code. 

I expect cases like this would be use cases for identifying additional things
to track... and then we'd just have to check aliasing at the comparison to see
if the 2 things can possible alias.

So maybe this release it'll come for "free" :-)