diff --git a/llvm/lib/Transforms/Scalar/LICM.cpp b/llvm/lib/Transforms/Scalar/LICM.cpp
index 1cbe3ef..d4ef9ad 100644
--- a/llvm/lib/Transforms/Scalar/LICM.cpp
+++ b/llvm/lib/Transforms/Scalar/LICM.cpp
@@ -686,6 +686,8 @@
     return false;
   }
 
+  assert(!I.mayReadOrWriteMemory() && "unhandled aliasing");
+
   // We've established mechanical ability and aliasing, it's up to the caller
   // to check fault safety
   return true;