Merge pull request #426 from secure-software-engineering/f-FixesIDELinerConstantAccesToGlobals

Fixes wrong global lookup when global was not in the PTS

Author: pdschubert

include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEInstInteractionAnalysis.h

@@ -271,11 +271,11 @@ class IDEInstInteractionAnalysisT
           container_type computeTargets(d_t src) override {
             container_type Facts;
             Facts.insert(src);
-            if (PTS->count(src)) {
-              Facts.insert(Load);
-            }
+
             // Handle global variables which behave a bit special.
-            if (PTS->empty() && src == Load->getPointerOperand()) {
+            if (src == Load->getPointerOperand()) {
+              Facts.insert(Load);
+            } else if (PTS->count(src)) {
               Facts.insert(Load);
             }
             return Facts;