[sa]: Revert partial def stuff, use fake variables instead

[Zdenek Dvorak]

Hello,

> >>>>Those are functionally equivalent.  In a sane world (and our aliasing
> >>>>code is *FAR* from sane) the most we should have to do is tell the
> >>>>aliasing code that we have a new pointer and it points to X.
> >>>>
> >>>Which is *exactly* what I've been saying.  We were missing the
> >>>capability of telling that to the aliasing code.  I added that on the
> >>>cleanup branch.  If you are removing type tags, then we won't have to
> >>>update those, but you will still need to have glue code to let the
> >>>optimizers inform the aliasing code of changes.
> >>With the rewrite, it's trivial to handle the changes ivopts makes --
> >>largely because ivopts doesn't change the aliasing information, it
> >>just adds a new pointer to a known location.
> >
> >This is all we told zdenek to do now.
> 
> Just to clarify, we have told zdenek to add a new tag specifying exactly 
> what the new pointer points-to.

after some thinking about the problem, I now agree that I have
overestimated the complicacy of the solution.

I still think we represent alias analysis results in unnecessarily
complicated way, however (which we also seem to agree on).

Zdenek