[PATCH] [DependenceAnalysis] Fix for PR21585: collectUpperBound triggers asserts

[hfinkel at anl.gov]

REPOSITORY
  rL LLVM

================
Comment at: lib/Analysis/DependenceAnalysis.cpp:951
@@ -950,3 +950,3 @@
     const SCEV *UB = SE->getBackedgeTakenCount(L);
-    return SE->getNoopOrZeroExtend(UB, T);
+    return SE->getTruncateOrZeroExtend(UB, T);
   }
----------------
I don't understand this; the answer, then, is not actually the upper bound. Why not return some unknown?

http://reviews.llvm.org/D9455

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/