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

minor script optimization updates to reflect recent changes, Coverity findings

Browse source
This commit is contained in:
Vern Paxson 2024-07-06 16:44:27 -07:00
parent 66cdb490ff
commit a53e28be87
12 changed files with 24 additions and 15 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/script_opt/FuncInfo.cc
View file

@ -142,7 +142,6 @@ static std::unordered_map<std::string, unsigned int> func_attrs = {
{"Spicy::__toggle_analyzer", ATTR_NO_SCRIPT_SIDE_EFFECTS},
{"Supervisor::__create", ATTR_NO_SCRIPT_SIDE_EFFECTS},
{"Supervisor::__destroy", ATTR_NO_SCRIPT_SIDE_EFFECTS},
{"Supervisor::__init_cluster", ATTR_NO_SCRIPT_SIDE_EFFECTS},
{"Supervisor::__is_supervised", ATTR_IDEMPOTENT},
{"Supervisor::__is_supervisor", ATTR_IDEMPOTENT},
{"Supervisor::__node", ATTR_IDEMPOTENT},