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

use container empty() rather than size() where appropriate

Browse source
This commit is contained in:
Vern Paxson 2021-08-19 09:02:59 -07:00
parent 9b2eb2c373
commit ffd1905f90
13 changed files with 37 additions and 37 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/script_opt/UseDefs.cc
View file

@ -94,7 +94,7 @@ bool UseDefs::RemoveUnused(int iter)
! CheckIfUnused(s, id.get(), false) )
used_ids.emplace_back(id);
if ( used_ids.size() == 0 )
if ( used_ids.empty() )
{ // There aren't any ID's to keep.
rc->AddStmtToOmit(s);
continue;