If you run mach hazards gather twice, it'll be an incremental analysis, which is very likely to spew a large number of warnings about types being different for a new reincarnation of the same compilation unit. I also don't fully trust incremental analyses, even though I use them a lot to speed things up.

It would be better to default to the safe thing, and make incremental opt-in.