2 files changed, 4 insertions, 0 deletions
diff --git a/polly/lib/Analysis/ScopBuilder.cpp b/polly/lib/Analysis/ScopBuilder.cpp
index 6a8dbe4511c..12904193ee3 100644
--- a/polly/lib/Analysis/ScopBuilder.cpp
+++ b/polly/lib/Analysis/ScopBuilder.cpp
@@ -311,6 +311,8 @@ bool ScopBuilder::buildAccessCallInst(MemAccInst Inst, Loop *L) {
     llvm_unreachable("Unknown mod ref behaviour cannot be represented.");
   case llvm::FMRB_DoesNotAccessMemory:
     return true;
+  case llvm::FMRB_DoesNotReadMemory:
+    return false;
   case llvm::FMRB_OnlyReadsMemory:
     GlobalReads.push_back(CI);
     return true;
diff --git a/polly/lib/Analysis/ScopDetection.cpp b/polly/lib/Analysis/ScopDetection.cpp
index 7d2dcbee52a..3770ae06c4c 100644
--- a/polly/lib/Analysis/ScopDetection.cpp
+++ b/polly/lib/Analysis/ScopDetection.cpp
@@ -536,6 +536,8 @@ bool ScopDetection::isValidCallInst(CallInst &CI,
 
       Context.AST.add(&CI);
       return true;
+    case FMRB_DoesNotReadMemory:
+      return false;
     }
   }