[ 0:01] /home/xrockai/src/divine/nightly/test/lib/pdclib-test: line 1: lib/flavour: No such file or directory [ 0:01] + EXTRA_FILES= [ 0:01] + FLAGS= [ 0:01] + . /home/xrockai/src/divine/nightly/test/pdclib/stdio-fprintf.pdc [ 0:01] ++ TESTCASE=stdio/fprintf.c [ 0:01] + test -n stdio/fprintf.c [ 0:01] + FILE=/home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c [ 0:01] + test -f /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c [ 0:01] + grep -w NO_TESTDRIVER /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c [ 0:01] + divine cc -D_PDCLIB_BUILD -DTEST -I/home/xrockai/src/divine/nightly/dios/libc/testing /home/xrockai/src/divine/nightly/test/pdclib/testenv.helper.c /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c -o unittest.bc [ 0:01] compiling /home/xrockai/src/divine/nightly/test/pdclib/testenv.helper.c [ 0:01] compiling /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c [ 0:01] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:4:39: warning: format specifies type 'char' but the argument has type 'int' [ 0:01] PRINTF_TEST( 4, "-128", "%hhd", CHAR_MIN ); [ 0:01] ~~~~ ^~~~~~~~ [ 0:01] %d [ 0:01] /dios/include/limits.h:26:20: note: expanded from macro 'CHAR_MIN' [ 0:01] #define CHAR_MIN _PDCLIB_CHAR_MIN [ 0:01] ^~~~~~~~~~~~~~~~ [ 0:01] /dios/include/_PDCLIB/int.h:37:29: note: expanded from macro '_PDCLIB_CHAR_MIN' [ 0:01] #define _PDCLIB_CHAR_MIN _PDCLIB_SCHAR_MIN [ 0:01] ^~~~~~~~~~~~~~~~~ [ 0:01] /dios/include/_PDCLIB/int.h:34:29: note: expanded from macro '_PDCLIB_SCHAR_MIN' [ 0:01] #define _PDCLIB_SCHAR_MIN (-0x7f - 1) [ 0:01] ^~~~~~~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:01] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:01] ^~~~~~~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:01] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:01] ^~~~~~~~~~~ [ 0:01] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:6:39: warning: format specifies type 'char' but the argument has type 'int' [ 0:01] PRINTF_TEST( 3, "127", "%hhd", CHAR_MAX ); [ 0:01] ~~~~ ^~~~~~~~ [ 0:01] %d [ 0:01] /dios/include/limits.h:25:20: note: expanded from macro 'CHAR_MAX' [ 0:01] #define CHAR_MAX _PDCLIB_CHAR_MAX [ 0:01] ^~~~~~~~~~~~~~~~ [ 0:01] /dios/include/_PDCLIB/int.h:38:29: note: expanded from macro '_PDCLIB_CHAR_MAX' [ 0:01] #define _PDCLIB_CHAR_MAX _PDCLIB_SCHAR_MAX [ 0:01] ^~~~~~~~~~~~~~~~~ [ 0:01] /dios/include/_PDCLIB/int.h:35:29: note: expanded from macro '_PDCLIB_SCHAR_MAX' [ 0:01] #define _PDCLIB_SCHAR_MAX 0x7f [ 0:01] ^~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:01] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:01] ^~~~~~~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:01] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:01] ^~~~~~~~~~~ [ 0:01] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:13:39: warning: format specifies type 'char' but the argument has type 'int' [ 0:01] PRINTF_TEST( 1, "0", "%hhd", 0 ); [ 0:01] ~~~~ ^ [ 0:01] %d [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:01] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:01] ^~~~~~~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:01] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:01] ^~~~~~~~~~~ [ 0:01] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:15:39: warning: format specifies type 'short' but the argument has type 'int' [ 0:01] PRINTF_TEST( 6, "-32768", "%hd", SHRT_MIN ); [ 0:01] ~~~ ^~~~~~~~ [ 0:01] %d [ 0:01] /dios/include/limits.h:31:20: note: expanded from macro 'SHRT_MIN' [ 0:01] #define SHRT_MIN _PDCLIB_SHRT_MIN [ 0:01] ^~~~~~~~~~~~~~~~ [ 0:01] /dios/include/_PDCLIB/int.h:47:31: note: expanded from macro '_PDCLIB_SHRT_MIN' [ 0:01] #define _PDCLIB_SHRT_MIN (-0x7fff - 1) [ 0:01] ^~~~~~~~~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:01] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:01] ^~~~~~~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:01] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:01] ^~~~~~~~~~~ [ 0:01] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:17:39: warning: format specifies type 'short' but the argument has type 'int' [ 0:01] PRINTF_TEST( 5, "32767", "%hd", SHRT_MAX ); [ 0:01] ~~~ ^~~~~~~~ [ 0:01] %d [ 0:01] /dios/include/limits.h:30:20: note: expanded from macro 'SHRT_MAX' [ 0:01] #define SHRT_MAX _PDCLIB_SHRT_MAX [ 0:01] ^~~~~~~~~~~~~~~~ [ 0:01] /dios/include/_PDCLIB/int.h:46:31: note: expanded from macro '_PDCLIB_SHRT_MAX' [ 0:01] #define _PDCLIB_SHRT_MAX 0x7fff [ 0:01] ^~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:01] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:01] ^~~~~~~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:01] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:01] ^~~~~~~~~~~ [ 0:01] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:18:39: warning: format specifies type 'short' but the argument has type 'int' [ 0:01] PRINTF_TEST( 1, "0", "%hd", 0 ); [ 0:01] ~~~ ^ [ 0:01] %d [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:01] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:01] ^~~~~~~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:01] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:01] ^~~~~~~~~~~ [ 0:01] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:28:36: warning: format specifies type 'unsigned char' but the argument has type 'int' [ 0:01] PRINTF_TEST( 3, "255", "%hhu", UCHAR_MAX ); [ 0:01] ~~~~ ^~~~~~~~~ [ 0:01] %d [ 0:01] /dios/include/limits.h:29:20: note: expanded from macro 'UCHAR_MAX' [ 0:01] #define UCHAR_MAX _PDCLIB_UCHAR_MAX [ 0:01] ^~~~~~~~~~~~~~~~~ [ 0:01] /dios/include/_PDCLIB/int.h:33:29: note: expanded from macro '_PDCLIB_UCHAR_MAX' [ 0:01] #define _PDCLIB_UCHAR_MAX 0xff [ 0:01] ^~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:01] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:01] ^~~~~~~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:01] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:01] ^~~~~~~~~~~ [ 0:01] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:30:37: warning: format specifies type 'unsigned short' but the argument has type 'int' [ 0:01] PRINTF_TEST( 5, "65535", "%hu", USHRT_MAX ); [ 0:01] ~~~ ^~~~~~~~~ [ 0:01] %d [ 0:01] /dios/include/limits.h:36:20: note: expanded from macro 'USHRT_MAX' [ 0:01] #define USHRT_MAX _PDCLIB_USHRT_MAX [ 0:01] ^~~~~~~~~~~~~~~~~ [ 0:01] /dios/include/_PDCLIB/int.h:48:31: note: expanded from macro '_PDCLIB_USHRT_MAX' [ 0:01] #define _PDCLIB_USHRT_MAX 0xffff [ 0:01] ^~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:01] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:01] ^~~~~~~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:01] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:01] ^~~~~~~~~~~ [ 0:01] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:51:48: warning: flag '+' results in undefined behavior with 'u' conversion specifier [ 0:01] PRINTF_TEST( UINT_DIG, UINT_MAX_DEZ_STR, "%+u", UINT_MAX ); [ 0:01] ~^~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:01] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:01] ^~~~~~~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:01] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:01] ^~~~~~~~~~~ [ 0:01] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:52:48: warning: flag '+' results in undefined behavior with 'u' conversion specifier [ 0:01] PRINTF_TEST( UINT_DIG, UINT_MAX_DEZ_STR, "%+u", -1u ); [ 0:01] ~^~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:01] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:01] ^~~~~~~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:01] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:01] ^~~~~~~~~~~ [ 0:01] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:56:48: warning: flag ' ' results in undefined behavior with 'u' conversion specifier [ 0:01] PRINTF_TEST( UINT_DIG, UINT_MAX_DEZ_STR, "% u", UINT_MAX ); [ 0:01] ~^~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:01] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:01] ^~~~~~~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:01] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:01] ^~~~~~~~~~~ [ 0:01] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:57:48: warning: flag ' ' results in undefined behavior with 'u' conversion specifier [ 0:01] PRINTF_TEST( UINT_DIG, UINT_MAX_DEZ_STR, "% u", -1u ); [ 0:01] ~^~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:01] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:01] ^~~~~~~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:01] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:01] ^~~~~~~~~~~ [ 0:01] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:82:55: warning: flag '0' is ignored when flag '-' is present [ 0:01] PRINTF_TEST( INT_DIG + 1, "-" INT_MIN_DEZ_STR, "%-0" INT_DIG_LESS1 "d", INT_MIN ); [ 0:01] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:01] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:01] ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:01] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:01] ^~~~~~~~~~~ [ 0:01] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:83:47: warning: flag '0' is ignored when flag '-' is present [ 0:01] PRINTF_TEST( INT_DIG, INT_MAX_DEZ_STR, "%-0" INT_DIG_LESS1 "d", INT_MAX ); [ 0:01] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:01] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:01] ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:01] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:01] ^~~~~~~~~~~ [ 0:01] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:84:55: warning: flag '0' is ignored when flag '-' is present [ 0:01] PRINTF_TEST( INT_DIG + 1, "-" INT_MIN_DEZ_STR, "%-0" sym2s(INT_DIG) "d", INT_MIN ); [ 0:01] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:01] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:01] ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:01] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:01] ^~~~~~~~~~~ [ 0:01] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:85:47: warning: flag '0' is ignored when flag '-' is present [ 0:01] PRINTF_TEST( INT_DIG, INT_MAX_DEZ_STR, "%-0" sym2s(INT_DIG) "d", INT_MAX ); [ 0:01] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:01] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:01] ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:01] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:01] ^~~~~~~~~~~ [ 0:01] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:86:55: warning: flag '0' is ignored when flag '-' is present [ 0:01] PRINTF_TEST( INT_DIG + 1, "-" INT_MIN_DEZ_STR, "%-0" INT_DIG_PLUS1 "d", INT_MIN ); [ 0:01] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:01] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:01] ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:01] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:01] ^~~~~~~~~~~ [ 0:01] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:87:55: warning: flag '0' is ignored when flag '-' is present [ 0:01] PRINTF_TEST( INT_DIG + 1, INT_MAX_DEZ_STR " ", "%-0" INT_DIG_PLUS1 "d", INT_MAX ); [ 0:01] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:01] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:01] ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:01] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:01] ^~~~~~~~~~~ [ 0:01] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:88:59: warning: flag '0' is ignored when flag '-' is present [ 0:01] PRINTF_TEST( INT_DIG + 2, "-" INT_MIN_DEZ_STR " ", "%-0" INT_DIG_PLUS2 "d", INT_MIN ); [ 0:01] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:01] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:01] ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:01] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:01] ^~~~~~~~~~~ [ 0:01] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:89:56: warning: flag '0' is ignored when flag '-' is present [ 0:01] PRINTF_TEST( INT_DIG + 2, INT_MAX_DEZ_STR " ", "%-0" INT_DIG_PLUS2 "d", INT_MAX ); [ 0:01] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:01] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:01] ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:01] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:01] ^~~~~~~~~~~ [ 0:01] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:101:46: warning: flag '#' results in undefined behavior with 'd' conversion specifier [ 0:01] PRINTF_TEST( INT_DIG, INT_MAX_DEZ_STR, "%#0.6d", INT_MAX ); [ 0:01] ~^~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:01] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:01] ^~~~~~~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:01] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:01] ^~~~~~~~~~~ [ 0:01] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:102:46: warning: flag '#' results in undefined behavior with 'd' conversion specifier [ 0:01] PRINTF_TEST( INT_DIG, INT_MAX_DEZ_STR, "%#06.3d", INT_MAX ); [ 0:01] ~^~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:01] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:01] ^~~~~~~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:01] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:01] ^~~~~~~~~~~ [ 0:01] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:103:46: warning: flag '#' results in undefined behavior with 'd' conversion specifier [ 0:01] PRINTF_TEST( INT_DIG, INT_MAX_DEZ_STR, "%#03.6d", INT_MAX ); [ 0:01] ~^~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:01] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:01] ^~~~~~~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:01] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:01] ^~~~~~~~~~~ [ 0:01] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:104:54: warning: flag '#' results in undefined behavior with 'd' conversion specifier [ 0:01] PRINTF_TEST( INT_DIG + 1, "+" INT_MAX_DEZ_STR, "%#+.6d", INT_MAX ); [ 0:01] ~^~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:01] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:01] ^~~~~~~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:01] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:01] ^~~~~~~~~~~ [ 0:01] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:105:54: warning: flag '#' results in undefined behavior with 'd' conversion specifier [ 0:01] PRINTF_TEST( INT_DIG + 1, "+" INT_MAX_DEZ_STR, "%#+6.3d", INT_MAX ); [ 0:01] ~^~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:01] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:01] ^~~~~~~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:01] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:01] ^~~~~~~~~~~ [ 0:01] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:106:54: warning: flag '#' results in undefined behavior with 'd' conversion specifier [ 0:01] PRINTF_TEST( INT_DIG + 1, "+" INT_MAX_DEZ_STR, "%#+3.6d", INT_MAX ); [ 0:01] ~^~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:01] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:01] ^~~~~~~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:01] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:01] ^~~~~~~~~~~ [ 0:01] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:193:39: warning: flag '+' results in undefined behavior with 's' conversion specifier [ 0:01] PRINTF_TEST(12, "Hallo heimur", "%+s", "Hallo heimur"); [ 0:01] ~^~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:01] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:01] ^~~~~~~~~~~ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:01] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:01] ^~~~~~~~~~~ [ 0:01] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:198:30: warning: flag '+' results in undefined behavior with 'u' conversion specifier [ 0:02] PRINTF_TEST(4, "1024", "%+u", 1024u); [ 0:02] ~^~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:02] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:02] ^~~~~~~~~~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:02] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:02] ^~~~~~~~~~~ [ 0:02] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:199:37: warning: flag '+' results in undefined behavior with 'u' conversion specifier [ 0:02] PRINTF_TEST(10, "4294966272", "%+u", -1024u); [ 0:02] ~^~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:02] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:02] ^~~~~~~~~~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:02] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:02] ^~~~~~~~~~~ [ 0:02] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:200:29: warning: flag '+' results in undefined behavior with 'o' conversion specifier [ 0:02] PRINTF_TEST(3, "777", "%+o", 0777u); [ 0:02] ~^~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:02] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:02] ^~~~~~~~~~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:02] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:02] ^~~~~~~~~~~ [ 0:02] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:201:38: warning: flag '+' results in undefined behavior with 'o' conversion specifier [ 0:02] PRINTF_TEST(11, "37777777001", "%+o", -0777u); [ 0:02] ~^~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:02] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:02] ^~~~~~~~~~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:02] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:02] ^~~~~~~~~~~ [ 0:02] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:202:34: warning: flag '+' results in undefined behavior with 'x' conversion specifier [ 0:02] PRINTF_TEST(8, "1234abcd", "%+x", 0x1234abcdu); [ 0:02] ~^~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:02] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:02] ^~~~~~~~~~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:02] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:02] ^~~~~~~~~~~ [ 0:02] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:203:34: warning: flag '+' results in undefined behavior with 'x' conversion specifier [ 0:02] PRINTF_TEST(8, "edcb5433", "%+x", -0x1234abcdu); [ 0:02] ~^~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:02] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:02] ^~~~~~~~~~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:02] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:02] ^~~~~~~~~~~ [ 0:02] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:204:34: warning: flag '+' results in undefined behavior with 'X' conversion specifier [ 0:02] PRINTF_TEST(8, "1234ABCD", "%+X", 0x1234abcdu); [ 0:02] ~^~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:02] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:02] ^~~~~~~~~~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:02] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:02] ^~~~~~~~~~~ [ 0:02] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:205:34: warning: flag '+' results in undefined behavior with 'X' conversion specifier [ 0:02] PRINTF_TEST(8, "EDCB5433", "%+X", -0x1234abcdu); [ 0:02] ~^~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:02] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:02] ^~~~~~~~~~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:02] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:02] ^~~~~~~~~~~ [ 0:02] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:206:27: warning: flag '+' results in undefined behavior with 'c' conversion specifier [ 0:02] PRINTF_TEST(1, "x", "%+c", 'x'); [ 0:02] ~^~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:02] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:02] ^~~~~~~~~~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:02] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:02] ^~~~~~~~~~~ [ 0:02] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:208:39: warning: flag ' ' results in undefined behavior with 's' conversion specifier [ 0:02] PRINTF_TEST(12, "Hallo heimur", "% s", "Hallo heimur"); [ 0:02] ~^~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:02] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:02] ^~~~~~~~~~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:02] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:02] ^~~~~~~~~~~ [ 0:02] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:213:30: warning: flag ' ' results in undefined behavior with 'u' conversion specifier [ 0:02] PRINTF_TEST(4, "1024", "% u", 1024u); [ 0:02] ~^~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:02] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:02] ^~~~~~~~~~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:02] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:02] ^~~~~~~~~~~ [ 0:02] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:214:37: warning: flag ' ' results in undefined behavior with 'u' conversion specifier [ 0:02] PRINTF_TEST(10, "4294966272", "% u", -1024u); [ 0:02] ~^~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:02] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:02] ^~~~~~~~~~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:02] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:02] ^~~~~~~~~~~ [ 0:02] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:215:29: warning: flag ' ' results in undefined behavior with 'o' conversion specifier [ 0:02] PRINTF_TEST(3, "777", "% o", 0777u); [ 0:02] ~^~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:02] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:02] ^~~~~~~~~~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:02] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:02] ^~~~~~~~~~~ [ 0:02] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:216:38: warning: flag ' ' results in undefined behavior with 'o' conversion specifier [ 0:02] PRINTF_TEST(11, "37777777001", "% o", -0777u); [ 0:02] ~^~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:02] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:02] ^~~~~~~~~~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:02] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:02] ^~~~~~~~~~~ [ 0:02] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:217:34: warning: flag ' ' results in undefined behavior with 'x' conversion specifier [ 0:02] PRINTF_TEST(8, "1234abcd", "% x", 0x1234abcdu); [ 0:02] ~^~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:02] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:02] ^~~~~~~~~~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:02] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:02] ^~~~~~~~~~~ [ 0:02] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:218:34: warning: flag ' ' results in undefined behavior with 'x' conversion specifier [ 0:02] PRINTF_TEST(8, "edcb5433", "% x", -0x1234abcdu); [ 0:02] ~^~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:02] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:02] ^~~~~~~~~~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:02] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:02] ^~~~~~~~~~~ [ 0:02] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:219:34: warning: flag ' ' results in undefined behavior with 'X' conversion specifier [ 0:02] PRINTF_TEST(8, "1234ABCD", "% X", 0x1234abcdu); [ 0:02] ~^~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:02] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:02] ^~~~~~~~~~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:02] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:02] ^~~~~~~~~~~ [ 0:02] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:220:34: warning: flag ' ' results in undefined behavior with 'X' conversion specifier [ 0:02] PRINTF_TEST(8, "EDCB5433", "% X", -0x1234abcdu); [ 0:02] ~^~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:02] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:02] ^~~~~~~~~~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:02] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:02] ^~~~~~~~~~~ [ 0:02] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:221:27: warning: flag ' ' results in undefined behavior with 'c' conversion specifier [ 0:02] PRINTF_TEST(1, "x", "% c", 'x'); [ 0:02] ~^~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:02] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:02] ^~~~~~~~~~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:02] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:02] ^~~~~~~~~~~ [ 0:02] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:223:39: warning: flag '+' results in undefined behavior with 's' conversion specifier [ 0:02] PRINTF_TEST(12, "Hallo heimur", "%+ s", "Hallo heimur"); [ 0:02] ~^~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:02] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:02] ^~~~~~~~~~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:02] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:02] ^~~~~~~~~~~ [ 0:02] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:223:40: warning: flag ' ' results in undefined behavior with 's' conversion specifier [ 0:02] PRINTF_TEST(12, "Hallo heimur", "%+ s", "Hallo heimur"); [ 0:02] ~~^~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:02] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:02] ^~~~~~~~~~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:02] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:02] ^~~~~~~~~~~ [ 0:02] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:223:40: warning: flag ' ' is ignored when flag '+' is present [ 0:02] PRINTF_TEST(12, "Hallo heimur", "%+ s", "Hallo heimur"); [ 0:02] ~~^~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:02] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:02] ^~~~~~~~~~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:02] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:02] ^~~~~~~~~~~ [ 0:02] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:224:32: warning: flag ' ' is ignored when flag '+' is present [ 0:02] PRINTF_TEST(5, "+1024", "%+ d", 1024); [ 0:02] ~~^~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:02] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:02] ^~~~~~~~~~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:02] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:02] ^~~~~~~~~~~ [ 0:02] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:225:32: warning: flag ' ' is ignored when flag '+' is present [ 0:02] PRINTF_TEST(5, "-1024", "%+ d", -1024); [ 0:02] ~~^~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:02] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:02] ^~~~~~~~~~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:02] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:02] ^~~~~~~~~~~ [ 0:02] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:226:32: warning: flag ' ' is ignored when flag '+' is present [ 0:02] PRINTF_TEST(5, "+1024", "%+ i", 1024); [ 0:02] ~~^~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:02] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:02] ^~~~~~~~~~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:02] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:02] ^~~~~~~~~~~ [ 0:02] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:227:32: warning: flag ' ' is ignored when flag '+' is present [ 0:02] PRINTF_TEST(5, "-1024", "%+ i", -1024); [ 0:02] ~~^~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:02] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:02] ^~~~~~~~~~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:02] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:02] ^~~~~~~~~~~ [ 0:02] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:228:30: warning: flag '+' results in undefined behavior with 'u' conversion specifier [ 0:02] PRINTF_TEST(4, "1024", "%+ u", 1024u); [ 0:02] ~^~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:02] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:02] ^~~~~~~~~~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:02] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:02] ^~~~~~~~~~~ [ 0:02] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:228:31: warning: flag ' ' results in undefined behavior with 'u' conversion specifier [ 0:02] PRINTF_TEST(4, "1024", "%+ u", 1024u); [ 0:02] ~~^~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:02] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:02] ^~~~~~~~~~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:02] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:02] ^~~~~~~~~~~ [ 0:02] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:228:31: warning: flag ' ' is ignored when flag '+' is present [ 0:02] PRINTF_TEST(4, "1024", "%+ u", 1024u); [ 0:02] ~~^~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:02] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:02] ^~~~~~~~~~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:02] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:02] ^~~~~~~~~~~ [ 0:02] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:229:37: warning: flag '+' results in undefined behavior with 'u' conversion specifier [ 0:02] PRINTF_TEST(10, "4294966272", "%+ u", -1024u); [ 0:02] ~^~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:02] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:02] ^~~~~~~~~~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:02] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:02] ^~~~~~~~~~~ [ 0:02] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:229:38: warning: flag ' ' results in undefined behavior with 'u' conversion specifier [ 0:02] PRINTF_TEST(10, "4294966272", "%+ u", -1024u); [ 0:02] ~~^~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:02] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:02] ^~~~~~~~~~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:02] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:02] ^~~~~~~~~~~ [ 0:02] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:229:38: warning: flag ' ' is ignored when flag '+' is present [ 0:02] PRINTF_TEST(10, "4294966272", "%+ u", -1024u); [ 0:02] ~~^~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:02] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:02] ^~~~~~~~~~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:02] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:02] ^~~~~~~~~~~ [ 0:02] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:230:29: warning: flag '+' results in undefined behavior with 'o' conversion specifier [ 0:02] PRINTF_TEST(3, "777", "%+ o", 0777u); [ 0:02] ~^~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:02] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:02] ^~~~~~~~~~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:02] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:02] ^~~~~~~~~~~ [ 0:02] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:230:30: warning: flag ' ' results in undefined behavior with 'o' conversion specifier [ 0:02] PRINTF_TEST(3, "777", "%+ o", 0777u); [ 0:02] ~~^~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:02] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:02] ^~~~~~~~~~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:02] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:02] ^~~~~~~~~~~ [ 0:02] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:230:30: warning: flag ' ' is ignored when flag '+' is present [ 0:02] PRINTF_TEST(3, "777", "%+ o", 0777u); [ 0:02] ~~^~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:02] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:02] ^~~~~~~~~~~ [ 0:02] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:02] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:02] ^~~~~~~~~~~ [ 0:02] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:231:38: warning: flag '+' results in undefined behavior with 'o' conversion specifier [ 0:03] PRINTF_TEST(11, "37777777001", "%+ o", -0777u); [ 0:03] ~^~~ [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:03] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:03] ^~~~~~~~~~~ [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:03] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:03] ^~~~~~~~~~~ [ 0:03] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:231:39: warning: flag ' ' results in undefined behavior with 'o' conversion specifier [ 0:03] PRINTF_TEST(11, "37777777001", "%+ o", -0777u); [ 0:03] ~~^~ [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:03] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:03] ^~~~~~~~~~~ [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:03] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:03] ^~~~~~~~~~~ [ 0:03] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:231:39: warning: flag ' ' is ignored when flag '+' is present [ 0:03] PRINTF_TEST(11, "37777777001", "%+ o", -0777u); [ 0:03] ~~^~ [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:03] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:03] ^~~~~~~~~~~ [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:03] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:03] ^~~~~~~~~~~ [ 0:03] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:232:34: warning: flag '+' results in undefined behavior with 'x' conversion specifier [ 0:03] PRINTF_TEST(8, "1234abcd", "%+ x", 0x1234abcdu); [ 0:03] ~^~~ [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:03] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:03] ^~~~~~~~~~~ [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:03] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:03] ^~~~~~~~~~~ [ 0:03] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:232:35: warning: flag ' ' results in undefined behavior with 'x' conversion specifier [ 0:03] PRINTF_TEST(8, "1234abcd", "%+ x", 0x1234abcdu); [ 0:03] ~~^~ [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:03] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:03] ^~~~~~~~~~~ [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:03] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:03] ^~~~~~~~~~~ [ 0:03] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:232:35: warning: flag ' ' is ignored when flag '+' is present [ 0:03] PRINTF_TEST(8, "1234abcd", "%+ x", 0x1234abcdu); [ 0:03] ~~^~ [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:03] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:03] ^~~~~~~~~~~ [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:03] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:03] ^~~~~~~~~~~ [ 0:03] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:233:34: warning: flag '+' results in undefined behavior with 'x' conversion specifier [ 0:03] PRINTF_TEST(8, "edcb5433", "%+ x", -0x1234abcdu); [ 0:03] ~^~~ [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:03] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:03] ^~~~~~~~~~~ [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:03] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:03] ^~~~~~~~~~~ [ 0:03] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:233:35: warning: flag ' ' results in undefined behavior with 'x' conversion specifier [ 0:03] PRINTF_TEST(8, "edcb5433", "%+ x", -0x1234abcdu); [ 0:03] ~~^~ [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:03] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:03] ^~~~~~~~~~~ [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:03] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:03] ^~~~~~~~~~~ [ 0:03] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:233:35: warning: flag ' ' is ignored when flag '+' is present [ 0:03] PRINTF_TEST(8, "edcb5433", "%+ x", -0x1234abcdu); [ 0:03] ~~^~ [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:03] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:03] ^~~~~~~~~~~ [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:03] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:03] ^~~~~~~~~~~ [ 0:03] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:234:34: warning: flag '+' results in undefined behavior with 'X' conversion specifier [ 0:03] PRINTF_TEST(8, "1234ABCD", "%+ X", 0x1234abcdu); [ 0:03] ~^~~ [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:03] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:03] ^~~~~~~~~~~ [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:03] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:03] ^~~~~~~~~~~ [ 0:03] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:234:35: warning: flag ' ' results in undefined behavior with 'X' conversion specifier [ 0:03] PRINTF_TEST(8, "1234ABCD", "%+ X", 0x1234abcdu); [ 0:03] ~~^~ [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:03] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:03] ^~~~~~~~~~~ [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:03] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:03] ^~~~~~~~~~~ [ 0:03] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:234:35: warning: flag ' ' is ignored when flag '+' is present [ 0:03] PRINTF_TEST(8, "1234ABCD", "%+ X", 0x1234abcdu); [ 0:03] ~~^~ [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:03] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:03] ^~~~~~~~~~~ [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:03] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:03] ^~~~~~~~~~~ [ 0:03] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:235:34: warning: flag '+' results in undefined behavior with 'X' conversion specifier [ 0:03] PRINTF_TEST(8, "EDCB5433", "%+ X", -0x1234abcdu); [ 0:03] ~^~~ [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:03] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:03] ^~~~~~~~~~~ [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:03] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:03] ^~~~~~~~~~~ [ 0:03] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:235:35: warning: flag ' ' results in undefined behavior with 'X' conversion specifier [ 0:03] PRINTF_TEST(8, "EDCB5433", "%+ X", -0x1234abcdu); [ 0:03] ~~^~ [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:03] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:03] ^~~~~~~~~~~ [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:03] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:03] ^~~~~~~~~~~ [ 0:03] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:235:35: warning: flag ' ' is ignored when flag '+' is present [ 0:03] PRINTF_TEST(8, "EDCB5433", "%+ X", -0x1234abcdu); [ 0:03] ~~^~ [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:03] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:03] ^~~~~~~~~~~ [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:03] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:03] ^~~~~~~~~~~ [ 0:03] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:236:27: warning: flag '+' results in undefined behavior with 'c' conversion specifier [ 0:03] PRINTF_TEST(1, "x", "%+ c", 'x'); [ 0:03] ~^~~ [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:03] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:03] ^~~~~~~~~~~ [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:03] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:03] ^~~~~~~~~~~ [ 0:03] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:236:28: warning: flag ' ' results in undefined behavior with 'c' conversion specifier [ 0:03] PRINTF_TEST(1, "x", "%+ c", 'x'); [ 0:03] ~~^~ [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:03] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:03] ^~~~~~~~~~~ [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:03] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:03] ^~~~~~~~~~~ [ 0:03] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:236:28: warning: flag ' ' is ignored when flag '+' is present [ 0:03] PRINTF_TEST(1, "x", "%+ c", 'x'); [ 0:03] ~~^~ [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:03] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:03] ^~~~~~~~~~~ [ 0:03] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:03] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:03] ^~~~~~~~~~~ [ 0:03] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:319:47: warning: flag '0' results in undefined behavior with 's' conversion specifier [ 0:04] PRINTF_TEST(20, "Hallo ", "%0-20s", "Hallo"); [ 0:04] ~^~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:319:47: warning: flag '0' is ignored when flag '-' is present [ 0:04] PRINTF_TEST(20, "Hallo ", "%0-20s", "Hallo"); [ 0:04] ~^~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:320:47: warning: flag '0' is ignored when flag '-' is present [ 0:04] PRINTF_TEST(20, "1024 ", "%0-20d", 1024); [ 0:04] ~^~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:321:47: warning: flag '0' is ignored when flag '-' is present [ 0:04] PRINTF_TEST(20, "-1024 ", "%0-20d", -1024); [ 0:04] ~^~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:322:47: warning: flag '0' is ignored when flag '-' is present [ 0:04] PRINTF_TEST(20, "1024 ", "%0-20i", 1024); [ 0:04] ~^~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:323:47: warning: flag '0' is ignored when flag '-' is present [ 0:04] PRINTF_TEST(20, "-1024 ", "%0-20i", -1024); [ 0:04] ~^~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:324:47: warning: flag '0' is ignored when flag '-' is present [ 0:04] PRINTF_TEST(20, "1024 ", "%0-20u", 1024u); [ 0:04] ~^~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:325:47: warning: flag '0' is ignored when flag '-' is present [ 0:04] PRINTF_TEST(20, "4294966272 ", "%0-20u", -1024u); [ 0:04] ~^~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:326:48: warning: flag '0' is ignored when flag '-' is present [ 0:04] PRINTF_TEST(20, "777 ", "%-020o", 0777u); [ 0:04] ~~^~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:327:48: warning: flag '0' is ignored when flag '-' is present [ 0:04] PRINTF_TEST(20, "37777777001 ", "%-020o", -0777u); [ 0:04] ~~^~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:328:48: warning: flag '0' is ignored when flag '-' is present [ 0:04] PRINTF_TEST(20, "1234abcd ", "%-020x", 0x1234abcdu); [ 0:04] ~~^~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:329:48: warning: flag '0' is ignored when flag '-' is present [ 0:04] PRINTF_TEST(20, "edcb5433 ", "%-020x", -0x1234abcdu); [ 0:04] ~~^~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:330:48: warning: flag '0' is ignored when flag '-' is present [ 0:04] PRINTF_TEST(20, "1234ABCD ", "%-020X", 0x1234abcdu); [ 0:04] ~~^~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:331:48: warning: flag '0' is ignored when flag '-' is present [ 0:04] PRINTF_TEST(20, "EDCB5433 ", "%-020X", -0x1234abcdu); [ 0:04] ~~^~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:332:48: warning: flag '0' results in undefined behavior with 'c' conversion specifier [ 0:04] PRINTF_TEST(20, "x ", "%-020c", 'x'); [ 0:04] ~~^~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:332:48: warning: flag '0' is ignored when flag '-' is present [ 0:04] PRINTF_TEST(20, "x ", "%-020c", 'x'); [ 0:04] ~~^~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:377:47: warning: flag '0' results in undefined behavior with 's' conversion specifier [ 0:04] PRINTF_TEST(20, " Hallo", "%020.5s", "Hallo heimur"); [ 0:04] ~^~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:420:49: warning: flag '0' results in undefined behavior with 's' conversion specifier [ 0:04] PRINTF_TEST(20, "Hallo ", "% -0+*.*s", 20, 5, "Hallo heimur"); [ 0:04] ~~~^~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:420:50: warning: flag '+' results in undefined behavior with 's' conversion specifier [ 0:04] PRINTF_TEST(20, "Hallo ", "% -0+*.*s", 20, 5, "Hallo heimur"); [ 0:04] ~~~~^~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:420:47: warning: flag ' ' results in undefined behavior with 's' conversion specifier [ 0:04] PRINTF_TEST(20, "Hallo ", "% -0+*.*s", 20, 5, "Hallo heimur"); [ 0:04] ~^~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:420:47: warning: flag ' ' is ignored when flag '+' is present [ 0:04] PRINTF_TEST(20, "Hallo ", "% -0+*.*s", 20, 5, "Hallo heimur"); [ 0:04] ~^~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:420:49: warning: flag '0' is ignored when flag '-' is present [ 0:04] PRINTF_TEST(20, "Hallo ", "% -0+*.*s", 20, 5, "Hallo heimur"); [ 0:04] ~~~^~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:421:47: warning: flag ' ' is ignored when flag '+' is present [ 0:04] PRINTF_TEST(20, "+01024 ", "% -0+*.*d", 20, 5, 1024); [ 0:04] ~^~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:421:49: warning: flag '0' is ignored when flag '-' is present [ 0:04] PRINTF_TEST(20, "+01024 ", "% -0+*.*d", 20, 5, 1024); [ 0:04] ~~~^~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:422:47: warning: flag ' ' is ignored when flag '+' is present [ 0:04] PRINTF_TEST(20, "-01024 ", "% -0+*.*d", 20, 5, -1024); [ 0:04] ~^~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:422:49: warning: flag '0' is ignored when flag '-' is present [ 0:04] PRINTF_TEST(20, "-01024 ", "% -0+*.*d", 20, 5, -1024); [ 0:04] ~~~^~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:423:47: warning: flag ' ' is ignored when flag '+' is present [ 0:04] PRINTF_TEST(20, "+01024 ", "% -0+*.*i", 20, 5, 1024); [ 0:04] ~^~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:423:49: warning: flag '0' is ignored when flag '-' is present [ 0:04] PRINTF_TEST(20, "+01024 ", "% -0+*.*i", 20, 5, 1024); [ 0:04] ~~~^~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:424:47: warning: flag ' ' is ignored when flag '+' is present [ 0:04] PRINTF_TEST(20, "-01024 ", "% 0-+*.*i", 20, 5, -1024); [ 0:04] ~^~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:424:48: warning: flag '0' is ignored when flag '-' is present [ 0:04] PRINTF_TEST(20, "-01024 ", "% 0-+*.*i", 20, 5, -1024); [ 0:04] ~~^~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:425:50: warning: flag '+' results in undefined behavior with 'u' conversion specifier [ 0:04] PRINTF_TEST(20, "01024 ", "% 0-+*.*u", 20, 5, 1024u); [ 0:04] ~~~~^~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:425:47: warning: flag ' ' results in undefined behavior with 'u' conversion specifier [ 0:04] PRINTF_TEST(20, "01024 ", "% 0-+*.*u", 20, 5, 1024u); [ 0:04] ~^~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:425:47: warning: flag ' ' is ignored when flag '+' is present [ 0:04] PRINTF_TEST(20, "01024 ", "% 0-+*.*u", 20, 5, 1024u); [ 0:04] ~^~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:425:48: warning: flag '0' is ignored when flag '-' is present [ 0:04] PRINTF_TEST(20, "01024 ", "% 0-+*.*u", 20, 5, 1024u); [ 0:04] ~~^~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:426:50: warning: flag '+' results in undefined behavior with 'u' conversion specifier [ 0:04] PRINTF_TEST(20, "4294966272 ", "% 0-+*.*u", 20, 5, -1024u); [ 0:04] ~~~~^~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:426:47: warning: flag ' ' results in undefined behavior with 'u' conversion specifier [ 0:04] PRINTF_TEST(20, "4294966272 ", "% 0-+*.*u", 20, 5, -1024u); [ 0:04] ~^~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:426:47: warning: flag ' ' is ignored when flag '+' is present [ 0:04] PRINTF_TEST(20, "4294966272 ", "% 0-+*.*u", 20, 5, -1024u); [ 0:04] ~^~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:426:48: warning: flag '0' is ignored when flag '-' is present [ 0:04] PRINTF_TEST(20, "4294966272 ", "% 0-+*.*u", 20, 5, -1024u); [ 0:04] ~~^~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:427:47: warning: flag '+' results in undefined behavior with 'o' conversion specifier [ 0:04] PRINTF_TEST(20, "00777 ", "%+ -0*.*o", 20, 5, 0777u); [ 0:04] ~^~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:427:48: warning: flag ' ' results in undefined behavior with 'o' conversion specifier [ 0:04] PRINTF_TEST(20, "00777 ", "%+ -0*.*o", 20, 5, 0777u); [ 0:04] ~~^~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:427:48: warning: flag ' ' is ignored when flag '+' is present [ 0:04] PRINTF_TEST(20, "00777 ", "%+ -0*.*o", 20, 5, 0777u); [ 0:04] ~~^~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:427:50: warning: flag '0' is ignored when flag '-' is present [ 0:04] PRINTF_TEST(20, "00777 ", "%+ -0*.*o", 20, 5, 0777u); [ 0:04] ~~~~^~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:428:47: warning: flag '+' results in undefined behavior with 'o' conversion specifier [ 0:04] PRINTF_TEST(20, "37777777001 ", "%+ -0*.*o", 20, 5, -0777u); [ 0:04] ~^~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:428:48: warning: flag ' ' results in undefined behavior with 'o' conversion specifier [ 0:04] PRINTF_TEST(20, "37777777001 ", "%+ -0*.*o", 20, 5, -0777u); [ 0:04] ~~^~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:428:48: warning: flag ' ' is ignored when flag '+' is present [ 0:04] PRINTF_TEST(20, "37777777001 ", "%+ -0*.*o", 20, 5, -0777u); [ 0:04] ~~^~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:428:50: warning: flag '0' is ignored when flag '-' is present [ 0:04] PRINTF_TEST(20, "37777777001 ", "%+ -0*.*o", 20, 5, -0777u); [ 0:04] ~~~~^~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:429:47: warning: flag '+' results in undefined behavior with 'x' conversion specifier [ 0:04] PRINTF_TEST(20, "1234abcd ", "%+ -0*.*x", 20, 5, 0x1234abcdu); [ 0:04] ~^~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:429:48: warning: flag ' ' results in undefined behavior with 'x' conversion specifier [ 0:04] PRINTF_TEST(20, "1234abcd ", "%+ -0*.*x", 20, 5, 0x1234abcdu); [ 0:04] ~~^~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:429:48: warning: flag ' ' is ignored when flag '+' is present [ 0:04] PRINTF_TEST(20, "1234abcd ", "%+ -0*.*x", 20, 5, 0x1234abcdu); [ 0:04] ~~^~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:429:50: warning: flag '0' is ignored when flag '-' is present [ 0:04] PRINTF_TEST(20, "1234abcd ", "%+ -0*.*x", 20, 5, 0x1234abcdu); [ 0:04] ~~~~^~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:430:47: warning: flag '+' results in undefined behavior with 'x' conversion specifier [ 0:04] PRINTF_TEST(20, "00edcb5433 ", "%+ -0*.*x", 20, 10, -0x1234abcdu); [ 0:04] ~^~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:430:48: warning: flag ' ' results in undefined behavior with 'x' conversion specifier [ 0:04] PRINTF_TEST(20, "00edcb5433 ", "%+ -0*.*x", 20, 10, -0x1234abcdu); [ 0:04] ~~^~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:430:48: warning: flag ' ' is ignored when flag '+' is present [ 0:04] PRINTF_TEST(20, "00edcb5433 ", "%+ -0*.*x", 20, 10, -0x1234abcdu); [ 0:04] ~~^~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:430:50: warning: flag '0' is ignored when flag '-' is present [ 0:04] PRINTF_TEST(20, "00edcb5433 ", "%+ -0*.*x", 20, 10, -0x1234abcdu); [ 0:04] ~~~~^~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:431:49: warning: flag '+' results in undefined behavior with 'X' conversion specifier [ 0:04] PRINTF_TEST(20, "1234ABCD ", "% -+0*.*X", 20, 5, 0x1234abcdu); [ 0:04] ~~~^~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:431:47: warning: flag ' ' results in undefined behavior with 'X' conversion specifier [ 0:04] PRINTF_TEST(20, "1234ABCD ", "% -+0*.*X", 20, 5, 0x1234abcdu); [ 0:04] ~^~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:431:47: warning: flag ' ' is ignored when flag '+' is present [ 0:04] PRINTF_TEST(20, "1234ABCD ", "% -+0*.*X", 20, 5, 0x1234abcdu); [ 0:04] ~^~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:04] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:04] ^~~~~~~~~~~ [ 0:04] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:431:50: warning: flag '0' is ignored when flag '-' is present [ 0:04] PRINTF_TEST(20, "1234ABCD ", "% -+0*.*X", 20, 5, 0x1234abcdu); [ 0:04] ~~~~^~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:04] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:04] ^~~~~~~~~~~ [ 0:04] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:05] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:05] ^~~~~~~~~~~ [ 0:05] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:05] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:432:49: warning: flag '+' results in undefined behavior with 'X' conversion specifier [ 0:05] PRINTF_TEST(20, "00EDCB5433 ", "% -+0*.*X", 20, 10, -0x1234abcdu); [ 0:05] ~~~^~~~~~ [ 0:05] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:05] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:05] ^~~~~~~~~~~ [ 0:05] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:05] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:05] ^~~~~~~~~~~ [ 0:05] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:05] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:432:47: warning: flag ' ' results in undefined behavior with 'X' conversion specifier [ 0:05] PRINTF_TEST(20, "00EDCB5433 ", "% -+0*.*X", 20, 10, -0x1234abcdu); [ 0:05] ~^~~~~~~~ [ 0:05] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:05] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:05] ^~~~~~~~~~~ [ 0:05] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:05] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:05] ^~~~~~~~~~~ [ 0:05] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:05] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:432:47: warning: flag ' ' is ignored when flag '+' is present [ 0:05] PRINTF_TEST(20, "00EDCB5433 ", "% -+0*.*X", 20, 10, -0x1234abcdu); [ 0:05] ~^~~~~~~~ [ 0:05] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:05] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:05] ^~~~~~~~~~~ [ 0:05] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:05] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:05] ^~~~~~~~~~~ [ 0:05] In file included from /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:53: [ 0:05] /home/xrockai/src/divine/nightly/dios/libc/testing/printf_testcases.h:432:50: warning: flag '0' is ignored when flag '-' is present [ 0:05] PRINTF_TEST(20, "00EDCB5433 ", "% -+0*.*X", 20, 10, -0x1234abcdu); [ 0:05] ~~~~^~~~~ [ 0:05] /home/xrockai/src/divine/nightly/dios/libc/testing/_PDCLIB_iotest.h:39:45: note: expanded from macro 'PRINTF_TEST' [ 0:05] int actual_rc = testprintf( target, __VA_ARGS__ ); \ [ 0:05] ^~~~~~~~~~~ [ 0:05] /home/xrockai/src/divine/nightly/dios/libc/stdio/fprintf.c:47:52: note: expanded from macro 'testprintf' [ 0:05] #define testprintf( stream, ... ) fprintf( stream, __VA_ARGS__ ) [ 0:05] ^~~~~~~~~~~ [ 0:05] 142 warnings generated. [ 0:05] + llvm-nm unittest.bc [ 0:05] + grep -w 'T main' [ 0:05] ---------------- T main [ 0:05] + divine verify --max-memory 4GiB --threads 1 -o nofail:malloc unittest.bc [ 0:05] + tee verify.out [ 0:05] loading bitcode … DiOS … LART … RR … constants … done [ 0:08] booting … done [ 0:08] states per second: 518.354 [ 0:23] state count: 8049 [ 0:23] mips: 0.16 [ 0:23] error found: no [ 0:23] a report was written to unittest.report [ 0:24] + check verify /home/xrockai/src/divine/nightly/test/pdclib/stdio-fprintf.pdc [ 0:24] + check debris [ 0:24] + test -e warning