Update include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEInstInt…

…eractionAnalysis.h Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
secure-software-engineering · Aug 28, 2023 · 77139f7 · 77139f7
1 parent 036db8c
commit 77139f7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEInstInteractionAnalysis.h b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEInstInteractionAnalysis.h
@@ -522,7 +522,7 @@ class IDEInstInteractionAnalysisT
                                                 n_t /* RetSite */) override {
     // Map return value back to the caller. If pointer parameters hold at the
     // end of a callee function generate all of those in the caller context.
-    if (CallSite == nullptr){
+    if (CallSite == nullptr) {
       return killAllFlows<d_t>();
     }
     auto MapFactsToCallerFF =