[m-dev.] diff for review
Fergus Henderson
fjh at cs.mu.oz.au
Wed Apr 23 12:06:39 AEST 1997
Zoltan Somogyi, you wrote:
>
> > compiler/code_info.m
> > Fix a code generator abort for if-then-elses with conditions
> > that cannot succeed by having code_info__generate_branch_end
> > do nothing if the instmap is unreachable.
>
> I believe there should be no need to modify code_info; the proper
> fix seems to me to be to put the relevant variables in the then-part's
> post-birth set. Read the comment at the top of liveness.m.
>
> Since liveness is supposed to do this already, the bug seems to be
> in liveness.m.
FWIW, I agree with Zoltan's analysis.
--
Fergus Henderson <fjh at cs.mu.oz.au> | "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh> | of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3 | -- the last words of T. S. Garp.
More information about the developers
mailing list