pre-analysis for merging allocs.