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

[Michael Kruse via llvm-commits]

Meinersbur wrote:

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

It would be a larger refactoring, i.e. remove `InvalidDomainMap` entirely to call `recordAssumption` directly. I am not sure how difficult to would be, `buildConditionSets` being called doesn't automatically mean that its result is also being used for which the RTC are relevant.

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