random-util: we are fine if ints are 16 bytes actually

Not that it matters IRL, but let's make this less surprising to read...

diff --git a/src/basic/random-util.c b/src/basic/random-util.c
index a8bcee184352b0d16826fdbdf458292211264cd8..810eeab4d551b395fe1833aa804ad23121737762 100644 (file)
--- a/src/basic/random-util.c
+++ b/src/basic/random-util.c
@@ -114,7 +114,7 @@ void initialize_srand(void) {
 
         auxv = (void*) getauxval(AT_RANDOM);
         if (auxv) {
-                assert_cc(sizeof(x) < 16);
+                assert_cc(sizeof(x) <= 16);
                 memcpy(&x, auxv, sizeof(x));
         } else
 #endif