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

allow explicitly marking an identifier as equivalent to special '_' identifier

Browse source
This commit is contained in:
Vern Paxson 2023-11-05 13:23:39 -08:00 • committed by Arne Welzel
parent c49918ba8b
commit 9bfe18473d
2 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/script_opt/Reduce.cc
View file

@ -741,6 +741,9 @@ IDPtr Reducer::GenLocal(const IDPtr& orig) {
local_id->SetType(orig->GetType());
local_id->SetAttrs(orig->GetAttrs());
if ( orig->IsBlank() )
local_id->SetBlank();
if ( orig->GetOptInfo()->IsTemp() )
local_id->GetOptInfo()->SetTemp();