2026-07-24 22:23
ftp://ftp.de.debian.org/debian/pool/main/p/polyml/polyml_5.8.1.orig.tar.gz
cppcheck-options: --library=posix --library=gnu --library=bsd --library=motif  --inconclusive --enable=style,information --inline-suppr --template=daca2 --disable=missingInclude --suppress=unmatchedSuppression --check-library --debug-warnings --suppress=autoNoType --suppress=valueFlowBailout --suppress=bailoutUninitVar --suppress=symbolDatabaseWarning --suppress=normalCheckLevelConditionExpressions -D__GNUC__ --platform=unix64 -j96
platform: Linux-6.8.0-111-generic-x86_64-with-glibc2.39
python: 3.12.3
client-version: 1.4.0
compiler: g++ (Ubuntu 13.3.0-6ubuntu2~24.04.1) 13.3.0
cppcheck: head 2.21.0
head-info: 1ef5ef3 (2026-07-24 19:54:54 +0200)
count: 835 835
elapsed-time: 10.4 3.9
head-timing-info:

old-timing-info:

head results:
polyml-5.8.1/libpolymain/polystub.c:28:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/interruptpoly/interruptpoly.c:56:54: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CP_WINANSI [valueFlowBailoutIncompleteVar]
polyml-5.8.1/interruptpoly/interruptpoly.c:83:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CBF_SKIP_CONNECT_CONFIRMS [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/bitmap.cpp:34:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/check_objects.cpp:27:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/diagnostics.cpp:28:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/basicio.cpp:38:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/gc.cpp:30:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/gc_check_weak_ref.cpp:33:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/exporter.cpp:26:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/gc_copy_phase.cpp:62:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/arb.cpp:52:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/globals.h:366:2: error: #error Poly/ML requires GCC version 3 or newer [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/errors.cpp:25:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/gc_update_phase.cpp:36:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/gc_mark_phase.cpp:61:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/gctaskfarm.cpp:26:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/gc_share_phase.cpp:78:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/heapsizing.cpp:33:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/libffi/src/debug.c:43:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/interpret.cpp:29:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/libffi/src/debug.c:54:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_LAST [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/bfin/ffi.c:110:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_OK [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/alpha/ffi.c:53:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_SIZEOF_ARG [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/alpha/ffi.c:88:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/alpha/ffi.c:182:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_OSF [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/java_raw_api.c:58:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_SIZEOF_JAVA_RAW [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/alpha/ffi.c:223:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/arc/ffi.c:57:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/java_raw_api.c:145:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_java_raw [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/arc/ffi.c:150:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_DOUBLE [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/java_raw_api.c:170:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable uint [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/arc/ffi.c:176:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/arc/ffi.c:209:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/arc/ffi.c:259:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_BAD_ABI [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/m32r/ffi.c:111:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi.c:96:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/m32r/ffi.c:151:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_INT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/m68k/ffi.c:51:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/frv/ffi.c:56:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/m32r/ffi.c:188:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/m68k/ffi.c:141:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable type [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/prep_cif.c:42:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_BAD_TYPEDEF [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/raw_api.c:45:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/tile/ffi.c:211:47: error: There is an unknown macro here somewhere. Configuration is required. If FFI_HIDDEN is a macro then please configure it. [unknownMacro]
polyml-5.8.1/libpolyml/libffi/src/frv/ffi.c:116:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/m68k/ffi.c:331:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_SYSV [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/mips/ffi.c:97:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/prep_cif.c:121:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_LAST_ABI [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/raw_api.c:113:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/frv/ffi.c:146:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/metag/ffi.c:47:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/mips/ffi.c:578:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_OK [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/raw_api.c:148:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable uint [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/frv/ffi.c:172:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/metag/ffi.c:107:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_BAD_TYPEDEF [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/mips/ffi.c:602:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/frv/ffi.c:287:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TRAMPOLINE_SIZE [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/metag/ffi.c:177:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_INT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/PolyPerf/PolyPerf.cpp:152:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MAX_PATH [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/cris/ffi.c:50:55: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_OK [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/metag/ffi.c:249:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_SYSV [valueFlowBailoutIncompleteVar]
polyml-5.8.1/PolyPerf/PolyPerf.cpp:446:56: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable DWORD [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/cris/ffi.c:169:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_LAST_ABI [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/metag/ffi.c:307:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/PolyPerf/PolyPerf.cpp:494:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ERROR_SUCCESS [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/cris/ffi.c:233:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_INT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/pa/ffi.c:65:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_UINT8 [valueFlowBailoutIncompleteVar]
polyml-5.8.1/PolyPerf/PolyPerf.cpp:531:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable HKEY_LOCAL_MACHINE [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/cris/ffi.c:253:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/pa/ffi.c:151:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __FUNCTION__ [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/cris/ffi.c:316:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable size [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/microblaze/ffi.c:56:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/pa/ffi.c:313:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UINT32 [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/cris/ffi.c:374:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_SYSV [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/microblaze/ffi.c:146:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_BAD_ABI [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/nios2/ffi.c:71:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_OK [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/pa/ffi.c:348:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_UINT64 [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/microblaze/ffi.c:159:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/nios2/ffi.c:228:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable size [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/pa/ffi.c:391:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/microblaze/ffi.c:210:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/nios2/ffi.c:262:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_SYSV [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/avr32/ffi.c:45:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/microblaze/ffi.c:318:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_BAD_ABI [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/avr32/ffi.c:80:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/vax/ffi.c:61:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/avr32/ffi.c:192:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_UINT8 [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/vax/ffi.c:132:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable type [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_fn4.c:64:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/aarch64/ffi.c:153:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UINT64 [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/avr32/ffi.c:252:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/vax/ffi.c:249:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_ELFBSD [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/aarch64/ffi.c:193:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UINT32 [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/avr32/ffi.c:288:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_fn5.c:63:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_stdcall.c:32:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_thiscall.c:32:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/aarch64/ffi.c:241:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_FLOAT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/avr32/ffi.c:398:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_SYSV [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/m88k/ffi.c:86:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/aarch64/ffi.c:261:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable type [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/m88k/ffi.c:228:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_OK [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/aarch64/ffi.c:298:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable type [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/ia64/ffi.c:96:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_LAST [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/m88k/ffi.c:243:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/moxie/ffi.c:46:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/aarch64/ffi.c:400:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/ia64/ffi.c:115:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_LAST [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/m88k/ffi.c:296:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/moxie/ffi.c:109:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/xtensa/ffi.c:66:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_UINT32 [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/aarch64/ffi.c:603:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UINT32 [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/arm/ffi.c:62:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/ia64/ffi.c:137:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_LAST [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/m88k/ffi.c:375:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_OBSD [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/moxie/ffi.c:139:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/sh64/ffi.c:40:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/xtensa/ffi.c:174:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_REGISTER_NARGS [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/aarch64/ffi.c:709:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_POINTER [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/arm/ffi.c:106:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_FLOAT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/ia64/ffi.c:170:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_VOID [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/moxie/ffi.c:164:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/sh64/ffi.c:69:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/xtensa/ffi.c:206:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/aarch64/ffi.c:772:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AARCH64_FFI_WITH_V_BIT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/arm/ffi.c:137:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/ia64/ffi.c:243:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LDBL_MANT_DIG [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/moxie/ffi.c:255:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_EABI [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/or1k/ffi.c:45:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/sh64/ffi.c:165:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/xtensa/ffi.c:237:56: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure_SYSV [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_12byte.c:46:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_1_1byte.c:47:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/aarch64/ffi.c:878:68: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UINT64 [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/arm/ffi.c:166:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_VFP [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/ia64/ffi.c:283:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_UNIX [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/or1k/ffi.c:129:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/sh64/ffi.c:265:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/xtensa/ffi.c:259:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_SYSV [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_16byte.c:47:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/aarch64/ffi.c:934:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_SYSV [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/arm/ffi.c:253:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_SINT64 [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/ia64/ffi.c:433:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_UNIX [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/or1k/ffi.c:166:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable sp [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/sh/ffi.c:48:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/sh64/ffi.c:305:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_SYSV [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/aarch64/ffi.c:1080:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_POINTER [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/arm/ffi.c:294:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_VFP [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/ia64/ffi.c:465:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/or1k/ffi.c:275:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_SYSV [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_sysv.c:71:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_SYSV_SOFT_FLOAT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/sh/ffi.c:61:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/sh64/ffi.c:365:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_18byte.c:51:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_20byte.c:47:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_20byte1.c:49:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_2byte.c:47:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/arm/ffi.c:309:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/or1k/ffi.c:308:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_sysv.c:153:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_SYSV_STRUCT_RET [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/sh/ffi.c:127:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_3_1byte.c:51:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_3byte1.c:47:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/arm/ffi.c:396:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_VFP [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_darwin.c:268:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable type [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_sysv.c:292:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_SYSV [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/sh/ffi.c:334:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/sparc/ffi.c:74:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_fn0.c:53:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_fn1.c:45:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_loc_fn0.c:57:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_type_uint64 [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_19byte.c:54:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/arm/ffi.c:421:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/java_raw_api.c:316:28: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_darwin.c:580:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_sysv.c:652:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_SYSV [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/sh/ffi.c:423:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/sparc/ffi.c:256:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_V9 [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_fn2.c:45:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_fn3.c:46:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_4byte.c:47:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/arm/ffi.c:463:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_VFP [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_darwin.c:629:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_sysv.c:715:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/sh/ffi.c:466:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_SYSV [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/sparc/ffi.c:350:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_SIZEOF_ARG [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/arm/ffi.c:781:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_SYSV [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_darwin.c:672:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_DARWIN [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/sh/ffi.c:532:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/sparc/ffi.c:395:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_fn6.c:54:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/arm/ffi.c:820:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_FLOAT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_darwin.c:926:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/sparc/ffi.c:510:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_V8 [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/arm/ffi.c:858:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_darwin.c:1018:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_DARWIN [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/sparc/ffi.c:554:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_3byte2.c:47:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/arm/ffi.c:876:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT_VFP_FLOAT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_darwin.c:1147:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/sparc/ffi.c:620:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_5_1_byte.c:55:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_24byte.c:58:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_6byte.c:53:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_8byte.c:46:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_9byte1.c:47:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/alpha/ffi.c:89:14: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_7byte.c:52:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/alpha/ffi.c:93:18: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_9byte2.c:47:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/alpha/ffi.c:217:12: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_4_1byte.c:53:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_5byte.c:50:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_6_1_byte.c:57:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_align_double.c:49:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/x86/ffi.c:55:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_PASCAL [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_align_longdouble.c:48:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/arc/ffi.c:178:21: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/src/m32r/ffi.c:66:15: warning: Identical inner 'if' condition is always true. [identicalInnerCondition]
polyml-5.8.1/libpolyml/libffi/src/m32r/ffi.c:57:25: note: outer condition: avn!=0
polyml-5.8.1/libpolyml/libffi/src/m32r/ffi.c:66:15: note: identical inner condition: avn!=0
polyml-5.8.1/libpolyml/libffi/src/x86/ffi.c:265:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_SINT64 [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_7_1_byte.c:59:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/arc/ffi.c:206:24: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/src/x86/ffi.c:369:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/x86/ffi.c:529:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_PASCAL [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_align_pointer.c:51:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/x86/ffi.c:738:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_SYSV [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_align_sint32.c:47:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_double.c:24:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/prep_cif.c:49:20: style: Condition 'ptr==0' is always false [knownConditionTrueFalse]
polyml-5.8.1/libpolyml/libffi/src/raw_api.c:206:28: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/src/x86/ffi.c:802:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_SYSV [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_align_float.c:47:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi.c:97:19: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/src/x86/ffi.c:848:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_THISCALL [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_dbls_struct.c:34:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_double_va.c:27:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_float.c:25:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/mips/ffi.c:603:19: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/src/x86/ffi.c:892:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_align_uint32.c:47:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/s390/ffi.c:123:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_UINT8 [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_align_sint64.c:48:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_align_uint64.c:49:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/s390/ffi.c:218:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_align_sint16.c:47:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_longdouble_va.c:27:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/s390/ffi.c:427:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_multi_schar.c:40:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/s390/ffi.c:598:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_multi_sshort.c:40:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/s390/ffi.c:764:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_SYSV [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/m68k/ffi.c:235:19: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_align_uint16.c:47:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/m68k/ffi.c:315:23: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_multi_ushort.c:40:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_multi_sshortchar.c:45:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/alpha/ffi.c:141:9: portability: Casting between unsigned long * and double * which have an incompatible binary data representation. [invalidPointerCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_pointer.c:36:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/alpha/ffi.c:144:7: portability: Casting between unsigned long * and float * which have an incompatible binary data representation. [invalidPointerCast]
polyml-5.8.1/libpolyml/libffi/src/nios2/ffi.c:282:24: style: Operator '|' with one operand equal to zero is redundant. [badBitmaskCheck]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_multi_uchar.c:51:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_schar.c:25:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/alpha/ffi.c:148:5: portability: Casting between unsigned long * and double * which have an incompatible binary data representation. [invalidPointerCast]
polyml-5.8.1/libpolyml/libffi/src/nios2/ffi.c:284:24: style: Operator '|' with one operand equal to zero is redundant. [badBitmaskCheck]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_sint.c:23:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/alpha/ffi.c:258:9: portability: Casting between unsigned long * and float * which have an incompatible binary data representation. [invalidPointerCast]
polyml-5.8.1/libpolyml/libffi/src/nios2/ffi.c:286:24: style: Operator '|' with one operand equal to zero is redundant. [badBitmaskCheck]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_sshort.c:23:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/alpha/ffi.c:258:37: portability: Casting between unsigned long * and double * which have an incompatible binary data representation. [invalidPointerCast]
polyml-5.8.1/libpolyml/libffi/src/debug.c:41:23: style: Parameter 'expr' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/src/frv/ffi.c:148:21: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/src/m32r/ffi.c:190:21: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_multi_ushortchar.c:45:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/bfin/ffi.c:144:35: style:inconclusive: Function 'ffi_prep_args' argument 1 names different: declaration '<unnamed>' definition 'stack'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/debug.c:41:35: style: Parameter 'file' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/src/frv/ffi.c:186:19: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_pointer_stack.c:99:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_uchar.c:23:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/bfin/ffi.c:144:56: style:inconclusive: Function 'ffi_prep_args' argument 2 names different: declaration '<unnamed>' definition 'ecif'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/debug.c:50:30: style: Parameter 'a' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_uchar_va.c:26:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_uint.c:24:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/pa/ffi.c:394:21: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_align_longdouble_split2.c:64:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_uint_va.c:27:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/arc/ffi.c:115:4: style:inconclusive: Found duplicate branches for 'if' and 'else'. [duplicateBranch]
polyml-5.8.1/libpolyml/libffi/src/arc/ffi.c:119:4: note: Found duplicate branches for 'if' and 'else'.
polyml-5.8.1/libpolyml/libffi/src/arc/ffi.c:115:4: note: Found duplicate branches for 'if' and 'else'.
polyml-5.8.1/libpolyml/libffi/src/microblaze/ffi.c:160:17: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_align_longdouble_split.c:84:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_ulong_va.c:27:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/microblaze/ffi.c:190:21: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/src/mips/ffi.c:185:4: portability: Casting between char * and float * which have an incompatible binary data representation. [invalidPointerCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_ulonglong.c:25:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_ushort.c:24:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/microblaze/ffi.c:191:18: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/src/vax/ffi.c:176:19: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_ushort_va.c:26:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/err_bad_abi.c:20:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/err_bad_typedef.c:16:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_type_void [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/java_raw_api.c:45:29: style: Parameter 'cif' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/src/metag/ffi.c:189:17: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/src/vax/ffi.c:232:24: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/src/java_raw_api.c:76:36: style: Parameter 'cif' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/src/metag/ffi.c:278:22: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/src/java_raw_api.c:157:36: style: Parameter 'cif' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_fn4.c:78:3: portability: Casting non-zero decimal integer literal to pointer. [intToPointerCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis1_win32.c:24:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_type_pointer [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/java_raw_api.c:246:34: style: Parameter 'cif' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis2_win32.c:24:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_type_pointer [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/java_raw_api.c:246:45: style: Parameter 'rvalue' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/src/nios2/ffi.c:168:19: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/src/java_raw_api.c:278:34: style: Parameter 'cif' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/src/nios2/ffi.c:208:24: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_fn5.c:81:3: portability: Casting non-zero decimal integer literal to pointer. [intToPointerCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_stdcall.c:49:3: portability: Casting non-zero decimal integer literal to pointer. [intToPointerCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_thiscall.c:49:3: portability: Casting non-zero decimal integer literal to pointer. [intToPointerCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis3_win32.c:25:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_type_sint [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/float1.c:33:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_type_float [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/java_raw_api.c:278:45: style: Parameter 'rvalue' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/float2.c:26:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_type_float [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_longdouble.c:55:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/float.c:32:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_type_sint [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/float4.c:35:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_type_double [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/cris/ffi.c:255:21: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/src/cris/ffi.c:307:19: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_64byte.c:63:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/xtensa/ffi.c:208:13: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/float3.c:33:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_type_float [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/many.c:37:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_type_float [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/many2.c:43:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_type_uint8 [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/microblaze/ffi.c:49:11: warning: Either the condition 'ecif==NULL' is redundant or there is possible null pointer dereference: ecif. [nullPointerRedundantCheck]
polyml-5.8.1/libpolyml/libffi/src/microblaze/ffi.c:51:11: note: Assuming that condition 'ecif==NULL' is not redundant
polyml-5.8.1/libpolyml/libffi/src/microblaze/ffi.c:49:11: note: Null pointer dereference
polyml-5.8.1/libpolyml/libffi/src/xtensa/ffi.c:273:12: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/many2_win32.c:40:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_type_float [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_struct_va1.c:46:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/many_win32.c:40:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_type_float [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/avr32/ffi.c:253:23: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/negint.c:28:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_type_sint [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/avr32/ffi.c:380:25: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/float_va.c:63:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_type_uint [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/sh64/ffi.c:271:21: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/src/raw_api.c:35:24: style: Parameter 'cif' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/src/sh64/ffi.c:361:12: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/src/raw_api.c:57:31: style: Parameter 'cif' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_darwin.c:884:19: style: The if condition is the same as the previous if condition [duplicateCondition]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_darwin.c:872:19: note: First condition
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_darwin.c:884:19: note: Second condition
polyml-5.8.1/libpolyml/libffi/src/raw_api.c:138:31: style: Parameter 'cif' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/src/sh/ffi.c:429:21: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/src/moxie/ffi.c:141:21: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/src/sh/ffi.c:528:12: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/src/moxie/ffi.c:184:19: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/src/m68k/ffi.c:253:67: style: Parameter 'cif' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/src/m88k/ffi.c:246:19: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/src/m88k/ffi.c:358:23: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_fn4.c:15:10: style: Parameter 'userdata' can be declared as pointer to const. However it seems that 'closure_test_fn0' is a callback function, if 'userdata' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_fn4.c:78:3: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_fn4.c:15:10: note: Parameter 'userdata' can be declared as pointer to const
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/return_dbl.c:22:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_type_double [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/nested_struct2.c:53:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/promotion.c:29:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_type_schar [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_fn5.c:14:10: style: Parameter 'userdata' can be declared as pointer to const. However it seems that 'closure_test_fn5' is a callback function, if 'userdata' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_fn5.c:81:3: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_fn5.c:14:10: note: Parameter 'userdata' can be declared as pointer to const
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_stdcall.c:12:10: style: Parameter 'userdata' can be declared as pointer to const. However it seems that 'closure_test_stdcall' is a callback function, if 'userdata' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_stdcall.c:49:3: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_stdcall.c:12:10: note: Parameter 'userdata' can be declared as pointer to const
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_thiscall.c:12:15: style: Parameter 'userdata' can be declared as pointer to const. However it seems that 'closure_test_thiscall' is a callback function, if 'userdata' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_thiscall.c:49:3: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_thiscall.c:12:15: note: Parameter 'userdata' can be declared as pointer to const
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/nested_struct3.c:54:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/return_fl.c:21:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_type_float [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_stdcall.c:35:9: style: Variable 'sp_pre' can be declared as pointer to const [constVariablePointer]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_thiscall.c:35:9: style: Variable 'sp_pre' can be declared as pointer to const [constVariablePointer]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/nested_struct4.c:54:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/problem1.c:49:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/return_dbl1.c:22:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_type_double [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/return_dbl2.c:21:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_type_double [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/ia64/ffi.c:287:14: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_stdcall.c:36:9: style: Variable 'sp_post' can be declared as pointer to const [constVariablePointer]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_thiscall.c:36:9: style: Variable 'sp_post' can be declared as pointer to const [constVariablePointer]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/nested_struct5.c:54:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/return_fl1.c:21:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_type_float [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/ia64/ffi.c:290:11: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/nested_struct7.c:54:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/frv/ffi.c:253:15: style: Parameter 'codeloc' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/src/ia64/ffi.c:461:12: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/src/or1k/ffi.c:181:19: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/return_fl2.c:26:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_type_float [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/return_ldl.c:21:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_type_longdouble [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/ia64/ffi.c:552:16: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/src/vax/ffi.c:226:40: style:inconclusive: Function 'ffi_closure_elfbsd_inner' argument 1 names different: declaration '<unnamed>' definition 'closure'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_align_pointer.c:25:3: portability: %u in format string (no. 2) requires 'unsigned int' but the argument type is 'uintptr_t {aka unsigned long}'. [invalidPrintfArgType_uint]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/return_fl3.c:21:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_type_float [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/return_ll.c:22:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_type_sint64 [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/vax/ffi.c:226:55: style:inconclusive: Function 'ffi_closure_elfbsd_inner' argument 2 names different: declaration '<unnamed>' definition 'resp'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_loc_fn0.c:83:3: portability: Casting non-zero decimal integer literal to pointer. [intToPointerCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_align_pointer.c:25:3: portability: %u in format string (no. 5) requires 'unsigned int' but the argument type is 'uintptr_t {aka unsigned long}'. [invalidPrintfArgType_uint]
polyml-5.8.1/libpolyml/libffi/src/metag/ffi.c:294:47: style:inconclusive: Function 'ffi_prep_incoming_args_SYSV' argument 1 names different: declaration '<unnamed>' definition 'stack'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/pa/ffi.c:54:45: style: Parameter 't' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/src/vax/ffi.c:226:67: style:inconclusive: Function 'ffi_closure_elfbsd_inner' argument 3 names different: declaration '<unnamed>' definition 'stack'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/xtensa/ffi.c:271:3: style: Variable 'cif' is assigned an expression that holds the same value. [redundantAssignment]
polyml-5.8.1/libpolyml/libffi/src/xtensa/ffi.c:258:7: note: cif is assigned 'closure->cif' here.
polyml-5.8.1/libpolyml/libffi/src/xtensa/ffi.c:259:16: note: Assuming condition is false
polyml-5.8.1/libpolyml/libffi/src/xtensa/ffi.c:271:3: note: Variable 'cif' is assigned an expression that holds the same value.
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_align_pointer.c:25:3: portability: %u in format string (no. 8) requires 'unsigned int' but the argument type is 'uintptr_t {aka unsigned long}'. [invalidPrintfArgType_uint]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/return_ll1.c:24:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_type_sint [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/return_sc.c:22:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_type_schar [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/metag/ffi.c:294:61: style:inconclusive: Function 'ffi_prep_incoming_args_SYSV' argument 2 names different: declaration '<unnamed>' definition 'rvalue'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_align_pointer.c:84:3: portability: %u in format string (no. 2) requires 'unsigned int' but the argument type is 'uintptr_t {aka unsigned long}'. [invalidPrintfArgType_uint]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_uint.c:15:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/return_sl.c:22:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_type_slong [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/metag/ffi.c:295:9: style:inconclusive: Function 'ffi_prep_incoming_args_SYSV' argument 3 names different: declaration '<unnamed>' definition 'avalue'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_align_pointer.c:91:3: portability: %u in format string (no. 2) requires 'unsigned int' but the argument type is 'uintptr_t {aka unsigned long}'. [invalidPrintfArgType_uint]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_uint.c:39:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/return_uc.c:24:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_type_uchar [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/metag/ffi.c:295:26: style:inconclusive: Function 'ffi_prep_incoming_args_SYSV' argument 4 names different: declaration '<unnamed>' definition 'cif'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_align_uint32.c:25:3: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_uint_va.c:18:4: portability: %d in format string (no. 2) requires 'int' but the argument type is 'T {aka unsigned int}'. [invalidPrintfArgType_sint]
polyml-5.8.1/libpolyml/libffi/src/metag/ffi.c:296:9: style:inconclusive: Function 'ffi_prep_incoming_args_SYSV' argument 5 names different: declaration '<unnamed>' definition 'vfp_stack'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/microblaze/ffi.c:138:42: style: Parameter 'cif' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_align_uint32.c:25:3: warning: %d in format string (no. 5) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_align_uint64.c:27:3: warning: %lld in format string (no. 2) requires 'long long' but the argument type is 'unsigned long long'. [invalidPrintfArgType_sint]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_uint_va.c:18:4: portability: %d in format string (no. 3) requires 'int' but the argument type is 'T {aka unsigned int}'. [invalidPrintfArgType_sint]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_ulong_va.c:18:4: portability: %ld in format string (no. 1) requires 'long' but the argument type is 'T {aka unsigned long}'. [invalidPrintfArgType_sint]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_ulonglong.c:38:3: warning: %lld in format string (no. 1) requires 'long long' but the argument type is 'unsigned long long'. [invalidPrintfArgType_sint]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/return_ul.c:22:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_type_ulong [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/microblaze/ffi.c:177:34: style: Parameter 'register_args' can be declared as pointer to const. However it seems that 'ffi_closure_call_SYSV' is a callback function, if 'register_args' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/src/microblaze/ffi.c:285:54: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/src/microblaze/ffi.c:177:34: note: Parameter 'register_args' can be declared as pointer to const
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_align_uint32.c:25:3: warning: %d in format string (no. 8) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_align_uint64.c:27:3: warning: %lld in format string (no. 5) requires 'long long' but the argument type is 'unsigned long long'. [invalidPrintfArgType_sint]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_uint_va.c:42:3: portability: %d in format string (no. 1) requires 'int' but the argument type is 'T {aka unsigned int}'. [invalidPrintfArgType_sint]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_ulong_va.c:18:4: portability: %ld in format string (no. 2) requires 'long' but the argument type is 'T {aka unsigned long}'. [invalidPrintfArgType_sint]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_ulonglong.c:43:3: warning: %lld in format string (no. 1) requires 'long long' but the argument type is 'unsigned long long'. [invalidPrintfArgType_sint]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/nested_struct10.c:62:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/microblaze/ffi.c:177:55: style: Parameter 'stack_args' can be declared as pointer to const. However it seems that 'ffi_closure_call_SYSV' is a callback function, if 'stack_args' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/src/microblaze/ffi.c:285:54: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/src/microblaze/ffi.c:177:55: note: Parameter 'stack_args' can be declared as pointer to const
polyml-5.8.1/libpolyml/libffi/src/sparc/ffi.c:398:9: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_align_uint32.c:80:3: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_align_uint64.c:27:3: warning: %lld in format string (no. 8) requires 'long long' but the argument type is 'unsigned long long'. [invalidPrintfArgType_sint]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_ulong_va.c:18:4: portability: %ld in format string (no. 3) requires 'long' but the argument type is 'T {aka unsigned long}'. [invalidPrintfArgType_sint]
polyml-5.8.1/libpolyml/libffi/src/microblaze/ffi.c:280:26: style: Parameter 'codeloc' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/src/sh64/ffi.c:374:3: style: Variable 'cif' is assigned an expression that holds the same value. [redundantAssignment]
polyml-5.8.1/libpolyml/libffi/src/sh64/ffi.c:360:7: note: cif is assigned 'closure->cif' here.
polyml-5.8.1/libpolyml/libffi/src/sh64/ffi.c:374:3: note: Variable 'cif' is assigned an expression that holds the same value.
polyml-5.8.1/libpolyml/libffi/src/sparc/ffi.c:403:20: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_align_uint32.c:87:3: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_align_uint64.c:82:3: warning: %lld in format string (no. 2) requires 'long long' but the argument type is 'unsigned long long'. [invalidPrintfArgType_sint]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_ulong_va.c:42:3: portability: %ld in format string (no. 1) requires 'long' but the argument type is 'T {aka unsigned long}'. [invalidPrintfArgType_sint]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/nested_struct6.c:61:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_sysv.c:706:12: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/src/sparc/ffi.c:550:12: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/src/vax/ffi.c:201:35: style: Parameter 'cif' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_align_uint64.c:89:3: warning: %lld in format string (no. 2) requires 'long long' but the argument type is 'unsigned long long'. [invalidPrintfArgType_sint]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/nested_struct.c:72:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/strlen.c:23:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_type_pointer [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/sparc/ffi.c:615:12: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/src/vax/ffi.c:247:9: style: Variable 'fn' can be declared as pointer to const [constVariablePointer]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/nested_struct8.c:61:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/nested_struct9.c:61:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/strlen2_win32.c:23:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_type_pointer [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/nios2/ffi.c:98:17: style: Variable 'atype' can be declared as pointer to const [constVariablePointer]
polyml-5.8.1/libpolyml/libffi/src/sh/ffi.c:540:3: style: Variable 'cif' is assigned an expression that holds the same value. [redundantAssignment]
polyml-5.8.1/libpolyml/libffi/src/sh/ffi.c:527:7: note: cif is assigned 'closure->cif' here.
polyml-5.8.1/libpolyml/libffi/src/sh/ffi.c:540:3: note: Variable 'cif' is assigned an expression that holds the same value.
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_fn0.c:79:3: portability: Casting non-zero decimal integer literal to pointer. [intToPointerCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_fn3.c:72:3: portability: Casting non-zero decimal integer literal to pointer. [intToPointerCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/strlen_win32.c:23:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_type_pointer [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/aarch64/ffi.c:968:28: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_fn1.c:71:3: portability: Casting non-zero decimal integer literal to pointer. [intToPointerCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_fn2.c:71:3: portability: Casting non-zero decimal integer literal to pointer. [intToPointerCast]
polyml-5.8.1/libpolyml/libffi/src/aarch64/ffi.c:1031:28: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/src/metag/ffi.c:245:8: style: Parameter 'codeloc' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_fn6.c:80:3: portability: Casting non-zero decimal integer literal to pointer. [intToPointerCast]
polyml-5.8.1/libpolyml/libffi/src/aarch64/ffi.c:1052:28: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/src/metag/ffi.c:295:26: style: Parameter 'cif' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/struct1.c:42:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/aarch64/ffi.c:1115:16: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_align_pointer.c:57:41: portability: Casting non-zero decimal integer literal to pointer. [intToPointerCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/struct1_win32.c:42:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/cris/ffi.c:371:15: style: Parameter 'codeloc' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_align_pointer.c:58:40: portability: Casting non-zero decimal integer literal to pointer. [intToPointerCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/struct2.c:39:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/cris/ffi.c:373:9: style: Variable 'innerfn' can be declared as pointer to const [constVariablePointer]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_darwin.c:928:21: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/nested_struct1.c:76:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/pyobjc-tc.c:49:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/struct2_win32.c:39:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_darwin.c:1145:12: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/struct3.c:37:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/PolyPerf/PolyPerf.cpp:145:10: warning: Class 'PolyProcess' does not have a copy constructor which is recommended since it has dynamic memory/resource management. [noCopyConstructor]
polyml-5.8.1/PolyPerf/PolyPerf.cpp:145:10: warning: Class 'PolyProcess' does not have a operator= which is recommended since it has dynamic memory/resource management. [noOperatorEq]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/struct4.c:40:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/avr32/ffi.c:43:45: style: Parameter 'type' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/struct5.c:39:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/struct6.c:39:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/avr32/ffi.c:270:29: style: Parameter 'cif' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/src/avr32/ffi.c:396:11: style: Parameter 'codeloc' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/src/microblaze/ffi.c:63:16: portability: 'stack_args_p' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
polyml-5.8.1/libpolyml/libffi/src/ia64/ffi.c:199:11: style: Redundant initialization for 'ptr'. The initialized value is overwritten before it is read. [redundantInitialization]
polyml-5.8.1/libpolyml/libffi/src/ia64/ffi.c:197:17: note: ptr is initialized
polyml-5.8.1/libpolyml/libffi/src/ia64/ffi.c:199:11: note: ptr is overwritten
polyml-5.8.1/libpolyml/libffi/src/microblaze/ffi.c:80:16: portability: 'stack_args_p' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/struct7.c:41:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/struct9.c:40:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_dbls_struct.c:23:26: style: Parameter 'cif' can be declared as pointer to const. However it seems that 'closure_test_gn' is a callback function, if 'cif' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_dbls_struct.c:57:2: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_dbls_struct.c:23:26: note: Parameter 'cif' can be declared as pointer to const
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_double_va.c:17:8: style: Variable 'format' can be declared as pointer to const [constVariablePointer]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/struct8.c:43:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/testclosure.c:22:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/uninitialized.c:31:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/sh64/ffi.c:37:24: style: Parameter 'arg' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_loc_fn0.c:17:10: style: Parameter 'userdata' can be declared as pointer to const. However it seems that 'closure_loc_test_fn0' is a callback function, if 'userdata' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_loc_fn0.c:83:3: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_loc_fn0.c:17:10: note: Parameter 'userdata' can be declared as pointer to const
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_dbls_struct.c:23:48: style: Parameter 'resp' can be declared as pointer to const. However it seems that 'closure_test_gn' is a callback function, if 'resp' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_dbls_struct.c:57:2: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_dbls_struct.c:23:48: note: Parameter 'resp' can be declared as pointer to const
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/testclosure.c:41:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/m88k/ffi.c:72:22: style:inconclusive: Function 'ffi_prep_args' argument 1 names different: declaration '<unnamed>' definition 'stack'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_dbls_struct.c:24:22: style: Parameter 'userdata' can be declared as pointer to const. However it seems that 'closure_test_gn' is a callback function, if 'userdata' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_dbls_struct.c:57:2: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_dbls_struct.c:24:22: note: Parameter 'userdata' can be declared as pointer to const
polyml-5.8.1/libpolyml/libffi/src/m88k/ffi.c:72:43: style:inconclusive: Function 'ffi_prep_args' argument 2 names different: declaration '<unnamed>' definition 'ecif'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/sparc/ffi.c:214:9: portability: Casting between char * and float * which have an incompatible binary data representation. [invalidPointerCast]
polyml-5.8.1/libpolyml/locking.cpp:26:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/libffi/src/m88k/ffi.c:351:38: style:inconclusive: Function 'ffi_closure_OBSD_inner' argument 1 names different: declaration '<unnamed>' definition 'closure'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/moxie/ffi.c:249:15: style: Parameter 'codeloc' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/src/sparc/ffi.c:648:8: portability:inconclusive: Casting from double * to char * is not portable due to different binary data representations on different platforms. [invalidPointerCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_longdouble_va.c:17:9: style: Variable 'format' can be declared as pointer to const [constVariablePointer]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest_ffi_call.cc:28:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_type_sint [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/m88k/ffi.c:351:53: style:inconclusive: Function 'ffi_closure_OBSD_inner' argument 2 names different: declaration '<unnamed>' definition 'resp'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/sparc/ffi.c:670:19: portability:inconclusive: Casting from double * to char * is not portable due to different binary data representations on different platforms. [invalidPointerCast]
polyml-5.8.1/libpolyml/libffi/src/xtensa/ffi.c:159:39: warning:inconclusive: Division of result of sizeof() on pointer type. [divideSizeof]
polyml-5.8.1/libpolyml/libffi/src/m88k/ffi.c:351:73: style:inconclusive: Function 'ffi_closure_OBSD_inner' argument 3 names different: declaration '<unnamed>' definition 'regp'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/mpoly.cpp:29:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/libffi/src/m88k/ffi.c:352:10: style:inconclusive: Function 'ffi_closure_OBSD_inner' argument 4 names different: declaration '<unnamed>' definition 'stackp'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/memmgr.cpp:25:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/objsize.cpp:28:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/stret_medium.c:65:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/osmem.cpp:26:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis1_win32.c:38:5: style: Variable 's' is reassigned a value before the old one has been used. [redundantAssignment]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis1_win32.c:33:5: note: s is assigned
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis1_win32.c:38:5: note: s is overwritten
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/stret_medium2.c:66:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/network.cpp:25:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/pecoffexport.cpp:26:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/libffi/src/arm/ffi.c:324:21: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_darwin.c:120:22: portability: Casting between unsigned long * const and double * which have an incompatible binary data representation. [invalidPointerCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis1_win32.c:43:5: style: Variable 's' is reassigned a value before the old one has been used. [redundantAssignment]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis1_win32.c:38:5: note: s is assigned
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis1_win32.c:43:5: note: s is overwritten
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis2_win32.c:38:5: style: Variable 's' is reassigned a value before the old one has been used. [redundantAssignment]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis2_win32.c:33:5: note: s is assigned
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis2_win32.c:38:5: note: s is overwritten
polyml-5.8.1/libpolyml/libffi/src/arm/ffi.c:331:21: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_darwin.c:163:5: portability: Casting between unsigned long * and double * which have an incompatible binary data representation. [invalidPointerCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_fn0.c:17:10: style: Parameter 'userdata' can be declared as pointer to const. However it seems that 'closure_test_fn0' is a callback function, if 'userdata' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_fn0.c:79:3: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_fn0.c:17:10: note: Parameter 'userdata' can be declared as pointer to const
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_fn3.c:13:15: style: Parameter 'userdata' can be declared as pointer to const. However it seems that 'closure_test_fn3' is a callback function, if 'userdata' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_fn3.c:72:3: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_fn3.c:13:15: note: Parameter 'userdata' can be declared as pointer to const
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_pointer.c:10:28: style: Parameter 'a1' can be declared as pointer to const. However it seems that 'cls_pointer_fn' is a callback function, if 'a1' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_pointer.c:61:24: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_pointer.c:10:28: note: Parameter 'a1' can be declared as pointer to const
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis1_win32.c:44:6: style: Variable 'v2' is reassigned a value before the old one has been used. [redundantAssignment]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis1_win32.c:39:6: note: v2 is assigned
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis1_win32.c:44:6: note: v2 is overwritten
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis2_win32.c:43:5: style: Variable 's' is reassigned a value before the old one has been used. [redundantAssignment]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis2_win32.c:38:5: note: s is assigned
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis2_win32.c:43:5: note: s is overwritten
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:63:62: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/pexport.cpp:26:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/poly_specific.cpp:29:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/libffi/src/arm/ffi.c:389:26: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/src/avr32/ffi.c:310:45: portability: '(void*)stack_base' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_darwin.c:175:5: portability: Casting between unsigned long * and double * which have an incompatible binary data representation. [invalidPointerCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_fn1.c:14:15: style: Parameter 'userdata' can be declared as pointer to const. However it seems that 'closure_test_fn1' is a callback function, if 'userdata' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_fn1.c:71:3: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_fn1.c:14:15: note: Parameter 'userdata' can be declared as pointer to const
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_fn2.c:13:15: style: Parameter 'userdata' can be declared as pointer to const. However it seems that 'closure_test_fn2' is a callback function, if 'userdata' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_fn2.c:71:3: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_fn2.c:13:15: note: Parameter 'userdata' can be declared as pointer to const
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_pointer.c:10:38: style: Parameter 'a2' can be declared as pointer to const. However it seems that 'cls_pointer_fn' is a callback function, if 'a2' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_pointer.c:61:24: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_pointer.c:10:38: note: Parameter 'a2' can be declared as pointer to const
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis2_win32.c:44:6: style: Variable 'v2' is reassigned a value before the old one has been used. [redundantAssignment]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis2_win32.c:39:6: note: v2 is assigned
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis2_win32.c:44:6: note: v2 is overwritten
polyml-5.8.1/libpolyml/polyffi.cpp:26:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/libffi/src/avr32/ffi.c:320:43: portability: '(void*)reg_base' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
polyml-5.8.1/libpolyml/libffi/src/nios2/ffi.c:246:10: error: Uninitialized variable: result [legacyUninitvar]
polyml-5.8.1/libpolyml/libffi/src/x86/ffi.c:372:21: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_fn6.c:13:10: style: Parameter 'userdata' can be declared as pointer to const. However it seems that 'closure_test_fn0' is a callback function, if 'userdata' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_fn6.c:80:3: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/closure_fn6.c:13:10: note: Parameter 'userdata' can be declared as pointer to const
polyml-5.8.1/libpolyml/polystring.cpp:26:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/libffi/src/avr32/ffi.c:327:47: portability: '(void*)reg_base' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
polyml-5.8.1/libpolyml/libffi/src/m88k/ffi.c:267:38: style: Parameter 'cif' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/src/x86/ffi.c:479:26: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/float_va.c:35:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/va_struct1.c:68:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/process_env.cpp:25:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/libffi/src/avr32/ffi.c:332:47: portability: '(void*)reg_base' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
polyml-5.8.1/libpolyml/libffi/src/m88k/ffi.c:373:9: style: Variable 'fn' can be declared as pointer to const [constVariablePointer]
polyml-5.8.1/libpolyml/libffi/src/or1k/ffi.c:269:29: style: Parameter 'codeloc' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/src/x86/ffi.c:503:26: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/nested_struct11.c:68:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/va_struct2.c:70:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/avr32/ffi.c:340:41: portability: '(void*)stack_base' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
polyml-5.8.1/libpolyml/libffi/src/x86/ffi.c:895:21: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis3_win32.c:42:5: style: Variable 's' is reassigned a value before the old one has been used. [redundantAssignment]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis3_win32.c:36:5: note: s is assigned
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis3_win32.c:42:5: note: s is overwritten
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/va_struct3.c:72:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/profiling.cpp:29:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/libffi/src/ia64/ffi.c:111:23: style: Parameter 'fpaddr' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis3_win32.c:44:6: style: Variable 'v1' is reassigned a value before the old one has been used. [redundantAssignment]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis3_win32.c:37:6: note: v1 is assigned
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis3_win32.c:44:6: note: v1 is overwritten
polyml-5.8.1/libpolyml/quick_gc.cpp:30:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/libffi/src/ia64/ffi.c:111:47: style: Parameter 'addr' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/err_bad_abi.c:12:19: style: Parameter 'cif' can be declared as pointer to const. However it seems that 'dummy_fn' is a callback function, if 'cif' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/err_bad_abi.c:33:2: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/err_bad_abi.c:12:19: note: Parameter 'cif' can be declared as pointer to const
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis3_win32.c:48:5: style: Variable 's' is reassigned a value before the old one has been used. [redundantAssignment]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis3_win32.c:42:5: note: s is assigned
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis3_win32.c:48:5: note: s is overwritten
polyml-5.8.1/libpolyml/processes.cpp:27:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/libffi/src/ia64/ffi.c:431:19: style: Variable 'fd' can be declared as pointer to const [constVariablePointer]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_sysv.c:290:29: style:inconclusive: Function 'ffi_prep_cif_sysv' argument 1 names different: declaration '<unnamed>' definition 'cif'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/err_bad_abi.c:12:41: style: Parameter 'resp' can be declared as pointer to const. However it seems that 'dummy_fn' is a callback function, if 'resp' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/err_bad_abi.c:33:2: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/err_bad_abi.c:12:41: note: Parameter 'resp' can be declared as pointer to const
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis3_win32.c:49:6: style: Variable 'v2' is reassigned a value before the old one has been used. [redundantAssignment]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis3_win32.c:43:6: note: v2 is assigned
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis3_win32.c:49:6: note: v2 is overwritten
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_sysv.c:685:39: style:inconclusive: Function 'ffi_closure_helper_SYSV' argument 1 names different: declaration '<unnamed>' definition 'closure'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/err_bad_abi.c:13:33: style: Parameter 'userdata' can be declared as pointer to const. However it seems that 'dummy_fn' is a callback function, if 'userdata' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/err_bad_abi.c:33:2: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/err_bad_abi.c:13:33: note: Parameter 'userdata' can be declared as pointer to const
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis3_win32.c:50:6: style: Variable 'v1' is reassigned a value before the old one has been used. [redundantAssignment]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis3_win32.c:44:6: note: v1 is assigned
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis3_win32.c:50:6: note: v1 is overwritten
polyml-5.8.1/libpolyml/reals.cpp:30:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/rts_module.cpp:27:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_sysv.c:685:54: style:inconclusive: Function 'ffi_closure_helper_SYSV' argument 2 names different: declaration '<unnamed>' definition 'rvalue'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/rtsentry.cpp:26:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_sysv.c:686:20: style:inconclusive: Function 'ffi_closure_helper_SYSV' argument 3 names different: declaration '<unnamed>' definition 'pgr'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/run_time.cpp:30:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_sysv.c:686:36: style:inconclusive: Function 'ffi_closure_helper_SYSV' argument 4 names different: declaration '<unnamed>' definition 'pfr'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/return_sl.c:34:3: warning: %ld in format string (no. 2) requires 'long' but the argument type is 'unsigned long'. [invalidPrintfArgType_sint]
polyml-5.8.1/libpolyml/save_vec.cpp:28:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_sysv.c:687:20: style:inconclusive: Function 'ffi_closure_helper_SYSV' argument 5 names different: declaration '<unnamed>' definition 'pst'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/xtensa/ffi.c:112:13: style: union member 'Anonymous0::f' is never used. [unusedStructMember]
polyml-5.8.1/libpolyml/libffi/src/xtensa/ffi.c:113:14: style: union member 'Anonymous0::d' is never used. [unusedStructMember]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_multi_uchar.c:40:25: style: Parameter 'cif' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/stret_large.c:79:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/realconv.cpp:202:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/scanaddrs.cpp:26:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_multi_uchar.c:40:47: style: Parameter 'rval' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_multi_uchar.c:41:15: style: Parameter 'data' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/sharedata.cpp:28:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/sighandler.cpp:26:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/savestate.cpp:27:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/statistics.cpp:25:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/libffi/src/sparc/ffi.c:386:9: style: Variable 'rval' can be declared as pointer to const [constVariablePointer]
polyml-5.8.1/libpolyml/timing.cpp:30:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_darwin.c:1078:20: style:inconclusive: Function 'flush_icache' argument 1 names different: declaration '<unnamed>' definition 'addr'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/sparc/ffi.c:493:15: style: Parameter 'codeloc' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis1_win32.c:11:48: style: Parameter 's' can be declared as pointer to const. However it seems that 'my_fastcall_f' is a callback function, if 's' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis1_win32.c:45:25: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis1_win32.c:11:48: note: Parameter 's' can be declared as pointer to const
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/stret_large2.c:81:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/arm/ffi.c:107:5: portability: Casting between char * and float * which have an incompatible binary data representation. [invalidPointerCast]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_darwin.c:1092:20: style:inconclusive: Function 'flush_range' argument 1 names different: declaration '<unnamed>' definition 'addr1'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_sysv.c:632:21: style: Parameter 'wraddr' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis2_win32.c:11:57: style: Parameter 's' can be declared as pointer to const. However it seems that 'my_fastcall_f' is a callback function, if 's' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis2_win32.c:45:25: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis2_win32.c:11:57: note: Parameter 's' can be declared as pointer to const
polyml-5.8.1/libpolyml/libffi/src/aarch64/ffi.c:437:32: style: Parameter 'state' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/src/arm/ffi.c:113:5: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast]
polyml-5.8.1/libpolyml/libffi/src/avr32/ffi.c:90:13: style: Variable 'alignment' is assigned a value that is never used. [unreadVariable]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_darwin.c:1092:31: style:inconclusive: Function 'flush_range' argument 2 names different: declaration '<unnamed>' definition 'size'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_sysv.c:632:35: style: Parameter 'xaddr' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/unix_specific.cpp:29:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/winbasicio.cpp:31:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/libffi/src/aarch64/ffi.c:446:32: style: Parameter 'state' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_darwin.c:1119:41: style:inconclusive: Function 'ffi_closure_helper_DARWIN' argument 1 names different: declaration '<unnamed>' definition 'closure'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/sh/ffi.c:325:13: style: Unused variable: type [unusedVariable]
polyml-5.8.1/libpolyml/windows_specific.cpp:25:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/winguiconsole.cpp:26:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/winstartup.cpp:28:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/libffi/src/ia64/ffi.c:371:18: portability: 'avalue[i]' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_darwin.c:1119:56: style:inconclusive: Function 'ffi_closure_helper_DARWIN' argument 2 names different: declaration '<unnamed>' definition 'rvalue'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/ia64/ffi.c:560:38: portability: 'addr' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_darwin.c:1120:22: style:inconclusive: Function 'ffi_closure_helper_DARWIN' argument 3 names different: declaration '<unnamed>' definition 'pgr'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/ia64/ffi.c:568:18: portability: 'addr' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_darwin.c:1120:38: style:inconclusive: Function 'ffi_closure_helper_DARWIN' argument 4 names different: declaration '<unnamed>' definition 'pfr'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/x86_dep.cpp:29:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/polyimport.c:27:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis3_win32.c:11:57: style: Parameter 's' can be declared as pointer to const. However it seems that 'my_fastcall_f' is a callback function, if 's' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis3_win32.c:51:25: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/fastthis3_win32.c:11:57: note: Parameter 's' can be declared as pointer to const
polyml-5.8.1/samplecode/Foreign/ForeignTest.c:91:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/x86/ffi.c:229:5: style:inconclusive: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak]
polyml-5.8.1/samplecode/Foreign/ForeignTest.c:98:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_darwin.c:1012:11: style: Variable 'fd' can be declared as pointer to const [constVariablePointer]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_darwin.c:1078:20: style: Parameter 'addr' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_darwin.c:1138:20: style: Variable 'end_pfr' can be declared as pointer to const [constVariablePointer]
polyml-5.8.1/libpolyml/libffi/src/aarch64/ffi.c:497:22: portability: 'stack' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
polyml-5.8.1/libpolyml/libffi/src/aarch64/ffi.c:581:11: portability: 'memory' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
polyml-5.8.1/libpolyml/libffi/src/aarch64/ffi.c:873:11: portability: 'rvalue' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
polyml-5.8.1/libpolyml/libffi/src/arm/ffi.c:408:49: style:inconclusive: Function 'ffi_prep_incoming_args_SYSV' argument 2 names different: declaration 'ret' definition 'rvalue'. [funcArgNamesDifferent]
polyml-5.8.1/libpolyml/libffi/src/arm/ffi.c:368:62: note: Function 'ffi_prep_incoming_args_SYSV' argument 2 names different: declaration 'ret' definition 'rvalue'.
polyml-5.8.1/libpolyml/libffi/src/arm/ffi.c:408:49: note: Function 'ffi_prep_incoming_args_SYSV' argument 2 names different: declaration 'ret' definition 'rvalue'.
polyml-5.8.1/libpolyml/libffi/src/aarch64/ffi.c:1155:12: portability: 'rvalue' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
polyml-5.8.1/libpolyml/libffi/src/arm/ffi.c:409:15: style:inconclusive: Function 'ffi_prep_incoming_args_SYSV' argument 3 names different: declaration 'args' definition 'avalue'. [funcArgNamesDifferent]
polyml-5.8.1/libpolyml/libffi/src/arm/ffi.c:369:14: note: Function 'ffi_prep_incoming_args_SYSV' argument 3 names different: declaration 'args' definition 'avalue'.
polyml-5.8.1/libpolyml/libffi/src/arm/ffi.c:409:15: note: Function 'ffi_prep_incoming_args_SYSV' argument 3 names different: declaration 'args' definition 'avalue'.
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_struct_va1.c:35:3: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
polyml-5.8.1/libpolyml/libffi/src/arm/ffi.c:449:48: style:inconclusive: Function 'ffi_prep_incoming_args_VFP' argument 2 names different: declaration 'ret' definition 'rvalue'. [funcArgNamesDifferent]
polyml-5.8.1/libpolyml/libffi/src/arm/ffi.c:371:61: note: Function 'ffi_prep_incoming_args_VFP' argument 2 names different: declaration 'ret' definition 'rvalue'.
polyml-5.8.1/libpolyml/libffi/src/arm/ffi.c:449:48: note: Function 'ffi_prep_incoming_args_VFP' argument 2 names different: declaration 'ret' definition 'rvalue'.
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_struct_va1.c:35:3: warning: %d in format string (no. 5) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/strlen.c:34:5: style: Variable 's' is reassigned a value before the old one has been used. [redundantAssignment]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/strlen.c:30:5: note: s is assigned
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/strlen.c:34:5: note: s is overwritten
polyml-5.8.1/libpolyml/libffi/src/arm/ffi.c:450:15: style:inconclusive: Function 'ffi_prep_incoming_args_VFP' argument 3 names different: declaration 'args' definition 'avalue'. [funcArgNamesDifferent]
polyml-5.8.1/libpolyml/libffi/src/arm/ffi.c:372:14: note: Function 'ffi_prep_incoming_args_VFP' argument 3 names different: declaration 'args' definition 'avalue'.
polyml-5.8.1/libpolyml/libffi/src/arm/ffi.c:450:15: note: Function 'ffi_prep_incoming_args_VFP' argument 3 names different: declaration 'args' definition 'avalue'.
polyml-5.8.1/libpolyml/libffi/src/x86/ffi.c:472:38: style:inconclusive: Function 'ffi_closure_SYSV_inner' argument 1 names different: declaration '<unnamed>' definition 'closure'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_struct_va1.c:35:3: warning: %d in format string (no. 6) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/strlen.c:38:5: style: Variable 's' is reassigned a value before the old one has been used. [redundantAssignment]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/strlen.c:34:5: note: s is assigned
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/strlen.c:38:5: note: s is overwritten
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/strlen2_win32.c:34:5: style: Variable 's' is reassigned a value before the old one has been used. [redundantAssignment]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/strlen2_win32.c:30:5: note: s is assigned
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/strlen2_win32.c:34:5: note: s is overwritten
polyml-5.8.1/libpolyml/libffi/src/arm/ffi.c:853:34: style:inconclusive: Function 'vfp_type_p' argument 1 names different: declaration '<unnamed>' definition 't'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/x86/ffi.c:472:54: style:inconclusive: Function 'ffi_closure_SYSV_inner' argument 2 names different: declaration '<unnamed>' definition 'respp'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_struct_va1.c:35:3: warning: %d in format string (no. 7) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/strlen2_win32.c:38:5: style: Variable 's' is reassigned a value before the old one has been used. [redundantAssignment]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/strlen2_win32.c:34:5: note: s is assigned
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/strlen2_win32.c:38:5: note: s is overwritten
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/strlen_win32.c:34:5: style: Variable 's' is reassigned a value before the old one has been used. [redundantAssignment]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/strlen_win32.c:30:5: note: s is assigned
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/strlen_win32.c:34:5: note: s is overwritten
polyml-5.8.1/libpolyml/libffi/src/arm/ffi.c:914:39: style:inconclusive: Function 'layout_vfp_args' argument 1 names different: declaration '<unnamed>' definition 'cif'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/x86/ffi.c:472:67: style:inconclusive: Function 'ffi_closure_SYSV_inner' argument 3 names different: declaration '<unnamed>' definition 'args'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/cls_struct_va1.c:35:3: warning: %d in format string (no. 8) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/strlen_win32.c:38:5: style: Variable 's' is reassigned a value before the old one has been used. [redundantAssignment]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/strlen_win32.c:34:5: note: s is assigned
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/strlen_win32.c:38:5: note: s is overwritten
polyml-5.8.1/libpolyml/libffi/src/x86/ffi.c:495:39: style:inconclusive: Function 'ffi_closure_WIN32_inner' argument 1 names different: declaration '<unnamed>' definition 'closure'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/x86/ffi.c:495:55: style:inconclusive: Function 'ffi_closure_WIN32_inner' argument 2 names different: declaration '<unnamed>' definition 'respp'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/x86/ffi.c:495:68: style:inconclusive: Function 'ffi_closure_WIN32_inner' argument 3 names different: declaration '<unnamed>' definition 'args'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/x86/ffi.c:520:44: style:inconclusive: Function 'ffi_prep_incoming_args' argument 2 names different: declaration 'ret' definition 'rvalue'. [funcArgNamesDifferent]
polyml-5.8.1/libpolyml/libffi/src/x86/ffi.c:416:65: note: Function 'ffi_prep_incoming_args' argument 2 names different: declaration 'ret' definition 'rvalue'.
polyml-5.8.1/libpolyml/libffi/src/x86/ffi.c:520:44: note: Function 'ffi_prep_incoming_args' argument 2 names different: declaration 'ret' definition 'rvalue'.
polyml-5.8.1/libpolyml/libffi/src/x86/ffi.c:520:59: style:inconclusive: Function 'ffi_prep_incoming_args' argument 3 names different: declaration 'args' definition 'avalue'. [funcArgNamesDifferent]
polyml-5.8.1/libpolyml/libffi/src/x86/ffi.c:417:52: note: Function 'ffi_prep_incoming_args' argument 3 names different: declaration 'args' definition 'avalue'.
polyml-5.8.1/libpolyml/libffi/src/x86/ffi.c:520:59: note: Function 'ffi_prep_incoming_args' argument 3 names different: declaration 'args' definition 'avalue'.
polyml-5.8.1/libpolyml/libffi/src/x86/ffi.c:213:11: style: Local variable 'i' shadows outer variable [shadowVariable]
polyml-5.8.1/libpolyml/libffi/src/x86/ffi.c:49:25: note: Shadowed variable
polyml-5.8.1/libpolyml/libffi/src/x86/ffi.c:213:11: note: Shadow local variable
polyml-5.8.1/libpolyml/libffi/src/arm/ffi.c:159:32: style: Variable 'eo_regp' can be declared as pointer to const [constVariablePointer]
polyml-5.8.1/libpolyml/libffi/src/arm/ffi.c:409:32: style: Parameter 'cif' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/src/arm/ffi.c:450:32: style: Parameter 'cif' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/src/arm/ffi.c:457:32: style: Variable 'eo_regp' can be declared as pointer to const [constVariablePointer]
polyml-5.8.1/libpolyml/libffi/src/arm/ffi.c:872:51: style: Parameter 't' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/src/s390/ffi.c:524:16: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/src/s390/ffi.c:573:20: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled]
polyml-5.8.1/libpolyml/libffi/src/x86/ffi.c:521:33: style: Parameter 'cif' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/src/x86/ffi.c:798:33: style: Parameter 'codeloc' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/src/x86/ffi.c:841:46: style: Parameter 'ecif' can be declared as pointer to const. However it seems that 'ffi_prep_args_raw' is a callback function, if 'ecif' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/src/x86/ffi.c:918:22: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/src/x86/ffi.c:841:46: note: Parameter 'ecif' can be declared as pointer to const
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/strlen.c:10:40: style: Parameter 's' can be declared as pointer to const. However it seems that 'my_strlen' is a callback function, if 's' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/strlen.c:39:25: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/strlen.c:10:40: note: Parameter 's' can be declared as pointer to const
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/strlen2_win32.c:11:53: style: Parameter 's' can be declared as pointer to const. However it seems that 'my_fastcall_strlen' is a callback function, if 's' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/strlen2_win32.c:39:25: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/strlen2_win32.c:11:53: note: Parameter 's' can be declared as pointer to const
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/strlen_win32.c:11:64: style: Parameter 's' can be declared as pointer to const. However it seems that 'my_stdcall_strlen' is a callback function, if 's' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/strlen_win32.c:39:25: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/strlen_win32.c:11:64: note: Parameter 's' can be declared as pointer to const
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_darwin.c:1130:12: style: union member 'ldu::lb' is never used. [unusedStructMember]
polyml-5.8.1/libpolyml/libffi/src/powerpc/ffi_darwin.c:1131:17: style: union member 'ldu::ld' is never used. [unusedStructMember]
polyml-5.8.1/PolyPerf/PolyPerf.cpp:158:27: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/PolyPerf/PolyPerf.cpp:446:22: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/PolyPerf/PolyPerf.cpp:462:21: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/PolyPerf/PolyPerf.cpp:501:25: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/PolyPerf/PolyPerf.cpp:561:9: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/PolyPerf/PolyPerf.cpp:574:9: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/PolyPerf/PolyPerf.cpp:592:9: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/PolyPerf/PolyPerf.cpp:655:9: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/PolyPerf/PolyPerf.cpp:672:9: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/testclosure.c:26:33: style: Parameter 'cif' can be declared as pointer to const. However it seems that 'cls_struct_combined_gn' is a callback function, if 'cif' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/testclosure.c:65:3: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/testclosure.c:26:33: note: Parameter 'cif' can be declared as pointer to const
polyml-5.8.1/PolyPerf/PolyPerf.cpp:694:13: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/testclosure.c:26:55: style: Parameter 'resp' can be declared as pointer to const. However it seems that 'cls_struct_combined_gn' is a callback function, if 'resp' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/testclosure.c:65:3: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/testclosure.c:26:55: note: Parameter 'resp' can be declared as pointer to const
polyml-5.8.1/PolyPerf/PolyPerf.cpp:704:24: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/testclosure.c:27:28: style: Parameter 'userdata' can be declared as pointer to const. However it seems that 'cls_struct_combined_gn' is a callback function, if 'userdata' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/testclosure.c:65:3: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/testclosure.c:27:28: note: Parameter 'userdata' can be declared as pointer to const
polyml-5.8.1/PolyPerf/PolyPerf.cpp:710:13: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/samplecode/Foreign/ForeignTest.c:34:6: warning: If memory allocation fails, then there is a possible null pointer dereference: res [nullPointerOutOfMemory]
polyml-5.8.1/samplecode/Foreign/ForeignTest.c:32:23: note: Assuming allocation function fails
polyml-5.8.1/samplecode/Foreign/ForeignTest.c:32:23: note: Assignment 'res=malloc(n*nSize+1)', assigned value is 0
polyml-5.8.1/samplecode/Foreign/ForeignTest.c:34:6: note: Null pointer dereference
polyml-5.8.1/libpolyml/libffi/src/s390/ffi.c:162:31: style:inconclusive: Function 'ffi_prep_args' argument 1 names different: declaration '<unnamed>' definition 'stack'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/s390/ffi.c:162:52: style:inconclusive: Function 'ffi_prep_args' argument 2 names different: declaration '<unnamed>' definition 'ecif'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/s390/ffi.c:553:39: style:inconclusive: Function 'ffi_closure_helper_SYSV' argument 1 names different: declaration '<unnamed>' definition 'closure'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/s390/ffi.c:554:20: style:inconclusive: Function 'ffi_closure_helper_SYSV' argument 2 names different: declaration '<unnamed>' definition 'p_gpr'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/s390/ffi.c:555:25: style:inconclusive: Function 'ffi_closure_helper_SYSV' argument 3 names different: declaration '<unnamed>' definition 'p_fpr'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/s390/ffi.c:556:20: style:inconclusive: Function 'ffi_closure_helper_SYSV' argument 4 names different: declaration '<unnamed>' definition 'p_ov'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/xwindows.cpp:28:2: error: #error "No configuration file" [preprocessorErrorDirective]
polyml-5.8.1/PolyPerf/PolyPerf.cpp:150:52: style:inconclusive: Function 'CreateProcessEntry' argument 1 names different: declaration 'pID' definition 'pId'. [funcArgNamesDifferent]
polyml-5.8.1/PolyPerf/PolyPerf.cpp:103:50: note: Function 'CreateProcessEntry' argument 1 names different: declaration 'pID' definition 'pId'.
polyml-5.8.1/PolyPerf/PolyPerf.cpp:150:52: note: Function 'CreateProcessEntry' argument 1 names different: declaration 'pID' definition 'pId'.
polyml-5.8.1/PolyPerf/PolyPerf.cpp:316:54: style:inconclusive: Function 'parseAStatistic' argument 2 names different: declaration 'statlen' definition 'statLen'. [funcArgNamesDifferent]
polyml-5.8.1/PolyPerf/PolyPerf.cpp:210:47: note: Function 'parseAStatistic' argument 2 names different: declaration 'statlen' definition 'statLen'.
polyml-5.8.1/PolyPerf/PolyPerf.cpp:316:54: note: Function 'parseAStatistic' argument 2 names different: declaration 'statlen' definition 'statLen'.
polyml-5.8.1/libpolyml/libffi/src/s390/ffi.c:762:15: style: Parameter 'codeloc' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/samplecode/Foreign/ForeignTest.c:29:31: style: Parameter 'str' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/PolyPerf/PolyPerf.cpp:224:20: style: Variable 'endOfData' can be declared as pointer to const [constVariablePointer]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:31:6: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/PolyPerf/PolyPerf.cpp:293:20: style: Variable 'end' can be declared as pointer to const [constVariablePointer]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:32:13: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/PolyPerf/PolyPerf.cpp:318:20: style: Variable 'endOfStat' can be declared as pointer to const [constVariablePointer]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:32:38: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:33:14: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:33:40: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:34:14: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:34:48: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:35:13: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:35:39: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:36:14: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:36:40: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:37:14: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:37:40: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:38:13: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:38:38: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:39:14: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:39:34: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:42:11: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:42:36: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:43:12: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:43:37: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:44:12: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:44:45: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:45:11: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:45:36: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:46:12: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:46:38: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:47:12: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:47:37: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/nested_struct10.c:36:3: warning: %d in format string (no. 6) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:48:11: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:48:35: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:49:12: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:49:31: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:50:36: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:52:17: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:63:22: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:75:5: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:113:7: style: C-style pointer casting [cstyleCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:109:7: portability: Casting non-zero decimal integer literal to pointer. [intToPointerCast]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:20:26: style: Parameter 'cif' can be declared as pointer to const. However it seems that 'closure_test_fn' is a callback function, if 'cif' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:71:5: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:20:26: note: Parameter 'cif' can be declared as pointer to const
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:20:48: style: Parameter 'resp' can be declared as pointer to const. However it seems that 'closure_test_fn' is a callback function, if 'resp' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:71:5: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:20:48: note: Parameter 'resp' can be declared as pointer to const
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:21:33: style: Parameter 'userdata' can be declared as pointer to const. However it seems that 'closure_test_fn' is a callback function, if 'userdata' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:71:5: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:21:33: note: Parameter 'userdata' can be declared as pointer to const
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:29:28: style: Parameter 'userdata' can be declared as pointer to const. However it seems that 'closure_test_fn1' is a callback function, if 'userdata' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:109:7: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.special/unwindtest.cc:29:28: note: Parameter 'userdata' can be declared as pointer to const
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/nested_struct10.c:40:10: error: Uninitialized variable: result.z [uninitvar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/pyobjc-tc.c:114:1: error: Memory leak: point_type.elements [memleak]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/pyobjc-tc.c:114:1: error: Memory leak: size_type.elements [memleak]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/pyobjc-tc.c:114:1: error: Memory leak: rect_type.elements [memleak]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/pyobjc-tc.c:92:8: style: Local variable 'r' shadows outer variable [shadowVariable]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/pyobjc-tc.c:41:6: note: Shadowed variable
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/pyobjc-tc.c:92:8: note: Shadow local variable
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/pyobjc-tc.c:25:23: style: Parameter 's' can be declared as pointer to const. However it seems that 'doit' is a callback function, if 's' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/pyobjc-tc.c:108:24: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/pyobjc-tc.c:25:23: note: Parameter 's' can be declared as pointer to const
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/va_struct3.c:121:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/va_struct3.c:121:3: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/va_struct3.c:121:3: warning: %d in format string (no. 3) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/va_struct3.c:121:3: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/va_struct3.c:121:3: warning: %d in format string (no. 5) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/va_1.c:112:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FFI_TYPE_STRUCT [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/huge_struct.c:223:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ffi_closure [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:2946:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:3218:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable O_RDWR [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:3262:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable head [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:3289:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable head [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:3346:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable prev_foot [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:3411:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable prev_foot [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:3515:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable O_RDWR [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:3779:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable head [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:3818:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable head [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:3836:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:3918:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:4164:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable head [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:4297:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable prev_foot [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:4365:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable head [valueFlowBailoutIncompleteVar]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:2889:35: error: Pointer addition with NULL pointer. [nullPointerArithmetic]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:2932:33: error: Pointer addition with NULL pointer. [nullPointerArithmetic]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:3289:39: error: Pointer addition with NULL pointer. [nullPointerArithmetic]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:3383:41: error: Pointer addition with NULL pointer. [nullPointerArithmetic]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:3461:17: error: Pointer addition with NULL pointer. [nullPointerArithmetic]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:3475:15: error: Pointer addition with NULL pointer. [nullPointerArithmetic]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:3487:26: error: Pointer addition with NULL pointer. [nullPointerArithmetic]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:3488:26: error: Pointer addition with NULL pointer. [nullPointerArithmetic]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:3512:23: error: Pointer addition with NULL pointer. [nullPointerArithmetic]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:3525:20: error: Pointer addition with NULL pointer. [nullPointerArithmetic]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:3535:26: error: Pointer addition with NULL pointer. [nullPointerArithmetic]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:3555:47: error: Pointer addition with NULL pointer. [nullPointerArithmetic]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:3559:64: error: Pointer addition with NULL pointer. [nullPointerArithmetic]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:3627:59: error: Pointer addition with NULL pointer. [nullPointerArithmetic]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:3658:12: error: Pointer addition with NULL pointer. [nullPointerArithmetic]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:3356:5: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:3412:5: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:3645:11: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:3783:11: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:4339:11: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:4123:23: style:inconclusive: Function 'malloc' argument 1 names different: declaration '<unnamed>' definition 'bytes'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:4255:19: style:inconclusive: Function 'free' argument 1 names different: declaration '<unnamed>' definition 'mem'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:4355:23: style:inconclusive: Function 'calloc' argument 1 names different: declaration '<unnamed>' definition 'n_elements'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:4355:42: style:inconclusive: Function 'calloc' argument 2 names different: declaration '<unnamed>' definition 'elem_size'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:4370:23: style:inconclusive: Function 'realloc' argument 1 names different: declaration '<unnamed>' definition 'oldmem'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:4370:38: style:inconclusive: Function 'realloc' argument 2 names different: declaration '<unnamed>' definition 'bytes'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:4393:25: style:inconclusive: Function 'memalign' argument 1 names different: declaration '<unnamed>' definition 'alignment'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:4393:43: style:inconclusive: Function 'memalign' argument 2 names different: declaration '<unnamed>' definition 'bytes'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:4397:36: style:inconclusive: Function 'independent_calloc' argument 1 names different: declaration '<unnamed>' definition 'n_elements'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:4397:55: style:inconclusive: Function 'independent_calloc' argument 2 names different: declaration '<unnamed>' definition 'elem_size'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:4398:40: style:inconclusive: Function 'independent_calloc' argument 3 names different: declaration '<unnamed>' definition 'chunks'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:4403:38: style:inconclusive: Function 'independent_comalloc' argument 1 names different: declaration '<unnamed>' definition 'n_elements'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:4403:57: style:inconclusive: Function 'independent_comalloc' argument 2 names different: declaration '<unnamed>' definition 'sizes'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:4404:42: style:inconclusive: Function 'independent_comalloc' argument 3 names different: declaration '<unnamed>' definition 'chunks'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:4408:23: style:inconclusive: Function 'valloc' argument 1 names different: declaration '<unnamed>' definition 'bytes'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:4415:24: style:inconclusive: Function 'pvalloc' argument 1 names different: declaration '<unnamed>' definition 'bytes'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:4422:26: style:inconclusive: Function 'malloc_trim' argument 1 names different: declaration '<unnamed>' definition 'pad'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:4449:35: style:inconclusive: Function 'malloc_usable_size' argument 1 names different: declaration '<unnamed>' definition 'mem'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:4458:19: style:inconclusive: Function 'mallopt' argument 1 names different: declaration '<unnamed>' definition 'param_number'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:4458:37: style:inconclusive: Function 'mallopt' argument 2 names different: declaration '<unnamed>' definition 'value'. [funcArgNamesDifferentUnnamed]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:2155:52: style: Parameter 'addr' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:3370:9: style: Variable 'old_end' can be declared as pointer to const [constVariablePointer]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:3490:19: style: Variable 'end' can be declared as pointer to const [constVariablePointer]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:3528:13: style: Variable 'end' can be declared as pointer to const [constVariablePointer]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:3686:19: style: Variable 'old_br' can be declared as pointer to const [constVariablePointer]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:3688:21: style: Variable 'rel_br' can be declared as pointer to const [constVariablePointer]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:3689:21: style: Variable 'new_br' can be declared as pointer to const [constVariablePointer]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:3994:30: style: Parameter 'sizes' can be declared as pointer to const [constParameterPointer]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:631:23: style: struct member 'mallinfo::smblks' is never used. [unusedStructMember]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:632:23: style: struct member 'mallinfo::hblks' is never used. [unusedStructMember]
polyml-5.8.1/libpolyml/libffi/src/dlmalloc.c:635:23: style: struct member 'mallinfo::fsmblks' is never used. [unusedStructMember]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/huge_struct.c:82:9: style: Parameter 'p_1' can be declared as pointer to const. However it seems that 'test_large_fn' is a callback function, if 'p_1' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/huge_struct.c:298:24: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/huge_struct.c:82:9: note: Parameter 'p_1' can be declared as pointer to const
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/huge_struct.c:94:9: style: Parameter 'p_2' can be declared as pointer to const. However it seems that 'test_large_fn' is a callback function, if 'p_2' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/huge_struct.c:298:24: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/huge_struct.c:94:9: note: Parameter 'p_2' can be declared as pointer to const
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/huge_struct.c:106:9: style: Parameter 'p_3' can be declared as pointer to const. However it seems that 'test_large_fn' is a callback function, if 'p_3' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/huge_struct.c:298:24: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/huge_struct.c:106:9: note: Parameter 'p_3' can be declared as pointer to const
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/huge_struct.c:118:9: style: Parameter 'p_4' can be declared as pointer to const. However it seems that 'test_large_fn' is a callback function, if 'p_4' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/huge_struct.c:298:24: note: You might need to cast the function pointer here
polyml-5.8.1/libpolyml/libffi/testsuite/libffi.call/huge_struct.c:118:9: note: Parameter 'p_4' can be declared as pointer to const
diff:


DONE