diff options
Diffstat (limited to 'src/tools/translate-to-fuzz.h')
-rw-r--r-- | src/tools/translate-to-fuzz.h | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/src/tools/translate-to-fuzz.h b/src/tools/translate-to-fuzz.h index 0d2eb47f3..95f2ee79e 100644 --- a/src/tools/translate-to-fuzz.h +++ b/src/tools/translate-to-fuzz.h @@ -639,9 +639,17 @@ private: } } switch (conditions) { - case 0: if (!oneIn(4)) continue; - case 1: if (!oneIn(2)) continue; - default: if (oneIn(conditions + 1)) continue; + case 0: { + if (!oneIn(4)) continue; + break; + } + case 1: { + if (!oneIn(2)) continue; + break; + } + default: { + if (oneIn(conditions + 1)) continue; + } } return builder.makeBreak(name); } |