clang-tidy: Fix IDE TSA#459
Conversation
There was a problem hiding this comment.
Remaining comments which cannot be posted as a review comment to avoid GitHub Rate Limit
clang-format
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.cpp|274|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.cpp|279|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.cpp|288|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.cpp|292|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.cpp|295|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.cpp|304|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.cpp|308|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.cpp|311|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.cpp|320|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.cpp|324|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.cpp|338|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.cpp|342|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.cpp|351|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.cpp|355|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.cpp|364|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.cpp|368|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.cpp|377|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.cpp|381|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.cpp|386|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.cpp|389|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.cpp|393|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.cpp|403|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.cpp|410|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.cpp|423|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.cpp|436|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.cpp|483|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.cpp|489|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.cpp|501|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.cpp|529|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.cpp|533|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.cpp|554|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.cpp|558|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.cpp|566|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.cpp|570|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.cpp|615|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/EdgeValue.cpp|619|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/GenConstant.cpp|50|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/GenConstant.cpp|63|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/GenConstant.cpp|74|
lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEGeneralizedLCA/GenConstant.cpp|85|
unittests/PhasarLLVM/ControlFlow/LLVMBasedICFGGlobCtorDtorTest.cpp|458|
unittests/PhasarLLVM/DataFlowSolver/IfdsIde/EdgeFunctionSingletonFactoryTest.cpp|22|
6c90deb to
038bddb
Compare
| std::shared_ptr<EdgeFunction<l_t>> G, l_t bot) | ||
| : EdgeFunctionComposer<l_t>(F, G), botElement(bot){}; | ||
| std::shared_ptr<EdgeFunction<l_t>> G, l_t Bot) | ||
| : EdgeFunctionComposer<l_t>(F, G), BotElement(Bot){}; |
There was a problem hiding this comment.
| : EdgeFunctionComposer<l_t>(F, G), BotElement(Bot){}; | |
| : EdgeFunctionComposer<l_t>(F, G), BotElement(Bot){}; | |
| TSEdgeFunctionComposer(std::shared_ptr<EdgeFunction<l_t>> F, | ||
| std::shared_ptr<EdgeFunction<l_t>> G, l_t bot) | ||
| : EdgeFunctionComposer<l_t>(F, G), botElement(bot){}; | ||
| std::shared_ptr<EdgeFunction<l_t>> G, l_t Bot) |
There was a problem hiding this comment.
We probably should move F and G into the EdgeFunctionComposer
There was a problem hiding this comment.
True. But this would also require more refactoring due to the types of the member variables in EdgeFunctionComposer.
| @@ -142,11 +141,11 @@ OpenSSLEVPKDFDescription::OpenSSLEVTKDFToken | |||
| OpenSSLEVPKDFDescription::funcNameToToken(const std::string &F) { | |||
…StateDescriptions/OpenSSLEVPKDFCTXDescription.h Co-authored-by: Florian Sattler <vuld3r@gmail.com>
…nto f-ClangTidyFixIDETSA
| [[nodiscard]] bool isFactoryFunction(const std::string &FuncName) const override; | ||
| [[nodiscard]] bool isConsumingFunction(const std::string &FuncName) const override; |
There was a problem hiding this comment.
[clang-format] reported by reviewdog 🐶
| [[nodiscard]] bool isFactoryFunction(const std::string &FuncName) const override; | |
| [[nodiscard]] bool isConsumingFunction(const std::string &FuncName) const override; | |
| [[nodiscard]] bool | |
| isFactoryFunction(const std::string &FuncName) const override; | |
| [[nodiscard]] bool | |
| isConsumingFunction(const std::string &FuncName) const override; |
please merge after #458