------- Comment #74 from rguenth at gcc dot gnu dot org  2007-05-16 15:36 
-------
Note that another solution to this whole problem is to record conflicts for
all stored-to types that we cannot disambiguate by points-to analysis.  This
also solves the reading of the standard that allows

  int i = 1;
  (float *)&i = 0.0;

at RTL expansion time we need to do the same apart from that we don't have
points-to information available.

The above supports the notion of "re-using memory changes its dynamic type".
Which of course gets a little interesting for aggregates that are initialized
piece-wise (not that this problem isn't present now).


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29286

Reply via email to