Index: polly/trunk/lib/Analysis/ScopBuilder.cpp =================================================================== --- polly/trunk/lib/Analysis/ScopBuilder.cpp +++ polly/trunk/lib/Analysis/ScopBuilder.cpp @@ -311,6 +311,8 @@ 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; Index: polly/trunk/lib/Analysis/ScopDetection.cpp =================================================================== --- polly/trunk/lib/Analysis/ScopDetection.cpp +++ polly/trunk/lib/Analysis/ScopDetection.cpp @@ -536,6 +536,8 @@ Context.AST.add(&CI); return true; + case FMRB_DoesNotReadMemory: + return false; } }