diff options
Diffstat (limited to 'Tools')
-rwxr-xr-x | Tools/clinic/clinic.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Tools/clinic/clinic.py b/Tools/clinic/clinic.py index 421b9e3..cd7c597 100755 --- a/Tools/clinic/clinic.py +++ b/Tools/clinic/clinic.py @@ -591,6 +591,12 @@ static {impl_return_type} count_min = min(count_min, count) count_max = max(count_max, count) + if count == 0: + add(""" case 0: + break; +""") + continue + group_ids = {p.group for p in subset} # eliminate duplicates d = {} d['count'] = count |