[Bug tree-optimization/65752] Too strong optimizations int -> pointer casts
gcc at robbertkrebbers dot nl
Mon Apr 20 13:53:00 GMT 2015
--- 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.
More information about the Gcc-bugs