Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

F clang tidy compliance #641

Merged
merged 4 commits into from
Jul 6, 2023
Merged

F clang tidy compliance #641

Show file tree
Hide file tree
Changes from 3 commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
4fce701
Header Guards changed to preferred style according to Clang-tidy
Poppeldipop Jul 5, 2023
57e2aea
Changed include order to preffered style and set qualified variables …
Poppeldipop Jul 6, 2023
77d548d
'override' functions instead of 'virtual' according to Clang-tidy
Poppeldipop Jul 6, 2023
d9743e6
Reverted wrong Header Guard
Poppeldipop Jul 6, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions include/phasar/AnalysisStrategy/AnalysisSetup.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Philipp Schubert and others
*****************************************************************************/

#ifndef PHASAR_PHASARLLVM_ANALYSISSTRATEGY_ANALYSISSETUP_H_
#define PHASAR_PHASARLLVM_ANALYSISSTRATEGY_ANALYSISSETUP_H_
#ifndef PHASAR_ANALYSISSTRATEGY_ANALYSISSETUP_H
#define PHASAR_ANALYSISSTRATEGY_ANALYSISSETUP_H

#include "phasar/PhasarLLVM/ControlFlow/LLVMBasedICFG.h"
#include "phasar/PhasarLLVM/Pointer/LLVMAliasSet.h"
Expand Down
4 changes: 2 additions & 2 deletions include/phasar/AnalysisStrategy/DemandDrivenAnalysis.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Philipp Schubert and others
*****************************************************************************/

#ifndef PHASAR_PHASARLLVM_ANALYSISSTRATEGY_DEMANDDRIVENANALYSIS_H_
#define PHASAR_PHASARLLVM_ANALYSISSTRATEGY_DEMANDDRIVENANALYSIS_H_
#ifndef PHASAR_ANALYSISSTRATEGY_DEMANDDRIVENANALYSIS_H
#define PHASAR_ANALYSISSTRATEGY_DEMANDDRIVENANALYSIS_H

namespace psr {

Expand Down
4 changes: 2 additions & 2 deletions include/phasar/AnalysisStrategy/IncrementalUpdateAnalysis.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Philipp Schubert and others
*****************************************************************************/

#ifndef PHASAR_PHASARLLVM_ANALYSISSTRATEGY_INCREMENTALUPDATEANALYSIS_H_
#define PHASAR_PHASARLLVM_ANALYSISSTRATEGY_INCREMENTALUPDATEANALYSIS_H_
#ifndef PHASAR_ANALYSISSTRATEGY_INCREMENTALUPDATEANALYSIS_H
#define PHASAR_ANALYSISSTRATEGY_INCREMENTALUPDATEANALYSIS_H

namespace psr {

Expand Down
4 changes: 2 additions & 2 deletions include/phasar/AnalysisStrategy/ModuleWiseAnalysis.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Philipp Schubert and others
*****************************************************************************/

#ifndef PHASAR_PHASARLLVM_ANALYSISSTRATEGY_MODULEWISEANALYSIS_H_
#define PHASAR_PHASARLLVM_ANALYSISSTRATEGY_MODULEWISEANALYSIS_H_
#ifndef PHASAR_ANALYSISSTRATEGY_MODULEWISEANALYSIS_H
#define PHASAR_ANALYSISSTRATEGY_MODULEWISEANALYSIS_H

namespace psr {

Expand Down
4 changes: 2 additions & 2 deletions include/phasar/AnalysisStrategy/Strategies.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Philipp Schubert and others
*****************************************************************************/

#ifndef PHASAR_PHASARLLVM_ANALYSISSTRATEGY_STRATEGIES_H
#define PHASAR_PHASARLLVM_ANALYSISSTRATEGY_STRATEGIES_H
#ifndef PHASAR_ANALYSISSTRATEGY_STRATEGIES_H
#define PHASAR_ANALYSISSTRATEGY_STRATEGIES_H

#include "llvm/ADT/StringRef.h"
#include "llvm/Support/raw_ostream.h"
Expand Down
4 changes: 2 additions & 2 deletions include/phasar/AnalysisStrategy/VariationalAnalysis.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Philipp Schubert and others
*****************************************************************************/

#ifndef PHASAR_PHASARLLVM_ANALYSISSTRATEGY_VARIATIONALANALYSIS_H_
#define PHASAR_PHASARLLVM_ANALYSISSTRATEGY_VARIATIONALANALYSIS_H_
#ifndef PHASAR_ANALYSISSTRATEGY_VARIATIONALANALYSIS_H
#define PHASAR_ANALYSISSTRATEGY_VARIATIONALANALYSIS_H

#include "phasar/AnalysisStrategy/AnalysisSetup.h"

Expand Down
6 changes: 3 additions & 3 deletions include/phasar/ControlFlow/CFGBase.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Fabian Schiebel and others
*****************************************************************************/

#ifndef PHASAR_PHASARLLVM_CONTROLFLOW_CFGBASE_H
#define PHASAR_PHASARLLVM_CONTROLFLOW_CFGBASE_H
#ifndef PHASAR_CONTROLFLOW_CFGBASE_H
#define PHASAR_CONTROLFLOW_CFGBASE_H

#include "phasar/Utils/ByRef.h"
#include "phasar/Utils/TypeTraits.h"
Expand Down Expand Up @@ -150,4 +150,4 @@ constexpr bool is_cfg_v = is_crtp_base_of_v<CFGBase, ICF>

} // namespace psr

#endif // PHASAR_PHASARLLVM_CONTROLFLOW_CFGBASE_H
#endif // PHASAR_CONTROLFLOW_CFGBASE_H
6 changes: 3 additions & 3 deletions include/phasar/ControlFlow/CallGraph.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Fabian Schiebel and others
*****************************************************************************/

#ifndef PHASAR_PHASARLLVM_CONTROLFLOW_CALLGRAPH_H
#define PHASAR_PHASARLLVM_CONTROLFLOW_CALLGRAPH_H
#ifndef PHASAR_CONTROLFLOW_CALLGRAPH_H
#define PHASAR_CONTROLFLOW_CALLGRAPH_H

#include "phasar/ControlFlow/CallGraphBase.h"
#include "phasar/Utils/ByRef.h"
Expand Down Expand Up @@ -301,4 +301,4 @@ extern template class psr::CallGraph<const llvm::Instruction *,
extern template class psr::CallGraphBuilder<const llvm::Instruction *,
const llvm::Function *>;

#endif // PHASAR_PHASARLLVM_CONTROLFLOW_CALLGRAPH_H
#endif // PHASAR_CONTROLFLOW_CALLGRAPH_H
6 changes: 3 additions & 3 deletions include/phasar/ControlFlow/CallGraphAnalysisType.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Philipp Schubert, Fabian Schiebel and others
*****************************************************************************/

#ifndef PHASAR_PHASARLLVM_CALLGRAPHANALYSISTYPE_H
#define PHASAR_PHASARLLVM_CALLGRAPHANALYSISTYPE_H
#ifndef PHASAR_CONTROLFLOW_CALLGRAPHANALYSISTYPE_H
#define PHASAR_CONTROLFLOW_CALLGRAPHANALYSISTYPE_H

#include "llvm/ADT/StringRef.h"
#include "llvm/Support/raw_ostream.h"
Expand All @@ -30,4 +30,4 @@ llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, CallGraphAnalysisType CGA);

} // namespace psr

#endif // PHASAR_PHASARLLVM_CALLGRAPHANALYSISTYPE_H
#endif // PHASAR_CONTROLFLOW_CALLGRAPHANALYSISTYPE_H
6 changes: 3 additions & 3 deletions include/phasar/ControlFlow/CallGraphBase.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Fabian Schiebel and others
*****************************************************************************/

#ifndef PHASAR_PHASARLLVM_CONTROLFLOW_CALLGRAPHBASE_H
#define PHASAR_PHASARLLVM_CONTROLFLOW_CALLGRAPHBASE_H
#ifndef PHASAR_CONTROLFLOW_CALLGRAPHBASE_H
#define PHASAR_CONTROLFLOW_CALLGRAPHBASE_H

#include "phasar/Utils/ByRef.h"
#include "phasar/Utils/TypeTraits.h"
Expand Down Expand Up @@ -56,4 +56,4 @@ template <typename Derived> class CallGraphBase {
};
} // namespace psr

#endif // PHASAR_PHASARLLVM_CONTROLFLOW_CALLGRAPHBASE_H
#endif // PHASAR_CONTROLFLOW_CALLGRAPHBASE_H
6 changes: 3 additions & 3 deletions include/phasar/ControlFlow/ICFGBase.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Fabian Schiebel and others
*****************************************************************************/

#ifndef PHASAR_PHASARLLVM_CONTROLFLOW_ICFGBASE_H
#define PHASAR_PHASARLLVM_CONTROLFLOW_ICFGBASE_H
#ifndef PHASAR_CONTROLFLOW_ICFGBASE_H
#define PHASAR_CONTROLFLOW_ICFGBASE_H

#include "phasar/ControlFlow/CFGBase.h"
#include "phasar/ControlFlow/CallGraphBase.h"
Expand Down Expand Up @@ -134,4 +134,4 @@ constexpr bool is_icfg_v = is_crtp_base_of_v<ICFGBase, ICF>

} // namespace psr

#endif // PHASAR_PHASARLLVM_CONTROLFLOW_ICFGBASE_H
#endif // PHASAR_CONTROLFLOW_ICFGBASE_H
6 changes: 3 additions & 3 deletions include/phasar/ControlFlow/SpecialMemberFunctionType.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,8 +14,8 @@
* Author: philipp
*/

#ifndef PHASAR_PHASARLLVM_SPECIALMEMBERFUNCTIONTYPE_H
#define PHASAR_PHASARLLVM_SPECIALMEMBERFUNCTIONTYPE_H
#ifndef PHASAR_CONTROLFLOW_SPECIALMEMBERFUNCTIONTYPE_H
#define PHASAR_CONTROLFLOW_SPECIALMEMBERFUNCTIONTYPE_H

#include "llvm/ADT/StringRef.h"

Expand All @@ -40,4 +40,4 @@ llvm::raw_ostream &operator<<(llvm::raw_ostream &OS,
SpecialMemberFunctionType SMFT);
} // namespace psr

#endif // PHASAR_PHASARLLVM_SPECIALMEMBERFUNCTIONTYPE_H
#endif // PHASAR_CONTROLFLOW_SPECIALMEMBERFUNCTIONTYPE_H
11 changes: 6 additions & 5 deletions include/phasar/DataFlow/IfdsIde/DefaultEdgeFunctionSingletonCache.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Philipp Schubert and others
*****************************************************************************/

#ifndef PHASAR_PHASARLLVM_DATAFLOWSOLVER_IFDSIDE_DEFAULTEDGEFUNCTIONSINGLETONCACHE_H
#define PHASAR_PHASARLLVM_DATAFLOWSOLVER_IFDSIDE_DEFAULTEDGEFUNCTIONSINGLETONCACHE_H
#ifndef PHASAR_DATAFLOW_IFDSIDE_DEFAULTEDGEFUNCTIONSINGLETONCACHE_H
#define PHASAR_DATAFLOW_IFDSIDE_DEFAULTEDGEFUNCTIONSINGLETONCACHE_H

#include "phasar/DataFlow/IfdsIde/EdgeFunction.h"
#include "phasar/DataFlow/IfdsIde/EdgeFunctionSingletonCache.h"
Expand Down Expand Up @@ -68,8 +68,9 @@ class DefaultEdgeFunctionSingletonCache
if (LHS == RHS) {
return true;
}
auto Empty = llvm::DenseMapInfo<const EdgeFunctionTy *>::getEmptyKey();
auto Tombstone =
const auto *Empty =
llvm::DenseMapInfo<const EdgeFunctionTy *>::getEmptyKey();
const auto *Tombstone =
llvm::DenseMapInfo<const EdgeFunctionTy *>::getTombstoneKey();
if (LHS == Empty || LHS == Tombstone || RHS == Empty ||
RHS == Tombstone) {
Expand Down Expand Up @@ -114,4 +115,4 @@ class DefaultEdgeFunctionSingletonCache<

} // namespace psr

#endif // PHASAR_PHASARLLVM_DATAFLOWSOLVER_IFDSIDE_DEFAULTEDGEFUNCTIONSINGLETONCACHE_H
#endif // PHASAR_DATAFLOW_IFDSIDE_DEFAULTEDGEFUNCTIONSINGLETONCACHE_H
8 changes: 4 additions & 4 deletions include/phasar/DataFlow/IfdsIde/EdgeFunction.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Fabian Schiebel and others
*****************************************************************************/

#ifndef PHASAR_PHASARLLVM_DATAFLOWSOLVER_IFDSIDE_EDGEFUNCTION_H
#define PHASAR_PHASARLLVM_DATAFLOWSOLVER_IFDSIDE_EDGEFUNCTION_H
#ifndef PHASAR_DATAFLOW_IFDSIDE_EDGEFUNCTION_H
#define PHASAR_DATAFLOW_IFDSIDE_EDGEFUNCTION_H

#include "phasar/DataFlow/IfdsIde/EdgeFunctionSingletonCache.h"
#include "phasar/Utils/ByRef.h"
Expand Down Expand Up @@ -300,7 +300,7 @@ class [[clang::trivial_abi]] EdgeFunction final : EdgeFunctionBase {
new (&Ret) ConcreteEF(std::move(EF.EF));
return Ret;
} else {
if (auto Mem = EF.Cache->lookup(EF.EF)) {
if (const auto *Mem = EF.Cache->lookup(EF.EF)) {
return static_cast<const RefCounted<ConcreteEF> *>(Mem);
}

Expand Down Expand Up @@ -804,4 +804,4 @@ struct CastInfo<To, const psr::EdgeFunction<L>>
#endif
} // namespace llvm

#endif // PHASAR_PHASARLLVM_DATAFLOWSOLVER_IFDSIDE_EDGEFUNCTION_H
#endif // PHASAR_DATAFLOW_IFDSIDE_EDGEFUNCTION_H
6 changes: 3 additions & 3 deletions include/phasar/DataFlow/IfdsIde/EdgeFunctionSingletonCache.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Philipp Schubert and others
*****************************************************************************/

#ifndef PHASAR_PHASARLLVM_DATAFLOWSOLVER_IFDSIDE_EDGEFUNCTIONSINGLETONCACHE_H
#define PHASAR_PHASARLLVM_DATAFLOWSOLVER_IFDSIDE_EDGEFUNCTIONSINGLETONCACHE_H
#ifndef PHASAR_DATAFLOW_IFDSIDE_EDGEFUNCTIONSINGLETONCACHE_H
#define PHASAR_DATAFLOW_IFDSIDE_EDGEFUNCTIONSINGLETONCACHE_H

#include "phasar/Utils/ByRef.h"

Expand Down Expand Up @@ -72,4 +72,4 @@ CachedEdgeFunction(EdgeFunctionTy, EdgeFunctionSingletonCache<EdgeFunctionTy> *)

} // namespace psr

#endif // PHASAR_PHASARLLVM_DATAFLOWSOLVER_IFDSIDE_EDGEFUNCTIONSINGLETONCACHE_H
#endif // PHASAR_DATAFLOW_IFDSIDE_EDGEFUNCTIONSINGLETONCACHE_H
6 changes: 3 additions & 3 deletions include/phasar/DataFlow/IfdsIde/EdgeFunctionUtils.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Philipp Schubert, Fabian Schiebel and others
*****************************************************************************/

#ifndef PHASAR_DATAFLOW_IFDSIDE_EDGEFUNCTIONUTILS_H_
#define PHASAR_DATAFLOW_IFDSIDE_EDGEFUNCTIONUTILS_H_
#ifndef PHASAR_DATAFLOW_IFDSIDE_EDGEFUNCTIONUTILS_H
#define PHASAR_DATAFLOW_IFDSIDE_EDGEFUNCTIONUTILS_H

#include "phasar/DataFlow/IfdsIde/EdgeFunction.h"
#include "phasar/Utils/ByRef.h"
Expand Down Expand Up @@ -473,4 +473,4 @@ JoinEdgeFunction<L, N>::join(EdgeFunctionRef<JoinEdgeFunction> This,

} // namespace psr

#endif // PHASAR_PHASARLLVM_DATAFLOWSOLVER_IFDSIDE_EDGEFUNCTIONUTILS_H
#endif // PHASAR_DATAFLOW_IFDSIDE_EDGEFUNCTIONUTILS_H
4 changes: 2 additions & 2 deletions include/phasar/DataFlow/IfdsIde/EdgeFunctions.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,8 +14,8 @@
* Author: pdschbrt
*/

#ifndef PHASAR_PHASARLLVM_DATAFLOWSOLVER_IFDSIDE_EDGEFUNCTIONS_H_
#define PHASAR_PHASARLLVM_DATAFLOWSOLVER_IFDSIDE_EDGEFUNCTIONS_H_
#ifndef PHASAR_DATAFLOW_IFDSIDE_EDGEFUNCTIONS_H
#define PHASAR_DATAFLOW_IFDSIDE_EDGEFUNCTIONS_H

#include "phasar/DataFlow/IfdsIde/EdgeFunction.h"
#include "phasar/Utils/ByRef.h"
Expand Down
4 changes: 2 additions & 2 deletions include/phasar/DataFlow/IfdsIde/FlowFunctions.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,8 +14,8 @@
* Author: pdschbrt
*/

#ifndef PHASAR_PHASARLLVM_DATAFLOWSOLVER_IFDSIDE_FLOWFUNCTIONS_H_
#define PHASAR_PHASARLLVM_DATAFLOWSOLVER_IFDSIDE_FLOWFUNCTIONS_H_
#ifndef PHASAR_DATAFLOW_IFDSIDE_FLOWFUNCTIONS_H
#define PHASAR_DATAFLOW_IFDSIDE_FLOWFUNCTIONS_H

#include "phasar/Utils/TypeTraits.h"

Expand Down
2 changes: 1 addition & 1 deletion include/phasar/DataFlow/IfdsIde/IDETabulationProblem.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -66,7 +66,7 @@ class IDETabulationProblem : public FlowFunctions<AnalysisDomainTy, Container>,
assert(IRDB != nullptr);
}

virtual ~IDETabulationProblem() = default;
~IDETabulationProblem() override = default;

/// Returns an edge function that represents the top element of the analysis.
virtual EdgeFunction<l_t> allTopFunction() = 0;
Expand Down
4 changes: 2 additions & 2 deletions include/phasar/DataFlow/IfdsIde/IFDSIDESolverConfig.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,8 +14,8 @@
* Author: pdschbrt
*/

#ifndef PHASAR_PHASARLLVM_DATAFLOWSOLVER_IFDSIDE_IFDSIDESOLVERCONFIG_H_
#define PHASAR_PHASARLLVM_DATAFLOWSOLVER_IFDSIDE_IFDSIDESOLVERCONFIG_H_
#ifndef PHASAR_DATAFLOW_IFDSIDE_IFDSIDESOLVERCONFIG_H
#define PHASAR_DATAFLOW_IFDSIDE_IFDSIDESOLVERCONFIG_H

#include "phasar/Utils/EnumFlags.h"

Expand Down
4 changes: 2 additions & 2 deletions include/phasar/DataFlow/IfdsIde/IFDSTabulationProblem.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Philipp Schubert, Fabian Schiebel and others
*****************************************************************************/

#ifndef PHASAR_PHASARLLVM_DATAFLOWSOLVER_IFDSIDE_IFDSTABULATIONPROBLEM_H
#define PHASAR_PHASARLLVM_DATAFLOWSOLVER_IFDSIDE_IFDSTABULATIONPROBLEM_H
#ifndef PHASAR_DATAFLOW_IFDSIDE_IFDSTABULATIONPROBLEM_H
#define PHASAR_DATAFLOW_IFDSIDE_IFDSTABULATIONPROBLEM_H

#include "phasar/DataFlow/IfdsIde/EdgeFunctionUtils.h"
#include "phasar/DataFlow/IfdsIde/IDETabulationProblem.h"
Expand Down
4 changes: 2 additions & 2 deletions include/phasar/DataFlow/IfdsIde/InitialSeeds.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Philipp Schubert and others
*****************************************************************************/

#ifndef PHASAR_PHASARLLVM_DATAFLOWSOLVER_IFDSIDE_INITIALSEEDS_H
#define PHASAR_PHASARLLVM_DATAFLOWSOLVER_IFDSIDE_INITIALSEEDS_H
#ifndef PHASAR_DATAFLOW_IFDSIDE_INITIALSEEDS_H
#define PHASAR_DATAFLOW_IFDSIDE_INITIALSEEDS_H

#include "phasar/Domain/BinaryDomain.h"
#include "phasar/Utils/TypeTraits.h"
Expand Down
4 changes: 2 additions & 2 deletions include/phasar/DataFlow/IfdsIde/Solver/FlowEdgeFunctionCache.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Philipp Schubert and others
*****************************************************************************/

#ifndef PHASAR_PHASARLLVM_DATAFLOWSOLVER_IFDSIDE_FLOWEDGEFUNCTIONCACHE_H_
#define PHASAR_PHASARLLVM_DATAFLOWSOLVER_IFDSIDE_FLOWEDGEFUNCTIONCACHE_H_
#ifndef PHASAR_DATAFLOW_IFDSIDE_SOLVER_FLOWEDGEFUNCTIONCACHE_H
#define PHASAR_DATAFLOW_IFDSIDE_SOLVER_FLOWEDGEFUNCTIONCACHE_H

#include "phasar/DataFlow/IfdsIde/EdgeFunctions.h"
#include "phasar/DataFlow/IfdsIde/IDETabulationProblem.h"
Expand Down
4 changes: 2 additions & 2 deletions include/phasar/DataFlow/IfdsIde/Solver/IDESolver.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,8 +14,8 @@
* Author: pdschbrt
*/

#ifndef PHASAR_PHASARLLVM_DATAFLOWSOLVER_IFDSIDE_SOLVER_IDESOLVER_H
#define PHASAR_PHASARLLVM_DATAFLOWSOLVER_IFDSIDE_SOLVER_IDESOLVER_H
#ifndef PHASAR_DATAFLOW_IFDSIDE_SOLVER_IDESOLVER_H
#define PHASAR_DATAFLOW_IFDSIDE_SOLVER_IDESOLVER_H

#include "phasar/Config/Configuration.h"
#include "phasar/DB/ProjectIRDBBase.h"
Expand Down
6 changes: 3 additions & 3 deletions include/phasar/DataFlow/IfdsIde/Solver/IFDSSolver.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,8 +14,8 @@
* Author: pdschbrt
*/

#ifndef PHASAR_PHASARLLVM_DATAFLOWSOLVER_IFDSIDE_SOLVER_IFDSSOLVER_H
#define PHASAR_PHASARLLVM_DATAFLOWSOLVER_IFDSIDE_SOLVER_IFDSSOLVER_H
#ifndef PHASAR_DATAFLOW_IFDSIDE_SOLVER_IFDSSOLVER_H
#define PHASAR_DATAFLOW_IFDSIDE_SOLVER_IFDSSOLVER_H

#include "phasar/DataFlow/IfdsIde/IFDSTabulationProblem.h"
#include "phasar/DataFlow/IfdsIde/Solver/IDESolver.h"
Expand Down Expand Up @@ -45,7 +45,7 @@ class IFDSSolver
const i_t *ICF)
: IDESolver<WithBinaryValueDomain<AnalysisDomainTy>>(IFDSProblem, ICF) {}

virtual ~IFDSSolver() = default;
~IFDSSolver() override = default;

/// Returns the data-flow results at the given statement.
[[nodiscard]] virtual std::set<d_t> ifdsResultsAt(n_t Inst) {
Expand Down
4 changes: 2 additions & 2 deletions include/phasar/DataFlow/IfdsIde/Solver/JumpFunctions.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,8 +14,8 @@
* Author: pdschbrt
*/

#ifndef PHASAR_PHASARLLVM_DATAFLOWSOLVER_IFDSIDE_SOLVER_JUMPFUNCTIONS_H
#define PHASAR_PHASARLLVM_DATAFLOWSOLVER_IFDSIDE_SOLVER_JUMPFUNCTIONS_H
#ifndef PHASAR_DATAFLOW_IFDSIDE_SOLVER_JUMPFUNCTIONS_H
#define PHASAR_DATAFLOW_IFDSIDE_SOLVER_JUMPFUNCTIONS_H

#include "phasar/DataFlow/IfdsIde/EdgeFunction.h"
#include "phasar/Utils/Logger.h"
Expand Down
4 changes: 2 additions & 2 deletions include/phasar/DataFlow/IfdsIde/Solver/PathEdge.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Philipp Schubert and others
*****************************************************************************/

#ifndef PHASAR_PHASARLLVM_DATAFLOWSOLVER_IFDSIDE_SOLVER_PATHEDGE_H
#define PHASAR_PHASARLLVM_DATAFLOWSOLVER_IFDSIDE_SOLVER_PATHEDGE_H
#ifndef PHASAR_DATAFLOW_IFDSIDE_SOLVER_PATHEDGE_H
#define PHASAR_DATAFLOW_IFDSIDE_SOLVER_PATHEDGE_H

#include "phasar/Utils/ByRef.h"

Expand Down
4 changes: 2 additions & 2 deletions include/phasar/DataFlow/IfdsIde/SolverResults.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,8 +14,8 @@
* Author: rleer
*/

#ifndef PHASAR_PHASARLLVM_DATAFLOWSOLVER_IFDSIDE_SOLVER_SOLVERRESULTS_H
#define PHASAR_PHASARLLVM_DATAFLOWSOLVER_IFDSIDE_SOLVER_SOLVERRESULTS_H
#ifndef PHASAR_DATAFLOW_IFDSIDE_SOLVERRESULTS_H
#define PHASAR_DATAFLOW_IFDSIDE_SOLVERRESULTS_H

#include "phasar/Domain/BinaryDomain.h"
#include "phasar/Utils/ByRef.h"
Expand Down
Loading