[tree-ssa] Fix variables getting out of their scope

Zdenek Dvorak rakdver@atrey.karlin.mff.cuni.cz
Thu Aug 21 17:05:00 GMT 2003


Hello,

> >copy propagation may replace set to j with i, thus moving it out of its
>  >scope.  Given that we may (??? not really sure whether we do it) assign
>  >the same stack slot to i, j and bla, this would cause a misscompilation.
> Everything which goes into a stack slot (as opposed to be assigned a 
> pseudo register) should be marked as addressable -- which should in turn
> prevent the object from being used for copy propagation.  ie, it should
> be a non-issue.

probably in this particular case; but it would be anoying to have to
care about that at every single optimization.

Zdenek



More information about the Gcc-patches mailing list