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

[Michael Kruse via llvm-commits]

https://github.com/Meinersbur approved this pull request.

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?

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