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

low-level tidying / documentation tweaks

Browse source
This commit is contained in:
Vern Paxson 2021-04-19 14:52:51 -07:00
parent 6454f59369
commit 66fb3e0f56
3 changed files with 6 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/script_opt/ProfileFunc.h
View file

@ -396,8 +396,9 @@ protected:
// Maps script functions to associated profiles. This isn't
// actually well-defined in the case of event handlers and hooks,
// which can have multiple bodies. However, this is only used
// in the context of analyzing a single-bodied function.
// which can have multiple bodies. However, the need for this
// is temporary (it's for skipping compilation of functions that
// appear in "when" clauses), and in that context it suffices.
std::unordered_map<const ScriptFunc*, std::shared_ptr<ProfileFunc>> func_profs;
// Maps expressions to their profiles. This is only germane