https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91227
--- Comment #17 from Martin Sebor <msebor at gcc dot gnu.org> --- Just to be clear: my suggestion to fold the relational expressions is only for incoming pointers with addresses of local variables that GCC already assumes cannot be synthesized (I assume it does that on the basis of what the provenance proposals refer to as address nondeterminism). I am not suggesting to fold arbitrary relational expressions in general.
