[Bug tree-optimization/65752] Too strong optimizations int -> pointer casts

gcc at robbertkrebbers dot nl gcc-bugzilla@gcc.gnu.org
Mon Apr 20 13:53:00 GMT 2015


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.



More information about the Gcc-bugs mailing list