> 1) init_alias_analysis in scan_loop, so that the alias code sees > the new pseudo's we created in the inner loop. That's what record_base_value is for. Is it not working right? Did I miss some places where it should have been called?