From bdfcebaf123fa6fd6322200a65a20c87ca5c2eba Mon Sep 17 00:00:00 2001 From: Theodoros Kasampalis Date: Tue, 10 Dec 2024 15:18:04 -0600 Subject: [PATCH] clang tidy fix --- lib/codegen/CreateTerm.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/lib/codegen/CreateTerm.cpp b/lib/codegen/CreateTerm.cpp index eb257d990..482c1b6e9 100644 --- a/lib/codegen/CreateTerm.cpp +++ b/lib/codegen/CreateTerm.cpp @@ -1174,6 +1174,7 @@ bool can_tail_call(llvm::Type *type) { return int_type->getBitWidth() <= 192; } +// NOLINTNEXTLINE(*-cognitive-complexity) bool make_function( std::string const &name, kore_pattern *pattern, kore_definition *definition, llvm::Module *module, bool tailcc, bool big_step, bool apply,