diff options
Diffstat (limited to 'gl/lib')
| -rw-r--r-- | gl/lib/randint.c | 2 | ||||
| -rw-r--r-- | gl/lib/randread.c | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/gl/lib/randint.c b/gl/lib/randint.c index cb39221b4..f3de3fc9a 100644 --- a/gl/lib/randint.c +++ b/gl/lib/randint.c @@ -125,7 +125,7 @@ randint_genmax (struct randint_source *s, randint genmax) randint randmax = s->randmax; randint choices = genmax + 1; - for (;;) + while (1) { if (randmax < genmax) { diff --git a/gl/lib/randread.c b/gl/lib/randread.c index 65e9d6369..94b9928b2 100644 --- a/gl/lib/randread.c +++ b/gl/lib/randread.c @@ -199,7 +199,7 @@ randread_set_handler_arg (struct randread_source *s, void const *handler_arg) static void readsource (struct randread_source *s, unsigned char *p, size_t size) { - for (;;) + while (true) { size_t inbytes = fread (p, sizeof *p, size, s->source); int fread_errno = errno; @@ -221,7 +221,7 @@ readisaac (struct isaac *isaac, unsigned char *p, size_t size) { size_t inbytes = isaac->buffered; - for (;;) + while (true) { if (size <= inbytes) { |