File tree Expand file tree Collapse file tree
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems
unittests/PhasarLLVM/DataFlowSolver/IfdsIde/Problems Expand file tree Collapse file tree Original file line number Diff line number Diff line change 77 * Fabian Schiebel and others
88 *****************************************************************************/
99
10+ #include " phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/IDEGeneralizedLCA.h"
1011#include " phasar/DB/ProjectIRDB.h"
1112#include " phasar/PhasarLLVM/ControlFlow/LLVMBasedICFG.h"
1213#include " phasar/PhasarLLVM/DataFlowSolver/IfdsIde/EdgeFunctions.h"
1617#include " phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/ConstantHelper.h"
1718#include " phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValueSet.h"
1819#include " phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/GenConstant.h"
19- #include " phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/IDEGeneralizedLCA.h"
2020#include " phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/MapFactsToCalleeFlowFunction.h"
2121#include " phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/MapFactsToCallerFlowFunction.h"
2222#include " phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/TypecastEdgeFunction.h"
Original file line number Diff line number Diff line change 77 * Philipp Schubert and others
88 *****************************************************************************/
99
10+ #include " phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDETypeStateAnalysis.h"
1011#include " phasar/DB/ProjectIRDB.h"
1112#include " phasar/PhasarLLVM/ControlFlow/LLVMBasedICFG.h"
1213#include " phasar/PhasarLLVM/DataFlowSolver/IfdsIde/EdgeFunctionComposer.h"
1314#include " phasar/PhasarLLVM/DataFlowSolver/IfdsIde/EdgeFunctions.h"
1415#include " phasar/PhasarLLVM/DataFlowSolver/IfdsIde/FlowFunctions.h"
1516#include " phasar/PhasarLLVM/DataFlowSolver/IfdsIde/LLVMFlowFunctions.h"
1617#include " phasar/PhasarLLVM/DataFlowSolver/IfdsIde/LLVMZeroValue.h"
17- #include " phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDETypeStateAnalysis.h"
1818#include " phasar/PhasarLLVM/Pointer/LLVMPointsToInfo.h"
1919#include " phasar/PhasarLLVM/TypeHierarchy/LLVMTypeHierarchy.h"
2020#include " phasar/Utils/LLVMIRToSrc.h"
Original file line number Diff line number Diff line change @@ -133,9 +133,8 @@ class IDEInstInteractionAnalysisTest : public ::testing::Test {
133133 PHASAR_LOG_LEVEL (DFADEBUG, " Variable '"
134134 << std::get<2 >(Truth) << " ' missing at '"
135135 << llvmIRToShortString (Line) << " '." );
136- llvm::outs ()<< " Variable '"
137- << std::get<2 >(Truth) << " ' missing at '"
138- << llvmIRToShortString (Line) << " '." ;
136+ llvm::outs () << " Variable '" << std::get<2 >(Truth) << " ' missing at '"
137+ << llvmIRToShortString (Line) << " '." ;
139138 }
140139 EXPECT_TRUE (FactFound);
141140 }
You can’t perform that action at this time.
0 commit comments