commit a8512b1784455ad8c3e7cbb7652281fbfa649a21
author Tobias Grosser <tobias@grosser.es> Wed May 20 15:37:11 2015 +0000
committer Tobias Grosser <tobias@grosser.es> Wed May 20 15:37:11 2015 +0000
tree 076351e6e15185c384a08aa0ca9829d774a0acfd
parent 08b8726de3a8a8014ed2f422e0952d5389fad26f

Add diagnostic for unsigned integer comparisions

llvm-svn: 237800

polly/lib/Analysis/ScopDetection.cpp

diff --git a/polly/lib/Analysis/ScopDetection.cpp b/polly/lib/Analysis/ScopDetection.cpp
index 4dea7ba..88f482b 100644
--- a/polly/lib/Analysis/ScopDetection.cpp
+++ b/polly/lib/Analysis/ScopDetection.cpp
@@ -351,7 +351,7 @@
     // TODO: This is not sufficient and just hides bugs. However it does pretty
     // well.
     if (ICmp->isUnsigned() && !AllowUnsigned)
-      return false;
+      return invalid<ReportUnsignedCond>(Context, /*Assert=*/true, Br, &BB);
 
     // Are both operands of the ICmp affine?
     if (isa<UndefValue>(ICmp->getOperand(0)) ||