[polly] [Polly] Do not assume loops to be bounded if latch conditions are invalid (PR #226202)

[Timur Baidusenov via llvm-commits]

bai-tim wrote:

> LGTM
> 
> We should eventually let `buildConditionSets` call `recordAssumption` directly, instead of collecting them in a `InvalidDomainMap`, source of many of the problems you are fixing. I think there is a TODO for it as well.
> 
> Would you like me to land this PR?

Should the follow-up only let buildConditionSets record the assumptions directly, or remove InvalidDomainMap entirely?

https://github.com/llvm/llvm-project/pull/226202