File tree Expand file tree Collapse file tree
PhasarLLVM/DataFlowSolver/IfdsIde/Problems Expand file tree Collapse file tree Original file line number Diff line number Diff line change 11#ifndef INCLUDE_PHASAR_UTILS_LLVMCXXSHORTHANDS_H_
22#define INCLUDE_PHASAR_UTILS_LLVMCXXSHORTHANDS_H_
33// This contains LLVM IR Shorthands specific to C++
4- // See https://mapping-high-level-constructs-to-llvm-ir.readthedocs.io/en/latest/object-oriented-constructs/classes.html
4+ // See
5+ // https://mapping-high-level-constructs-to-llvm-ir.readthedocs.io/en/latest/object-oriented-constructs/classes.html
56// for examples
67
78#include " llvm/IR/Instructions.h"
Original file line number Diff line number Diff line change 2020#include < string>
2121#include < vector>
2222
23- #include " llvm/IR/Instructions.h"
2423#include " llvm/IR/Function.h"
24+ #include " llvm/IR/Instructions.h"
2525#include " llvm/IR/Value.h"
2626
2727#include " phasar/Utils/Utilities.h"
Original file line number Diff line number Diff line change 2525#include " phasar/PhasarLLVM/Pointer/LLVMPointsToInfo.h"
2626#include " phasar/PhasarLLVM/TypeHierarchy/LLVMTypeHierarchy.h"
2727
28+ #include " phasar/Utils/LLVMCXXShorthands.h"
2829#include " phasar/Utils/LLVMIRToSrc.h"
2930#include " phasar/Utils/LLVMShorthands.h"
30- #include " phasar/Utils/LLVMCXXShorthands.h"
3131#include " phasar/Utils/Logger.h"
3232#include " phasar/Utils/PAMMMacros.h"
3333#include " phasar/Utils/Utilities.h"
Original file line number Diff line number Diff line change 1- #include " phasar/Utils/LLVMCXXShorthands.h"
2- #include < llvm/Demangle/Demangle.h>
3- #include < llvm/IR/Constants.h>
1+ #include " llvm/Demangle/Demangle.h"
2+ #include " llvm/IR/Constants.h"
43#include " llvm/IR/GlobalVariable.h"
54#include " llvm/IR/Instructions.h"
6- #include < phasar/Utils/Logger.h>
5+
6+ #include " phasar/Utils/LLVMCXXShorthands.h"
7+ #include " phasar/Utils/Logger.h"
78
89namespace psr {
910// Setting up the vtable is counted towards the initialization of an
@@ -41,4 +42,4 @@ bool isTouchVTableInst(const llvm::StoreInst *Store) {
4142 } /* end vtable set-up instruction */
4243 return false ;
4344}
44- }
45+ } // namespace psr
You can’t perform that action at this time.
0 commit comments