mirror of
https://github.com/zeek/zeek.git
synced 2025-10-06 00:28:21 +00:00
ZAM fixes for record creation and table indexing potentially having side-effects
This commit is contained in:
parent
3addda28d3
commit
8f92e0d39b
4 changed files with 66 additions and 10 deletions
|
@ -744,6 +744,11 @@ public:
|
|||
// initialization can not be deferred, otherwise possible.
|
||||
bool IsDeferrable() const;
|
||||
|
||||
// Whether values of this record type are equivalent upon initial
|
||||
// creation, or might differ (e.g. due to function calls or changes
|
||||
// to global state) - used for script optimization.
|
||||
bool IdempotentCreation() const { return creation_inits.empty(); }
|
||||
|
||||
static void InitPostScript();
|
||||
|
||||
private:
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue