start fixing IIA

Author: pdschubert

unittests/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEInstInteractionAnalysisTest.cpp

@@ -436,7 +436,7 @@ TEST_F(IDEInstInteractionAnalysisTest, HandleCallTest_05) {
   GroundTruth.emplace(
       std::tuple<std::string, size_t, std::string, BitVectorSet<std::string>>(
           "main", 10, "j", {"1", "7", "10", "12", "13"}));
-  doAnalysisAndCompareResults("call_05_cpp.ll", GroundTruth, false);
+  doAnalysisAndCompareResults("call_05_cpp.ll", GroundTruth, true);
 }
 
 TEST_F(IDEInstInteractionAnalysisTest, HandleCallTest_06) {
@@ -469,7 +469,7 @@ TEST_F(IDEInstInteractionAnalysisTest, HandleGlobalTest_01) {
           "main", 9, "i", {"0", "7", "8"}));
   GroundTruth.emplace(
       std::tuple<std::string, size_t, std::string, BitVectorSet<std::string>>(
-          "main", 9, "j", {"2", "6"}));
+          "main", 9, "j", {"2", "5", "6"}));
   doAnalysisAndCompareResults("global_01_cpp.ll", GroundTruth, false);
 }
 
@@ -492,7 +492,7 @@ TEST_F(IDEInstInteractionAnalysisTest, HandleGlobalTest_02) {
           "main", 12, "retval", {"4", "6"}));
   GroundTruth.emplace(
       std::tuple<std::string, size_t, std::string, BitVectorSet<std::string>>(
-          "main", 12, "c", {"5", "8", "13"}));
+          "main", 12, "c", {"5", "8", "7", "13"}));
   doAnalysisAndCompareResults("global_02_cpp.ll", GroundTruth, false);
 }