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" :-)
