[m-dev.] diff: bug in liveness (affects .agc grade).

[Thomas Charles CONWAY]

> 
> Hi,
> 
> 	Tom, can you please review this.
> 
> ===================================================================
> 
> Estimated hours taken: 15
> 
> Fix a bug in code generation for accurate GC grades, and rename a
> predicate.
> 
> compiler/call_gen.m:
> compiler/hlds_pred.m:
> compiler/live_vars.m:
> 	Change `proc_info_get_used_typeinfos_setwise' to
> 	`proc_info_get_typeinfo_vars_setwise'.
> 
> compiler/liveness.m:
> 	When computing initial liveness, don't include the head variables 
> 	if they are unused in the predicate - this can lead to typeinfo
> 	variables being kept live for no reason, which causes problems 
> 	when generating code.
> 

This change looks fine.

Thomas
-- 
Thomas Conway               				      conway at cs.mu.oz.au
AD DEUM ET VINUM	  			      Every sword has two edges.