Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-02 14:48:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

ScriptOpt: Fail compilation if known exprs/stmts is outdated

Browse source
This commit is contained in:
Arne Welzel 2024-12-09 11:02:24 +01:00
parent 35e157a0ab
commit 28f76d5da9
1 changed files with 13 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

13
src/script_opt/ScriptOpt.cc
View file

@ -664,6 +664,7 @@ bool has_AST_node_unknown_to_script_opt(const ProfileFunc* prof, bool /* is_ZAM
// optimization // optimization
// clang-format off // clang-format off
static const std::set<StmtTag> known_stmts = { static const std::set<StmtTag> known_stmts = {
// STMT_ALARM
STMT_PRINT, STMT_PRINT,
STMT_EVENT, STMT_EVENT,
STMT_EXPR, STMT_EXPR,
@ -687,9 +688,15 @@ bool has_AST_node_unknown_to_script_opt(const ProfileFunc* prof, bool /* is_ZAM
STMT_ASSERT, STMT_ASSERT,
// STMT_EXTERN, // STMT_EXTERN,
// STMT_STD_FUNCTION, // STMT_STD_FUNCTION,
#define SCRIPT_OPT_NUM_STMTS 24
}; };
// clang-format on // clang-format on
// Fail compilation if NUM_STMT in StmtEnums.h changes.
// Update known_stmts list above appropriately after adding
// support and increase SCRIPT_OPT_NUM_STMTS.
static_assert(NUM_STMTS == SCRIPT_OPT_NUM_STMTS);
for ( auto& s : prof->Stmts() ) for ( auto& s : prof->Stmts() )
if ( known_stmts.count(s->Tag()) == 0 ) if ( known_stmts.count(s->Tag()) == 0 )
return true; return true;
@ -766,9 +773,15 @@ bool has_AST_node_unknown_to_script_opt(const ProfileFunc* prof, bool /* is_ZAM
// EXPR_ANY_INDEX, // EXPR_ANY_INDEX,
// EXPR_SCRIPT_OPT_BUILTIN, // EXPR_SCRIPT_OPT_BUILTIN,
// EXPR_NOP, // EXPR_NOP,
#define SCRIPT_OPT_NUM_EXPRS 70
}; };
// clang-format on // clang-format on
// Fail compilation if NUM_EXPRS in Expr.h changes.
// Update known_exprs list above appropriately after
// adding support and increase SCRIPT_OPT_NUM_STMTS.
static_assert(NUM_EXPRS == SCRIPT_OPT_NUM_EXPRS);
for ( auto& e : prof->Exprs() ) for ( auto& e : prof->Exprs() )
if ( known_exprs.count(e->Tag()) == 0 ) if ( known_exprs.count(e->Tag()) == 0 )
return true; return true;