invalidPrintfArgType_float
ftp://ftp.de.debian.org/debian/pool/main/d/dietlibc/dietlibc_0.34~cvs20160606.orig.tar.xz
dietlibc-0.34~cvs20160606/test/stdio/tst-printf.c:369:3: warning: %f in format string (no. 8) requires 'double' but the argument type is 'signed int'. [invalidPrintfArgType_float]
dietlibc-0.34~cvs20160606/test/stdio/tst-printf.c:369:3: warning: %g in format string (no. 12) requires 'double' but the argument type is 'signed int'. [invalidPrintfArgType_float]
ftp://ftp.de.debian.org/debian/pool/main/d/dxsamples/dxsamples_4.4.0.orig.tar.gz
dxsamples-4.4.0/util/dxf/output_funcs.c:583:5: warning: %f in format string (no. 12) requires 'double' but the argument type is 'signed int'. [invalidPrintfArgType_float]
dxsamples-4.4.0/util/dxf/output_funcs.c:583:5: warning: %f in format string (no. 13) requires 'double' but the argument type is 'signed int'. [invalidPrintfArgType_float]
dxsamples-4.4.0/util/dxf/output_funcs.c:806:5: warning: %f in format string (no. 11) requires 'double' but the argument type is 'signed int'. [invalidPrintfArgType_float]
ftp://ftp.de.debian.org/debian/pool/main/e/emoslib/emoslib_000392+dfsg.1.orig.tar.gz
emoslib-000392+dfsg.1/grib_api_merging/describe_input_field.c:232:22: warning: %f in format string (no. 1) requires 'double' but the argument type is 'signed int'. [invalidPrintfArgType_float]
emoslib-000392+dfsg.1/grib_api_merging/describe_input_field.c:362:12: warning: %f in format string (no. 1) requires 'double' but the argument type is 'signed int'. [invalidPrintfArgType_float]
emoslib-000392+dfsg.1/grib_api_merging/describe_input_field.c:644:17: warning: %f in format string (no. 1) requires 'double' but the argument type is 'signed int'. [invalidPrintfArgType_float]
emoslib-000392+dfsg.1/grib_api_merging/describe_input_field.c:659:17: warning: %f in format string (no. 1) requires 'double' but the argument type is 'signed int'. [invalidPrintfArgType_float]
ftp://ftp.de.debian.org/debian/pool/main/e/emscripten/emscripten_3.1.6~dfsg.orig.tar.xz
emscripten-3.1.6/tests/core/test_floatvars.cpp:44:3: portability: %f in format string (no. 3) requires 'double' but the argument type is 'int {aka signed int}'. [invalidPrintfArgType_float]
emscripten-3.1.6/tests/core/test_floatvars.cpp:44:3: portability: %f in format string (no. 4) requires 'double' but the argument type is 'int {aka signed int}'. [invalidPrintfArgType_float]
emscripten-3.1.6/tests/core/test_floatvars.cpp:45:3: portability: %f in format string (no. 3) requires 'double' but the argument type is 'int {aka signed int}'. [invalidPrintfArgType_float]
emscripten-3.1.6/tests/core/test_floatvars.cpp:45:3: portability: %f in format string (no. 4) requires 'double' but the argument type is 'int {aka signed int}'. [invalidPrintfArgType_float]
emscripten-3.1.6/tests/core/test_floatvars.cpp:46:3: portability: %f in format string (no. 3) requires 'double' but the argument type is 'int {aka signed int}'. [invalidPrintfArgType_float]
emscripten-3.1.6/tests/core/test_floatvars.cpp:46:3: portability: %f in format string (no. 4) requires 'double' but the argument type is 'int {aka signed int}'. [invalidPrintfArgType_float]
emscripten-3.1.6/tests/core/test_floatvars.cpp:47:3: portability: %f in format string (no. 3) requires 'double' but the argument type is 'int {aka signed int}'. [invalidPrintfArgType_float]
emscripten-3.1.6/tests/core/test_floatvars.cpp:47:3: portability: %f in format string (no. 4) requires 'double' but the argument type is 'int {aka signed int}'. [invalidPrintfArgType_float]
ftp://ftp.de.debian.org/debian/pool/main/f/faust/faust_2.40.0~ds0.orig.tar.xz
faust-2.40.0/architecture/unsupported-arch/pa-wx.cpp:694:3: warning: %f in format string (no. 3) requires 'double' but the argument type is 'signed long'. [invalidPrintfArgType_float]
ftp://ftp.de.debian.org/debian/pool/main/f/filament/filament_1.9.25+dfsg2.orig.tar.xz
filament-1.9.25/filament/test/depth_test.cpp:91:5: portability: %g in format string (no. 1) requires 'double' but the argument type is 'int {aka signed int}'. [invalidPrintfArgType_float]
filament-1.9.25/filament/test/depth_test.cpp:91:5: portability: %g in format string (no. 2) requires 'double' but the argument type is 'int {aka signed int}'. [invalidPrintfArgType_float]
filament-1.9.25/filament/test/depth_test.cpp:91:5: portability: %g in format string (no. 3) requires 'double' but the argument type is 'int {aka signed int}'. [invalidPrintfArgType_float]
ftp://ftp.de.debian.org/debian/pool/main/f/flvmeta/flvmeta_1.2.1.orig.tar.gz
flvmeta-1.2.1/src/amf.c:793:17: warning: %g in format string (no. 1) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/dump_xml.c:67:17: warning: %g in format string (no. 3) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/dump_yaml.c:40:17: warning: %g in format string (no. 1) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/json.c:142:5: warning: %g in format string (no. 1) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:820:25: warning: %g in format string (no. 1) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:820:25: warning: %g in format string (no. 2) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:840:25: warning: %g in format string (no. 1) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:840:25: warning: %g in format string (no. 2) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:860:25: warning: %g in format string (no. 1) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:860:25: warning: %g in format string (no. 2) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:883:29: warning: %g in format string (no. 1) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:883:29: warning: %g in format string (no. 2) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:909:29: warning: %g in format string (no. 1) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:909:29: warning: %g in format string (no. 2) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:935:29: warning: %g in format string (no. 1) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:935:29: warning: %g in format string (no. 2) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:960:29: warning: %g in format string (no. 1) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:960:29: warning: %g in format string (no. 2) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:985:29: warning: %g in format string (no. 1) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:985:29: warning: %g in format string (no. 2) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:1017:29: warning: %g in format string (no. 1) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:1017:29: warning: %g in format string (no. 2) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:1046:29: warning: %g in format string (no. 1) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:1046:29: warning: %g in format string (no. 2) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:1096:25: warning: %g in format string (no. 1) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:1096:25: warning: %g in format string (no. 2) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:1117:29: warning: %g in format string (no. 1) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:1117:29: warning: %g in format string (no. 2) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:1142:29: warning: %g in format string (no. 1) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:1142:29: warning: %g in format string (no. 2) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:1170:25: warning: %g in format string (no. 1) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:1170:25: warning: %g in format string (no. 2) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:1191:29: warning: %g in format string (no. 1) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:1191:29: warning: %g in format string (no. 2) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:1216:29: warning: %g in format string (no. 1) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:1216:29: warning: %g in format string (no. 2) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:1241:29: warning: %g in format string (no. 1) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:1241:29: warning: %g in format string (no. 2) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:1362:45: warning: %g in format string (no. 1) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:1362:45: warning: %g in format string (no. 2) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:1369:45: warning: %g in format string (no. 1) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:1387:45: warning: %g in format string (no. 1) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
flvmeta-1.2.1/src/check.c:1387:45: warning: %g in format string (no. 2) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
ftp://ftp.de.debian.org/debian/pool/main/f/foobillardplus/foobillardplus_3.43~svn170+dfsg.orig.tar.xz
foobillardplus-3.43~svn170/contrib/double.c.c:62:13: warning: %f in format string (no. 2) requires 'double' but the argument type is 'unsigned long long'. [invalidPrintfArgType_float]
foobillardplus-3.43~svn170/contrib/float.c:54:13: warning: %f in format string (no. 2) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
ftp://ftp.de.debian.org/debian/pool/main/f/frama-c/frama-c_20220511-manganese.orig.tar.gz
frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/format/printf.c:456:8: warning: %f in format string (no. 1) requires 'double' but the argument type is 'long double'. [invalidPrintfArgType_float]
frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/format/printf.c:458:8: warning: %f in format string (no. 1) requires 'double' but the argument type is 'signed int'. [invalidPrintfArgType_float]
frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/format/printf.c:460:8: warning: %f in format string (no. 1) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/format/printf.c:472:8: warning: %e in format string (no. 1) requires 'double' but the argument type is 'long double'. [invalidPrintfArgType_float]
frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/format/printf.c:473:8: warning: %E in format string (no. 1) requires 'double' but the argument type is 'long double'. [invalidPrintfArgType_float]
frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/format/printf.c:474:8: warning: %e in format string (no. 1) requires 'double' but the argument type is 'signed int'. [invalidPrintfArgType_float]
frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/format/printf.c:475:8: warning: %E in format string (no. 1) requires 'double' but the argument type is 'signed int'. [invalidPrintfArgType_float]
frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/format/printf.c:476:8: warning: %e in format string (no. 1) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/format/printf.c:477:8: warning: %E in format string (no. 1) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/format/printf.c:480:8: warning: %g in format string (no. 1) requires 'double' but the argument type is 'long double'. [invalidPrintfArgType_float]
frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/format/printf.c:481:8: warning: %G in format string (no. 1) requires 'double' but the argument type is 'long double'. [invalidPrintfArgType_float]
frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/format/printf.c:482:8: warning: %g in format string (no. 1) requires 'double' but the argument type is 'signed int'. [invalidPrintfArgType_float]
frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/format/printf.c:483:8: warning: %G in format string (no. 1) requires 'double' but the argument type is 'signed int'. [invalidPrintfArgType_float]
frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/format/printf.c:484:8: warning: %g in format string (no. 1) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/format/printf.c:485:8: warning: %G in format string (no. 1) requires 'double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/format/printf.c:488:8: warning: %Lf in format string (no. 1) requires 'long double' but the argument type is 'double'. [invalidPrintfArgType_float]
frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/format/printf.c:492:8: warning: %Lf in format string (no. 1) requires 'long double' but the argument type is 'signed int'. [invalidPrintfArgType_float]
frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/format/printf.c:494:8: warning: %Lf in format string (no. 1) requires 'long double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/format/printf.c:504:8: warning: %Le in format string (no. 1) requires 'long double' but the argument type is 'double'. [invalidPrintfArgType_float]
frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/format/printf.c:505:8: warning: %LE in format string (no. 1) requires 'long double' but the argument type is 'double'. [invalidPrintfArgType_float]
frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/format/printf.c:508:8: warning: %Le in format string (no. 1) requires 'long double' but the argument type is 'signed int'. [invalidPrintfArgType_float]
frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/format/printf.c:509:8: warning: %LE in format string (no. 1) requires 'long double' but the argument type is 'signed int'. [invalidPrintfArgType_float]
frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/format/printf.c:510:8: warning: %Le in format string (no. 1) requires 'long double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/format/printf.c:511:8: warning: %LE in format string (no. 1) requires 'long double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/format/printf.c:512:8: warning: %Lg in format string (no. 1) requires 'long double' but the argument type is 'double'. [invalidPrintfArgType_float]
frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/format/printf.c:513:8: warning: %LG in format string (no. 1) requires 'long double' but the argument type is 'double'. [invalidPrintfArgType_float]
frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/format/printf.c:516:8: warning: %Lg in format string (no. 1) requires 'long double' but the argument type is 'signed int'. [invalidPrintfArgType_float]
frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/format/printf.c:517:8: warning: %LG in format string (no. 1) requires 'long double' but the argument type is 'signed int'. [invalidPrintfArgType_float]
frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/format/printf.c:518:8: warning: %Lg in format string (no. 1) requires 'long double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/format/printf.c:519:8: warning: %LG in format string (no. 1) requires 'long double' but the argument type is 'unsigned long'. [invalidPrintfArgType_float]
frama-c-25.0-beta-Manganese/src/plugins/variadic/tests/known/printf_wrong_types.c:27:3: warning: %f in format string (no. 1) requires 'double' but the argument type is 'long double'. [invalidPrintfArgType_float]
frama-c-25.0-beta-Manganese/src/plugins/variadic/tests/known/printf_wrong_types.c:28:3: warning: %lf in format string (no. 1) requires 'double' but the argument type is 'long double'. [invalidPrintfArgType_float]
frama-c-25.0-beta-Manganese/src/plugins/variadic/tests/known/printf_wrong_types.c:29:3: warning: %Lf in format string (no. 1) requires 'long double' but the argument type is 'float'. [invalidPrintfArgType_float]