diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-11-13 13:58:27 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-11-13 14:27:16 +0100 |
| commit | e1140d252a56611cacd9475e76581812ec7010c9 (patch) | |
| tree | 8623339e33c51eaeeacd26611dc1cefc67481285 /executor/common_linux.h | |
| parent | 857a060fe3a415c1909ad8a342d9ca21019ab2fc (diff) | |
prog: add safety check in randGen.flags
This loop used to hang infinitely occasionally when all values are 0s.
The previous commit makes compiler not generate such flags,
but also add a check here to be on the safer side
(we don't have a local check for values and the failure mode was very obscure).
Diffstat (limited to 'executor/common_linux.h')
0 files changed, 0 insertions, 0 deletions