[PATCH] D10161: [SCEV][LoopVectorize] Allow ScalarEvolution to make assumptions about overflows

[Renato Golin]

rengolin added inline comments.

================
Comment at: include/llvm/Analysis/ScalarEvolutionExpressions.h:753
@@ +752,3 @@
+  public:
+    SCEVPredicateSet &P;
+
----------------
Do you need to keep this public?

In addOverflowAssumption, you check for MakeAssumptions to add or not the SCEV to it, and if it remains public, anyone will be able to bypass this check.


http://reviews.llvm.org/D10161