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

minor updates and fixes for script optimization maintenance

Browse source
This commit is contained in:
Vern Paxson 2024-02-04 07:57:45 -08:00
parent 072fe660bc
commit 9e32443504
12 changed files with 66 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/script_opt/ZAM/ZInst.h
View file

@ -313,7 +313,7 @@ public:
void SetInt(int _i) { i = _i; }
void SetInt(int _i, TypePtr _t) {
i = _i;
SetType(_t);
SetType(std::move(_t));
}
void SetSlot(int slot) { i = slot; }
void SetConstant(ValPtr _c) {