1 files changed, 3 insertions, 0 deletions
diff --git a/lib/Analysis/IPA/Andersens.cpp b/lib/Analysis/IPA/Andersens.cpp
index 9af904f..ab80bab 100644
--- a/lib/Analysis/IPA/Andersens.cpp
+++ b/lib/Analysis/IPA/Andersens.cpp
@@ -957,6 +957,9 @@ bool Andersens::AddConstraintsForExternalCall(CallSite CS, Function *F) {
                                      FirstArg, TempArg));
     Constraints.push_back(Constraint(Constraint::Load,
                                      TempArg, SecondArg));
+    // In addition, Dest = Src
+    Constraints.push_back(Constraint(Constraint::Copy,
+                                     FirstArg, SecondArg));
     return true;
   }