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

inlining fix: propagate identifier attributes (such as &is_set)

Browse source
This commit is contained in:
Vern Paxson 2021-02-03 16:46:07 -08:00
parent cb9a959978
commit 6f20c0da3f
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/script_opt/Reduce.cc
View file

@ -176,6 +176,7 @@ IDPtr Reducer::GenLocal(ID* orig)
IDPtr local_id = install_ID(buf, "<internal>", false, false);
local_id->SetType(orig->GetType());
local_id->SetAttrs(orig->GetAttrs());
new_locals.insert(local_id.get());
orig_to_new_locals[orig] = local_id;