Skip to content

Commit 9a1a2c2

Browse files
fabianbs96fabianbs96
committed
Moved LVMShorthands into PhasarLLVM to reolve linking issue of phasar_utils with phasar_db
1 parent eea02aa commit 9a1a2c2

94 files changed

Lines changed: 103 additions & 102 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎include/phasar/PhasarLLVM/ControlFlow/LLVMBasedCFG.h‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -25,7 +25,7 @@
2525
#include "llvm/IR/Function.h"
2626

2727
#include "phasar/PhasarLLVM/ControlFlow/CFG.h"
28-
#include "phasar/Utils/LLVMIRToSrc.h"
28+
#include "phasar/PhasarLLVM/Utils/LLVMIRToSrc.h"
2929

3030
#include "nlohmann/json.hpp"
3131

‎include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/InitialSeeds.h‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@
1515
#include <type_traits>
1616

1717
#include "phasar/PhasarLLVM/Utils/BinaryDomain.h"
18-
#include "phasar/Utils/LLVMShorthands.h"
18+
#include "phasar/PhasarLLVM/Utils/LLVMShorthands.h"
1919

2020
namespace psr {
2121

‎include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/LLVMFlowFunctions.h‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@
2121

2222
#include "phasar/PhasarLLVM/DataFlowSolver/IfdsIde/FlowFunctions.h"
2323
#include "phasar/PhasarLLVM/DataFlowSolver/IfdsIde/LLVMZeroValue.h"
24-
#include "phasar/Utils/LLVMShorthands.h"
24+
#include "phasar/PhasarLLVM/Utils/LLVMShorthands.h"
2525

2626
namespace llvm {
2727
class Value;

‎include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/AbstractMemoryLocation.h‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -28,7 +28,7 @@
2828

2929
#include "phasar/PhasarLLVM/DataFlowSolver/IfdsIde/LLVMZeroValue.h"
3030
#include "phasar/PhasarLLVM/Pointer/LLVMPointsToInfo.h"
31-
#include "phasar/Utils/LLVMShorthands.h"
31+
#include "phasar/PhasarLLVM/Utils/LLVMShorthands.h"
3232

3333
namespace psr {
3434

‎include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEExtendedTaintAnalysis.h‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -41,8 +41,8 @@
4141
#include "phasar/PhasarLLVM/TaintConfig/TaintConfig.h"
4242
#include "phasar/PhasarLLVM/TypeHierarchy/LLVMTypeHierarchy.h"
4343
#include "phasar/PhasarLLVM/Utils/BasicBlockOrdering.h"
44+
#include "phasar/PhasarLLVM/Utils/LLVMShorthands.h"
4445
#include "phasar/PhasarLLVM/Utils/LatticeDomain.h"
45-
#include "phasar/Utils/LLVMShorthands.h"
4646
#include "phasar/Utils/Logger.h"
4747

4848
namespace psr {

‎include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/MapFactsToCallerFlowFunction.h‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@
2121

2222
#include "phasar/PhasarLLVM/DataFlowSolver/IfdsIde/FlowFunctions.h"
2323
#include "phasar/PhasarLLVM/DataFlowSolver/IfdsIde/LLVMZeroValue.h"
24-
#include "phasar/Utils/LLVMShorthands.h"
24+
#include "phasar/PhasarLLVM/Utils/LLVMShorthands.h"
2525

2626
namespace llvm {
2727
class CallBase;

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -46,10 +46,10 @@
4646
#include "phasar/PhasarLLVM/Pointer/LLVMPointsToInfo.h"
4747
#include "phasar/PhasarLLVM/Pointer/LLVMPointsToUtils.h"
4848
#include "phasar/PhasarLLVM/TypeHierarchy/LLVMTypeHierarchy.h"
49+
#include "phasar/PhasarLLVM/Utils/LLVMIRToSrc.h"
50+
#include "phasar/PhasarLLVM/Utils/LLVMShorthands.h"
4951
#include "phasar/PhasarLLVM/Utils/LatticeDomain.h"
5052
#include "phasar/Utils/BitVectorSet.h"
51-
#include "phasar/Utils/LLVMIRToSrc.h"
52-
#include "phasar/Utils/LLVMShorthands.h"
5353
#include "phasar/Utils/Logger.h"
5454

5555
// have some handy helper functionalities

‎include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IFDSFieldSensTaintAnalysis.h‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@
2121
#include "phasar/PhasarLLVM/Domain/AnalysisDomain.h"
2222
#include "phasar/PhasarLLVM/Domain/ExtendedValue.h"
2323
#include "phasar/PhasarLLVM/TaintConfig/TaintConfig.h"
24-
#include "phasar/Utils/LLVMShorthands.h"
24+
#include "phasar/PhasarLLVM/Utils/LLVMShorthands.h"
2525

2626
namespace llvm {
2727
class Value;

‎include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Solver/IDESolver.h‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -49,7 +49,7 @@
4949
#include "phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Solver/PathEdge.h"
5050
#include "phasar/PhasarLLVM/Domain/AnalysisDomain.h"
5151
#include "phasar/PhasarLLVM/Utils/DOTGraph.h"
52-
#include "phasar/Utils/LLVMShorthands.h"
52+
#include "phasar/PhasarLLVM/Utils/LLVMShorthands.h"
5353
#include "phasar/Utils/Logger.h"
5454
#include "phasar/Utils/PAMMMacros.h"
5555
#include "phasar/Utils/Table.h"

‎include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Solver/JumpFunctions.h‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -27,7 +27,7 @@
2727
#include "llvm/ADT/SmallVector.h"
2828

2929
#include "phasar/PhasarLLVM/DataFlowSolver/IfdsIde/EdgeFunctions.h"
30-
#include "phasar/Utils/LLVMShorthands.h"
30+
#include "phasar/PhasarLLVM/Utils/LLVMShorthands.h"
3131
#include "phasar/Utils/Logger.h"
3232
#include "phasar/Utils/Table.h"
3333

0 commit comments

Comments
 (0)