Index: lib/Analysis/MemorySSA.cpp
===================================================================
--- lib/Analysis/MemorySSA.cpp
+++ lib/Analysis/MemorySSA.cpp
@@ -284,6 +284,10 @@
     case Intrinsic::invariant_start:
     case Intrinsic::invariant_end:
     case Intrinsic::assume:
+    case Intrinsic::dbg_addr:
+    case Intrinsic::dbg_declare:
+    case Intrinsic::dbg_label:
+    case Intrinsic::dbg_value:
       return {false, NoAlias};
     default:
       break;
@@ -1729,7 +1733,11 @@
   // FIXME: Replace this special casing with a more accurate modelling of
   // assume's control dependency.
   if (IntrinsicInst *II = dyn_cast<IntrinsicInst>(I))
-    if (II->getIntrinsicID() == Intrinsic::assume)
+    if (II->getIntrinsicID() == Intrinsic::assume ||
+        II->getIntrinsicID() == Intrinsic::dbg_addr ||
+        II->getIntrinsicID() == Intrinsic::dbg_declare ||
+        II->getIntrinsicID() == Intrinsic::dbg_label ||
+        II->getIntrinsicID() == Intrinsic::dbg_value)
       return nullptr;
 
   bool Def, Use;