[m-dev.] diff for review

Zoltan Somogyi zs at cs.mu.oz.au
Tue Apr 22 18:47:30 AEST 1997

> 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.


More information about the developers mailing list