Hi again,
with musl-gcc the following test program produces a bogus warning
concerning uintmax_t on my machine (ubuntu amd64)

Jens

#include <stdio.h>
#include <stdint.h>

void toto(void) {
  uintmax_t val = 42;
  printf("%jX\n", val);
}

-- 
:: INRIA Nancy Grand Est :: http://www.loria.fr/~gustedt/   ::
:: AlGorille ::::::::::::::: office Nancy : +33 383593090   ::
:: ICube :::::::::::::: office Strasbourg : +33 368854536   ::
:: ::::::::::::::::::::::::::: gsm France : +33 651400183   ::
:: :::::::::::::::::::: gsm international : +49 15737185122 ::