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

addressed performance and correctness issues flagged by Coverity

Browse source
This commit is contained in:
Vern Paxson 2023-08-15 16:07:49 -07:00
parent 9357a5879b
commit 3925ff4592
9 changed files with 32 additions and 29 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/parse.y
View file

@ -1935,7 +1935,7 @@ stmt:
| when_clause
{
std::shared_ptr<WhenInfo> wi($1);
$$ = new WhenStmt(wi);
$$ = new WhenStmt(std::move(wi));
script_coverage_mgr.AddStmt($$);
}