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

[Johannes Doerfert via llvm-commits]

On 12/21, Tobias Grosser wrote:
> 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?
It's fine. I know where you want to go with this, thanks!
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 213 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20151221/120c83c2/attachment.sig>