https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65752
--- Comment #12 from Robbert <gcc at robbertkrebbers dot nl> --- (In reply to Richard Biener from comment #10) > and see how this will make PTA useless (all pointers passed to a function > whose result might be used in a way to take advantage of an equality relation > need to be considered pointing to anything). [and then thorougly specify > "take advantage of an equality relation"] That is undesired indeed. Only in case a pointer has been obtained via a construction that breaks abstraction (for example, if it has been obtained via an int -> pointer casts, or by poking bytes somewhere and then reinterpreting these as a pointer) convervative PTA assumptions should be made.
