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

&is_set => &is_assigned

Browse source
This commit is contained in:
Vern Paxson 2021-02-04 12:18:46 -08:00
parent d71675a7dc
commit c991c54690
16 changed files with 22 additions and 22 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/script_opt/GenRDs.cc
View file

@ -733,7 +733,7 @@ void RD_Decorate::CheckVar(const Expr* e, const ID* id, bool check_fields)
return;
if ( analysis_options.usage_issues > 0 &&
! mgr.HasPreMinRD(e, id) && ! id->GetAttr(ATTR_IS_SET) )
! mgr.HasPreMinRD(e, id) && ! id->GetAttr(ATTR_IS_ASSIGNED) )
e->Warn("possibly used without definition");
if ( check_fields && id->GetType()->Tag() == TYPE_RECORD )
@ -921,7 +921,7 @@ TraversalCode RD_Decorate::PreExpr(const Expr* e)
{
auto r_def = mgr.GetExprDI(r);
if ( r_def && ! r_def->RootID()->GetAttr(ATTR_IS_SET) )
if ( r_def && ! r_def->RootID()->GetAttr(ATTR_IS_ASSIGNED) )
{
auto fn = f->FieldName();
auto field_rd = mgr.GetConstID_DI(r_def.get(), fn);
@ -1243,7 +1243,7 @@ void RD_Decorate::CheckRecordRDs(std::shared_ptr<DefinitionItem> di,
CreateRecordRDs(di, dp, false, nullptr);
auto root_id = di->RootID();
if ( root_id->GetAttr(ATTR_IS_SET) )
if ( root_id->GetAttr(ATTR_IS_ASSIGNED) )
// No point checking for unset fields.
return;
@ -1254,7 +1254,7 @@ void RD_Decorate::CheckRecordRDs(std::shared_ptr<DefinitionItem> di,
{
if ( rt->FieldHasAttr(i, ATTR_DEFAULT) ||
rt->FieldHasAttr(i, ATTR_OPTIONAL) ||
rt->FieldHasAttr(i, ATTR_IS_SET) )
rt->FieldHasAttr(i, ATTR_IS_ASSIGNED) )
continue;
auto n_i = rt->FieldName(i);