2025-05-05 15:46 ftp://ftp.de.debian.org/debian/pool/main/liba/libavif/libavif_1.2.1.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 -j3 platform: Linux-6.8.0-1022-oracle-aarch64-with-glibc2.39 python: 3.12.3 client-version: 1.3.67 compiler: g++ (Ubuntu 13.3.0-6ubuntu2~24.04) 13.3.0 cppcheck: head 2.17.0 head-info: fcc0493 (2025-05-05 13:08:11 +0200) count: 617 616 elapsed-time: 4.7 4.8 head-timing-info: old-timing-info: head results: libavif-1.2.1/apps/avifenc.c:1354:42: error: There is an unknown macro here somewhere. Configuration is required. If AVIF_FMT_ZU is a macro then please configure it. [unknownMacro] libavif-1.2.1/android_jni/avifandroidjni/src/main/jni/libavif_jni.cc:58:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ANDROID_LOG_ERROR [valueFlowBailoutIncompleteVar] libavif-1.2.1/android_jni/avifandroidjni/src/main/jni/libavif_jni.cc:110:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ANDROID_LOG_ERROR [valueFlowBailoutIncompleteVar] libavif-1.2.1/android_jni/avifandroidjni/src/main/jni/libavif_jni.cc:204:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_RESULT_OK [valueFlowBailoutIncompleteVar] libavif-1.2.1/android_jni/avifandroidjni/src/main/jni/libavif_jni.cc:214:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_RESULT_OK [valueFlowBailoutIncompleteVar] libavif-1.2.1/android_jni/avifandroidjni/src/main/jni/libavif_jni.cc:250:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable JNI_VERSION_1_6 [valueFlowBailoutIncompleteVar] libavif-1.2.1/android_jni/avifandroidjni/src/main/jni/libavif_jni.cc:313:52: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_RESULT_OK [valueFlowBailoutIncompleteVar] libavif-1.2.1/android_jni/avifandroidjni/src/main/jni/libavif_jni.cc:319:57: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable nothrow [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/avifgainmaputil/program_command.h:114:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STORE_TRUE [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/avifgainmaputil/avifgainmaputil.cc:28:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_RESULT_OK [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/avifgainmaputil/avifgainmaputil.cc:33:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/avifgainmaputil/avifgainmaputil.cc:64:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/avifgainmaputil/program_command.h:33:15: performance: Function 'name()' should return member 'name_' by const reference. [returnByReference] libavif-1.2.1/apps/avifgainmaputil/program_command.h:34:15: performance: Function 'description()' should return member 'description_' by const reference. [returnByReference] libavif-1.2.1/apps/avifgainmaputil/avifgainmaputil.cc:39:26: style: Consider using std::accumulate algorithm instead of a raw loop. [useStlAlgorithm] libavif-1.2.1/apps/avifgainmaputil/avifgainmaputil.cc:74:50: style: Consider using std::find_if algorithm instead of a raw loop. [useStlAlgorithm] libavif-1.2.1/apps/avifgainmaputil/combine_command.cc:66:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_RESULT_OUT_OF_MEMORY [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/avifgainmaputil/convert_command.cc:19:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STORE_TRUE [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/avifgainmaputil/convert_command.cc:35:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/avifgainmaputil/extractgainmap_command.cc:22:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_RESULT_OUT_OF_MEMORY [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/avifgainmaputil/imageio.cc:31:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_APP_FILE_FORMAT_UNKNOWN [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/avifgainmaputil/imageio.cc:68:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_DATA_EMPTY [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/avifgainmaputil/imageio.cc:96:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_APP_FILE_FORMAT_UNKNOWN [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/avifgainmaputil/imageio.cc:145:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_RESULT_OK [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/avifgainmaputil/printmetadata_command.cc:26:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable left [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/avifgainmaputil/printmetadata_command.cc:42:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_RESULT_OUT_OF_MEMORY [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/avifgainmaputil/program_command.cc:15:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_RESULT_OK [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/avifgainmaputil/program_command.cc:26:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_PIXEL_FORMAT_YUV444 [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/avifgainmaputil/program_command.cc:21:53: performance:inconclusive: Technically the member function 'avif::PixelFormatConverter::from_str' can be static (but you may consider moving to unnamed namespace). [functionStatic] libavif-1.2.1/apps/avifgainmaputil/program_command.h:55:33: note: Technically the member function 'avif::PixelFormatConverter::from_str' can be static (but you may consider moving to unnamed namespace). libavif-1.2.1/apps/avifgainmaputil/program_command.cc:21:53: note: Technically the member function 'avif::PixelFormatConverter::from_str' can be static (but you may consider moving to unnamed namespace). libavif-1.2.1/apps/avifgainmaputil/program_command.cc:39:48: performance:inconclusive: Technically the member function 'avif::PixelFormatConverter::default_choices' can be static (but you may consider moving to unnamed namespace). [functionStatic] libavif-1.2.1/apps/avifgainmaputil/program_command.h:56:28: note: Technically the member function 'avif::PixelFormatConverter::default_choices' can be static (but you may consider moving to unnamed namespace). libavif-1.2.1/apps/avifgainmaputil/program_command.cc:39:48: note: Technically the member function 'avif::PixelFormatConverter::default_choices' can be static (but you may consider moving to unnamed namespace). libavif-1.2.1/apps/avifgainmaputil/program_command.cc:43:53: performance:inconclusive: Technically the member function 'avif::CicpConverter::from_str' can be static (but you may consider moving to unnamed namespace). [functionStatic] libavif-1.2.1/apps/avifgainmaputil/program_command.h:68:40: note: Technically the member function 'avif::CicpConverter::from_str' can be static (but you may consider moving to unnamed namespace). libavif-1.2.1/apps/avifgainmaputil/program_command.cc:43:53: note: Technically the member function 'avif::CicpConverter::from_str' can be static (but you may consider moving to unnamed namespace). libavif-1.2.1/apps/avifgainmaputil/program_command.cc:64:41: performance:inconclusive: Technically the member function 'avif::CicpConverter::default_choices' can be static (but you may consider moving to unnamed namespace). [functionStatic] libavif-1.2.1/apps/avifgainmaputil/program_command.h:69:28: note: Technically the member function 'avif::CicpConverter::default_choices' can be static (but you may consider moving to unnamed namespace). libavif-1.2.1/apps/avifgainmaputil/program_command.cc:64:41: note: Technically the member function 'avif::CicpConverter::default_choices' can be static (but you may consider moving to unnamed namespace). libavif-1.2.1/apps/avifgainmaputil/swapbase_command.cc:14:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_RESULT_INVALID_ARGUMENT [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/avifgainmaputil/swapbase_command.cc:132:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_RESULT_OUT_OF_MEMORY [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/avifgainmaputil/swapbase_command.cc:12:61: style:inconclusive: Function 'ChangeBase' argument 4 names different: declaration 'output' definition 'swapped'. [funcArgNamesDifferent] libavif-1.2.1/apps/avifgainmaputil/swapbase_command.h:15:61: note: Function 'ChangeBase' argument 4 names different: declaration 'output' definition 'swapped'. libavif-1.2.1/apps/avifgainmaputil/swapbase_command.cc:12:61: note: Function 'ChangeBase' argument 4 names different: declaration 'output' definition 'swapped'. libavif-1.2.1/apps/avifgainmaputil/tonemap_command.cc:57:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/shared/avifexif.c:9:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_TRANSFORM_IROT [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/shared/avifexif.c:49:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_RESULT_OK [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/shared/avifjpeg.c:53:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TRUE [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/shared/avifjpeg.c:128:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_TRUE [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/shared/avifjpeg.c:137:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_RANGE_FULL [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/shared/avifjpeg.c:864:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_FALSE [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/shared/avifjpeg.c:1228:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/shared/avifjpeg.c:1248:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_FALSE [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/shared/avifpng.c:19:0: error: #error "libpng 1.6.32 or above with PNG_eXIf_SUPPORTED and PNG_iTXt_SUPPORTED is required." [preprocessorErrorDirective] libavif-1.2.1/apps/shared/avifpng.c:19:2: error: #error "libpng 1.6.32 or above with PNG_eXIf_SUPPORTED and PNG_iTXt_SUPPORTED is required." [preprocessorErrorDirective] libavif-1.2.1/apps/shared/avifutil.c:56:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_PIXEL_FORMAT_YUV420 [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/shared/avifutil.c:175:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_REPETITION_COUNT_INFINITE [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/shared/avifutil.c:333:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/shared/avifutil.c:343:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_FALSE [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/shared/avifutil.c:458:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable _SC_NPROCESSORS_ONLN [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/shared/avifjpeg.c:71:31: style: Variable 'comp' can be declared as pointer to const [constVariablePointer] libavif-1.2.1/apps/shared/iccmaker.c:175:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_FALSE [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/shared/iccmaker.c:189:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_FALSE [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/shared/iccmaker.c:200:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_FALSE [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/shared/iccmaker.c:217:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_FALSE [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/shared/iccmaker.c:234:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_FALSE [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/shared/iccmaker.c:377:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_FALSE [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/shared/iccmaker.c:463:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_FALSE [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/avifdec.c:50:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_DEFAULT_IMAGE_SIZE_LIMIT [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/avifdec.c:67:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_APP_FILE_FORMAT_Y4M [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/avifdec.c:94:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_CODEC_CHOICE_AUTO [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/shared/y4m.c:39:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_FALSE [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/shared/y4m.c:149:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_FALSE [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/shared/y4m.c:176:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_FALSE [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/shared/y4m.c:198:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/shared/y4m.c:221:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_FALSE [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/shared/y4m.c:262:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_FALSE [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/shared/y4m.c:479:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_FALSE [valueFlowBailoutIncompleteVar] libavif-1.2.1/apps/shared/y4m.c:171:56: style: Parameter 'end' can be declared as pointer to const [constParameterPointer] libavif-1.2.1/apps/shared/y4m.c:173:15: style: Variable 'headerEnd' can be declared as pointer to const [constVariablePointer] libavif-1.2.1/apps/shared/y4m.c:190:55: style: Parameter 'raw' can be declared as pointer to const [constParameterPointer] libavif-1.2.1/apps/shared/y4m.c:480:12: style: Variable 'y4mHeaderFormat' can be declared as pointer to const [constVariablePointer] libavif-1.2.1/examples/avif_example_decode_file.c:13:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] libavif-1.2.1/examples/avif_example_decode_file.c:10:27: style: Parameter 'argv' can be declared as const array [constParameter] libavif-1.2.1/examples/avif_example_decode_file.c:81:24: style: Variable 'firstPixel' can be declared as pointer to const [constVariablePointer] libavif-1.2.1/examples/avif_example_decode_file.c:84:23: style: Variable 'firstPixel' can be declared as pointer to const [constVariablePointer] libavif-1.2.1/examples/avif_example_decode_memory.c:14:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] libavif-1.2.1/examples/avif_example_decode_memory.c:44:25: warning: Either the condition 'fileSize<0' is redundant or malloc() argument nr 1 can have invalid value. The value is -1 but the valid values are '0:'. [invalidFunctionArg] libavif-1.2.1/examples/avif_example_decode_memory.c:40:18: note: Assuming that condition 'fileSize<0' is not redundant libavif-1.2.1/examples/avif_example_decode_memory.c:44:25: note: Invalid argument libavif-1.2.1/examples/avif_example_decode_memory.c:45:49: warning: Either the condition 'fileSize<0' is redundant or fread() argument nr 3 can have invalid value. The value is -1 but the valid values are '0:'. [invalidFunctionArg] libavif-1.2.1/examples/avif_example_decode_memory.c:40:18: note: Assuming that condition 'fileSize<0' is not redundant libavif-1.2.1/examples/avif_example_decode_memory.c:45:49: note: Invalid argument libavif-1.2.1/examples/avif_example_decode_memory.c:45:34: warning: If memory allocation fails, then there is a possible null pointer dereference: fileBuffer [nullPointerOutOfMemory] libavif-1.2.1/examples/avif_example_decode_memory.c:44:24: note: Assuming allocation function fails libavif-1.2.1/examples/avif_example_decode_memory.c:44:24: note: Assignment 'fileBuffer=malloc(fileSize)', assigned value is 0 libavif-1.2.1/examples/avif_example_decode_memory.c:45:34: note: Null pointer dereference libavif-1.2.1/examples/avif_example_decode_memory.c:11:27: style: Parameter 'argv' can be declared as const array [constParameter] libavif-1.2.1/examples/avif_example_decode_memory.c:103:24: style: Variable 'firstPixel' can be declared as pointer to const [constVariablePointer] libavif-1.2.1/examples/avif_example_decode_memory.c:106:23: style: Variable 'firstPixel' can be declared as pointer to const [constVariablePointer] libavif-1.2.1/contrib/gdk-pixbuf/loader.c:73:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_RESULT_OK [valueFlowBailoutIncompleteVar] libavif-1.2.1/contrib/gdk-pixbuf/loader.c:327:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TRUE [valueFlowBailoutIncompleteVar] libavif-1.2.1/contrib/gdk-pixbuf/loader.c:334:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TRUE [valueFlowBailoutIncompleteVar] libavif-1.2.1/contrib/gdk-pixbuf/loader.c:353:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_DATA_EMPTY [valueFlowBailoutIncompleteVar] libavif-1.2.1/contrib/gdk-pixbuf/loader.c:523:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GDK_PIXBUF_FORMAT_WRITABLE [valueFlowBailoutIncompleteVar] libavif-1.2.1/examples/avif_example_decode_streaming.c:53:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_RESULT_IO_ERROR [valueFlowBailoutIncompleteVar] libavif-1.2.1/examples/avif_example_decode_streaming.c:116:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_TRUE [valueFlowBailoutIncompleteVar] libavif-1.2.1/examples/avif_example_decode_streaming.c:126:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] libavif-1.2.1/examples/avif_example_decode_streaming.c:150:34: warning: If memory allocation fails, then there is a possible null pointer dereference: fileBuffer [nullPointerOutOfMemory] libavif-1.2.1/examples/avif_example_decode_streaming.c:149:24: note: Assuming allocation function fails libavif-1.2.1/examples/avif_example_decode_streaming.c:149:24: note: Assignment 'fileBuffer=malloc(fileSize)', assigned value is 0 libavif-1.2.1/examples/avif_example_decode_streaming.c:150:34: note: Null pointer dereference libavif-1.2.1/examples/avif_example_decode_streaming.c:123:27: style: Parameter 'argv' can be declared as const array [constParameter] libavif-1.2.1/examples/avif_example_encode.c:13:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] libavif-1.2.1/examples/avif_example_encode.c:120:71: warning: If resource allocation fails, then there is a possible null pointer dereference: f [nullPointerOutOfResources] libavif-1.2.1/examples/avif_example_encode.c:119:21: note: Assuming allocation function fails libavif-1.2.1/examples/avif_example_encode.c:119:21: note: Assignment 'f=fopen(outputFilename,"wb")', assigned value is 0 libavif-1.2.1/examples/avif_example_encode.c:120:71: note: Null pointer dereference libavif-1.2.1/examples/avif_example_encode.c:121:12: warning: If resource allocation fails, then there is a possible null pointer dereference: f [nullPointerOutOfResources] libavif-1.2.1/examples/avif_example_encode.c:119:21: note: Assuming allocation function fails libavif-1.2.1/examples/avif_example_encode.c:119:21: note: Assignment 'f=fopen(outputFilename,"wb")', assigned value is 0 libavif-1.2.1/examples/avif_example_encode.c:121:12: note: Null pointer dereference libavif-1.2.1/examples/avif_example_encode.c:10:27: style: Parameter 'argv' can be declared as const array [constParameter] libavif-1.2.1/src/alpha.c:155:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_RESULT_REFORMAT_FAILED [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/alpha.c:270:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_RESULT_REFORMAT_FAILED [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:41:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable avifPixelFormatInfo [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:138:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable avifImage [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:152:55: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable avifImage [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:164:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_PIXEL_FORMAT_NONE [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:192:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_PLANES_YUV [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:232:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable boxPayload [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:256:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_PLANES_ALL [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:330:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_RESULT_INVALID_ARGUMENT [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:363:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_PLANES_ALL [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:388:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SIZE_MAX [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:414:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_RESULT_INVALID_ARGUMENT [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:424:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_RESULT_INVALID_ARGUMENT [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:432:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_RESULT_INVALID_ARGUMENT [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:492:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_PLANES_YUV [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:520:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_PLANES_YUV [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:559:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_TRUE [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:586:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_CHAN_Y [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:597:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_CHAN_Y [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:608:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_CHAN_Y [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:627:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_CHAN_Y [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:647:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_TRUE [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:670:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_RGB_FORMAT_RGB [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:680:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_RGB_FORMAT_RGB_565 [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:691:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_RGB_FORMAT_RGBA [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:710:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_RESULT_INVALID_ARGUMENT [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:756:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_FALSE [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:789:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_FALSE [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:885:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_FALSE [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:949:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_PIXEL_FORMAT_YUV420 [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:961:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_FALSE [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:995:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_FALSE [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:1005:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_ITEM_ALPHA [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:1031:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_FALSE [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:1079:83: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable avifCodecSpecificOptions [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:1118:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_RESULT_OUT_OF_MEMORY [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:1205:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_CODEC_CHOICE_AUTO [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:1235:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_CODEC_TYPE_UNKNOWN [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:1245:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_CODEC_CHOICE_AUTO [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:1255:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_RESULT_OK [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:1282:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AVIF_CODEC_FLAG_CAN_ENCODE [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:1297:61: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable avifGainMap [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:1281:57: warning: Either the condition 'i>0' is redundant or the array 'availableCodecs[1]' is accessed at index 1, which is out of bounds. [arrayIndexOutOfBoundsCond] libavif-1.2.1/src/avif.c:1278:15: note: Assuming that condition 'i>0' is not redundant libavif-1.2.1/src/avif.c:1281:57: note: Array index out of bounds libavif-1.2.1/src/avif.c:1282:29: warning: Either the condition 'i>0' is redundant or the array 'availableCodecs[1]' is accessed at index 1, which is out of bounds. [arrayIndexOutOfBoundsCond] libavif-1.2.1/src/avif.c:1278:15: note: Assuming that condition 'i>0' is not redundant libavif-1.2.1/src/avif.c:1282:29: note: Array index out of bounds libavif-1.2.1/src/codec_aom.c:1220:55: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable avifCodec [valueFlowBailoutIncompleteVar] libavif-1.2.1/src/avif.c:1204:23: style: Condition 'i