Check whether the iterator p == the end iterator before trying to dereference it...

[oota-llvm.git] / lib / Analysis / ValueTracking.cpp

diff --git a/lib/Analysis/ValueTracking.cpp b/lib/Analysis/ValueTracking.cpp
index ce945eb30ee2459dd482e9aba7465e0dc6fe9dbf..6409b85b1a0779acc68bb5b0e44e44163a587b24 100644 (file)
--- a/lib/Analysis/ValueTracking.cpp
+++ b/lib/Analysis/ValueTracking.cpp
@@ -2009,6 +2009,7 @@ bool llvm::isSafeToSpeculativelyExecute(const Value *V,
        case Intrinsic::sqrt:
        case Intrinsic::fma:
        case Intrinsic::fmuladd:
+       case Intrinsic::fabs:
          return true;
        // TODO: some fp intrinsics are marked as having the same error handling
        // as libm. They're safe to speculate when they won't error.