[polly] r256123 - ScopInfo: Bail out in case of complex branch structures

[Tobias Grosser via llvm-commits]

On 12/20/2015 11:47 PM, Johannes Doerfert wrote:
> On 12/20, Tobias Grosser via llvm-commits wrote:
>> +  case ERROR_DOMAINCONJUNCTS:
>> +    return "Low number of domain conjuncts";
> I don't understand this error message. Shouldn't it be "High .." or "Too
> many .." or something?

Currently, these are not directly error messages, but assumptions we 
take that may fail (in this case always).

To the end user they are reported as "<assumption> assumption {: 
condition}". In this case "Low number of domain conjuncts assumption {: 
1 = 0}", which means the assumption that the number of domain conjuncts 
is low does never hold.

Reporting "How number of domain conjuncts assumption {: 1 = 0}" gives 
the wrong information.

Does this clarify things or would you suggest to somehow improve this 
current printing behavior?

Best,
Tobias