[m-dev.] diff for review

[Fergus Henderson]

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.