invalidPrintfArgType_p
ftp://ftp.de.debian.org/debian/pool/main/d/dietlibc/dietlibc_0.34~cvs20160606.orig.tar.xz
dietlibc-0.34~cvs20160606/test/sysenter.c:18:7: warning: %p in format string (no. 1) requires an address but the argument type is 'unsigned long'. [invalidPrintfArgType_p]
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/share/e-acsl/instrumentation_model/e_acsl_assert.c:125:5: portability: %p in format string (no. 1) requires an address but the argument type is 'uintptr_t {aka unsigned long}'. [invalidPrintfArgType_p]
frama-c-25.0-beta-Manganese/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.c:128:5: portability: %p in format string (no. 1) requires an address but the argument type is 'uintptr_t {aka unsigned long}'. [invalidPrintfArgType_p]
frama-c-25.0-beta-Manganese/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.c:226:5: portability: %p in format string (no. 1) requires an address but the argument type is 'uintptr_t {aka unsigned long}'. [invalidPrintfArgType_p]
frama-c-25.0-beta-Manganese/src/plugins/variadic/tests/known/printf_wrong_types.c:25:3: warning: %p in format string (no. 1) requires an address but the argument type is 'unsigned int'. [invalidPrintfArgType_p]