From 008cbe6362aa1444a5bda783585724b4fb189385 Mon Sep 17 00:00:00 2001 From: Florian Sattler Date: Fri, 14 Feb 2025 09:34:38 +0100 Subject: [PATCH] Fixes missing include for IIAA --- .../DataFlow/IfdsIde/Problems/IDEInstInteractionAnalysis.h | 1 + 1 file changed, 1 insertion(+) diff --git a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEInstInteractionAnalysis.h b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEInstInteractionAnalysis.h index 4ab227cd1f..4bfe3ecccd 100644 --- a/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEInstInteractionAnalysis.h +++ b/include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEInstInteractionAnalysis.h @@ -17,6 +17,7 @@ #include "phasar/DataFlow/IfdsIde/IDETabulationProblem.h" #include "phasar/DataFlow/IfdsIde/SolverResults.h" #include "phasar/Domain/LatticeDomain.h" +#include "phasar/PhasarLLVM/ControlFlow/LLVMBasedICFG.h" #include "phasar/PhasarLLVM/DB/LLVMProjectIRDB.h" #include "phasar/PhasarLLVM/DataFlow/IfdsIde/LLVMFlowFunctions.h" #include "phasar/PhasarLLVM/DataFlow/IfdsIde/LLVMSolverResults.h"