2026-05-03 22:25 ftp://ftp.de.debian.org/debian/pool/main/o/ocaml-xiph/ocaml-xiph_1.0.0.orig.tar.gz cppcheck-options: --library=posix --library=gnu --library=bsd --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 -j1 platform: Linux-6.12.85+deb13-amd64-x86_64-with-glibc2.41 python: 3.13.5 client-version: 1.3.70 compiler: g++ (20250906) 15.2.0 cppcheck: head 2.20.0 head-info: e5c4a73 (2026-05-01 11:10:43 +0200) count: 178 178 elapsed-time: 0.6 0.5 head-timing-info: old-timing-info: head results: ocaml-xiph-1.0.0/flac/config/endianess.c:10:36: style: union member 'Anonymous1::bytes' is never used. [unusedStructMember] ocaml-xiph-1.0.0/flac/flac_ogg_stubs.c:44:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_false [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/flac/flac_ogg_stubs.c:51:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ans [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/flac/flac_ogg_stubs.c:75:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/flac/flac_ogg_stubs.c:109:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable packet [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/flac/flac_ogg_stubs.c:39:15: style: Variable 'p' can be declared as pointer to const [constVariablePointer] ocaml-xiph-1.0.0/flac/flac_ogg_stubs.c:40:18: style: Variable 'h' can be declared as pointer to const [constVariablePointer] ocaml-xiph-1.0.0/flac/flac_stubs.c:47:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable some [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/flac/flac_stubs.c:91:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ans [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/flac/flac_stubs.c:121:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ans [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/flac/flac_stubs.c:200:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/flac/flac_stubs.c:231:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FLAC__StreamMetadata_StreamInfo [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/flac/flac_stubs.c:273:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FLAC__STREAM_DECODER_SEEK_STATUS_UNSUPPORTED [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/flac/flac_stubs.c:290:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FLAC__STREAM_DECODER_TELL_STATUS_UNSUPPORTED [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/flac/flac_stubs.c:308:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FLAC__STREAM_DECODER_LENGTH_STATUS_UNSUPPORTED [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/flac/flac_stubs.c:329:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/flac/flac_stubs.c:360:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FLAC__STREAM_DECODER_READ_STATUS_END_OF_STREAM [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/flac/flac_stubs.c:403:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FLAC__STREAM_DECODER_WRITE_STATUS_CONTINUE [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/flac/flac_stubs.c:414:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ans [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/flac/flac_stubs.c:484:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/flac/flac_stubs.c:506:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable i [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/flac/flac_stubs.c:552:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/flac/flac_stubs.c:559:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FLAC_API [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/flac/flac_stubs.c:576:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FLAC_API [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/flac/flac_stubs.c:593:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FLAC_API [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/flac/flac_stubs.c:617:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/flac/flac_stubs.c:666:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FLAC__STREAM_ENCODER_WRITE_STATUS_OK [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/flac/flac_stubs.c:676:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FLAC__STREAM_ENCODER_SEEK_STATUS_UNSUPPORTED [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/flac/flac_stubs.c:693:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FLAC__STREAM_ENCODER_TELL_STATUS_UNSUPPORTED [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/flac/flac_stubs.c:721:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ret [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/flac/flac_stubs.c:803:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/flac/flac_stubs.c:831:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Double_wosize [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/flac/flac_stubs.c:872:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/flac/flac_stubs.c:421:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: dec [nullPointerOutOfMemory] ocaml-xiph-1.0.0/flac/flac_stubs.c:417:35: note: Assuming allocation function fails ocaml-xiph-1.0.0/flac/flac_stubs.c:417:35: note: Assignment 'dec=malloc(sizeof(struct ocaml_flac_decoder))', assigned value is 0 ocaml-xiph-1.0.0/flac/flac_stubs.c:421:3: note: Null pointer dereference ocaml-xiph-1.0.0/flac/flac_stubs.c:423:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: dec [nullPointerOutOfMemory] ocaml-xiph-1.0.0/flac/flac_stubs.c:417:35: note: Assuming allocation function fails ocaml-xiph-1.0.0/flac/flac_stubs.c:417:35: note: Assignment 'dec=malloc(sizeof(struct ocaml_flac_decoder))', assigned value is 0 ocaml-xiph-1.0.0/flac/flac_stubs.c:423:3: note: Null pointer dereference ocaml-xiph-1.0.0/flac/flac_stubs.c:426:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: dec [nullPointerOutOfMemory] ocaml-xiph-1.0.0/flac/flac_stubs.c:417:35: note: Assuming allocation function fails ocaml-xiph-1.0.0/flac/flac_stubs.c:417:35: note: Assignment 'dec=malloc(sizeof(struct ocaml_flac_decoder))', assigned value is 0 ocaml-xiph-1.0.0/flac/flac_stubs.c:426:3: note: Null pointer dereference ocaml-xiph-1.0.0/flac/flac_stubs.c:429:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: dec [nullPointerOutOfMemory] ocaml-xiph-1.0.0/flac/flac_stubs.c:417:35: note: Assuming allocation function fails ocaml-xiph-1.0.0/flac/flac_stubs.c:417:35: note: Assignment 'dec=malloc(sizeof(struct ocaml_flac_decoder))', assigned value is 0 ocaml-xiph-1.0.0/flac/flac_stubs.c:429:3: note: Null pointer dereference ocaml-xiph-1.0.0/flac/flac_stubs.c:432:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: dec [nullPointerOutOfMemory] ocaml-xiph-1.0.0/flac/flac_stubs.c:417:35: note: Assuming allocation function fails ocaml-xiph-1.0.0/flac/flac_stubs.c:417:35: note: Assignment 'dec=malloc(sizeof(struct ocaml_flac_decoder))', assigned value is 0 ocaml-xiph-1.0.0/flac/flac_stubs.c:432:3: note: Null pointer dereference ocaml-xiph-1.0.0/flac/flac_stubs.c:435:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: dec [nullPointerOutOfMemory] ocaml-xiph-1.0.0/flac/flac_stubs.c:417:35: note: Assuming allocation function fails ocaml-xiph-1.0.0/flac/flac_stubs.c:417:35: note: Assignment 'dec=malloc(sizeof(struct ocaml_flac_decoder))', assigned value is 0 ocaml-xiph-1.0.0/flac/flac_stubs.c:435:3: note: Null pointer dereference ocaml-xiph-1.0.0/flac/flac_stubs.c:438:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: dec [nullPointerOutOfMemory] ocaml-xiph-1.0.0/flac/flac_stubs.c:417:35: note: Assuming allocation function fails ocaml-xiph-1.0.0/flac/flac_stubs.c:417:35: note: Assignment 'dec=malloc(sizeof(struct ocaml_flac_decoder))', assigned value is 0 ocaml-xiph-1.0.0/flac/flac_stubs.c:438:3: note: Null pointer dereference ocaml-xiph-1.0.0/flac/flac_stubs.c:441:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: dec [nullPointerOutOfMemory] ocaml-xiph-1.0.0/flac/flac_stubs.c:417:35: note: Assuming allocation function fails ocaml-xiph-1.0.0/flac/flac_stubs.c:417:35: note: Assignment 'dec=malloc(sizeof(struct ocaml_flac_decoder))', assigned value is 0 ocaml-xiph-1.0.0/flac/flac_stubs.c:441:3: note: Null pointer dereference ocaml-xiph-1.0.0/flac/flac_stubs.c:442:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: dec [nullPointerOutOfMemory] ocaml-xiph-1.0.0/flac/flac_stubs.c:417:35: note: Assuming allocation function fails ocaml-xiph-1.0.0/flac/flac_stubs.c:417:35: note: Assignment 'dec=malloc(sizeof(struct ocaml_flac_decoder))', assigned value is 0 ocaml-xiph-1.0.0/flac/flac_stubs.c:442:3: note: Null pointer dereference ocaml-xiph-1.0.0/flac/flac_stubs.c:442:45: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: dec [nullPointerOutOfMemory] ocaml-xiph-1.0.0/flac/flac_stubs.c:417:35: note: Assuming allocation function fails ocaml-xiph-1.0.0/flac/flac_stubs.c:417:35: note: Assignment 'dec=malloc(sizeof(struct ocaml_flac_decoder))', assigned value is 0 ocaml-xiph-1.0.0/flac/flac_stubs.c:442:45: note: Null pointer dereference ocaml-xiph-1.0.0/flac/flac_stubs.c:445:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: dec [nullPointerOutOfMemory] ocaml-xiph-1.0.0/flac/flac_stubs.c:417:35: note: Assuming allocation function fails ocaml-xiph-1.0.0/flac/flac_stubs.c:417:35: note: Assignment 'dec=malloc(sizeof(struct ocaml_flac_decoder))', assigned value is 0 ocaml-xiph-1.0.0/flac/flac_stubs.c:445:3: note: Null pointer dereference ocaml-xiph-1.0.0/flac/flac_stubs.c:448:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: dec [nullPointerOutOfMemory] ocaml-xiph-1.0.0/flac/flac_stubs.c:417:35: note: Assuming allocation function fails ocaml-xiph-1.0.0/flac/flac_stubs.c:417:35: note: Assignment 'dec=malloc(sizeof(struct ocaml_flac_decoder))', assigned value is 0 ocaml-xiph-1.0.0/flac/flac_stubs.c:448:3: note: Null pointer dereference ocaml-xiph-1.0.0/flac/flac_stubs.c:449:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: dec [nullPointerOutOfMemory] ocaml-xiph-1.0.0/flac/flac_stubs.c:417:35: note: Assuming allocation function fails ocaml-xiph-1.0.0/flac/flac_stubs.c:417:35: note: Assignment 'dec=malloc(sizeof(struct ocaml_flac_decoder))', assigned value is 0 ocaml-xiph-1.0.0/flac/flac_stubs.c:449:3: note: Null pointer dereference ocaml-xiph-1.0.0/flac/flac_stubs.c:452:45: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: dec [nullPointerOutOfMemory] ocaml-xiph-1.0.0/flac/flac_stubs.c:417:35: note: Assuming allocation function fails ocaml-xiph-1.0.0/flac/flac_stubs.c:417:35: note: Assignment 'dec=malloc(sizeof(struct ocaml_flac_decoder))', assigned value is 0 ocaml-xiph-1.0.0/flac/flac_stubs.c:452:45: note: Null pointer dereference ocaml-xiph-1.0.0/flac/flac_stubs.c:507:29: warning: Either the condition 'info==NULL' is redundant or there is possible null pointer dereference: info. [nullPointerRedundantCheck] ocaml-xiph-1.0.0/flac/flac_stubs.c:502:12: note: Assuming that condition 'info==NULL' is not redundant ocaml-xiph-1.0.0/flac/flac_stubs.c:507:29: note: Null pointer dereference ocaml-xiph-1.0.0/flac/flac_stubs.c:508:29: warning: Either the condition 'info==NULL' is redundant or there is possible null pointer dereference: info. [nullPointerRedundantCheck] ocaml-xiph-1.0.0/flac/flac_stubs.c:502:12: note: Assuming that condition 'info==NULL' is not redundant ocaml-xiph-1.0.0/flac/flac_stubs.c:508:29: note: Null pointer dereference ocaml-xiph-1.0.0/flac/flac_stubs.c:509:29: warning: Either the condition 'info==NULL' is redundant or there is possible null pointer dereference: info. [nullPointerRedundantCheck] ocaml-xiph-1.0.0/flac/flac_stubs.c:502:12: note: Assuming that condition 'info==NULL' is not redundant ocaml-xiph-1.0.0/flac/flac_stubs.c:509:29: note: Null pointer dereference ocaml-xiph-1.0.0/flac/flac_stubs.c:510:37: warning: Either the condition 'info==NULL' is redundant or there is possible null pointer dereference: info. [nullPointerRedundantCheck] ocaml-xiph-1.0.0/flac/flac_stubs.c:502:12: note: Assuming that condition 'info==NULL' is not redundant ocaml-xiph-1.0.0/flac/flac_stubs.c:510:37: note: Null pointer dereference ocaml-xiph-1.0.0/flac/flac_stubs.c:512:26: warning: Either the condition 'info==NULL' is redundant or there is possible null pointer dereference: info. [nullPointerRedundantCheck] ocaml-xiph-1.0.0/flac/flac_stubs.c:502:12: note: Assuming that condition 'info==NULL' is not redundant ocaml-xiph-1.0.0/flac/flac_stubs.c:512:26: note: Null pointer dereference ocaml-xiph-1.0.0/flac/flac_stubs.c:744:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: caml_enc [nullPointerOutOfMemory] ocaml-xiph-1.0.0/flac/flac_stubs.c:738:40: note: Assuming allocation function fails ocaml-xiph-1.0.0/flac/flac_stubs.c:738:40: note: Assignment 'caml_enc=malloc(sizeof(struct ocaml_flac_encoder))', assigned value is 0 ocaml-xiph-1.0.0/flac/flac_stubs.c:744:3: note: Null pointer dereference ocaml-xiph-1.0.0/flac/flac_stubs.c:746:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: caml_enc [nullPointerOutOfMemory] ocaml-xiph-1.0.0/flac/flac_stubs.c:738:40: note: Assuming allocation function fails ocaml-xiph-1.0.0/flac/flac_stubs.c:738:40: note: Assignment 'caml_enc=malloc(sizeof(struct ocaml_flac_encoder))', assigned value is 0 ocaml-xiph-1.0.0/flac/flac_stubs.c:746:3: note: Null pointer dereference ocaml-xiph-1.0.0/flac/flac_stubs.c:749:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: caml_enc [nullPointerOutOfMemory] ocaml-xiph-1.0.0/flac/flac_stubs.c:738:40: note: Assuming allocation function fails ocaml-xiph-1.0.0/flac/flac_stubs.c:738:40: note: Assignment 'caml_enc=malloc(sizeof(struct ocaml_flac_encoder))', assigned value is 0 ocaml-xiph-1.0.0/flac/flac_stubs.c:749:3: note: Null pointer dereference ocaml-xiph-1.0.0/flac/flac_stubs.c:752:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: caml_enc [nullPointerOutOfMemory] ocaml-xiph-1.0.0/flac/flac_stubs.c:738:40: note: Assuming allocation function fails ocaml-xiph-1.0.0/flac/flac_stubs.c:738:40: note: Assignment 'caml_enc=malloc(sizeof(struct ocaml_flac_encoder))', assigned value is 0 ocaml-xiph-1.0.0/flac/flac_stubs.c:752:3: note: Null pointer dereference ocaml-xiph-1.0.0/flac/flac_stubs.c:755:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: caml_enc [nullPointerOutOfMemory] ocaml-xiph-1.0.0/flac/flac_stubs.c:738:40: note: Assuming allocation function fails ocaml-xiph-1.0.0/flac/flac_stubs.c:738:40: note: Assignment 'caml_enc=malloc(sizeof(struct ocaml_flac_encoder))', assigned value is 0 ocaml-xiph-1.0.0/flac/flac_stubs.c:755:3: note: Null pointer dereference ocaml-xiph-1.0.0/flac/flac_stubs.c:756:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: caml_enc [nullPointerOutOfMemory] ocaml-xiph-1.0.0/flac/flac_stubs.c:738:40: note: Assuming allocation function fails ocaml-xiph-1.0.0/flac/flac_stubs.c:738:40: note: Assignment 'caml_enc=malloc(sizeof(struct ocaml_flac_encoder))', assigned value is 0 ocaml-xiph-1.0.0/flac/flac_stubs.c:756:3: note: Null pointer dereference ocaml-xiph-1.0.0/flac/flac_stubs.c:756:50: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: caml_enc [nullPointerOutOfMemory] ocaml-xiph-1.0.0/flac/flac_stubs.c:738:40: note: Assuming allocation function fails ocaml-xiph-1.0.0/flac/flac_stubs.c:738:40: note: Assignment 'caml_enc=malloc(sizeof(struct ocaml_flac_encoder))', assigned value is 0 ocaml-xiph-1.0.0/flac/flac_stubs.c:756:50: note: Null pointer dereference ocaml-xiph-1.0.0/flac/flac_stubs.c:759:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: caml_enc [nullPointerOutOfMemory] ocaml-xiph-1.0.0/flac/flac_stubs.c:738:40: note: Assuming allocation function fails ocaml-xiph-1.0.0/flac/flac_stubs.c:738:40: note: Assignment 'caml_enc=malloc(sizeof(struct ocaml_flac_encoder))', assigned value is 0 ocaml-xiph-1.0.0/flac/flac_stubs.c:759:3: note: Null pointer dereference ocaml-xiph-1.0.0/flac/flac_stubs.c:760:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: caml_enc [nullPointerOutOfMemory] ocaml-xiph-1.0.0/flac/flac_stubs.c:738:40: note: Assuming allocation function fails ocaml-xiph-1.0.0/flac/flac_stubs.c:738:40: note: Assignment 'caml_enc=malloc(sizeof(struct ocaml_flac_encoder))', assigned value is 0 ocaml-xiph-1.0.0/flac/flac_stubs.c:760:3: note: Null pointer dereference ocaml-xiph-1.0.0/flac/flac_stubs.c:767:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: caml_enc [nullPointerOutOfMemory] ocaml-xiph-1.0.0/flac/flac_stubs.c:738:40: note: Assuming allocation function fails ocaml-xiph-1.0.0/flac/flac_stubs.c:738:40: note: Assignment 'caml_enc=malloc(sizeof(struct ocaml_flac_encoder))', assigned value is 0 ocaml-xiph-1.0.0/flac/flac_stubs.c:767:3: note: Null pointer dereference ocaml-xiph-1.0.0/flac/flac_stubs.c:770:7: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: caml_enc [nullPointerOutOfMemory] ocaml-xiph-1.0.0/flac/flac_stubs.c:738:40: note: Assuming allocation function fails ocaml-xiph-1.0.0/flac/flac_stubs.c:738:40: note: Assignment 'caml_enc=malloc(sizeof(struct ocaml_flac_encoder))', assigned value is 0 ocaml-xiph-1.0.0/flac/flac_stubs.c:770:7: note: Null pointer dereference ocaml-xiph-1.0.0/flac/flac_stubs.c:784:56: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: caml_enc [nullPointerOutOfMemory] ocaml-xiph-1.0.0/flac/flac_stubs.c:738:40: note: Assuming allocation function fails ocaml-xiph-1.0.0/flac/flac_stubs.c:738:40: note: Assignment 'caml_enc=malloc(sizeof(struct ocaml_flac_encoder))', assigned value is 0 ocaml-xiph-1.0.0/flac/flac_stubs.c:784:56: note: Null pointer dereference ocaml-xiph-1.0.0/flac/flac_stubs.c:57:45: style: Parameter 'key' can be declared as pointer to const. However it seems that 'ocaml_flac_on_thread_exit' is a callback function, if 'key' is declared with const you might also need to cast function pointer(s). [constParameterCallback] ocaml-xiph-1.0.0/flac/flac_stubs.c:60:43: note: You might need to cast the function pointer here ocaml-xiph-1.0.0/flac/flac_stubs.c:57:45: note: Parameter 'key' can be declared as pointer to const ocaml-xiph-1.0.0/ogg/ogg_stubs.c:61:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable header [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/ogg/ogg_stubs.c:136:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/ogg/ogg_stubs.c:153:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ogg_sync_state [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/ogg/ogg_stubs.c:166:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/ogg/ogg_stubs.c:171:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable bytes [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/ogg/ogg_stubs.c:203:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable bytes [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/ogg/ogg_stubs.c:240:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ogg_packet [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/ogg/ogg_stubs.c:260:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable packet [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/ogg/ogg_stubs.c:268:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ans [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/ogg/ogg_stubs.c:341:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/ogg/ogg_stubs.c:351:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/ogg/ogg_stubs.c:381:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/ogg/ogg_stubs.c:476:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable packet [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/ogg/ogg_stubs.c:243:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: nop [nullPointerOutOfMemory] ocaml-xiph-1.0.0/ogg/ogg_stubs.c:240:27: note: Assuming allocation function fails ocaml-xiph-1.0.0/ogg/ogg_stubs.c:240:27: note: Assignment 'nop=malloc(sizeof(ogg_packet))', assigned value is 0 ocaml-xiph-1.0.0/ogg/ogg_stubs.c:243:3: note: Null pointer dereference ocaml-xiph-1.0.0/ogg/ogg_stubs.c:244:10: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: nop [nullPointerOutOfMemory] ocaml-xiph-1.0.0/ogg/ogg_stubs.c:240:27: note: Assuming allocation function fails ocaml-xiph-1.0.0/ogg/ogg_stubs.c:240:27: note: Assignment 'nop=malloc(sizeof(ogg_packet))', assigned value is 0 ocaml-xiph-1.0.0/ogg/ogg_stubs.c:244:10: note: Null pointer dereference ocaml-xiph-1.0.0/ogg/ogg_stubs.c:245:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: nop [nullPointerOutOfMemory] ocaml-xiph-1.0.0/ogg/ogg_stubs.c:240:27: note: Assuming allocation function fails ocaml-xiph-1.0.0/ogg/ogg_stubs.c:240:27: note: Assignment 'nop=malloc(sizeof(ogg_packet))', assigned value is 0 ocaml-xiph-1.0.0/ogg/ogg_stubs.c:245:3: note: Null pointer dereference ocaml-xiph-1.0.0/ogg/ogg_stubs.c:246:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: nop [nullPointerOutOfMemory] ocaml-xiph-1.0.0/ogg/ogg_stubs.c:240:27: note: Assuming allocation function fails ocaml-xiph-1.0.0/ogg/ogg_stubs.c:240:27: note: Assignment 'nop=malloc(sizeof(ogg_packet))', assigned value is 0 ocaml-xiph-1.0.0/ogg/ogg_stubs.c:246:3: note: Null pointer dereference ocaml-xiph-1.0.0/ogg/ogg_stubs.c:247:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: nop [nullPointerOutOfMemory] ocaml-xiph-1.0.0/ogg/ogg_stubs.c:240:27: note: Assuming allocation function fails ocaml-xiph-1.0.0/ogg/ogg_stubs.c:240:27: note: Assignment 'nop=malloc(sizeof(ogg_packet))', assigned value is 0 ocaml-xiph-1.0.0/ogg/ogg_stubs.c:247:3: note: Null pointer dereference ocaml-xiph-1.0.0/ogg/ogg_stubs.c:248:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: nop [nullPointerOutOfMemory] ocaml-xiph-1.0.0/ogg/ogg_stubs.c:240:27: note: Assuming allocation function fails ocaml-xiph-1.0.0/ogg/ogg_stubs.c:240:27: note: Assignment 'nop=malloc(sizeof(ogg_packet))', assigned value is 0 ocaml-xiph-1.0.0/ogg/ogg_stubs.c:248:3: note: Null pointer dereference ocaml-xiph-1.0.0/ogg/ogg_stubs.c:249:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: nop [nullPointerOutOfMemory] ocaml-xiph-1.0.0/ogg/ogg_stubs.c:240:27: note: Assuming allocation function fails ocaml-xiph-1.0.0/ogg/ogg_stubs.c:240:27: note: Assignment 'nop=malloc(sizeof(ogg_packet))', assigned value is 0 ocaml-xiph-1.0.0/ogg/ogg_stubs.c:249:3: note: Null pointer dereference ocaml-xiph-1.0.0/ogg/ogg_stubs.c:74:44: style:inconclusive: Function 'page_of_value' argument 2 names different: declaration 'op' definition 'page'. [funcArgNamesDifferent] ocaml-xiph-1.0.0/ogg/ocaml-ogg.h:43:44: note: Function 'page_of_value' argument 2 names different: declaration 'op' definition 'page'. ocaml-xiph-1.0.0/ogg/ogg_stubs.c:74:44: note: Function 'page_of_value' argument 2 names different: declaration 'op' definition 'page'. ocaml-xiph-1.0.0/ogg/ogg_stubs.c:239:51: style: Parameter 'op' can be declared as pointer to const [constParameterPointer] ocaml-xiph-1.0.0/opus/config/endianess.c:10:36: style: union member 'Anonymous1::bytes' is never used. [unusedStructMember] ocaml-xiph-1.0.0/opus/opus_stubs.c:133:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ans [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/opus/opus_stubs.c:180:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable OPUS_INVALID_PACKET [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/opus/opus_stubs.c:233:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable OPUS_AUTO [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/opus/opus_stubs.c:273:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable OPUS_RESET_STATE [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/opus/opus_stubs.c:306:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable chan [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/opus/opus_stubs.c:379:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable chan [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/opus/opus_stubs.c:472:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable OPUS_APPLICATION_VOIP [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/opus/opus_stubs.c:514:52: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable opus_int16 [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/opus/opus_stubs.c:547:56: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable opus_int32 [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/opus/opus_stubs.c:597:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable _enc [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/opus/opus_stubs.c:619:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable OPUS_AUTO [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/opus/opus_stubs.c:632:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ret [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/opus/opus_stubs.c:648:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable OPUS_AUTO [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/opus/opus_stubs.c:677:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable OPUS_RESET_STATE [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/opus/opus_stubs.c:839:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable dim [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/opus/opus_stubs.c:921:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/opus/opus_stubs.c:582:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: enc [nullPointerOutOfMemory] ocaml-xiph-1.0.0/opus/opus_stubs.c:578:26: note: Assuming allocation function fails ocaml-xiph-1.0.0/opus/opus_stubs.c:578:26: note: Assignment 'enc=malloc(sizeof(struct encoder_t))', assigned value is 0 ocaml-xiph-1.0.0/opus/opus_stubs.c:582:3: note: Null pointer dereference ocaml-xiph-1.0.0/opus/opus_stubs.c:583:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: enc [nullPointerOutOfMemory] ocaml-xiph-1.0.0/opus/opus_stubs.c:578:26: note: Assuming allocation function fails ocaml-xiph-1.0.0/opus/opus_stubs.c:578:26: note: Assignment 'enc=malloc(sizeof(struct encoder_t))', assigned value is 0 ocaml-xiph-1.0.0/opus/opus_stubs.c:583:3: note: Null pointer dereference ocaml-xiph-1.0.0/opus/opus_stubs.c:586:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: enc [nullPointerOutOfMemory] ocaml-xiph-1.0.0/opus/opus_stubs.c:578:26: note: Assuming allocation function fails ocaml-xiph-1.0.0/opus/opus_stubs.c:578:26: note: Assignment 'enc=malloc(sizeof(struct encoder_t))', assigned value is 0 ocaml-xiph-1.0.0/opus/opus_stubs.c:586:3: note: Null pointer dereference ocaml-xiph-1.0.0/opus/opus_stubs.c:594:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: enc [nullPointerOutOfMemory] ocaml-xiph-1.0.0/opus/opus_stubs.c:578:26: note: Assuming allocation function fails ocaml-xiph-1.0.0/opus/opus_stubs.c:578:26: note: Assignment 'enc=malloc(sizeof(struct encoder_t))', assigned value is 0 ocaml-xiph-1.0.0/opus/opus_stubs.c:594:3: note: Null pointer dereference ocaml-xiph-1.0.0/opus/opus_stubs.c:779:9: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: pcm [nullPointerOutOfMemory] ocaml-xiph-1.0.0/opus/opus_stubs.c:770:22: note: Assuming allocation function fails ocaml-xiph-1.0.0/opus/opus_stubs.c:770:22: note: Assignment 'pcm=malloc(chans*frame_size*sizeof(float))', assigned value is 0 ocaml-xiph-1.0.0/opus/opus_stubs.c:779:9: note: Null pointer dereference ocaml-xiph-1.0.0/opus/opus_stubs.c:859:9: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: pcm [nullPointerOutOfMemory] ocaml-xiph-1.0.0/opus/opus_stubs.c:850:22: note: Assuming allocation function fails ocaml-xiph-1.0.0/opus/opus_stubs.c:850:22: note: Assignment 'pcm=malloc(chans*frame_size*sizeof(float))', assigned value is 0 ocaml-xiph-1.0.0/opus/opus_stubs.c:859:9: note: Null pointer dereference ocaml-xiph-1.0.0/opus/opus_stubs.c:149:15: style: Variable 'op' can be declared as pointer to const [constVariablePointer] ocaml-xiph-1.0.0/opus/opus_stubs.c:160:15: style: Variable 'op' can be declared as pointer to const [constVariablePointer] ocaml-xiph-1.0.0/opus/opus_stubs.c:161:12: style: Variable 'data' can be declared as pointer to const [constVariablePointer] ocaml-xiph-1.0.0/opus/opus_stubs.c:178:15: style: Variable 'op' can be declared as pointer to const [constVariablePointer] ocaml-xiph-1.0.0/opus/opus_stubs.c:524:49: style: Parameter 'vendor' can be declared as pointer to const [constParameterPointer] ocaml-xiph-1.0.0/opus/opus_stubs.c:528:9: style: Variable 'comment' can be declared as pointer to const [constVariablePointer] ocaml-xiph-1.0.0/speex/config/endianess.c:10:36: style: union member 'Anonymous1::bytes' is never used. [unusedStructMember] ocaml-xiph-1.0.0/speex/speex_stubs.c:406:5: error: syntax error [syntaxError] ocaml-xiph-1.0.0/theora/theora_stubs.c:89:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TH_CS_UNSPECIFIED [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/theora/theora_stubs.c:127:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TH_PF_420 [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/theora/theora_stubs.c:191:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable v [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/theora/theora_stubs.c:221:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable width [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/theora/theora_stubs.c:257:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ret [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/theora/theora_stubs.c:358:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TH_EINVAL [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/theora/theora_stubs.c:424:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_true [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/theora/theora_stubs.c:436:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable v [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/theora/theora_stubs.c:502:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/theora/theora_stubs.c:553:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_true [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/theora/theora_stubs.c:560:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ret [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/theora/theora_stubs.c:588:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ogg_packet [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/theora/theora_stubs.c:682:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable packet [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/theora/theora_stubs.c:353:3: warning: If memory allocation fails, then there is a possible null pointer dereference: state [nullPointerOutOfMemory] ocaml-xiph-1.0.0/theora/theora_stubs.c:344:30: note: Assuming allocation function fails ocaml-xiph-1.0.0/theora/theora_stubs.c:344:30: note: Assignment 'state=malloc(sizeof(struct enc_state_t))', assigned value is 0 ocaml-xiph-1.0.0/theora/theora_stubs.c:353:3: note: Null pointer dereference ocaml-xiph-1.0.0/theora/theora_stubs.c:354:7: warning: If memory allocation fails, then there is a possible null pointer dereference: state [nullPointerOutOfMemory] ocaml-xiph-1.0.0/theora/theora_stubs.c:344:30: note: Assuming allocation function fails ocaml-xiph-1.0.0/theora/theora_stubs.c:344:30: note: Assignment 'state=malloc(sizeof(struct enc_state_t))', assigned value is 0 ocaml-xiph-1.0.0/theora/theora_stubs.c:354:7: note: Null pointer dereference ocaml-xiph-1.0.0/theora/theora_stubs.c:360:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: state [nullPointerOutOfMemory] ocaml-xiph-1.0.0/theora/theora_stubs.c:344:30: note: Assuming allocation function fails ocaml-xiph-1.0.0/theora/theora_stubs.c:344:30: note: Assignment 'state=malloc(sizeof(struct enc_state_t))', assigned value is 0 ocaml-xiph-1.0.0/theora/theora_stubs.c:360:3: note: Null pointer dereference ocaml-xiph-1.0.0/theora/theora_stubs.c:361:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: state [nullPointerOutOfMemory] ocaml-xiph-1.0.0/theora/theora_stubs.c:344:30: note: Assuming allocation function fails ocaml-xiph-1.0.0/theora/theora_stubs.c:344:30: note: Assignment 'state=malloc(sizeof(struct enc_state_t))', assigned value is 0 ocaml-xiph-1.0.0/theora/theora_stubs.c:361:3: note: Null pointer dereference ocaml-xiph-1.0.0/theora/theora_stubs.c:566:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: state [nullPointerOutOfMemory] ocaml-xiph-1.0.0/theora/theora_stubs.c:561:30: note: Assuming allocation function fails ocaml-xiph-1.0.0/theora/theora_stubs.c:561:30: note: Assignment 'state=malloc(sizeof(struct dec_state_t))', assigned value is 0 ocaml-xiph-1.0.0/theora/theora_stubs.c:566:3: note: Null pointer dereference ocaml-xiph-1.0.0/theora/theora_stubs.c:567:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: state [nullPointerOutOfMemory] ocaml-xiph-1.0.0/theora/theora_stubs.c:561:30: note: Assuming allocation function fails ocaml-xiph-1.0.0/theora/theora_stubs.c:561:30: note: Assignment 'state=malloc(sizeof(struct dec_state_t))', assigned value is 0 ocaml-xiph-1.0.0/theora/theora_stubs.c:567:3: note: Null pointer dereference ocaml-xiph-1.0.0/theora/theora_stubs.c:568:3: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: state [nullPointerOutOfMemory] ocaml-xiph-1.0.0/theora/theora_stubs.c:561:30: note: Assuming allocation function fails ocaml-xiph-1.0.0/theora/theora_stubs.c:561:30: note: Assignment 'state=malloc(sizeof(struct dec_state_t))', assigned value is 0 ocaml-xiph-1.0.0/theora/theora_stubs.c:568:3: note: Null pointer dereference ocaml-xiph-1.0.0/theora/theora_stubs.c:446:21: error: Uninitialized variable: yb [uninitvar] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:134:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable v [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:155:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable vc [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:188:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ans [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:238:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable vb [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:332:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable vb [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:421:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable vd [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:506:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:512:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable vd [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:544:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable vd [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:588:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable vd [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:722:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:736:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable block [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:836:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Double_wosize [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:882:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ans [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:911:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable dim [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:957:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ans [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:975:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ans [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:1015:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cmts [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:1123:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable packet [valueFlowBailoutIncompleteVar] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:212:5: error: Memory pointed to by 'vt' is freed twice. [doubleFree] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:205:5: note: Memory pointed to by 'vt' is freed twice. ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:212:5: note: Memory pointed to by 'vt' is freed twice. ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:219:5: error: Memory pointed to by 'vt' is freed twice. [doubleFree] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:205:5: note: Memory pointed to by 'vt' is freed twice. ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:219:5: note: Memory pointed to by 'vt' is freed twice. ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:807:33: error: Dereferencing 'buf' after it is deallocated / released [deallocuse] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:808:3: error: Memory pointed to by 'buf' is freed twice. [doubleFree] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:804:5: note: Memory pointed to by 'buf' is freed twice. ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:808:3: note: Memory pointed to by 'buf' is freed twice. ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:742:3: warning: If memory allocation fails, then there is a possible null pointer dereference: df [nullPointerOutOfMemory] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:740:14: note: Assuming allocation function fails ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:740:14: note: Assignment 'df=malloc(sizeof(struct myvorbis_dec_file_t))', assigned value is 0 ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:742:3: note: Null pointer dereference ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:743:3: warning: If memory allocation fails, then there is a possible null pointer dereference: df [nullPointerOutOfMemory] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:740:14: note: Assuming allocation function fails ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:740:14: note: Assignment 'df=malloc(sizeof(struct myvorbis_dec_file_t))', assigned value is 0 ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:743:3: note: Null pointer dereference ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:745:3: warning: If memory allocation fails, then there is a possible null pointer dereference: df [nullPointerOutOfMemory] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:740:14: note: Assuming allocation function fails ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:740:14: note: Assignment 'df=malloc(sizeof(struct myvorbis_dec_file_t))', assigned value is 0 ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:745:3: note: Null pointer dereference ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:747:3: warning: If memory allocation fails, then there is a possible null pointer dereference: df [nullPointerOutOfMemory] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:740:14: note: Assuming allocation function fails ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:740:14: note: Assignment 'df=malloc(sizeof(struct myvorbis_dec_file_t))', assigned value is 0 ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:747:3: note: Null pointer dereference ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:749:3: warning: If memory allocation fails, then there is a possible null pointer dereference: df [nullPointerOutOfMemory] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:740:14: note: Assuming allocation function fails ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:740:14: note: Assignment 'df=malloc(sizeof(struct myvorbis_dec_file_t))', assigned value is 0 ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:749:3: note: Null pointer dereference ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:752:31: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: df [nullPointerOutOfMemory] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:740:14: note: Assuming allocation function fails ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:740:14: note: Assignment 'df=malloc(sizeof(struct myvorbis_dec_file_t))', assigned value is 0 ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:752:31: note: Null pointer dereference ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:807:33: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: buf [nullPointerOutOfMemory] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:792:15: note: Assuming allocation function fails ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:792:15: note: Assignment 'buf=malloc(len)', assigned value is 0 ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:807:33: note: Null pointer dereference ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:831:13: warning: Either the condition '!df->ovf' is redundant or there is possible null pointer dereference: df->ovf. [nullPointerRedundantCheck] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:829:7: note: Assuming that condition '!df->ovf' is not redundant ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:831:13: note: Null pointer dereference ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:869:13: warning: Either the condition '!df->ovf' is redundant or there is possible null pointer dereference: df->ovf. [nullPointerRedundantCheck] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:867:7: note: Assuming that condition '!df->ovf' is not redundant ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:869:13: note: Null pointer dereference ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:906:13: warning: Either the condition '!df->ovf' is redundant or there is possible null pointer dereference: df->ovf. [nullPointerRedundantCheck] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:904:7: note: Assuming that condition '!df->ovf' is not redundant ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:906:13: note: Null pointer dereference ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:944:13: warning: Either the condition '!df->ovf' is redundant or there is possible null pointer dereference: df->ovf. [nullPointerRedundantCheck] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:942:7: note: Assuming that condition '!df->ovf' is not redundant ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:944:13: note: Null pointer dereference ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:1015:27: warning: Either the condition '!vc' is redundant or there is possible null pointer dereference: vc. [nullPointerRedundantCheck] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:1010:7: note: Assuming that condition '!vc' is not redundant ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:1015:27: note: Null pointer dereference ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:1016:19: warning: Either the condition '!vc' is redundant or there is possible null pointer dereference: vc. [nullPointerRedundantCheck] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:1010:7: note: Assuming that condition '!vc' is not redundant ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:1016:19: note: Null pointer dereference ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:240:16: style: Variable 'vi' can be declared as pointer to const [constVariablePointer] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:334:16: style: Variable 'vi' can be declared as pointer to const [constVariablePointer] ocaml-xiph-1.0.0/vorbis/vorbis_stubs.c:595:9: style: Unused variable: datac [unusedVariable] diff: DONE