Skip to content

Commit 388135d

Browse files
committed
fix formatting
1 parent 45dde51 commit 388135d

1 file changed

Lines changed: 4 additions & 2 deletions

File tree

include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/TypeStateDescriptions/OpenSSLEVPKDFCTXDescription.h

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -80,8 +80,10 @@ class OpenSSLEVPKDFCTXDescription : public TypeStateDescription {
8080
IDESolver<IDETypeStateAnalysisDomain> &KDFAnalysisResults)
8181
: KDFAnalysisResults(KDFAnalysisResults) {}
8282

83-
[[nodiscard]] bool isFactoryFunction(const std::string &FuncName) const override;
84-
[[nodiscard]] bool isConsumingFunction(const std::string &FuncName) const override;
83+
[[nodiscard]] bool
84+
isFactoryFunction(const std::string &FuncName) const override;
85+
[[nodiscard]] bool
86+
isConsumingFunction(const std::string &FuncName) const override;
8587
[[nodiscard]] bool isAPIFunction(const std::string &FuncName) const override;
8688
[[nodiscard]] TypeStateDescription::State
8789
getNextState(std::string Tok, TypeStateDescription::State S) const override;

0 commit comments

Comments
 (0)