2026-02-16 23:09
ftp://ftp.de.debian.org/debian/pool/main/m/mes/mes_0.24.2.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.8.0-100-generic-x86_64-with-glibc2.39
python: 3.12.3
client-version: 1.3.69
compiler: g++ (Ubuntu 14.2.0-4ubuntu2~24.04) 14.2.0
cppcheck: head 2.19.0
head-info: 6d03304 (2026-02-16 09:10:03 +0100)
count: 1166 1183
elapsed-time: 13.3 3.8
head-timing-info:

old-timing-info:

head results:
mes-0.24.2/lib/arm-mes-mescc/setjmp.c:51:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __fp [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/ctype/isnumber.c:33:24: error: Found an exit path from function with non-void return type that has missing return statement [missingReturn]
mes-0.24.2/lib/dirent/closedir.c:46:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/dirent/opendir.c:52:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/dirent/readdir.c:42:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/gnu/_exit.c:35:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable portarray [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/gnu/_open3.c:38:61: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable INIT_PORT_CWDIR [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/gnu/dir-lookup.c:64:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mach_msg_type_int32 [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/gnu/dir-lookup.c:37:33: style: struct member 'mach_msg_int_int_string_int::two' is never used. [unusedStructMember]
mes-0.24.2/lib/gnu/exec-startup-get-data.c:61:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mach_msg [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/gnu/fd-get.c:34:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable _hurd_dtable_count [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/gnu/hurd-start.c:51:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TASK_BOOTSTRAP_PORT [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/gnu/io-read.c:40:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mach_msg_type_int64 [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/gnu/io-write.c:35:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mach_msg_type_pointer [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/gnu/io-write.c:36:15: style: Variable 'message.one' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/gnu/io-write.c:37:20: style: Variable 'message.type_two' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/gnu/syscall-internal.c:63:1: portability: Omitted return type of function 'kern_return_t' defaults to int, this is not supported by ISO C99 and later standards. [returnImplicitInt]
mes-0.24.2/lib/gnu/syscall-internal.c:78:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MACH_SEND_MSG [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/gnu/syscall-internal.c:103:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MACH_SEND_MSG [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/gnu/syscall-internal.c:120:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MACH_SEND_MSG [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/gnu/syscall-internal.c:137:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MACH_SEND_MSG [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/gnu/task-get-special-port.c:27:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mach_msg_1 [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/gnu/task-terminate.c:26:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS__task_terminate [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/gnu/vm-allocate.c:59:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mach_msg_type_int32 [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/gnu/vm-statistics.c:34:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mach_msg [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/gnu/vm-statistics.c:26:33: style: struct member 'mach_msg_int32_vm_statistics_data::one' is never used. [unusedStructMember]
mes-0.24.2/lib/gnu/x86-mes-gcc/crt1.c:42:3: style: Statements following noreturn function '_exit()' will never be executed. [unreachableCode]
mes-0.24.2/lib/linux/_getcwd.c:29:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_getcwd [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/_open3.c:29:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_open [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/_read.c:29:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_read [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/access.c:30:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_access [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/arm-mes-gcc/syscall-internal.c:61:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_getpid [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/arm-mes-gcc/syscall.c:221:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/arm-mes-gcc/syscall.c:235:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/arm-mes-gcc/syscall.c:249:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/arm-mes-gcc/syscall.c:263:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/arm-mes-gcc/syscall.c:277:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/arm-mes-mescc/syscall-internal.c:43:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_getpid [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/arm-mes-mescc/syscall.c:88:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/arm-mes-mescc/syscall.c:102:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/arm-mes-mescc/syscall.c:116:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/arm-mes-mescc/syscall.c:130:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/arm-mes-mescc/syscall.c:144:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/arm-mes-mescc/syscall.c:158:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/brk.c:29:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_brk [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/chdir.c:27:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_chdir [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/chmod.c:31:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_chmod [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/clock_gettime.c:31:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_clock_gettime [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/close.c:30:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_close [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/dup.c:28:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_dup [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/dup2.c:29:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_dup2 [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/execve.c:27:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_execve [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/execve.c:25:44: style: Parameter 'argv' can be declared as const array [constParameter]
mes-0.24.2/lib/linux/execve.c:25:64: style: Parameter 'env' can be declared as const array [constParameter]
mes-0.24.2/lib/linux/fcntl.c:31:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_fcntl [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/fork.c:27:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_fork [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/fstat.c:28:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_fstat [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/fsync.c:27:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_fsync [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/getdents.c:28:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_getdents [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/getegid.c:28:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_getegid [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/geteuid.c:28:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_geteuid [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/getgid.c:28:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_getgid [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/getpid.c:28:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_getpid [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/getppid.c:28:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_getppid [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/getrusage.c:28:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_getrusage [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/gettimeofday.c:31:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_gettimeofday [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/getuid.c:28:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_getuid [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/ioctl.c:32:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_ioctl [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/ioctl3.c:29:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_ioctl [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/kill.c:28:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_kill [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/link.c:27:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_link [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/lseek.c:31:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_lseek [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/lseek.c:45:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_lseek [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/lstat.c:28:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_lstat [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/malloc.c:33:38: error: Null pointer dereference [nullPointer]
mes-0.24.2/lib/linux/mkdir.c:28:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_mkdir [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/mknod.c:28:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_mknod [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/nanosleep.c:29:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_nanosleep [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/pipe.c:28:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_pipe [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/read.c:30:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_read [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/readlink.c:28:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_readlink [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/rename.c:28:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_rename [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/rmdir.c:27:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_rmdir [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/setgid.c:28:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_setgid [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/settimer.c:29:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_setitimer [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/setuid.c:28:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_setuid [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/signal.c:31:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_rt_sigreturn [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/signal.c:61:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SIG_DFL [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/sigprogmask.c:32:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_rt_sigprocmask [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/stat.c:28:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_stat [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/symlink.c:28:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_symlink [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/unlink.c:29:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_unlink [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/waitpid.c:33:2: error: #error arch not supported [preprocessorErrorDirective]
mes-0.24.2/lib/linux/x86-mes-gcc/syscall-internal.c:62:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_getpid [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/x86-mes-gcc/syscall.c:117:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/x86-mes-gcc/syscall.c:131:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/x86-mes-gcc/syscall.c:145:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/x86-mes-gcc/syscall.c:159:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/x86-mes-gcc/syscall.c:173:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/x86-mes-m2/_write.c:22:28: style: Parameter 'buffer' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/lib/linux/x86-mes-mescc/syscall-internal.c:43:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_getpid [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/x86-mes-mescc/syscall.c:75:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/x86-mes-mescc/syscall.c:89:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/x86-mes-mescc/syscall.c:103:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/x86-mes-mescc/syscall.c:117:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/x86-mes-mescc/syscall.c:131:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/x86_64-mes-gcc/syscall-internal.c:62:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_getpid [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/x86_64-mes-gcc/syscall.c:119:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/x86_64-mes-gcc/syscall.c:133:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/x86_64-mes-gcc/syscall.c:147:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/x86_64-mes-gcc/syscall.c:161:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/x86_64-mes-gcc/syscall.c:175:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/x86_64-mes-mescc/syscall-internal.c:56:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_getpid [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/x86_64-mes-mescc/syscall.c:110:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/x86_64-mes-mescc/syscall.c:124:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/x86_64-mes-mescc/syscall.c:138:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/x86_64-mes-mescc/syscall.c:152:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/linux/x86_64-mes-mescc/syscall.c:166:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/m2/cast.c:32:3: portability: Returning an integer in a function with pointer return type is not portable. [CastIntegerToAddressAtReturn]
mes-0.24.2/lib/m2/chmod.c:30:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_chmod [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/m2/clock_gettime.c:29:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_clock_gettime [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/m2/clock_gettime.c:28:16: style: Variable 'long_tp' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/m2/execv.c:24:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable environ [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/m2/execve.c:30:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_execve [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/m2/execve.c:27:23: style: Variable 'long_file_name' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/m2/execve.c:28:18: style: Variable 'long_argv' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/m2/execve.c:29:17: style: Variable 'long_env' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/m2/getcwd.c:38:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PATH_MAX [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/m2/malloc.c:30:38: error: Null pointer dereference [nullPointer]
mes-0.24.2/lib/m2/mes_open.c:22:17: style: Parameter 'file_name' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/lib/m2/open.c:30:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_open [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/m2/read.c:29:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_read [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/m2/time.c:32:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable timeval [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/m2/waitpid.c:35:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_wait4 [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/mach/msg.c:112:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MACH_MSG_SUCCESS [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/mach/msg.c:132:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MACH_SEND_MSG [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/mach/msg.c:141:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MACH_RCV_MSG [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/mes/__assert_fail.c:47:3: error: Null pointer dereference: fail [nullPointer]
mes-0.24.2/lib/mes/__assert_fail.c:46:16: note: Assignment 'fail=0', assigned value is 0
mes-0.24.2/lib/mes/__assert_fail.c:47:3: note: Null pointer dereference
mes-0.24.2/lib/mes/__buffered_read.c:46:87: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __FILEDES_MAX [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/mes/__buffered_read.c:49:13: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/mes/__mes_debug.c:32:13: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/mes/abtol.c:36:17: style: Redundant condition: The condition 's[0] != 0' is redundant since 's[0] == '+'' is sufficient. [redundantCondition]
mes-0.24.2/lib/mes/abtol.c:38:17: style: Redundant condition: The condition 's[0] != 0' is redundant since 's[0] == '-'' is sufficient. [redundantCondition]
mes-0.24.2/lib/mes/abtol.c:31:9: style: Variable 'm' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/mes/assert_msg.c:27:17: debug: Function::addArguments found argument 'bool' with varid 0. [varid0]
mes-0.24.2/lib/mes/div.c:47:8: error: Null pointer dereference: x [nullPointer]
mes-0.24.2/lib/mes/div.c:46:26: note: Assignment 'x=(unsigned char*)0', assigned value is 0
mes-0.24.2/lib/mes/div.c:47:8: note: Null pointer dereference
mes-0.24.2/lib/mes/dtoab.c:42:17: style: Redundant condition: The condition '*p' is redundant since '*p == '0'' is sufficient. [redundantCondition]
mes-0.24.2/lib/mes/eputc.c:26:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __stderr [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/mes/eputs.c:28:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __stderr [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/mes/fdgetc.c:44:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/mes/fdgetc.c:47:15: warning: If memory allocation fails, then there is a possible null pointer dereference: __ungetc_buf [nullPointerOutOfMemory]
mes-0.24.2/lib/mes/fdgetc.c:45:29: note: Assuming allocation function fails
mes-0.24.2/lib/mes/fdgetc.c:45:29: note: Assignment '__ungetc_buf=malloc((__FILEDES_MAX+1)*sizeof(int))', assigned value is 0
mes-0.24.2/lib/mes/fdgetc.c:47:15: note: Null pointer dereference
mes-0.24.2/lib/mes/fdgets.c:32:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/mes/fdputc.c:26:9: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/mes/mini-write.c:30:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/mes/ntoab.c:42:24: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
mes-0.24.2/lib/mes/ntoab.c:41:25: note: Assuming allocation function fails
mes-0.24.2/lib/mes/ntoab.c:41:25: note: Assignment '__itoa_buf=malloc(20)', assigned value is 0
mes-0.24.2/lib/mes/ntoab.c:42:24: note: Null pointer addition
mes-0.24.2/lib/mes/oputc.c:26:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __stdout [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/mes/oputs.c:28:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __stdout [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/mes/search-path.c:30:9: style: Variable 'path' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/posix/alarm.c:34:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ITIMER_REAL [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/posix/execlp.c:42:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/posix/execlp.c:43:16: error: va_list 'ap' was opened but not closed by va_end(). [va_end_missing]
mes-0.24.2/lib/posix/execv.c:27:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable environ [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/posix/execvp.c:33:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/posix/getcwd.c:31:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PATH_MAX [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/posix/getenv.c:32:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable environ [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/posix/getopt.c:158:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/posix/getopt.c:292:11: style: Variable 'temp' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/posix/isatty.c:61:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TCGETS [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/posix/isatty.c:53:11: style: struct member 'ktermios::c_ispeed' is never used. [unusedStructMember]
mes-0.24.2/lib/posix/isatty.c:54:11: style: struct member 'ktermios::c_ospeed' is never used. [unusedStructMember]
mes-0.24.2/lib/posix/open.c:35:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable O_CREAT [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/posix/raise.c:27:3: error: Found an exit path from function with non-void return type that has missing return statement [missingReturn]
mes-0.24.2/lib/posix/sbrk.c:35:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __brk [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/posix/setenv.c:31:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable environ [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/posix/setenv.c:48:11: warning: If memory allocation fails, then there is a possible null pointer dereference: entry [nullPointerOutOfMemory]
mes-0.24.2/lib/posix/setenv.c:45:24: note: Assuming allocation function fails
mes-0.24.2/lib/posix/setenv.c:45:24: note: Assignment 'entry=malloc(length+strlen(v)+2)', assigned value is 0
mes-0.24.2/lib/posix/setenv.c:48:11: note: Null pointer dereference
mes-0.24.2/lib/posix/setenv.c:51:3: warning: If memory allocation fails, then there is a possible null pointer dereference: entry [nullPointerOutOfMemory]
mes-0.24.2/lib/posix/setenv.c:45:24: note: Assuming allocation function fails
mes-0.24.2/lib/posix/setenv.c:45:24: note: Assignment 'entry=malloc(length+strlen(v)+2)', assigned value is 0
mes-0.24.2/lib/posix/setenv.c:51:3: note: Null pointer dereference
mes-0.24.2/lib/posix/setenv.c:49:17: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
mes-0.24.2/lib/posix/setenv.c:45:24: note: Assuming allocation function fails
mes-0.24.2/lib/posix/setenv.c:45:24: note: Assignment 'entry=malloc(length+strlen(v)+2)', assigned value is 0
mes-0.24.2/lib/posix/setenv.c:49:17: note: Null pointer addition
mes-0.24.2/lib/posix/setenv.c:50:17: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
mes-0.24.2/lib/posix/setenv.c:45:24: note: Assuming allocation function fails
mes-0.24.2/lib/posix/setenv.c:45:24: note: Assignment 'entry=malloc(length+strlen(v)+2)', assigned value is 0
mes-0.24.2/lib/posix/setenv.c:50:17: note: Null pointer addition
mes-0.24.2/lib/posix/setenv.c:33:9: style: Variable 'q' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/posix/unsetenv.c:29:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable environ [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/posix/write.c:35:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stdio/clearerr.c:28:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stdio/clearerr.c:26:18: style: Parameter 'stream' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/lib/stdio/fclose.c:25:16: style: Parameter 'stream' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/lib/stdio/feof.c:27:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stdio/ferror.c:24:16: style: Parameter 'stream' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/lib/stdio/fflush.c:26:16: style: Parameter 'stream' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/lib/stdio/fileno.c:26:3: portability: Returning an address value in a function with integer return type is not portable. [CastAddressToIntegerAtReturn]
mes-0.24.2/lib/stdio/fileno.c:24:16: style: Parameter 'stream' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/lib/stdio/fopen.c:43:79: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable O_RDONLY [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stdio/fopen.c:52:13: style: Variable 'plus_p' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/stdio/fseek.c:26:15: style: Parameter 'stream' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/lib/stdio/ftell.c:26:15: style: Parameter 'stream' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/lib/stdio/getchar.c:26:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __stdin [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stdio/perror.c:29:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stdio/putchar.c:28:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __stdout [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stdio/putchar.c:27:9: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/stdio/vfprintf.c:155:21: style: Variable 's' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/stdio/vfprintf.c:29:7: style: Variable 'fd' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/stdio/vfscanf.c:33:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stdio/vfscanf.c:54:21: style: Local variable 'c' shadows outer variable [shadowVariable]
mes-0.24.2/lib/stdio/vfscanf.c:42:14: note: Shadowed declaration
mes-0.24.2/lib/stdio/vfscanf.c:54:21: note: Shadow variable
mes-0.24.2/lib/stdio/vfscanf.c:33:16: warning: Storing fgetc() return value in char variable and then comparing with EOF. [checkCastIntToCharAndBack]
mes-0.24.2/lib/stdio/vprintf.c:28:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stdio/vsnprintf.c:166:21: style: Variable 's' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/stdio/vsscanf.c:55:21: style: Local variable 'c' shadows outer variable [shadowVariable]
mes-0.24.2/lib/stdio/vsscanf.c:43:14: note: Shadowed declaration
mes-0.24.2/lib/stdio/vsscanf.c:55:21: note: Shadow variable
mes-0.24.2/lib/stdlib/abort.c:30:8: error: Null pointer dereference: x [nullPointer]
mes-0.24.2/lib/stdlib/abort.c:29:26: note: Assignment 'x=(unsigned char*)0', assigned value is 0
mes-0.24.2/lib/stdlib/abort.c:30:8: note: Null pointer dereference
mes-0.24.2/lib/stdlib/alloca.c:36:8: style: union member 'alloca_header::align' is never used. [unusedStructMember]
mes-0.24.2/lib/stdlib/atexit.c:27:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __call_at_exit [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stdlib/atexit.c:27:3: error: Found an exit path from function with non-void return type that has missing return statement [missingReturn]
mes-0.24.2/lib/stdlib/calloc.c:29:11: warning: If memory allocation fails, then there is a possible null pointer dereference: p [nullPointerOutOfMemory]
mes-0.24.2/lib/stdlib/calloc.c:28:20: note: Assuming allocation function fails
mes-0.24.2/lib/stdlib/calloc.c:28:20: note: Assignment 'p=malloc(count)', assigned value is 0
mes-0.24.2/lib/stdlib/calloc.c:29:11: note: Null pointer dereference
mes-0.24.2/lib/stdlib/free.c:24:13: style: Parameter 'ptr' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/lib/stdlib/qsort.c:41:18: portability: 'base' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
mes-0.24.2/lib/stdlib/qsort.c:45:29: portability: 'base' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
mes-0.24.2/lib/stdlib/qsort.c:49:23: portability: 'base' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
mes-0.24.2/lib/stdlib/qsort.c:49:40: portability: 'base' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
mes-0.24.2/lib/stdlib/qsort.c:60:21: portability: 'base' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
mes-0.24.2/lib/stdlib/qsort.c:60:42: portability: 'base' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
mes-0.24.2/lib/stdlib/qsort.c:61:17: portability: 'base' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
mes-0.24.2/lib/stdlib/qsort.c:61:34: portability: 'base' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
mes-0.24.2/lib/stdlib/qsort.c:73:19: portability: 'base' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
mes-0.24.2/lib/string/__memmove.c:28:18: portability: 'dest' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
mes-0.24.2/lib/string/__memmove.c:29:23: portability: 'src' is of type 'const void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
mes-0.24.2/lib/string/memmove.c:28:18: portability: 'dest' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
mes-0.24.2/lib/string/memmove.c:29:23: portability: 'src' is of type 'const void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
mes-0.24.2/lib/string/strcspn.c:26:9: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/string/strspn.c:26:9: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/stub/_getcwd.c:32:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/_getcwd.c:26:16: style: Parameter 'buffer' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/lib/stub/_open3.c:32:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/access.c:33:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/brk.c:31:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/brk.c:25:12: style: Parameter 'addr' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/lib/stub/chmod.c:32:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/chown.c:32:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/clock_gettime.c:32:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/clock_gettime.c:26:51: style: Parameter 'tp' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/lib/stub/close.c:32:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/ctime.c:32:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/dup.c:31:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/dup2.c:31:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/execve.c:31:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/execve.c:25:44: style: Parameter 'argv' can be declared as const array [constParameter]
mes-0.24.2/lib/stub/execve.c:25:64: style: Parameter 'env' can be declared as const array [constParameter]
mes-0.24.2/lib/stub/fork.c:31:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/fpurge.c:32:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/fpurge.c:26:16: style: Parameter 'stream' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/lib/stub/freadahead.c:32:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/freadahead.c:26:20: style: Parameter 'fp' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/lib/stub/getgrgid.c:39:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/getgrnam.c:39:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/getlogin.c:32:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/getpgid.c:32:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/getpgrp.c:32:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/getpwnam.c:32:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/getpwuid.c:32:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/gettimeofday.c:32:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/gettimeofday.c:26:31: style: Parameter 'tv' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/lib/stub/gettimeofday.c:26:52: style: Parameter 'tz' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/lib/stub/gmtime.c:33:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/gmtime.c:34:10: portability: Non reentrant function 'localtime' called. For threadsafe applications it is recommended to use the reentrant replacement function 'localtime_r'. [prohibitedlocaltimeCalled]
mes-0.24.2/lib/stub/ioctl.c:32:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/ioctl3.c:31:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/localtime.c:33:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/lseek.c:33:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/mktime.c:32:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/mktime.c:26:20: style: Parameter 'broken_time' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/lib/stub/modf.c:25:29: style: Parameter 'integer_part' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/lib/stub/mprotect.c:25:17: style: Parameter 'addr' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/lib/stub/pclose.c:31:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/popen.c:31:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/rand.c:31:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/rewind.c:31:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/rmdir.c:32:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/setbuf.c:31:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/setgrent.c:31:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/setvbuf.c:25:17: style: Parameter 'stream' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/lib/stub/setvbuf.c:25:31: style: Parameter 'buf' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/lib/stub/sigaction.c:25:71: style: Parameter 'oldact' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/lib/stub/sigaddset.c:25:23: style: Parameter 'set' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/lib/stub/sigdelset.c:25:23: style: Parameter 'set' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/lib/stub/sigemptyset.c:25:25: style: Parameter 'set' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/lib/stub/sigsetmask.c:31:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/stat.c:33:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/stat.c:27:43: style: Parameter 'statbuf' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/lib/stub/strftime.c:25:17: style: Parameter 's' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/lib/stub/sys_siglist.c:31:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/system.c:31:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/time.c:32:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/time.c:26:15: style: Parameter 'result' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/lib/stub/times.c:26:20: style: Parameter 'buffer' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/lib/stub/ttyname.c:32:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/umask.c:31:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/unlink.c:31:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/utime.c:30:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/utime.c:28:25: style: Condition '!stub' is always true [knownConditionTrueFalse]
mes-0.24.2/lib/stub/waitpid.c:32:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/stub/waitpid.c:26:26: style: Parameter 'status_ptr' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/lib/tests/assert/50-assert.c:35:11: error: Uninitialized variable: f [uninitvar]
mes-0.24.2/lib/tests/dirent/90-readdir.c:55:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/tests/dirent/90-readdir.c:54:5: error: Resource leak: d [resourceLeak]
mes-0.24.2/lib/tests/dirent/90-readdir.c:60:5: error: Resource leak: d [resourceLeak]
mes-0.24.2/lib/tests/dirent/90-readdir.c:70:5: error: Resource leak: d [resourceLeak]
mes-0.24.2/lib/tests/dirent/90-readdir.c:76:5: error: Resource leak: d [resourceLeak]
mes-0.24.2/lib/tests/dirent/90-readdir.c:83:5: error: Resource leak: d [resourceLeak]
mes-0.24.2/lib/tests/dirent/90-readdir.c:90:5: error: Resource leak: d [resourceLeak]
mes-0.24.2/lib/tests/dirent/90-readdir.c:97:5: error: Resource leak: d [resourceLeak]
mes-0.24.2/lib/tests/dirent/90-readdir.c:104:5: error: Resource leak: d [resourceLeak]
mes-0.24.2/lib/tests/dirent/90-readdir.c:111:5: error: Resource leak: d [resourceLeak]
mes-0.24.2/lib/tests/dirent/90-readdir.c:114:5: error: Resource leak: d [resourceLeak]
mes-0.24.2/lib/tests/dirent/90-readdir.c:117:5: error: Resource leak: d [resourceLeak]
mes-0.24.2/lib/tests/dirent/90-readdir.c:120:5: error: Resource leak: d [resourceLeak]
mes-0.24.2/lib/tests/dirent/90-readdir.c:123:5: error: Resource leak: d [resourceLeak]
mes-0.24.2/lib/tests/dirent/90-readdir.c:126:5: error: Resource leak: d [resourceLeak]
mes-0.24.2/lib/tests/dirent/90-readdir.c:128:3: error: Resource leak: d [resourceLeak]
mes-0.24.2/lib/tests/dirent/90-readdir.c:72:9: style: Variable 'i' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/tests/io/90-stat.c:80:5: error: Resource leak: fd [resourceLeak]
mes-0.24.2/lib/tests/io/90-stat.c:132:3: error: Resource leak: fd [resourceLeak]
mes-0.24.2/lib/tests/mes/50-itoa.c:27:9: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/mes/50-itoa.c:27:11: style: Variable 'p' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/tests/mes/90-dtoab.c:28:9: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/posix/50-open-read.c:36:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PATH_MAX [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/tests/posix/50-open-read.c:51:5: error: Resource leak: filedes [resourceLeak]
mes-0.24.2/lib/tests/posix/50-open-read.c:55:5: error: Resource leak: filedes [resourceLeak]
mes-0.24.2/lib/tests/posix/50-open-read.c:57:5: error: Resource leak: filedes [resourceLeak]
mes-0.24.2/lib/tests/posix/50-open-read.c:61:3: error: Resource leak: filedes [resourceLeak]
mes-0.24.2/lib/tests/scaffold/06-not-call-1.c:30:10: style: Return value '!test()' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/06-not-call-1.c:30:16: note: Calling function 'test' returns 1
mes-0.24.2/lib/tests/scaffold/06-not-call-1.c:30:10: note: Return value '!test()' is always false
mes-0.24.2/lib/tests/scaffold/08-assign-global.c:29:11: style: Condition 'foo!=42' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/08-assign-global.c:28:9: note: Assignment 'foo=42', assigned value is 42
mes-0.24.2/lib/tests/scaffold/08-assign-global.c:29:11: note: Condition 'foo!=42' is always false
mes-0.24.2/lib/tests/scaffold/12-if-eq.c:24:9: style: Same expression on both sides of '=='. [duplicateExpression]
mes-0.24.2/lib/tests/scaffold/14-if-goto.c:24:9: style: Same expression on both sides of '=='. [duplicateExpression]
mes-0.24.2/lib/tests/scaffold/15-if-not-f.c:25:7: style: Condition '!f' is always true [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/15-if-not-f.c:24:11: note: Assignment 'f=0', assigned value is 0
mes-0.24.2/lib/tests/scaffold/15-if-not-f.c:25:7: note: Condition '!f' is always true
mes-0.24.2/lib/tests/scaffold/16-if-t.c:25:7: style: Condition 't' is always true [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/16-if-t.c:24:11: note: Assignment 't=1', assigned value is 1
mes-0.24.2/lib/tests/scaffold/16-if-t.c:25:7: note: Condition 't' is always true
mes-0.24.2/lib/tests/scaffold/17-compare-and-or.c:25:9: style: Condition 'c>='A'' is always true [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/17-compare-and-or.c:24:12: note: Assignment 'c='a'', assigned value is 97
mes-0.24.2/lib/tests/scaffold/17-compare-and-or.c:25:9: note: Condition 'c>='A'' is always true
mes-0.24.2/lib/tests/scaffold/17-compare-and-or.c:25:21: style: Condition 'c<='Z'' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/17-compare-and-or.c:24:12: note: Assignment 'c='a'', assigned value is 97
mes-0.24.2/lib/tests/scaffold/17-compare-and-or.c:25:21: note: Condition 'c<='Z'' is always false
mes-0.24.2/lib/tests/scaffold/17-compare-and-or.c:25:33: style: Condition 'c>='0'' is always true [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/17-compare-and-or.c:24:12: note: Assignment 'c='a'', assigned value is 97
mes-0.24.2/lib/tests/scaffold/17-compare-and-or.c:25:33: note: Condition 'c>='0'' is always true
mes-0.24.2/lib/tests/scaffold/17-compare-and-or.c:25:45: style: Condition 'c<='9'' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/17-compare-and-or.c:24:12: note: Assignment 'c='a'', assigned value is 97
mes-0.24.2/lib/tests/scaffold/17-compare-and-or.c:25:45: note: Condition 'c<='9'' is always false
mes-0.24.2/lib/tests/scaffold/17-compare-and-or.c:27:9: style: Condition 'c>='A'' is always true [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/17-compare-and-or.c:24:12: note: Assignment 'c='a'', assigned value is 97
mes-0.24.2/lib/tests/scaffold/17-compare-and-or.c:27:9: note: Condition 'c>='A'' is always true
mes-0.24.2/lib/tests/scaffold/17-compare-and-or.c:27:21: style: Condition 'c<='Z'' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/17-compare-and-or.c:24:12: note: Assignment 'c='a'', assigned value is 97
mes-0.24.2/lib/tests/scaffold/17-compare-and-or.c:27:21: note: Condition 'c<='Z'' is always false
mes-0.24.2/lib/tests/scaffold/17-compare-and-or.c:27:33: style: The comparison 'c >= 'a'' is always true because 'c' and ''a'' represent the same value. [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/17-compare-and-or.c:24:12: note: 'c' is assigned value ''a'' here.
mes-0.24.2/lib/tests/scaffold/17-compare-and-or.c:27:33: note: The comparison 'c >= 'a'' is always true because 'c' and ''a'' represent the same value.
mes-0.24.2/lib/tests/scaffold/17-compare-and-or.c:27:40: style: Same expression on both sides of '&&' because 'c>='a'' and 'c<='a'' represent the same value. [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/17-compare-and-or.c:24:12: note: 'c' is assigned value ''a'' here.
mes-0.24.2/lib/tests/scaffold/17-compare-and-or.c:27:40: note: Same expression on both sides of '&&' because 'c>='a'' and 'c<='a'' represent the same value.
mes-0.24.2/lib/tests/scaffold/17-compare-and-or.c:27:45: style: The comparison 'c <= 'a'' is always true because 'c' and ''a'' represent the same value. [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/17-compare-and-or.c:24:12: note: 'c' is assigned value ''a'' here.
mes-0.24.2/lib/tests/scaffold/17-compare-and-or.c:27:45: note: The comparison 'c <= 'a'' is always true because 'c' and ''a'' represent the same value.
mes-0.24.2/lib/tests/scaffold/17-compare-and.c:25:9: style: Condition 'c>='A'' is always true [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/17-compare-and.c:24:12: note: Assignment 'c='a'', assigned value is 97
mes-0.24.2/lib/tests/scaffold/17-compare-and.c:25:9: note: Condition 'c>='A'' is always true
mes-0.24.2/lib/tests/scaffold/17-compare-and.c:25:21: style: Condition 'c<='Z'' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/17-compare-and.c:24:12: note: Assignment 'c='a'', assigned value is 97
mes-0.24.2/lib/tests/scaffold/17-compare-and.c:25:21: note: Condition 'c<='Z'' is always false
mes-0.24.2/lib/tests/scaffold/17-compare-and.c:27:21: style: Condition 'c<='z'' is always true [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/17-compare-and.c:24:12: note: Assignment 'c='a'', assigned value is 97
mes-0.24.2/lib/tests/scaffold/17-compare-and.c:27:21: note: Condition 'c<='z'' is always true
mes-0.24.2/lib/tests/scaffold/17-compare-and.c:27:9: style: The comparison 'c >= 'a'' is always true because 'c' and ''a'' represent the same value. [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/17-compare-and.c:24:12: note: 'c' is assigned value ''a'' here.
mes-0.24.2/lib/tests/scaffold/17-compare-and.c:27:9: note: The comparison 'c >= 'a'' is always true because 'c' and ''a'' represent the same value.
mes-0.24.2/lib/tests/scaffold/17-compare-assign.c:34:9: style: Condition 'a!=1' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/17-compare-assign.c:33:9: note: Assignment 'a=0==0', assigned value is 1
mes-0.24.2/lib/tests/scaffold/17-compare-assign.c:34:9: note: Condition 'a!=1' is always false
mes-0.24.2/lib/tests/scaffold/17-compare-assign.c:33:9: style: Same expression on both sides of '=='. [duplicateExpression]
mes-0.24.2/lib/tests/scaffold/17-compare-call.c:34:9: style: Condition 'a!=1' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/17-compare-call.c:33:12: note: Calling function 'test' returns 1
mes-0.24.2/lib/tests/scaffold/17-compare-call.c:33:12: note: Assignment 'a=test(0==0)', assigned value is 1
mes-0.24.2/lib/tests/scaffold/17-compare-call.c:34:9: note: Condition 'a!=1' is always false
mes-0.24.2/lib/tests/scaffold/17-compare-call.c:33:15: style: Same expression on both sides of '=='. [duplicateExpression]
mes-0.24.2/lib/tests/scaffold/17-compare-ge.c:27:9: style: Condition 'r>=-1' is always true [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/17-compare-ge.c:24:11: note: Assignment 'r=0', assigned value is 0
mes-0.24.2/lib/tests/scaffold/17-compare-ge.c:27:9: note: Condition 'r>=-1' is always true
mes-0.24.2/lib/tests/scaffold/17-compare-ge.c:25:9: style: The comparison 'r > 0' is always false. [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/17-compare-ge.c:24:11: note: 'r' is assigned value '0' here.
mes-0.24.2/lib/tests/scaffold/17-compare-ge.c:25:9: note: The comparison 'r > 0' is always false.
mes-0.24.2/lib/tests/scaffold/17-compare-gt.c:27:9: style: Condition 'r>-1' is always true [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/17-compare-gt.c:24:11: note: Assignment 'r=0', assigned value is 0
mes-0.24.2/lib/tests/scaffold/17-compare-gt.c:27:9: note: Condition 'r>-1' is always true
mes-0.24.2/lib/tests/scaffold/17-compare-gt.c:25:9: style: The comparison 'r > 0' is always false. [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/17-compare-gt.c:24:11: note: 'r' is assigned value '0' here.
mes-0.24.2/lib/tests/scaffold/17-compare-gt.c:25:9: note: The comparison 'r > 0' is always false.
mes-0.24.2/lib/tests/scaffold/17-compare-le.c:25:9: style: Condition 'r<=-1' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/17-compare-le.c:24:11: note: Assignment 'r=0', assigned value is 0
mes-0.24.2/lib/tests/scaffold/17-compare-le.c:25:9: note: Condition 'r<=-1' is always false
mes-0.24.2/lib/tests/scaffold/17-compare-le.c:27:9: style: The comparison 'r <= 0' is always true. [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/17-compare-le.c:24:11: note: 'r' is assigned value '0' here.
mes-0.24.2/lib/tests/scaffold/17-compare-le.c:27:9: note: The comparison 'r <= 0' is always true.
mes-0.24.2/lib/tests/scaffold/17-compare-lt.c:25:9: style: Condition 'r<-1' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/17-compare-lt.c:24:11: note: Assignment 'r=0', assigned value is 0
mes-0.24.2/lib/tests/scaffold/17-compare-lt.c:25:9: note: Condition 'r<-1' is always false
mes-0.24.2/lib/tests/scaffold/17-compare-lt.c:27:9: style: Condition 'r<1' is always true [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/17-compare-lt.c:24:11: note: Assignment 'r=0', assigned value is 0
mes-0.24.2/lib/tests/scaffold/17-compare-lt.c:27:9: note: Condition 'r<1' is always true
mes-0.24.2/lib/tests/scaffold/17-compare-or.c:25:9: style: Condition 'c==' '' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/17-compare-or.c:24:12: note: Assignment 'c='a'', assigned value is 97
mes-0.24.2/lib/tests/scaffold/17-compare-or.c:25:9: note: Condition 'c==' '' is always false
mes-0.24.2/lib/tests/scaffold/17-compare-or.c:25:21: style: Condition 'c=='\n'' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/17-compare-or.c:24:12: note: Assignment 'c='a'', assigned value is 97
mes-0.24.2/lib/tests/scaffold/17-compare-or.c:25:21: note: Condition 'c=='\n'' is always false
mes-0.24.2/lib/tests/scaffold/17-compare-or.c:27:9: style: Condition 'c=='A'' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/17-compare-or.c:24:12: note: Assignment 'c='a'', assigned value is 97
mes-0.24.2/lib/tests/scaffold/17-compare-or.c:27:9: note: Condition 'c=='A'' is always false
mes-0.24.2/lib/tests/scaffold/17-compare-or.c:27:21: style: The comparison 'c == 'a'' is always true because 'c' and ''a'' represent the same value. [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/17-compare-or.c:24:12: note: 'c' is assigned value ''a'' here.
mes-0.24.2/lib/tests/scaffold/17-compare-or.c:27:21: note: The comparison 'c == 'a'' is always true because 'c' and ''a'' represent the same value.
mes-0.24.2/lib/tests/scaffold/17-compare-unsigned-char-le.c:25:13: style: Comparing expression of type 'unsigned char' against value -3. Condition is always false. [compareValueOutOfTypeRangeError]
mes-0.24.2/lib/tests/scaffold/17-compare-unsigned-char-le.c:27:9: style: Condition 'r<=(unsigned char)-1' is always true [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/17-compare-unsigned-char-le.c:24:22: note: Assignment 'r=-2', assigned value is 254
mes-0.24.2/lib/tests/scaffold/17-compare-unsigned-char-le.c:27:9: note: Condition 'r<=(unsigned char)-1' is always true
mes-0.24.2/lib/tests/scaffold/17-compare-unsigned-ge.c:25:9: style: Condition 'r<=-1' is always true [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/17-compare-unsigned-ge.c:24:17: note: Assignment 'r=-2', assigned value is 4294967294
mes-0.24.2/lib/tests/scaffold/17-compare-unsigned-ge.c:25:9: note: Condition 'r<=-1' is always true
mes-0.24.2/lib/tests/scaffold/17-compare-unsigned-gt.c:25:9: style: Condition 'r>-1' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/17-compare-unsigned-gt.c:24:17: note: Assignment 'r=-2', assigned value is 4294967294
mes-0.24.2/lib/tests/scaffold/17-compare-unsigned-gt.c:25:9: note: Condition 'r>-1' is always false
mes-0.24.2/lib/tests/scaffold/17-compare-unsigned-gt.c:27:9: style: Condition 'r>0' is always true [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/17-compare-unsigned-gt.c:24:17: note: Assignment 'r=-2', assigned value is 4294967294
mes-0.24.2/lib/tests/scaffold/17-compare-unsigned-gt.c:27:9: note: Condition 'r>0' is always true
mes-0.24.2/lib/tests/scaffold/17-compare-unsigned-le.c:25:9: style: Condition 'r<=-3' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/17-compare-unsigned-le.c:24:17: note: Assignment 'r=-2', assigned value is 4294967294
mes-0.24.2/lib/tests/scaffold/17-compare-unsigned-le.c:25:9: note: Condition 'r<=-3' is always false
mes-0.24.2/lib/tests/scaffold/17-compare-unsigned-le.c:27:9: style: Condition 'r<=-1' is always true [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/17-compare-unsigned-le.c:24:17: note: Assignment 'r=-2', assigned value is 4294967294
mes-0.24.2/lib/tests/scaffold/17-compare-unsigned-le.c:27:9: note: Condition 'r<=-1' is always true
mes-0.24.2/lib/tests/scaffold/17-compare-unsigned-long-le.c:25:9: style: Condition 'r<=-3' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/17-compare-unsigned-long-le.c:27:9: style: Condition 'r<=-1' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/17-compare-unsigned-lt.c:27:9: style: Condition 'r<-1' is always true [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/17-compare-unsigned-lt.c:24:17: note: Assignment 'r=-2', assigned value is 4294967294
mes-0.24.2/lib/tests/scaffold/17-compare-unsigned-lt.c:27:9: note: Condition 'r<-1' is always true
mes-0.24.2/lib/tests/scaffold/17-compare-unsigned-lt.c:25:9: style: Checking if unsigned expression 'r' is less than zero. [unsignedLessThanZero]
mes-0.24.2/lib/tests/scaffold/17-compare-unsigned-short-le.c:25:13: style: Comparing expression of type 'unsigned short' against value -3. Condition is always false. [compareValueOutOfTypeRangeError]
mes-0.24.2/lib/tests/scaffold/17-compare-unsigned-short-le.c:27:9: style: Condition 'r<=(unsigned short)-1' is always true [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/17-compare-unsigned-short-le.c:24:23: note: Assignment 'r=-2', assigned value is 65534
mes-0.24.2/lib/tests/scaffold/17-compare-unsigned-short-le.c:27:9: note: Condition 'r<=(unsigned short)-1' is always true
mes-0.24.2/lib/tests/scaffold/18-assign-shadow.c:30:7: style: Condition 'c' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/18-assign-shadow.c:26:11: note: Assignment 'c=0', assigned value is 0
mes-0.24.2/lib/tests/scaffold/18-assign-shadow.c:30:7: note: Condition 'c' is always false
mes-0.24.2/lib/tests/scaffold/18-assign-shadow.c:28:9: style: Local variable 'c' shadows outer variable [shadowVariable]
mes-0.24.2/lib/tests/scaffold/18-assign-shadow.c:26:7: note: Shadowed declaration
mes-0.24.2/lib/tests/scaffold/18-assign-shadow.c:28:9: note: Shadow variable
mes-0.24.2/lib/tests/scaffold/18-assign-shadow.c:28:11: style: Variable 'c' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/tests/scaffold/21-char-array-simple.c:25:7: style: Condition '!s[0]' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/21-char-array-simple.c:24:13: note: Assignment 's="mes"', assigned value is "mes"
mes-0.24.2/lib/tests/scaffold/21-char-array-simple.c:25:7: note: Condition '!s[0]' is always false
mes-0.24.2/lib/tests/scaffold/21-char-array-simple.c:27:12: style: Condition 's[1]!='e'' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/21-char-array-simple.c:24:13: note: Assignment 's="mes"', assigned value is "mes"
mes-0.24.2/lib/tests/scaffold/21-char-array-simple.c:27:12: note: Condition 's[1]!='e'' is always false
mes-0.24.2/lib/tests/scaffold/21-char-array-simple.c:24:9: style: Variable 's' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/scaffold/21-char-array.c:25:7: style: Condition '!s[0]' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/21-char-array.c:24:13: note: Assignment 's="mes"', assigned value is "mes"
mes-0.24.2/lib/tests/scaffold/21-char-array.c:25:7: note: Condition '!s[0]' is always false
mes-0.24.2/lib/tests/scaffold/21-char-array.c:31:8: style: Condition 's[3]' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/21-char-array.c:24:13: note: Assignment 's="mes"', assigned value is "mes"
mes-0.24.2/lib/tests/scaffold/21-char-array.c:29:7: note: Assuming condition is false
mes-0.24.2/lib/tests/scaffold/21-char-array.c:31:8: note: Condition 's[3]' is always false
mes-0.24.2/lib/tests/scaffold/21-char-array.c:33:8: style: Condition 's[v]' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/21-char-array.c:24:13: note: Assignment 's="mes"', assigned value is "mes"
mes-0.24.2/lib/tests/scaffold/21-char-array.c:29:7: note: Assuming condition is false
mes-0.24.2/lib/tests/scaffold/21-char-array.c:28:11: note: Assignment 'v=3', assigned value is 3
mes-0.24.2/lib/tests/scaffold/21-char-array.c:29:7: note: Assuming condition is false
mes-0.24.2/lib/tests/scaffold/21-char-array.c:33:8: note: Condition 's[v]' is always false
mes-0.24.2/lib/tests/scaffold/21-char-array.c:24:9: style: Variable 's' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/scaffold/21-char-array.c:29:10: error: Uninitialized variable: f [uninitvar]
mes-0.24.2/lib/tests/scaffold/21-char-array.c:27:7: style: Variable 'f' is not assigned a value. [unassignedVariable]
mes-0.24.2/lib/tests/scaffold/22-while-char-array.c:24:9: style: Variable 's' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/scaffold/23-global-pointer-ref.c:26:9: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/scaffold/23-pointer-sub.c:28:19: style: Condition 'end-begin!=4' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/23-pointer-sub.c:27:13: note: end is assigned 'begin+4' here.
mes-0.24.2/lib/tests/scaffold/23-pointer-sub.c:28:19: note: Condition 'end-begin!=4' is always false
mes-0.24.2/lib/tests/scaffold/23-pointer-sub.c:27:9: style: Variable 'end' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/scaffold/23-pointer.c:38:16: style: Condition '*g_chars!='A'' is always true [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/23-pointer.c:34:16: note: Assuming that condition '*g_chars!='X'' is not redundant
mes-0.24.2/lib/tests/scaffold/23-pointer.c:38:16: note: Condition '*g_chars!='A'' is always true
mes-0.24.2/lib/tests/scaffold/23-pointer.c:49:18: style: Condition 'g_chars[1]!='X'' is always true [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/23-pointer.c:44:18: note: Assuming that condition 'g_chars[1]!='C'' is not redundant
mes-0.24.2/lib/tests/scaffold/23-pointer.c:46:18: note: Assuming condition is false
mes-0.24.2/lib/tests/scaffold/23-pointer.c:49:18: note: Condition 'g_chars[1]!='X'' is always true
mes-0.24.2/lib/tests/scaffold/23-pointer.c:56:9: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/scaffold/32-call-wrap.c:40:7: style: Variable 'a' can be declared as const array [constVariable]
mes-0.24.2/lib/tests/scaffold/32-compare.c:38:7: style: Condition 'f' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/32-compare.c:32:11: note: Assignment 'f=0', assigned value is 0
mes-0.24.2/lib/tests/scaffold/32-compare.c:38:7: note: Condition 'f' is always false
mes-0.24.2/lib/tests/scaffold/32-compare.c:42:11: style: Condition 'one!=1' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/32-compare.c:33:11: note: Assignment 't=1', assigned value is 1
mes-0.24.2/lib/tests/scaffold/32-compare.c:34:13: note: Assignment 'one=t', assigned value is 1
mes-0.24.2/lib/tests/scaffold/32-compare.c:42:11: note: Condition 'one!=1' is always false
mes-0.24.2/lib/tests/scaffold/32-compare.c:46:9: style: Condition '1!=one' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/32-compare.c:33:11: note: Assignment 't=1', assigned value is 1
mes-0.24.2/lib/tests/scaffold/32-compare.c:34:13: note: Assignment 'one=t', assigned value is 1
mes-0.24.2/lib/tests/scaffold/32-compare.c:46:9: note: Condition '1!=one' is always false
mes-0.24.2/lib/tests/scaffold/32-compare.c:50:11: style: Condition 'one>1' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/32-compare.c:33:11: note: Assignment 't=1', assigned value is 1
mes-0.24.2/lib/tests/scaffold/32-compare.c:34:13: note: Assignment 'one=t', assigned value is 1
mes-0.24.2/lib/tests/scaffold/32-compare.c:50:11: note: Condition 'one>1' is always false
mes-0.24.2/lib/tests/scaffold/32-compare.c:70:11: style: Condition 'one==0' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/32-compare.c:58:11: note: Assuming that condition 'one<=0' is not redundant
mes-0.24.2/lib/tests/scaffold/32-compare.c:62:11: note: Assuming condition is false
mes-0.24.2/lib/tests/scaffold/32-compare.c:70:11: note: Condition 'one==0' is always false
mes-0.24.2/lib/tests/scaffold/32-compare.c:74:11: style: Condition 'one!=1' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/32-compare.c:58:11: note: Assuming that condition 'one<=0' is not redundant
mes-0.24.2/lib/tests/scaffold/32-compare.c:62:11: note: Assuming condition is false
mes-0.24.2/lib/tests/scaffold/32-compare.c:74:11: note: Condition 'one!=1' is always false
mes-0.24.2/lib/tests/scaffold/32-compare.c:250:12: style: Condition 'isid(0)' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/32-compare.c:250:12: note: Calling function 'isid' returns 0
mes-0.24.2/lib/tests/scaffold/32-compare.c:250:12: note: Condition 'isid(0)' is always false
mes-0.24.2/lib/tests/scaffold/32-compare.c:255:12: style: Condition 'isid(6)' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/32-compare.c:255:12: note: Calling function 'isid' returns 0
mes-0.24.2/lib/tests/scaffold/32-compare.c:255:12: note: Condition 'isid(6)' is always false
mes-0.24.2/lib/tests/scaffold/32-compare.c:259:18: style: Condition 'isid('a')!=1' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/32-compare.c:259:12: note: Calling function 'isid' returns 1
mes-0.24.2/lib/tests/scaffold/32-compare.c:259:18: note: Condition 'isid('a')!=1' is always false
mes-0.24.2/lib/tests/scaffold/32-compare.c:263:12: style: Condition 'isid(' ')' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/32-compare.c:263:12: note: Calling function 'isid' returns 0
mes-0.24.2/lib/tests/scaffold/32-compare.c:263:12: note: Condition 'isid(' ')' is always false
mes-0.24.2/lib/tests/scaffold/32-compare.c:213:10: style: The comparison 'm1 >= -1' is always true. [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/32-compare.c:162:13: note: 'm1' is assigned value '-1' here.
mes-0.24.2/lib/tests/scaffold/32-compare.c:213:10: note: The comparison 'm1 >= -1' is always true.
mes-0.24.2/lib/tests/scaffold/32-compare.c:223:10: style: The comparison 'm1 <= -1' is always true. [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/32-compare.c:162:13: note: 'm1' is assigned value '-1' here.
mes-0.24.2/lib/tests/scaffold/32-compare.c:223:10: note: The comparison 'm1 <= -1' is always true.
mes-0.24.2/lib/tests/scaffold/32-compare.c:229:10: style: The comparison '-1 > m1' is always false. [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/32-compare.c:162:13: note: 'm1' is assigned value '-1' here.
mes-0.24.2/lib/tests/scaffold/32-compare.c:229:10: note: The comparison '-1 > m1' is always false.
mes-0.24.2/lib/tests/scaffold/32-compare.c:239:10: style: The comparison '-1 < m1' is always false. [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/32-compare.c:162:13: note: 'm1' is assigned value '-1' here.
mes-0.24.2/lib/tests/scaffold/32-compare.c:239:10: note: The comparison '-1 < m1' is always false.
mes-0.24.2/lib/tests/scaffold/33-and-or.c:40:9: warning: Logical conjunction always evaluates to false: t && !(one). [incorrectLogicOperator]
mes-0.24.2/lib/tests/scaffold/33-and-or.c:28:13: note: 'one' is assigned value 't' here.
mes-0.24.2/lib/tests/scaffold/33-and-or.c:40:9: note: Logical conjunction always evaluates to false: t && !(one).
mes-0.24.2/lib/tests/scaffold/33-and-or.c:36:7: style: Condition '!t' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/33-and-or.c:27:11: note: Assignment 't=1', assigned value is 1
mes-0.24.2/lib/tests/scaffold/33-and-or.c:28:13: note: Assignment 'one=t', assigned value is 1
mes-0.24.2/lib/tests/scaffold/33-and-or.c:28:11: note: one is assigned 't' here.
mes-0.24.2/lib/tests/scaffold/33-and-or.c:36:7: note: Condition '!t' is always false
mes-0.24.2/lib/tests/scaffold/33-and-or.c:36:13: style: Condition 'f' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/33-and-or.c:26:11: note: Assignment 'f=0', assigned value is 0
mes-0.24.2/lib/tests/scaffold/33-and-or.c:36:13: note: Condition 'f' is always false
mes-0.24.2/lib/tests/scaffold/33-and-or.c:44:7: style: Condition 'f' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/33-and-or.c:26:11: note: Assignment 'f=0', assigned value is 0
mes-0.24.2/lib/tests/scaffold/33-and-or.c:44:7: note: Condition 'f' is always false
mes-0.24.2/lib/tests/scaffold/33-and-or.c:44:12: style: Condition '!t' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/33-and-or.c:27:11: note: Assignment 't=1', assigned value is 1
mes-0.24.2/lib/tests/scaffold/33-and-or.c:28:13: note: Assignment 'one=t', assigned value is 1
mes-0.24.2/lib/tests/scaffold/33-and-or.c:28:11: note: one is assigned 't' here.
mes-0.24.2/lib/tests/scaffold/33-and-or.c:40:9: note: Assuming condition is false
mes-0.24.2/lib/tests/scaffold/33-and-or.c:44:12: note: Condition '!t' is always false
mes-0.24.2/lib/tests/scaffold/33-and-or.c:40:9: style: Opposite expression on both sides of '&&'. [oppositeExpression]
mes-0.24.2/lib/tests/scaffold/33-and-or.c:28:13: note: 'one' is assigned value 't' here.
mes-0.24.2/lib/tests/scaffold/33-and-or.c:40:9: note: Opposite expression on both sides of '&&'.
mes-0.24.2/lib/tests/scaffold/34-pre-post.c:33:8: style: Condition 'i++' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/34-pre-post.c:29:11: note: Assignment 'i=0', assigned value is 0
mes-0.24.2/lib/tests/scaffold/34-pre-post.c:33:8: note: Condition 'i++' is always false
mes-0.24.2/lib/tests/scaffold/34-pre-post.c:37:7: style: Condition '--i' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/34-pre-post.c:29:11: note: Assignment 'i=0', assigned value is 0
mes-0.24.2/lib/tests/scaffold/34-pre-post.c:33:7: note: i is incremented', new value is 1
mes-0.24.2/lib/tests/scaffold/34-pre-post.c:37:7: note: Condition '--i' is always false
mes-0.24.2/lib/tests/scaffold/34-pre-post.c:42:9: style: Condition 'i!=2' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/34-pre-post.c:29:11: note: Assignment 'i=0', assigned value is 0
mes-0.24.2/lib/tests/scaffold/34-pre-post.c:33:7: note: i is incremented', new value is 1
mes-0.24.2/lib/tests/scaffold/34-pre-post.c:37:9: note: i is decremented', new value is 0
mes-0.24.2/lib/tests/scaffold/34-pre-post.c:41:3: note: Compound assignment '+=', assigned value is 2
mes-0.24.2/lib/tests/scaffold/34-pre-post.c:42:9: note: Condition 'i!=2' is always false
mes-0.24.2/lib/tests/scaffold/34-pre-post.c:47:9: style: Condition 'i!=0' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/34-pre-post.c:29:11: note: Assignment 'i=0', assigned value is 0
mes-0.24.2/lib/tests/scaffold/34-pre-post.c:33:7: note: i is incremented', new value is 1
mes-0.24.2/lib/tests/scaffold/34-pre-post.c:37:9: note: i is decremented', new value is 0
mes-0.24.2/lib/tests/scaffold/34-pre-post.c:41:3: note: Compound assignment '+=', assigned value is 2
mes-0.24.2/lib/tests/scaffold/34-pre-post.c:46:3: note: Compound assignment '-=', assigned value is 0
mes-0.24.2/lib/tests/scaffold/34-pre-post.c:47:9: note: Condition 'i!=0' is always false
mes-0.24.2/lib/tests/scaffold/34-pre-post.c:26:7: style: Variable 'f' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/tests/scaffold/34-pre-post.c:28:7: style: Variable 'one' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/tests/scaffold/35-compare-char.c:37:12: style: Condition 'p[0]!='m'' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/35-compare-char.c:31:13: note: Assignment 'p="mes"', assigned value is "mes"
mes-0.24.2/lib/tests/scaffold/35-compare-char.c:37:12: note: Condition 'p[0]!='m'' is always false
mes-0.24.2/lib/tests/scaffold/35-compare-char.c:41:12: style: Condition 'p[i]!='m'' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/35-compare-char.c:31:13: note: Assignment 'p="mes"', assigned value is "mes"
mes-0.24.2/lib/tests/scaffold/35-compare-char.c:29:11: note: Assignment 'i=0', assigned value is 0
mes-0.24.2/lib/tests/scaffold/35-compare-char.c:41:12: note: Condition 'p[i]!='m'' is always false
mes-0.24.2/lib/tests/scaffold/35-compare-char.c:31:9: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/scaffold/35-compare-char.c:33:9: style: Variable 'y' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/scaffold/36-compare-arithmetic-negative.c:36:14: style: Condition '-8/4!=-2' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/36-compare-arithmetic.c:28:13: style: Condition '1+2!=3' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/36-compare-arithmetic.c:36:14: style: Condition '1<<3!=8' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/36-compare-arithmetic.c:40:14: style: Condition '8>>3!=1' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/36-compare-arithmetic.c:44:13: style: Condition '8/4!=2' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/37-compare-assign.c:32:9: style: Condition 'f=0' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/37-compare-assign.c:36:7: style: Condition '!(t=1)' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/37-compare-assign.c:40:15: style: Condition '(f=0)!=0' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/37-compare-assign.c:44:15: style: Condition '(t=1)!=1' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/37-compare-assign.c:28:11: style: Variable 'one' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/tests/scaffold/37-compare-assign.c:40:10: style: Variable 'f' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/tests/scaffold/37-compare-assign.c:44:10: style: Variable 't' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/tests/scaffold/38-compare-call-2.c:38:40: style: Condition 'add(identity(1),identity(2))!=3' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/38-compare-call-2.c:38:11: note: Calling function 'add' returns 3
mes-0.24.2/lib/tests/scaffold/38-compare-call-2.c:38:40: note: Condition 'add(identity(1),identity(2))!=3' is always false
mes-0.24.2/lib/tests/scaffold/38-compare-call-3.c:38:30: style: Condition 'add(inc(0),inc(1))!=3' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/38-compare-call-3.c:38:11: note: Calling function 'add' returns 3
mes-0.24.2/lib/tests/scaffold/38-compare-call-3.c:38:30: note: Condition 'add(inc(0),inc(1))!=3' is always false
mes-0.24.2/lib/tests/scaffold/38-compare-call.c:56:14: style: Condition 'strlen("")' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/38-compare-call.c:60:18: style: Condition 'strlen(p)!=3' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/38-compare-call.c:52:13: note: Assignment 'p="mes"', assigned value is "mes"
mes-0.24.2/lib/tests/scaffold/38-compare-call.c:60:18: note: Condition 'strlen(p)!=3' is always false
mes-0.24.2/lib/tests/scaffold/38-compare-call.c:64:7: style: Condition '!strlen(".")' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/38-compare-call.c:68:23: style: Condition 'identity(p[i])!='m'' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/38-compare-call.c:52:13: note: Assignment 'p="mes"', assigned value is "mes"
mes-0.24.2/lib/tests/scaffold/38-compare-call.c:48:11: note: Assignment 'i=0', assigned value is 0
mes-0.24.2/lib/tests/scaffold/38-compare-call.c:60:18: note: Assuming condition is false
mes-0.24.2/lib/tests/scaffold/38-compare-call.c:68:16: note: Calling function 'identity' returns 109
mes-0.24.2/lib/tests/scaffold/38-compare-call.c:68:23: note: Condition 'identity(p[i])!='m'' is always false
mes-0.24.2/lib/tests/scaffold/38-compare-call.c:72:15: style: Condition 'inc(0)!=1' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/38-compare-call.c:72:11: note: Calling function 'inc' returns 1
mes-0.24.2/lib/tests/scaffold/38-compare-call.c:72:15: note: Condition 'inc(0)!=1' is always false
mes-0.24.2/lib/tests/scaffold/38-compare-call.c:76:21: style: Condition 'inc(inc(0))!=2' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/38-compare-call.c:76:11: note: Calling function 'inc' returns 2
mes-0.24.2/lib/tests/scaffold/38-compare-call.c:76:21: note: Condition 'inc(inc(0))!=2' is always false
mes-0.24.2/lib/tests/scaffold/38-compare-call.c:80:27: style: Condition 'inc(inc(inc(0)))!=3' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/38-compare-call.c:80:11: note: Calling function 'inc' returns 3
mes-0.24.2/lib/tests/scaffold/38-compare-call.c:80:27: note: Condition 'inc(inc(inc(0)))!=3' is always false
mes-0.24.2/lib/tests/scaffold/38-compare-call.c:84:18: style: Condition 'add(1,2)!=3' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/38-compare-call.c:84:11: note: Calling function 'add' returns 3
mes-0.24.2/lib/tests/scaffold/38-compare-call.c:84:18: note: Condition 'add(1,2)!=3' is always false
mes-0.24.2/lib/tests/scaffold/38-compare-call.c:89:30: style: Condition 'add(inc(0),inc(1))!=3' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/38-compare-call.c:89:11: note: Calling function 'add' returns 3
mes-0.24.2/lib/tests/scaffold/38-compare-call.c:89:30: note: Condition 'add(inc(0),inc(1))!=3' is always false
mes-0.24.2/lib/tests/scaffold/38-compare-call.c:94:24: style: Condition 'add(TSTRING,3)!=13' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/38-compare-call.c:94:11: note: Calling function 'add' returns 13
mes-0.24.2/lib/tests/scaffold/38-compare-call.c:94:24: note: Condition 'add(TSTRING,3)!=13' is always false
mes-0.24.2/lib/tests/scaffold/38-compare-call.c:99:42: style: Condition 'add(inc(inc(0)),inc(inc(1)))!=5' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/38-compare-call.c:99:11: note: Calling function 'add' returns 5
mes-0.24.2/lib/tests/scaffold/38-compare-call.c:99:42: note: Condition 'add(inc(inc(0)),inc(inc(1)))!=5' is always false
mes-0.24.2/lib/tests/scaffold/38-compare-call.c:104:14: style: Condition 'strlen(".")' is always true [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/38-compare-call.c:52:9: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/scaffold/38-compare-call.c:49:7: style: Variable 'f' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/tests/scaffold/38-compare-call.c:51:7: style: Variable 'one' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/tests/scaffold/40-if-else.c:34:7: warning: Identical condition 'i', second condition is always false [identicalConditionAfterEarlyExit]
mes-0.24.2/lib/tests/scaffold/40-if-else.c:29:7: note: If condition 'i' is true, the function will return/exit
mes-0.24.2/lib/tests/scaffold/40-if-else.c:34:7: note: Testing identical condition 'i'
mes-0.24.2/lib/tests/scaffold/40-if-else.c:36:14: style: Condition 'i==1' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/40-if-else.c:34:7: note: Assuming that condition 'i' is not redundant
mes-0.24.2/lib/tests/scaffold/40-if-else.c:36:14: note: Condition 'i==1' is always false
mes-0.24.2/lib/tests/scaffold/41-ternary.c:32:8: style: Condition 'one==1' is always true [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/41-ternary.c:27:11: note: Assignment 't=1', assigned value is 1
mes-0.24.2/lib/tests/scaffold/41-ternary.c:28:13: note: Assignment 'one=t', assigned value is 1
mes-0.24.2/lib/tests/scaffold/41-ternary.c:32:8: note: Condition 'one==1' is always true
mes-0.24.2/lib/tests/scaffold/41-ternary.c:35:4: style: Condition 'f' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/41-ternary.c:26:11: note: Assignment 'f=0', assigned value is 0
mes-0.24.2/lib/tests/scaffold/41-ternary.c:35:4: note: Condition 'f' is always false
mes-0.24.2/lib/tests/scaffold/41-ternary.c:37:11: style: Condition 'f' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/41-ternary.c:26:11: note: Assignment 'f=0', assigned value is 0
mes-0.24.2/lib/tests/scaffold/41-ternary.c:37:11: note: Condition 'f' is always false
mes-0.24.2/lib/tests/scaffold/41-ternary.c:38:7: style: Condition 'r' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/41-ternary.c:37:13: note: Assignment 'r=f?3-1:2-2', assigned value is 0
mes-0.24.2/lib/tests/scaffold/41-ternary.c:38:7: note: Condition 'r' is always false
mes-0.24.2/lib/tests/scaffold/41-ternary.c:41:7: style: Condition 't' is always true [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/41-ternary.c:27:11: note: Assignment 't=1', assigned value is 1
mes-0.24.2/lib/tests/scaffold/41-ternary.c:41:7: note: Condition 't' is always true
mes-0.24.2/lib/tests/scaffold/41-ternary.c:42:9: style: Condition 'r!=4' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/41-ternary.c:41:9: note: Assignment 'r=t?2+3-1:3+4-5', assigned value is 4
mes-0.24.2/lib/tests/scaffold/41-ternary.c:42:9: note: Condition 'r!=4' is always false
mes-0.24.2/lib/tests/scaffold/41-ternary.c:46:10: style: Condition 'f' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/41-ternary.c:26:11: note: Assignment 'f=0', assigned value is 0
mes-0.24.2/lib/tests/scaffold/41-ternary.c:46:10: note: Condition 'f' is always false
mes-0.24.2/lib/tests/scaffold/41-ternary.c:37:25: style: Same expression on both sides of '-'. [duplicateExpression]
mes-0.24.2/lib/tests/scaffold/41-ternary.c:46:24: style: Same expression on both sides of '-'. [duplicateExpression]
mes-0.24.2/lib/tests/scaffold/42-goto-label.c:31:3: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak]
mes-0.24.2/lib/tests/scaffold/42-goto-label.c:39:11: style: Variable 'one' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/tests/scaffold/42-goto-label.c:37:7: style: Unused variable: f [unusedVariable]
mes-0.24.2/lib/tests/scaffold/43-for-do-while.c:78:7: style: Statements following 'continue' will never be executed. [unreachableCode]
mes-0.24.2/lib/tests/scaffold/43-for-do-while.c:30:9: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/scaffold/43-for-do-while.c:30:9: style: Variable 'p' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/tests/scaffold/44-switch.c:64:9: style: Assignment of function parameter has no effect outside the function. [uselessAssignmentArg]
mes-0.24.2/lib/tests/scaffold/44-switch.c:79:9: style: Variable 'x' is reassigned a value before the old one has been used. [redundantAssignment]
mes-0.24.2/lib/tests/scaffold/44-switch.c:78:9: note: x is assigned
mes-0.24.2/lib/tests/scaffold/44-switch.c:79:9: note: x is overwritten
mes-0.24.2/lib/tests/scaffold/44-switch.c:96:9: style: Variable 'a' is reassigned a value before the old one has been used. [redundantAssignment]
mes-0.24.2/lib/tests/scaffold/44-switch.c:93:9: note: a is assigned
mes-0.24.2/lib/tests/scaffold/44-switch.c:96:9: note: a is overwritten
mes-0.24.2/lib/tests/scaffold/44-switch.c:91:5: warning: Label 'here' is not used. Should this be a 'case' of the enclosing switch()? [unusedLabelSwitch]
mes-0.24.2/lib/tests/scaffold/44-switch.c:98:5: warning: Label 'there' is not used. Should this be a 'case' of the enclosing switch()? [unusedLabelSwitch]
mes-0.24.2/lib/tests/scaffold/44-switch.c:64:11: style: Variable 'c' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/tests/scaffold/46-function-static.c:28:14: style: Local variable 'i' shadows outer variable [shadowVariable]
mes-0.24.2/lib/tests/scaffold/46-function-static.c:22:12: note: Shadowed declaration
mes-0.24.2/lib/tests/scaffold/46-function-static.c:28:14: note: Shadow variable
mes-0.24.2/lib/tests/scaffold/48-global-static.c:33:17: error: Found an exit path from function with non-void return type that has missing return statement [missingReturn]
mes-0.24.2/lib/tests/scaffold/48-global-static.c:31:9: style: Variable 'r' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/scaffold/48-global-static.c:33:7: style: Variable 'r' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/tests/scaffold/48-global-static.c:40:18: style: Variable 'foo' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/tests/scaffold/55-char-array.c:82:7: style: Variable 'hello_int' can be declared as const array [constVariable]
mes-0.24.2/lib/tests/scaffold/60-math-modulo.c:36:9: style: Condition 'i!=1' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/60-math-modulo.c:35:9: note: Assignment 'i=1%2', assigned value is 1
mes-0.24.2/lib/tests/scaffold/60-math-modulo.c:36:9: note: Condition 'i!=1' is always false
mes-0.24.2/lib/tests/scaffold/60-math-modulo.c:41:9: style: Condition 'i!=2' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/60-math-modulo.c:40:9: note: Assignment 'i=2%4', assigned value is 2
mes-0.24.2/lib/tests/scaffold/60-math-modulo.c:41:9: note: Condition 'i!=2' is always false
mes-0.24.2/lib/tests/scaffold/60-math-modulo.c:46:9: style: Condition 'i!=3' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/60-math-modulo.c:45:9: note: Assignment 'i=3%4', assigned value is 3
mes-0.24.2/lib/tests/scaffold/60-math-modulo.c:46:9: note: Condition 'i!=3' is always false
mes-0.24.2/lib/tests/scaffold/60-math-modulo.c:51:9: style: Condition 'i!=1' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/60-math-modulo.c:50:9: note: Assignment 'i=1%256', assigned value is 1
mes-0.24.2/lib/tests/scaffold/60-math-modulo.c:51:9: note: Condition 'i!=1' is always false
mes-0.24.2/lib/tests/scaffold/60-math-modulo.c:60:9: style: Condition 'u!=1' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/60-math-modulo.c:59:9: note: Assignment 'u=1%2', assigned value is 1
mes-0.24.2/lib/tests/scaffold/60-math-modulo.c:60:9: note: Condition 'u!=1' is always false
mes-0.24.2/lib/tests/scaffold/60-math-modulo.c:65:9: style: Condition 'u!=2' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/60-math-modulo.c:64:9: note: Assignment 'u=2%4', assigned value is 2
mes-0.24.2/lib/tests/scaffold/60-math-modulo.c:65:9: note: Condition 'u!=2' is always false
mes-0.24.2/lib/tests/scaffold/60-math-modulo.c:70:9: style: Condition 'u!=3' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/60-math-modulo.c:69:9: note: Assignment 'u=3%4', assigned value is 3
mes-0.24.2/lib/tests/scaffold/60-math-modulo.c:70:9: note: Condition 'u!=3' is always false
mes-0.24.2/lib/tests/scaffold/60-math-modulo.c:75:9: style: Condition 'u!=1' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/60-math-modulo.c:74:9: note: Assignment 'u=1%256', assigned value is 1
mes-0.24.2/lib/tests/scaffold/60-math-modulo.c:75:9: note: Condition 'u!=1' is always false
mes-0.24.2/lib/tests/scaffold/60-math.c:78:9: style: Condition '1==inc(0)' is always true [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/60-math.c:78:16: note: Calling function 'inc' returns 1
mes-0.24.2/lib/tests/scaffold/60-math.c:78:9: note: Condition '1==inc(0)' is always true
mes-0.24.2/lib/tests/scaffold/60-math.c:84:9: style: Condition '0<inc(0)' is always true [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/60-math.c:84:15: note: Calling function 'inc' returns 1
mes-0.24.2/lib/tests/scaffold/60-math.c:84:9: note: Condition '0<inc(0)' is always true
mes-0.24.2/lib/tests/scaffold/60-math.c:90:25: style: Condition 'inc(0)+inc(1)!=3' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/60-math.c:90:11: note: Calling function 'inc' returns 1
mes-0.24.2/lib/tests/scaffold/60-math.c:90:25: note: Condition 'inc(0)+inc(1)!=3' is always false
mes-0.24.2/lib/tests/scaffold/60-math.c:95:9: style: Condition 'i!=2' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/60-math.c:94:9: note: Assignment 'i=4/2', assigned value is 2
mes-0.24.2/lib/tests/scaffold/60-math.c:95:9: note: Condition 'i!=2' is always false
mes-0.24.2/lib/tests/scaffold/60-math.c:103:9: style: Condition 'i!=12' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/60-math.c:102:9: note: Assignment 'i=3*4', assigned value is 12
mes-0.24.2/lib/tests/scaffold/60-math.c:103:9: note: Condition 'i!=12' is always false
mes-0.24.2/lib/tests/scaffold/60-math.c:108:9: style: Condition 'i!=3' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/60-math.c:102:9: note: Assignment 'i=3*4', assigned value is 12
mes-0.24.2/lib/tests/scaffold/60-math.c:107:3: note: Compound assignment '/=', assigned value is 3
mes-0.24.2/lib/tests/scaffold/60-math.c:108:9: note: Condition 'i!=3' is always false
mes-0.24.2/lib/tests/scaffold/60-math.c:113:9: style: Condition 'i!=12' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/60-math.c:102:9: note: Assignment 'i=3*4', assigned value is 12
mes-0.24.2/lib/tests/scaffold/60-math.c:107:3: note: Compound assignment '/=', assigned value is 3
mes-0.24.2/lib/tests/scaffold/60-math.c:112:3: note: Compound assignment '*=', assigned value is 12
mes-0.24.2/lib/tests/scaffold/60-math.c:113:9: note: Condition 'i!=12' is always false
mes-0.24.2/lib/tests/scaffold/60-math.c:117:14: style: Condition '1<<3!=8' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/60-math.c:121:14: style: Condition '3<<4!=48' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/60-math.c:125:15: style: Condition '48>>4!=3' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/60-math.c:129:15: style: Condition '10>>1!=5' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/60-math.c:138:10: style: Condition '-i!=3' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/60-math.c:136:8: note: Assignment 'i=-3', assigned value is -3
mes-0.24.2/lib/tests/scaffold/60-math.c:138:10: note: Condition '-i!=3' is always false
mes-0.24.2/lib/tests/scaffold/60-math.c:142:14: style: Condition '-1+2!=1' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/60-math.c:146:15: style: Condition '(1&3)!=1' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/60-math.c:158:15: style: Condition '(1^3)!=2' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/60-math.c:46:9: style: Same expression on both sides of '<'. [duplicateExpression]
mes-0.24.2/lib/tests/scaffold/60-math.c:62:9: style: Same expression on both sides of '>'. [duplicateExpression]
mes-0.24.2/lib/tests/scaffold/60-math.c:162:10: style: Same expression on both sides of '=='. [duplicateExpression]
mes-0.24.2/lib/tests/scaffold/60-math.c:166:10: style: Same expression on both sides of '!='. [duplicateExpression]
mes-0.24.2/lib/tests/scaffold/60-math.c:170:11: style: The comparison '011 != 9' is always false. [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/60-math.c:174:12: style: The comparison '0b11 != 3' is always false. [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/60-math.c:178:12: style: The comparison '0x11 != 17' is always false. [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/60-math.c:185:5: style: Variable 'i' is reassigned a value before the old one has been used. [redundantAssignment]
mes-0.24.2/lib/tests/scaffold/60-math.c:182:5: note: i is assigned
mes-0.24.2/lib/tests/scaffold/60-math.c:185:5: note: i is overwritten
mes-0.24.2/lib/tests/scaffold/60-math.c:191:5: style: Variable 'i' is reassigned a value before the old one has been used. [redundantAssignment]
mes-0.24.2/lib/tests/scaffold/60-math.c:188:4: note: i is assigned
mes-0.24.2/lib/tests/scaffold/60-math.c:191:5: note: i is overwritten
mes-0.24.2/lib/tests/scaffold/60-math.c:194:5: style: Variable 'i' is reassigned a value before the old one has been used. [redundantAssignment]
mes-0.24.2/lib/tests/scaffold/60-math.c:191:5: note: i is assigned
mes-0.24.2/lib/tests/scaffold/60-math.c:194:5: note: i is overwritten
mes-0.24.2/lib/tests/scaffold/60-math.c:197:4: style: Variable 'i' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/tests/scaffold/61-array.c:115:14: style: Condition 'buf[0]!='h'' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/61-array.c:113:15: note: Assignment 'buf="hello"', assigned value is "hello"
mes-0.24.2/lib/tests/scaffold/61-array.c:115:14: note: Condition 'buf[0]!='h'' is always false
mes-0.24.2/lib/tests/scaffold/61-array.c:65:12: style: Local variable 'i' shadows outer variable [shadowVariable]
mes-0.24.2/lib/tests/scaffold/61-array.c:60:7: note: Shadowed declaration
mes-0.24.2/lib/tests/scaffold/61-array.c:65:12: note: Shadow variable
mes-0.24.2/lib/tests/scaffold/61-array.c:67:12: style: Local variable 'i' shadows outer variable [shadowVariable]
mes-0.24.2/lib/tests/scaffold/61-array.c:60:7: note: Shadowed declaration
mes-0.24.2/lib/tests/scaffold/61-array.c:67:12: note: Shadow variable
mes-0.24.2/lib/tests/scaffold/62-array.c:54:9: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/scaffold/63-struct-array.c:47:22: style: Condition 'g_cells[0].cdr!=-1' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/63-struct-array.c:39:21: note: Assignment 'g_cells[0].cdr=-1', assigned value is -1
mes-0.24.2/lib/tests/scaffold/63-struct-array.c:47:22: note: Condition 'g_cells[0].cdr!=-1' is always false
mes-0.24.2/lib/tests/scaffold/63-struct-cell.c:180:23: style: Condition 'g_cells[3].type!=0x64' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/63-struct-cell.c:179:21: note: Assignment 'g_cells[3].type=0x64', assigned value is 100
mes-0.24.2/lib/tests/scaffold/63-struct-cell.c:180:23: note: Condition 'g_cells[3].type!=0x64' is always false
mes-0.24.2/lib/tests/scaffold/63-struct-cell.c:223:20: style: Variable 'barp' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/scaffold/65-read.c:72:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STDIN [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/tests/scaffold/65-read.c:83:9: style: Condition 'i!='m'' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/65-read.c:81:12: note: Assignment 'm=0x1122336d', assigned value is 109
mes-0.24.2/lib/tests/scaffold/65-read.c:82:7: note: Assignment 'i=m', assigned value is 109
mes-0.24.2/lib/tests/scaffold/65-read.c:83:9: note: Condition 'i!='m'' is always false
mes-0.24.2/lib/tests/scaffold/66-local-char-array.c:97:15: warning: If memory allocation fails, then there is a possible null pointer dereference: s [nullPointerOutOfMemory]
mes-0.24.2/lib/tests/scaffold/66-local-char-array.c:93:14: note: Assuming allocation function fails
mes-0.24.2/lib/tests/scaffold/66-local-char-array.c:93:14: note: Assignment 's=xcalloc(10,sizeof(char))', assigned value is 0
mes-0.24.2/lib/tests/scaffold/66-local-char-array.c:97:15: note: Null pointer dereference
mes-0.24.2/lib/tests/scaffold/66-local-char-array.c:55:8: style: Variable 'table' can be declared as const array [constVariable]
mes-0.24.2/lib/tests/scaffold/66-local-char-array.c:90:17: style: Variable 'table' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/tests/scaffold/70-extern.c:30:6: error: Array 'foo[3]' accessed at index 3, which is out of bounds. [arrayIndexOutOfBounds]
mes-0.24.2/lib/tests/scaffold/70-function-destruct-declare.c:33:25: style: Same expression on both sides of '-' because 'f.bar' and 'i' represent the same value. [duplicateExpression]
mes-0.24.2/lib/tests/scaffold/70-function-destruct-declare.c:32:20: note: 'i' is assigned value 'f.bar' here.
mes-0.24.2/lib/tests/scaffold/70-function-destruct-declare.c:33:25: note: Same expression on both sides of '-' because 'f.bar' and 'i' represent the same value.
mes-0.24.2/lib/tests/scaffold/70-function-destruct-declare.c:39:18: style: Variable 'fun' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/tests/scaffold/70-function-modulo.c:31:9: style: Condition 'i!=2' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/70-function-modulo.c:30:16: note: Calling function 'test' returns 5
mes-0.24.2/lib/tests/scaffold/70-function-modulo.c:30:20: note: Assignment 'i=test(5)%3', assigned value is 2
mes-0.24.2/lib/tests/scaffold/70-function-modulo.c:31:9: note: Condition 'i!=2' is always false
mes-0.24.2/lib/tests/scaffold/70-or-argument.c:34:9: style: Condition 'r!=8' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/70-or-argument.c:33:16: note: Calling function 'test' returns 8
mes-0.24.2/lib/tests/scaffold/70-or-argument.c:33:16: note: Assignment 'r=test(1,i,j|k)', assigned value is 8
mes-0.24.2/lib/tests/scaffold/70-or-argument.c:34:9: note: Condition 'r!=8' is always false
mes-0.24.2/lib/tests/scaffold/70-stdarg.c:101:8: style: Unused variable: buf [unusedVariable]
mes-0.24.2/lib/tests/scaffold/70-struct-post.c:37:14: style: Condition 'p-&f!=1' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/70-struct-post.c:32:17: note: p is assigned '&f' here.
mes-0.24.2/lib/tests/scaffold/70-struct-post.c:35:4: note: p is incremented', new value is symbolic=&f+1
mes-0.24.2/lib/tests/scaffold/70-struct-post.c:37:14: note: Condition 'p-&f!=1' is always false
mes-0.24.2/lib/tests/scaffold/70-struct-post.c:35:10: error: Uninitialized variable: f [uninitvar]
mes-0.24.2/lib/tests/scaffold/70-struct-post.c:25:7: style: struct member 'foo::bar' is never used. [unusedStructMember]
mes-0.24.2/lib/tests/scaffold/70-struct-post.c:34:9: style: Variable 'i' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/tests/scaffold/70-ternary-arithmetic-argument.c:34:20: style: Condition 'flag' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/70-ternary-arithmetic-argument.c:33:14: note: Assignment 'flag=0', assigned value is 0
mes-0.24.2/lib/tests/scaffold/70-ternary-arithmetic-argument.c:34:20: note: Condition 'flag' is always false
mes-0.24.2/lib/tests/scaffold/71-struct-array.c:61:8: style: Variable 'pf' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/scaffold/71-struct-array.c:67:15: style: Variable 'g' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/scaffold/71-struct-array.c:45:7: style: struct member 'baz::bar' is never used. [unusedStructMember]
mes-0.24.2/lib/tests/scaffold/71-struct-array.c:47:15: style: struct member 'baz::f' is never used. [unusedStructMember]
mes-0.24.2/lib/tests/scaffold/71-struct-array.c:48:15: style: struct member 'baz::g' is never used. [unusedStructMember]
mes-0.24.2/lib/tests/scaffold/72-typedef-struct-def-local.c:45:3: warning: printf format string requires 0 parameters but 1 is given. [wrongPrintfScanfArgNum]
mes-0.24.2/lib/tests/scaffold/72-typedef-struct-def-local.c:49:3: warning: printf format string requires 0 parameters but 1 is given. [wrongPrintfScanfArgNum]
mes-0.24.2/lib/tests/scaffold/72-typedef-struct-def.c:92:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable f [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/tests/scaffold/72-typedef-struct-def.c:88:3: portability: %d in format string (no. 1) requires 'int' but the argument type is 'size_t {aka unsigned long}'. [invalidPrintfArgType_sint]
mes-0.24.2/lib/tests/scaffold/72-typedef-struct-def.c:92:3: portability: %d in format string (no. 1) requires 'int' but the argument type is 'size_t {aka unsigned long}'. [invalidPrintfArgType_sint]
mes-0.24.2/lib/tests/scaffold/73-union-hello.c:25:8: style: union member 'foo::c' is never used. [unusedStructMember]
mes-0.24.2/lib/tests/scaffold/73-union-hello.c:27:9: style: union member 'foo::p' is never used. [unusedStructMember]
mes-0.24.2/lib/tests/scaffold/73-union.c:28:9: style: union member 'foo::p' is never used. [unusedStructMember]
mes-0.24.2/lib/tests/scaffold/73-union.c:33:8: style: union member 'bar::c' is never used. [unusedStructMember]
mes-0.24.2/lib/tests/scaffold/73-union.c:34:7: style: union member 'bar::i' is never used. [unusedStructMember]
mes-0.24.2/lib/tests/scaffold/73-union.c:35:9: style: union member 'bar::p' is never used. [unusedStructMember]
mes-0.24.2/lib/tests/scaffold/74-multi-line-string.c:37:9: style: Condition 'i!=7' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/74-multi-line-string.c:36:17: note: Assignment 'i=1|2|4', assigned value is 7
mes-0.24.2/lib/tests/scaffold/74-multi-line-string.c:37:9: note: Condition 'i!=7' is always false
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic-pp.c:29:11: error: Pointer addition with NULL pointer. [nullPointerArithmetic]
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic-pp.c:28:16: note: Assignment 'ppc=0', assigned value is 0
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic-pp.c:29:11: note: Null pointer addition
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:172:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable foo_size_18 [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:167:19: portability: Assigning an integer to a pointer is not portable. [AssignmentIntegerToAddress]
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:168:9: portability: Assigning a pointer to an integer is not portable. [AssignmentAddressToInteger]
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:176:5: portability: Assigning a pointer to an integer is not portable. [AssignmentAddressToInteger]
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:183:5: portability: Assigning a pointer to an integer is not portable. [AssignmentAddressToInteger]
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:190:5: portability: Assigning a pointer to an integer is not portable. [AssignmentAddressToInteger]
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:67:12: style: Condition '++pc!=1' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:40:14: note: Assignment 'pc=0', assigned value is 0
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:67:12: note: Condition '++pc!=1' is always false
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:69:12: style: Condition '++pv!=1' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:41:14: note: Assignment 'pv=0', assigned value is 0
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:69:12: note: Condition '++pv!=1' is always false
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:67:7: error: Pointer addition with NULL pointer. [nullPointerArithmetic]
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:40:14: note: Assignment 'pc=0', assigned value is 0
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:67:7: note: Null pointer addition
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:69:7: error: Pointer addition with NULL pointer. [nullPointerArithmetic]
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:41:14: note: Assignment 'pv=0', assigned value is 0
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:69:7: note: Null pointer addition
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:71:7: error: Pointer addition with NULL pointer. [nullPointerArithmetic]
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:42:13: note: Assignment 'pi=0', assigned value is 0
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:71:7: note: Null pointer addition
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:73:7: error: Pointer addition with NULL pointer. [nullPointerArithmetic]
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:43:16: note: Assignment 'ppc=0', assigned value is 0
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:71:12: note: Assuming condition is false
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:73:7: note: Null pointer addition
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:106:7: error:inconclusive: Pointer addition with NULL pointer. [nullPointerArithmetic]
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:102:22: note: Assignment 'pfoo=0', assigned value is 0
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:106:7: note: Null pointer addition
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:113:7: warning:inconclusive: Either the condition 'pfoo' is redundant or there is overflow in pointer subtraction. [nullPointerArithmeticRedundantCheck]
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:129:3: note: Compound assignment '=', assigned value is -1
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:129:15: note: Assignment to 'pfoo=pfoo-one'
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:120:3: note: pfoo is incremented', new value is -1
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:113:3: note: pfoo is decremented', new value is 0
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:113:7: note: Null pointer subtraction
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:120:7: warning: Either the condition 'pfoo' is redundant or there is pointer arithmetic with NULL pointer. [nullPointerArithmeticRedundantCheck]
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:117:7: note: Assuming that condition 'pfoo' is not redundant
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:120:7: note: Null pointer addition
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:136:15: warning: Either the condition 'pfoo' is redundant or there is pointer arithmetic with NULL pointer. [nullPointerArithmeticRedundantCheck]
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:133:7: note: Assuming that condition 'pfoo' is not redundant
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:136:15: note: Null pointer addition
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:69:7: portability: 'pv' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
mes-0.24.2/lib/tests/scaffold/76-pointer-arithmetic.c:81:10: portability: 'pv' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
mes-0.24.2/lib/tests/scaffold/77-pointer-assign.c:100:11: style: Condition 'b.i!=1' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/77-pointer-assign.c:99:13: note: Assignment 'b.i=b.j=1', assigned value is 1
mes-0.24.2/lib/tests/scaffold/77-pointer-assign.c:100:11: note: Condition 'b.i!=1' is always false
mes-0.24.2/lib/tests/scaffold/77-pointer-assign.c:105:13: style: Condition 'pb->i!=1' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/77-pointer-assign.c:104:17: note: Assignment 'pb->i=pb->j=1', assigned value is 1
mes-0.24.2/lib/tests/scaffold/77-pointer-assign.c:105:13: note: Condition 'pb->i!=1' is always false
mes-0.24.2/lib/tests/scaffold/77-pointer-assign.c:96:3: warning:inconclusive: Array 'hash_ident' is filled incompletely. Did you forget to multiply the size given to 'memset()' with 'sizeof(*hash_ident)'? [incompleteArrayFill]
mes-0.24.2/lib/tests/scaffold/77-pointer-assign.c:40:1: style: Label 'bla' is not used. [unusedLabel]
mes-0.24.2/lib/tests/scaffold/77-pointer-assign.c:48:1: style: Label 'bla' is not used. [unusedLabel]
mes-0.24.2/lib/tests/scaffold/77-pointer-assign.c:56:1: style: Label 'bla' is not used. [unusedLabel]
mes-0.24.2/lib/tests/scaffold/77-pointer-assign.c:47:13: style: Variable 'x' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/tests/scaffold/78-union-struct.c:44:14: style: Variable 'pb' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/scaffold/79-int-array-simple.c:30:12: style: Variable 'c' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/tests/scaffold/7a-struct-char-array.c:52:18: error: Array 'file.buffer[1]' accessed at index 1, which is out of bounds. [arrayIndexOutOfBounds]
mes-0.24.2/lib/tests/scaffold/7a-struct-char-array.c:63:18: error: Array 'file.buffer[1]' accessed at index 1, which is out of bounds. [arrayIndexOutOfBounds]
mes-0.24.2/lib/tests/scaffold/7a-struct-char-array.c:74:18: error: Array 'file.buffer[1]' accessed at index 2, which is out of bounds. [arrayIndexOutOfBounds]
mes-0.24.2/lib/tests/scaffold/7a-struct-char-array.c:81:14: error: Array 'file.buffer[1]' accessed at index 3, which is out of bounds. [arrayIndexOutOfBounds]
mes-0.24.2/lib/tests/scaffold/7a-struct-char-array.c:47:15: error: Buffer is accessed out of bounds: file.buffer [bufferAccessOutOfBounds]
mes-0.24.2/lib/tests/scaffold/7a-struct-char-array.c:57:15: error: Buffer is accessed out of bounds: file.buffer [bufferAccessOutOfBounds]
mes-0.24.2/lib/tests/scaffold/7a-struct-char-array.c:68:15: error: Buffer is accessed out of bounds: file.buffer [bufferAccessOutOfBounds]
mes-0.24.2/lib/tests/scaffold/7a-struct-char-array.c:79:15: error: Buffer is accessed out of bounds: file.buffer [bufferAccessOutOfBounds]
mes-0.24.2/lib/tests/scaffold/7a-struct-char-array.c:88:15: error: Buffer is accessed out of bounds: file.buffer [bufferAccessOutOfBounds]
mes-0.24.2/lib/tests/scaffold/7a-struct-char-array.c:153:15: error: Buffer is accessed out of bounds: file.buffer [bufferAccessOutOfBounds]
mes-0.24.2/lib/tests/scaffold/7a-struct-char-array.c:166:15: error: Buffer is accessed out of bounds: file.buffer [bufferAccessOutOfBounds]
mes-0.24.2/lib/tests/scaffold/7a-struct-char-array.c:72:12: style: Condition 'p[2]!=' '' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/7a-struct-char-array.c:70:10: note: Assignment 'p[2]=' '', assigned value is 32
mes-0.24.2/lib/tests/scaffold/7a-struct-char-array.c:72:12: note: Condition 'p[2]!=' '' is always false
mes-0.24.2/lib/tests/scaffold/7a-struct-char-array.c:92:12: style: Condition 'p[4]!=' '' is always true [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/7a-struct-char-array.c:85:12: note: Assuming that condition 'p[4]!='4'' is not redundant
mes-0.24.2/lib/tests/scaffold/7a-struct-char-array.c:92:12: note: Condition 'p[4]!=' '' is always true
mes-0.24.2/lib/tests/scaffold/7a-struct-char-array.c:124:12: style: Condition 'p[6]!=' '' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/7a-struct-char-array.c:122:10: note: Assignment 'p[6]=' '', assigned value is 32
mes-0.24.2/lib/tests/scaffold/7a-struct-char-array.c:124:12: note: Condition 'p[6]!=' '' is always false
mes-0.24.2/lib/tests/scaffold/7a-struct-char-array.c:144:12: style: Condition 'p[8]!=' '' is always true [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/7a-struct-char-array.c:137:12: note: Assuming that condition 'p[8]!='8'' is not redundant
mes-0.24.2/lib/tests/scaffold/7a-struct-char-array.c:144:12: note: Condition 'p[8]!=' '' is always true
mes-0.24.2/lib/tests/scaffold/7b-struct-int-array-pointer.c:33:8: style: Variable 'pi' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/scaffold/7b-struct-int-array.c:93:11: error: Array 'pfs->bar[4]' accessed at index 4, which is out of bounds. [arrayIndexOutOfBounds]
mes-0.24.2/lib/tests/scaffold/7b-struct-int-array.c:54:15: style: Variable 'pfoo' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/scaffold/7b-struct-int-array.c:60:8: style: Variable 'pi' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/scaffold/7c-dynarray.c:86:15: error: Buffer is accessed out of bounds: file12->name [bufferAccessOutOfBounds]
mes-0.24.2/lib/tests/scaffold/7c-dynarray.c:146:15: error: Buffer is accessed out of bounds: file12->name [bufferAccessOutOfBounds]
mes-0.24.2/lib/tests/scaffold/7c-dynarray.c:43:7: error: Common realloc mistake: 'pp' nulled but not freed upon failure [memleakOnRealloc]
mes-0.24.2/lib/tests/scaffold/7c-dynarray.c:86:11: warning: If memory allocation fails, then there is a possible null pointer dereference: file12 [nullPointerOutOfMemory]
mes-0.24.2/lib/tests/scaffold/7c-dynarray.c:85:17: note: Assuming allocation function fails
mes-0.24.2/lib/tests/scaffold/7c-dynarray.c:85:17: note: Assignment 'file12=malloc(sizeof(struct file12)+strlen(file_name))', assigned value is 0
mes-0.24.2/lib/tests/scaffold/7c-dynarray.c:86:11: note: Null pointer dereference
mes-0.24.2/lib/tests/scaffold/7c-dynarray.c:146:11: warning: If memory allocation fails, then there is a possible null pointer dereference: file12 [nullPointerOutOfMemory]
mes-0.24.2/lib/tests/scaffold/7c-dynarray.c:144:17: note: Assuming allocation function fails
mes-0.24.2/lib/tests/scaffold/7c-dynarray.c:144:17: note: Assignment 'file12=malloc(sizeof(struct file12)+strlen(file_name))', assigned value is 0
mes-0.24.2/lib/tests/scaffold/7c-dynarray.c:146:11: note: Null pointer dereference
mes-0.24.2/lib/tests/scaffold/7c-dynarray.c:82:9: style: Variable 'file_name' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/scaffold/7c-dynarray.c:52:8: style: struct member 'file4::name' is never used. [unusedStructMember]
mes-0.24.2/lib/tests/scaffold/7d-cast-char.c:28:9: style: Condition 'c!='i'' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/7d-cast-char.c:26:13: note: Assignment 's="int"', assigned value is "int"
mes-0.24.2/lib/tests/scaffold/7d-cast-char.c:27:13: note: Assignment 'c=s[0]', assigned value is 105
mes-0.24.2/lib/tests/scaffold/7d-cast-char.c:28:9: note: Condition 'c!='i'' is always false
mes-0.24.2/lib/tests/scaffold/7d-cast-char.c:31:9: style: Condition 'i!='i'' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/7d-cast-char.c:26:13: note: Assignment 's="int"', assigned value is "int"
mes-0.24.2/lib/tests/scaffold/7d-cast-char.c:30:32: note: Assignment 'i=((unsigned char*)s)[0]', assigned value is 105
mes-0.24.2/lib/tests/scaffold/7d-cast-char.c:31:9: note: Condition 'i!='i'' is always false
mes-0.24.2/lib/tests/scaffold/7d-cast-char.c:35:9: style: Condition 'c!='n'' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/7d-cast-char.c:26:13: note: Assignment 's="int"', assigned value is "int"
mes-0.24.2/lib/tests/scaffold/7d-cast-char.c:34:8: note: Assignment 'c=s[1]', assigned value is 110
mes-0.24.2/lib/tests/scaffold/7d-cast-char.c:35:9: note: Condition 'c!='n'' is always false
mes-0.24.2/lib/tests/scaffold/7d-cast-char.c:38:9: style: Condition 'i!='n'' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/7d-cast-char.c:26:13: note: Assignment 's="int"', assigned value is "int"
mes-0.24.2/lib/tests/scaffold/7d-cast-char.c:37:28: note: Assignment 'i=((unsigned char*)s)[1]', assigned value is 110
mes-0.24.2/lib/tests/scaffold/7d-cast-char.c:38:9: note: Condition 'i!='n'' is always false
mes-0.24.2/lib/tests/scaffold/7e-struct-array-access.c:98:20: style: Condition 'list[1]->len!=2' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/7e-struct-array-access.c:97:18: note: Assignment 'list[1]->len=2', assigned value is 2
mes-0.24.2/lib/tests/scaffold/7e-struct-array-access.c:98:20: note: Condition 'list[1]->len!=2' is always false
mes-0.24.2/lib/tests/scaffold/7e-struct-array-access.c:64:11: warning: If memory allocation fails, then there is a possible null pointer dereference: p0 [nullPointerOutOfMemory]
mes-0.24.2/lib/tests/scaffold/7e-struct-array-access.c:62:30: note: Assuming allocation function fails
mes-0.24.2/lib/tests/scaffold/7e-struct-array-access.c:62:30: note: Assignment 'p0=malloc(sizeof(struct symbol))', assigned value is 0
mes-0.24.2/lib/tests/scaffold/7e-struct-array-access.c:64:11: note: Null pointer dereference
mes-0.24.2/lib/tests/scaffold/7e-struct-array-access.c:65:11: warning: If memory allocation fails, then there is a possible null pointer dereference: p1 [nullPointerOutOfMemory]
mes-0.24.2/lib/tests/scaffold/7e-struct-array-access.c:63:30: note: Assuming allocation function fails
mes-0.24.2/lib/tests/scaffold/7e-struct-array-access.c:63:30: note: Assignment 'p1=malloc(sizeof(struct symbol))', assigned value is 0
mes-0.24.2/lib/tests/scaffold/7e-struct-array-access.c:65:11: note: Null pointer dereference
mes-0.24.2/lib/tests/scaffold/7e-struct-array-access.c:66:3: warning: If memory allocation fails, then there is a possible null pointer dereference: plist [nullPointerOutOfMemory]
mes-0.24.2/lib/tests/scaffold/7e-struct-array-access.c:61:18: note: Assuming allocation function fails
mes-0.24.2/lib/tests/scaffold/7e-struct-array-access.c:61:18: note: Assignment 'plist=malloc(8)', assigned value is 0
mes-0.24.2/lib/tests/scaffold/7e-struct-array-access.c:66:3: note: Null pointer dereference
mes-0.24.2/lib/tests/scaffold/7e-struct-array-access.c:67:3: warning: If memory allocation fails, then there is a possible null pointer dereference: plist [nullPointerOutOfMemory]
mes-0.24.2/lib/tests/scaffold/7e-struct-array-access.c:61:18: note: Assuming allocation function fails
mes-0.24.2/lib/tests/scaffold/7e-struct-array-access.c:61:18: note: Assignment 'plist=malloc(8)', assigned value is 0
mes-0.24.2/lib/tests/scaffold/7e-struct-array-access.c:67:3: note: Null pointer dereference
mes-0.24.2/lib/tests/scaffold/7e-struct-array-access.c:69:10: warning: If memory allocation fails, then there is a possible null pointer dereference: plist [nullPointerOutOfMemory]
mes-0.24.2/lib/tests/scaffold/7e-struct-array-access.c:61:18: note: Assuming allocation function fails
mes-0.24.2/lib/tests/scaffold/7e-struct-array-access.c:61:18: note: Assignment 'plist=malloc(8)', assigned value is 0
mes-0.24.2/lib/tests/scaffold/7e-struct-array-access.c:69:10: note: Null pointer dereference
mes-0.24.2/lib/tests/scaffold/7e-struct-array-access.c:48:18: style: Variable 's' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/scaffold/7g-struct-byte-word-field.c:31:7: style: struct member 'option::barf' is never used. [unusedStructMember]
mes-0.24.2/lib/tests/scaffold/7h-struct-assign.c:115:9: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/scaffold/7h-struct-assign.c:81:8: error: Uninitialized variables: b.a, b.b, b.c [uninitvar]
mes-0.24.2/lib/tests/scaffold/7h-struct-assign.c:81:8: error: Uninitialized struct member: b.a [uninitStructMember]
mes-0.24.2/lib/tests/scaffold/7h-struct-assign.c:81:8: error: Uninitialized struct member: b.b [uninitStructMember]
mes-0.24.2/lib/tests/scaffold/7h-struct-assign.c:81:8: error: Uninitialized struct member: b.c [uninitStructMember]
mes-0.24.2/lib/tests/scaffold/7h-struct-assign.c:116:5: style: Variable 'p' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/tests/scaffold/7i-struct-struct-simple.c:27:7: style: struct member 's::bar' is never used. [unusedStructMember]
mes-0.24.2/lib/tests/scaffold/7i-struct-struct-simple.c:28:7: style: struct member 's::baz' is never used. [unusedStructMember]
mes-0.24.2/lib/tests/scaffold/7i-struct-struct-simple.c:33:12: style: struct member 'foo::s' is never used. [unusedStructMember]
mes-0.24.2/lib/tests/scaffold/7i-struct-struct-simple.c:39:16: style: Variable 'f' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/tests/scaffold/7i-struct-struct.c:29:7: style: struct member 's::bla' is never used. [unusedStructMember]
mes-0.24.2/lib/tests/scaffold/7i-struct-struct.c:34:7: style: struct member 'foo::bar' is never used. [unusedStructMember]
mes-0.24.2/lib/tests/scaffold/7k-for-each-elem.c:67:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable sym_size [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/tests/scaffold/7k-for-each-elem.c:70:5: style: Variable 'p' is reassigned a value before the old one has been used. [redundantAssignment]
mes-0.24.2/lib/tests/scaffold/7k-for-each-elem.c:59:5: note: p is assigned
mes-0.24.2/lib/tests/scaffold/7k-for-each-elem.c:70:5: note: p is overwritten
mes-0.24.2/lib/tests/scaffold/7k-for-each-elem.c:71:15: style: Variable 'q' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/scaffold/7l-struct-any-size-array-simple.c:47:18: style: Condition 'tab14[1].d!=-4' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/7l-struct-any-size-array-simple.c:45:17: note: Assignment 'tab14[1].d=-4', assigned value is -4
mes-0.24.2/lib/tests/scaffold/7l-struct-any-size-array-simple.c:47:18: note: Condition 'tab14[1].d!=-4' is always false
mes-0.24.2/lib/tests/scaffold/7l-struct-any-size-array-simple.c:40:18: style: Unused variable: p [unusedVariable]
mes-0.24.2/lib/tests/scaffold/7n-struct-struct-array.c:36:7: style: struct member 'state::bla' is never used. [unusedStructMember]
mes-0.24.2/lib/tests/scaffold/7n-struct-struct-array.c:38:8: style: struct member 'state::buf' is never used. [unusedStructMember]
mes-0.24.2/lib/tests/scaffold/7n-struct-struct-array.c:40:8: style: struct member 'state::buf1' is never used. [unusedStructMember]
mes-0.24.2/lib/tests/scaffold/7o-struct-pre-post-simple.c:25:7: style: struct member 'info::flag' is never used. [unusedStructMember]
mes-0.24.2/lib/tests/scaffold/7o-struct-pre-post.c:45:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable flag [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/tests/scaffold/7p-struct-cast.c:36:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable length [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/tests/scaffold/7p-struct-cast.c:35:5: style: Variable 'i' is reassigned a value before the old one has been used. [redundantAssignment]
mes-0.24.2/lib/tests/scaffold/7p-struct-cast.c:34:5: note: i is assigned
mes-0.24.2/lib/tests/scaffold/7p-struct-cast.c:35:5: note: i is overwritten
mes-0.24.2/lib/tests/scaffold/7p-struct-cast.c:31:15: style: Variable 'pf' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/scaffold/7p-struct-cast.c:31:18: style: Variable 'pf' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/tests/scaffold/7p-struct-cast.c:30:14: style: Variable 'f' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/tests/scaffold/7q-bit-field-simple.c:23:7: style: struct member 'bits::one' is never used. [unusedStructMember]
mes-0.24.2/lib/tests/scaffold/7q-bit-field-simple.c:23:14: style: struct member 'bits::two' is never used. [unusedStructMember]
mes-0.24.2/lib/tests/scaffold/7q-bit-field-simple.c:23:29: style: struct member 'bits::eightsixteen' is never used. [unusedStructMember]
mes-0.24.2/lib/tests/scaffold/7r-sign-extend.c:68:14: warning: Identical condition 'i!=-1', second condition is always false [identicalConditionAfterEarlyExit]
mes-0.24.2/lib/tests/scaffold/7r-sign-extend.c:65:14: note: 'i' is assigned value 'a[0]' here.
mes-0.24.2/lib/tests/scaffold/7r-sign-extend.c:66:11: note: If condition 'i!=-1' is true, the function will return/exit
mes-0.24.2/lib/tests/scaffold/7r-sign-extend.c:68:14: note: Testing identical condition 'i!=-1'
mes-0.24.2/lib/tests/scaffold/7r-sign-extend.c:32:11: style: Condition 'i!=-1' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/7r-sign-extend.c:30:22: note: Assignment 'c=-1', assigned value is -1
mes-0.24.2/lib/tests/scaffold/7r-sign-extend.c:31:13: note: Assignment 'i=c', assigned value is -1
mes-0.24.2/lib/tests/scaffold/7r-sign-extend.c:32:11: note: Condition 'i!=-1' is always false
mes-0.24.2/lib/tests/scaffold/7r-sign-extend.c:52:11: style: Condition 'i!=-1' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/7r-sign-extend.c:50:22: note: Assignment 'c=-1', assigned value is -1
mes-0.24.2/lib/tests/scaffold/7r-sign-extend.c:51:13: note: Assignment 'i=c', assigned value is -1
mes-0.24.2/lib/tests/scaffold/7r-sign-extend.c:52:11: note: Condition 'i!=-1' is always false
mes-0.24.2/lib/tests/scaffold/7r-sign-extend.c:59:11: style: Condition 'i!=-1' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/7r-sign-extend.c:57:22: note: Assignment 'c=-1', assigned value is -1
mes-0.24.2/lib/tests/scaffold/7r-sign-extend.c:58:13: note: Assignment 'i=c', assigned value is -1
mes-0.24.2/lib/tests/scaffold/7r-sign-extend.c:59:11: note: Condition 'i!=-1' is always false
mes-0.24.2/lib/tests/scaffold/7r-sign-extend.c:88:11: style: Condition 'i!=-1' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/7r-sign-extend.c:85:22: note: Assignment 'c=-1', assigned value is -1
mes-0.24.2/lib/tests/scaffold/7r-sign-extend.c:87:13: note: Assignment 'i=*p', assigned value is -1
mes-0.24.2/lib/tests/scaffold/7r-sign-extend.c:88:11: note: Condition 'i!=-1' is always false
mes-0.24.2/lib/tests/scaffold/7r-sign-extend.c:95:11: style: Condition 'i!=127' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/7r-sign-extend.c:93:14: note: Assignment 'i=-129', assigned value is -129
mes-0.24.2/lib/tests/scaffold/7r-sign-extend.c:94:9: note: Assignment 'i=(char)i', assigned value is 127
mes-0.24.2/lib/tests/scaffold/7r-sign-extend.c:95:11: note: Condition 'i!=127' is always false
mes-0.24.2/lib/tests/scaffold/7r-sign-extend.c:102:11: style: Condition 'i!=127' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/7r-sign-extend.c:100:24: note: Assignment 'b=-129', assigned value is 127
mes-0.24.2/lib/tests/scaffold/7r-sign-extend.c:101:13: note: Assignment 'i=b', assigned value is 127
mes-0.24.2/lib/tests/scaffold/7r-sign-extend.c:102:11: note: Condition 'i!=127' is always false
mes-0.24.2/lib/tests/scaffold/7r-sign-extend.c:44:9: style: Variable 'ints' can be declared as const array [constVariable]
mes-0.24.2/lib/tests/scaffold/7r-sign-extend.c:64:17: style: Variable 'a' can be declared as const array [constVariable]
mes-0.24.2/lib/tests/scaffold/7r-sign-extend.c:78:17: style: Variable 'g' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/scaffold/7r-sign-extend.c:86:18: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/scaffold/7s-unsigned-compare.c:28:11: style: Condition 'i<-1' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/7s-unsigned-compare.c:27:13: note: Assignment 'i=0', assigned value is 0
mes-0.24.2/lib/tests/scaffold/7s-unsigned-compare.c:28:11: note: Condition 'i<-1' is always false
mes-0.24.2/lib/tests/scaffold/7s-unsigned-compare.c:34:12: style: Condition '-1<u' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/7s-unsigned-compare.c:33:18: note: Assignment 'u=0', assigned value is 0
mes-0.24.2/lib/tests/scaffold/7s-unsigned-compare.c:34:12: note: Condition '-1<u' is always false
mes-0.24.2/lib/tests/scaffold/7s-unsigned-compare.c:64:11: style: Condition 'i>0' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/7s-unsigned-compare.c:63:21: note: Assignment 'i=2147483647+2', assigned value is -2147483647
mes-0.24.2/lib/tests/scaffold/7s-unsigned-compare.c:64:11: note: Condition 'i>0' is always false
mes-0.24.2/lib/tests/scaffold/7s-unsigned-compare.c:70:11: style: Condition 'u>-1' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/7s-unsigned-compare.c:69:18: note: Assignment 'u=0', assigned value is 0
mes-0.24.2/lib/tests/scaffold/7s-unsigned-compare.c:70:11: note: Condition 'u>-1' is always false
mes-0.24.2/lib/tests/scaffold/7s-unsigned-compare.c:77:11: style: Condition 'i<=-1' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/7s-unsigned-compare.c:76:13: note: Assignment 'i=0', assigned value is 0
mes-0.24.2/lib/tests/scaffold/7s-unsigned-compare.c:77:11: note: Condition 'i<=-1' is always false
mes-0.24.2/lib/tests/scaffold/7s-unsigned-compare.c:83:12: style: Condition '-1<=u' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/7s-unsigned-compare.c:82:18: note: Assignment 'u=0', assigned value is 0
mes-0.24.2/lib/tests/scaffold/7s-unsigned-compare.c:83:12: note: Condition '-1<=u' is always false
mes-0.24.2/lib/tests/scaffold/7s-unsigned-compare.c:113:11: style: Condition 'i>=0' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/7s-unsigned-compare.c:112:21: note: Assignment 'i=2147483647+2', assigned value is -2147483647
mes-0.24.2/lib/tests/scaffold/7s-unsigned-compare.c:113:11: note: Condition 'i>=0' is always false
mes-0.24.2/lib/tests/scaffold/7s-unsigned-compare.c:119:11: style: Condition 'u>=-1' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/7s-unsigned-compare.c:118:18: note: Assignment 'u=0', assigned value is 0
mes-0.24.2/lib/tests/scaffold/7s-unsigned-compare.c:119:11: note: Condition 'u>=-1' is always false
mes-0.24.2/lib/tests/scaffold/7s-unsigned-compare.c:39:21: error: Signed integer overflow for expression '2147483647+2'. [integerOverflow]
mes-0.24.2/lib/tests/scaffold/7s-unsigned-compare.c:45:26: error: Signed integer overflow for expression '2147483647+2'. [integerOverflow]
mes-0.24.2/lib/tests/scaffold/7s-unsigned-compare.c:57:26: error: Signed integer overflow for expression '2147483647+2'. [integerOverflow]
mes-0.24.2/lib/tests/scaffold/7s-unsigned-compare.c:63:21: error: Signed integer overflow for expression '2147483647+2'. [integerOverflow]
mes-0.24.2/lib/tests/scaffold/7s-unsigned-compare.c:88:21: error: Signed integer overflow for expression '2147483647+2'. [integerOverflow]
mes-0.24.2/lib/tests/scaffold/7s-unsigned-compare.c:94:26: error: Signed integer overflow for expression '2147483647+2'. [integerOverflow]
mes-0.24.2/lib/tests/scaffold/7s-unsigned-compare.c:106:26: error: Signed integer overflow for expression '2147483647+2'. [integerOverflow]
mes-0.24.2/lib/tests/scaffold/7s-unsigned-compare.c:112:21: error: Signed integer overflow for expression '2147483647+2'. [integerOverflow]
mes-0.24.2/lib/tests/scaffold/7s-unsigned-compare.c:51:11: style: Variable 'i' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/tests/scaffold/7s-unsigned-compare.c:100:11: style: Variable 'i' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/tests/scaffold/7t-function-destruct.c:38:25: style: Same expression on both sides of '-' because 'f.bar' and 'i' represent the same value. [duplicateExpression]
mes-0.24.2/lib/tests/scaffold/7t-function-destruct.c:37:20: note: 'i' is assigned value 'f.bar' here.
mes-0.24.2/lib/tests/scaffold/7t-function-destruct.c:38:25: note: Same expression on both sides of '-' because 'f.bar' and 'i' represent the same value.
mes-0.24.2/lib/tests/scaffold/7t-function-destruct.c:29:18: style: Variable 'fun' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/tests/scaffold/7u-double.c:25:5: style: Variable 'd' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/tests/scaffold/7u-inc-byte-word.c:28:9: style: Condition 'c!='B'' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/7u-inc-byte-word.c:26:12: note: Assignment 'c='A'', assigned value is 65
mes-0.24.2/lib/tests/scaffold/7u-inc-byte-word.c:27:3: note: c is incremented', new value is 66
mes-0.24.2/lib/tests/scaffold/7u-inc-byte-word.c:28:9: note: Condition 'c!='B'' is always false
mes-0.24.2/lib/tests/scaffold/7u-inc-byte-word.c:33:9: style: Condition 's!=258' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/7u-inc-byte-word.c:31:13: note: Assignment 's=257', assigned value is 257
mes-0.24.2/lib/tests/scaffold/7u-inc-byte-word.c:32:3: note: s is incremented', new value is 258
mes-0.24.2/lib/tests/scaffold/7u-inc-byte-word.c:33:9: note: Condition 's!=258' is always false
mes-0.24.2/lib/tests/scaffold/7u-long-long.c:25:5: style: Variable 'l' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/tests/scaffold/7u-struct-size10.c:46:14: style: Condition 'f[1].s!=-1' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/7u-struct-size10.c:42:13: note: Assignment 'f[1].s=-1', assigned value is -1
mes-0.24.2/lib/tests/scaffold/7u-struct-size10.c:46:14: note: Condition 'f[1].s!=-1' is always false
mes-0.24.2/lib/tests/scaffold/7u-struct-size10.c:30:8: style: struct member 'foo::bla' is never used. [unusedStructMember]
mes-0.24.2/lib/tests/scaffold/7u-ternary-expression.c:27:16: style: Condition 'a' is always true [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/7u-ternary-expression.c:26:11: note: Assignment 'a=1', assigned value is 1
mes-0.24.2/lib/tests/scaffold/7u-ternary-expression.c:27:16: note: Condition 'a' is always true
mes-0.24.2/lib/tests/scaffold/7u-ternary-expression.c:28:7: style: Condition 'b' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/7u-ternary-expression.c:26:11: note: Assignment 'a=1', assigned value is 1
mes-0.24.2/lib/tests/scaffold/7u-ternary-expression.c:27:13: note: Assignment 'b=1+(a?-a:a)', assigned value is 0
mes-0.24.2/lib/tests/scaffold/7u-ternary-expression.c:28:7: note: Condition 'b' is always false
mes-0.24.2/lib/tests/scaffold/7u-vstack.c:38:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable baz [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/tests/scaffold/85-sizeof.c:52:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ptr_size [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/tests/scaffold/90-goto-var.c:24:20: error: Syntax Error: AST broken, binary operator '=' doesn't have two operands. [internalAstError]
mes-0.24.2/lib/tests/scaffold/91-goto-array.c:26:34: error: syntax error [syntaxError]
mes-0.24.2/lib/tests/scaffold/a0-math-divide-signed-negative.c:25:9: style: Condition 'i!=-2' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/a0-math-divide-signed-negative.c:24:14: note: Assignment 'i=-2/1', assigned value is -2
mes-0.24.2/lib/tests/scaffold/a0-math-divide-signed-negative.c:25:9: note: Condition 'i!=-2' is always false
mes-0.24.2/lib/tests/scaffold/a1-global-no-clobber.c:39:7: warning: Identical condition 'bar', second condition is always false [identicalConditionAfterEarlyExit]
mes-0.24.2/lib/tests/scaffold/a1-global-no-clobber.c:36:7: note: If condition 'bar' is true, the function will return/exit
mes-0.24.2/lib/tests/scaffold/a1-global-no-clobber.c:39:7: note: Testing identical condition 'bar'
mes-0.24.2/lib/tests/scaffold/t.c:199:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable bla [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/tests/scaffold/t.c:102:3: error: Found an exit path from function with non-void return type that has missing return statement [missingReturn]
mes-0.24.2/lib/tests/scaffold/t.c:124:16: style: Condition 'global_i!=1' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/t.c:121:16: note: Assuming that condition 'global_i!=1' is not redundant
mes-0.24.2/lib/tests/scaffold/t.c:124:16: note: Condition 'global_i!=1' is always false
mes-0.24.2/lib/tests/scaffold/t.c:117:9: style: The comparison 'j != 1' is always false. [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/t.c:115:11: note: 'j' is assigned value '1' here.
mes-0.24.2/lib/tests/scaffold/t.c:117:9: note: The comparison 'j != 1' is always false.
mes-0.24.2/lib/tests/scaffold/t.c:119:9: style: The comparison 'l != 1' is always false. [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/t.c:116:14: note: 'l' is assigned value '1' here.
mes-0.24.2/lib/tests/scaffold/t.c:119:9: note: The comparison 'l != 1' is always false.
mes-0.24.2/lib/tests/scaffold/t.c:138:9: style: The comparison 'x != 0' is always false. [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/t.c:137:11: note: 'x' is assigned value '0' here.
mes-0.24.2/lib/tests/scaffold/t.c:138:9: note: The comparison 'x != 0' is always false.
mes-0.24.2/lib/tests/scaffold/t.c:140:13: style: The comparison 'TCHAR != 0' is always false. [knownConditionTrueFalse]
mes-0.24.2/lib/tests/scaffold/t.c:221:24: style: Same expression on both sides of '-'. [duplicateExpression]
mes-0.24.2/lib/tests/scaffold/t.c:223:12: style: Local variable 'i' shadows outer variable [shadowVariable]
mes-0.24.2/lib/tests/scaffold/t.c:114:7: note: Shadowed declaration
mes-0.24.2/lib/tests/scaffold/t.c:223:12: note: Shadow variable
mes-0.24.2/lib/tests/scaffold/t.c:106:28: style: Parameter 'argv' can be declared as const array. However it seems that 'next_main' is a callback function, if 'argv' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
mes-0.24.2/lib/tests/scaffold/t.c:213:11: note: You might need to cast the function pointer here
mes-0.24.2/lib/tests/scaffold/t.c:106:28: note: Parameter 'argv' can be declared as const array
mes-0.24.2/lib/tests/scaffold/t.c:112:23: style: Parameter 'argv' can be declared as const array [constParameter]
mes-0.24.2/lib/tests/scaffold/t.c:130:9: style: Variable 's' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/scaffold/t.c:60:9: style: struct member 'anion::bar' is never used. [unusedStructMember]
mes-0.24.2/lib/tests/scaffold/t.c:64:9: style: struct member 'anion::baz' is never used. [unusedStructMember]
mes-0.24.2/lib/tests/scaffold/t.c:86:7: style: struct member 'nest::i' is never used. [unusedStructMember]
mes-0.24.2/lib/tests/scaffold/t.c:90:5: style: struct member 'nest::baz' is never used. [unusedStructMember]
mes-0.24.2/lib/tests/scaffold/t.c:94:5: style: struct member 'nest::blub' is never used. [unusedStructMember]
mes-0.24.2/lib/tests/scaffold/t.c:170:5: style: Variable 'p' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/tests/scaffold/t.c:209:7: style: Variable 'fun' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/tests/scaffold/t.c:213:8: style: Variable 'fun2' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/tests/scaffold/t.c:116:7: style: Unused variable: k [unusedVariable]
mes-0.24.2/lib/tests/scaffold/t.c:205:8: style: Unused variable: buf [unusedVariable]
mes-0.24.2/lib/tests/scaffold/t.c:206:8: style: Unused variable: buf1 [unusedVariable]
mes-0.24.2/lib/tests/setjmp/80-setjmp.c:37:3: style: Statements following noreturn function 'longjmp()' will never be executed. [unreachableCode]
mes-0.24.2/lib/tests/stdio/70-printf-hello.c:31:9: style: Variable 's' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/stdio/70-printf-simple.c:53:3: warning: %u in format string (no. 1) requires 'unsigned int' but the argument type is 'signed int'. [invalidPrintfArgType_uint]
mes-0.24.2/lib/tests/stdio/70-printf-simple.c:40:9: style: The comparison 'i != 3' is always false. [knownConditionTrueFalse]
mes-0.24.2/lib/tests/stdio/70-printf-simple.c:32:11: note: 'i' is assigned value '3' here.
mes-0.24.2/lib/tests/stdio/70-printf-simple.c:40:9: note: The comparison 'i != 3' is always false.
mes-0.24.2/lib/tests/stdio/70-printf-simple.c:30:9: style: Variable 's' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/stdio/70-printf.c:165:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/tests/stdio/70-printf.c:176:9: style: Condition 'n!=3' is always true [knownConditionTrueFalse]
mes-0.24.2/lib/tests/stdio/70-printf.c:166:9: note: Assuming that condition 'n!=8' is not redundant
mes-0.24.2/lib/tests/stdio/70-printf.c:174:14: note: Assuming condition is false
mes-0.24.2/lib/tests/stdio/70-printf.c:176:9: note: Condition 'n!=3' is always true
mes-0.24.2/lib/tests/stdio/70-printf.c:83:3: warning: %ld in format string (no. 1) requires 'long' but the argument type is 'signed int'. [invalidPrintfArgType_sint]
mes-0.24.2/lib/tests/stdio/70-printf.c:90:3: warning: %u in format string (no. 1) requires 'unsigned int' but the argument type is 'signed int'. [invalidPrintfArgType_uint]
mes-0.24.2/lib/tests/stdio/70-printf.c:139:3: warning: %ld in format string (no. 1) requires 'long' but the argument type is 'signed int'. [invalidPrintfArgType_sint]
mes-0.24.2/lib/tests/stdio/70-printf.c:40:9: style: The comparison 'i != 3' is always false. [knownConditionTrueFalse]
mes-0.24.2/lib/tests/stdio/70-printf.c:32:11: note: 'i' is assigned value '3' here.
mes-0.24.2/lib/tests/stdio/70-printf.c:40:9: note: The comparison 'i != 3' is always false.
mes-0.24.2/lib/tests/stdio/70-printf.c:30:9: style: Variable 's' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/stdio/70-printf.c:165:35: error: Uninitialized variable: &n [uninitvar]
mes-0.24.2/lib/tests/stdio/90-fopen-append.c:40:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/tests/stdio/90-fopen-append.c:32:16: warning: The file '"tmp"' is opened for read and write access at the same time on different streams [incompatibleFileOpen]
mes-0.24.2/lib/tests/stdio/90-fopen-append.c:38:18: warning:inconclusive: If resource allocation fails, then there is a possible null pointer dereference: test [nullPointerOutOfResources]
mes-0.24.2/lib/tests/stdio/90-fopen-append.c:31:22: note: Assuming allocation function fails
mes-0.24.2/lib/tests/stdio/90-fopen-append.c:31:22: note: Assignment 'test=fopen("tmp","a+")', assigned value is 0
mes-0.24.2/lib/tests/stdio/90-fopen-append.c:38:18: note: Null pointer dereference
mes-0.24.2/lib/tests/stdio/90-fopen-append.c:39:18: warning: If resource allocation fails, then there is a possible null pointer dereference: hold [nullPointerOutOfResources]
mes-0.24.2/lib/tests/stdio/90-fopen-append.c:32:22: note: Assuming allocation function fails
mes-0.24.2/lib/tests/stdio/90-fopen-append.c:32:22: note: Assignment 'hold=fopen("tmp","r")', assigned value is 0
mes-0.24.2/lib/tests/stdio/90-fopen-append.c:39:18: note: Null pointer dereference
mes-0.24.2/lib/tests/stdio/90-fopen.c:35:3: error: Found an exit path from function with non-void return type that has missing return statement [missingReturn]
mes-0.24.2/lib/tests/stdio/90-fopen.c:51:5: error: Resource leak: t [resourceLeak]
mes-0.24.2/lib/tests/stdio/90-fopen.c:60:5: error: Resource leak: t [resourceLeak]
mes-0.24.2/lib/tests/stdio/90-fopen.c:71:5: error: Resource leak: t [resourceLeak]
mes-0.24.2/lib/tests/stdio/90-fopen.c:75:3: error: Resource leak: t [resourceLeak]
mes-0.24.2/lib/tests/stdio/90-fopen.c:77:5: error: Resource leak: t [resourceLeak]
mes-0.24.2/lib/tests/stdio/90-fopen.c:87:5: error: Resource leak: t [resourceLeak]
mes-0.24.2/lib/tests/stdio/90-fopen.c:95:5: error: Resource leak: t [resourceLeak]
mes-0.24.2/lib/tests/stdio/90-fopen.c:99:3: error: Resource leak: t [resourceLeak]
mes-0.24.2/lib/tests/stdio/90-fopen.c:101:5: error: Resource leak: t [resourceLeak]
mes-0.24.2/lib/tests/stdio/90-fopen.c:111:5: error: Resource leak: t [resourceLeak]
mes-0.24.2/lib/tests/stdio/90-fopen.c:121:5: error: Resource leak: t [resourceLeak]
mes-0.24.2/lib/tests/stdio/90-fopen.c:123:3: error: Resource leak: t [resourceLeak]
mes-0.24.2/lib/tests/stdio/90-fopen.c:34:43: warning: If resource allocation fails, then there is a possible null pointer dereference: f [nullPointerOutOfResources]
mes-0.24.2/lib/tests/stdio/90-fopen.c:33:19: note: Assuming allocation function fails
mes-0.24.2/lib/tests/stdio/90-fopen.c:33:19: note: Assignment 'f=fopen(name,"w")', assigned value is 0
mes-0.24.2/lib/tests/stdio/90-fopen.c:34:43: note: Null pointer dereference
mes-0.24.2/lib/tests/stdio/90-fopen.c:35:11: warning: If resource allocation fails, then there is a possible null pointer dereference: f [nullPointerOutOfResources]
mes-0.24.2/lib/tests/stdio/90-fopen.c:33:19: note: Assuming allocation function fails
mes-0.24.2/lib/tests/stdio/90-fopen.c:33:19: note: Assignment 'f=fopen(name,"w")', assigned value is 0
mes-0.24.2/lib/tests/stdio/90-fopen.c:35:11: note: Null pointer dereference
mes-0.24.2/lib/tests/stdio/90-fopen.c:50:9: style: A pointer can not be negative so it is either pointless or an error to check if it is. [pointerLessThanZero]
mes-0.24.2/lib/tests/stdio/90-fopen.c:76:9: style: A pointer can not be negative so it is either pointless or an error to check if it is. [pointerLessThanZero]
mes-0.24.2/lib/tests/stdio/90-fopen.c:100:9: style: A pointer can not be negative so it is either pointless or an error to check if it is. [pointerLessThanZero]
mes-0.24.2/lib/tests/stdio/90-fopen.c:41:9: style: Variable 'line' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/stdio/90-fopen.c:42:9: style: Variable 'contents' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/stdio/90-fopen.c:43:9: style: Variable 'end' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/stdio/90-fopen.c:45:9: style: Variable 'tmp' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:48:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:66:5: error: Resource leak: t [resourceLeak]
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:66:5: error: Resource leak: n [resourceLeak]
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:66:5: error: Memory leak: p [memleak]
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:66:5: error: Resource leak: test [resourceLeak]
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:69:5: error: Resource leak: t [resourceLeak]
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:69:5: error: Resource leak: n [resourceLeak]
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:69:5: error: Memory leak: p [memleak]
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:69:5: error: Resource leak: test [resourceLeak]
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:74:5: error: Resource leak: t [resourceLeak]
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:74:5: error: Resource leak: n [resourceLeak]
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:74:5: error: Memory leak: p [memleak]
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:74:5: error: Resource leak: test [resourceLeak]
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:78:3: error: Resource leak: t [resourceLeak]
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:78:3: error: Resource leak: n [resourceLeak]
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:78:3: error: Memory leak: p [memleak]
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:78:3: error: Resource leak: test [resourceLeak]
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:41:39: warning: If resource allocation fails, then there is a possible null pointer dereference: n [nullPointerOutOfResources]
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:38:19: note: Assuming allocation function fails
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:38:19: note: Assignment 'n=fopen(new,"wb")', assigned value is 0
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:41:39: note: Null pointer dereference
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:44:35: warning: If resource allocation fails, then there is a possible null pointer dereference: t [nullPointerOutOfResources]
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:37:19: note: Assuming allocation function fails
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:37:19: note: Assignment 't=fopen(temp,"wb+")', assigned value is 0
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:44:35: note: Null pointer dereference
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:46:10: warning: If resource allocation fails, then there is a possible null pointer dereference: t [nullPointerOutOfResources]
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:37:19: note: Assuming allocation function fails
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:37:19: note: Assignment 't=fopen(temp,"wb+")', assigned value is 0
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:46:10: note: Null pointer dereference
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:47:21: warning: If resource allocation fails, then there is a possible null pointer dereference: t [nullPointerOutOfResources]
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:37:19: note: Assuming allocation function fails
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:37:19: note: Assignment 't=fopen(temp,"wb+")', assigned value is 0
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:47:21: note: Null pointer dereference
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:49:10: warning: If resource allocation fails, then there is a possible null pointer dereference: t [nullPointerOutOfResources]
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:37:19: note: Assuming allocation function fails
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:37:19: note: Assignment 't=fopen(temp,"wb+")', assigned value is 0
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:49:10: note: Null pointer dereference
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:51:10: warning: If memory allocation fails, then there is a possible null pointer dereference: p [nullPointerOutOfMemory]
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:50:29: note: Assuming allocation function fails
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:50:13: note: Assignment 'p=(char*)malloc(size+1)', assigned value is 0
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:51:10: note: Null pointer dereference
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:51:22: warning: If resource allocation fails, then there is a possible null pointer dereference: t [nullPointerOutOfResources]
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:37:19: note: Assuming allocation function fails
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:37:19: note: Assignment 't=fopen(temp,"wb+")', assigned value is 0
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:51:22: note: Null pointer dereference
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:52:11: warning: If memory allocation fails, then there is a possible null pointer dereference: p [nullPointerOutOfMemory]
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:50:29: note: Assuming allocation function fails
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:50:13: note: Assignment 'p=(char*)malloc(size+1)', assigned value is 0
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:52:11: note: Null pointer dereference
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:52:23: warning: If resource allocation fails, then there is a possible null pointer dereference: n [nullPointerOutOfResources]
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:38:19: note: Assuming allocation function fails
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:38:19: note: Assignment 'n=fopen(new,"wb")', assigned value is 0
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:52:23: note: Null pointer dereference
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:61:45: warning: If resource allocation fails, then there is a possible null pointer dereference: test [nullPointerOutOfResources]
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:58:22: note: Assuming allocation function fails
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:58:22: note: Assignment 'test=fopen(new,"r")', assigned value is 0
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:61:45: note: Null pointer dereference
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:31:9: style: Variable 'temp' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:32:9: style: Variable 'new' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:40:9: style: Variable 'header' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/stdio/90-fread-fwrite.c:43:9: style: Variable 'data' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/stdio/90-fseek.c:30:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable O_RDONLY [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/tests/stdio/90-fseek.c:32:5: error: Resource leak: fd [resourceLeak]
mes-0.24.2/lib/tests/stdio/90-fseek.c:36:5: error: Resource leak: f [resourceLeak]
mes-0.24.2/lib/tests/stdio/90-fseek.c:39:5: error: Resource leak: f [resourceLeak]
mes-0.24.2/lib/tests/stdio/90-fseek.c:43:5: error: Resource leak: f [resourceLeak]
mes-0.24.2/lib/tests/stdio/90-fseek.c:50:5: error: Resource leak: f [resourceLeak]
mes-0.24.2/lib/tests/stdio/90-fseek.c:58:5: error: Resource leak: f [resourceLeak]
mes-0.24.2/lib/tests/stdio/90-fseek.c:60:3: error: Resource leak: f [resourceLeak]
mes-0.24.2/lib/tests/stdio/90-fseek.c:34:18: warning: If resource allocation fails, then there is a possible null pointer dereference: f [nullPointerOutOfResources]
mes-0.24.2/lib/tests/stdio/90-fseek.c:33:20: note: Assuming allocation function fails
mes-0.24.2/lib/tests/stdio/90-fseek.c:33:20: note: Assignment 'f=fdopen(fd,"r")', assigned value is 0
mes-0.24.2/lib/tests/stdio/90-fseek.c:34:18: note: Null pointer dereference
mes-0.24.2/lib/tests/stdio/90-fseek.c:37:20: warning: If resource allocation fails, then there is a possible null pointer dereference: f [nullPointerOutOfResources]
mes-0.24.2/lib/tests/stdio/90-fseek.c:33:20: note: Assuming allocation function fails
mes-0.24.2/lib/tests/stdio/90-fseek.c:33:20: note: Assignment 'f=fdopen(fd,"r")', assigned value is 0
mes-0.24.2/lib/tests/stdio/90-fseek.c:35:9: note: Assuming condition is false
mes-0.24.2/lib/tests/stdio/90-fseek.c:37:20: note: Null pointer dereference
mes-0.24.2/lib/tests/stdio/90-fseek.c:51:5: style: Variable 'r' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/tests/stdlib/50-malloc.c:47:7: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: p [nullPointerOutOfMemory]
mes-0.24.2/lib/tests/stdlib/50-malloc.c:36:14: note: Assuming allocation function fails
mes-0.24.2/lib/tests/stdlib/50-malloc.c:36:14: note: Assignment 'p=malloc(size)', assigned value is 0
mes-0.24.2/lib/tests/stdlib/50-malloc.c:47:7: note: Null pointer dereference
mes-0.24.2/lib/tests/stdlib/50-malloc.c:53:20: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: p [nullPointerOutOfMemory]
mes-0.24.2/lib/tests/stdlib/50-malloc.c:36:14: note: Assuming allocation function fails
mes-0.24.2/lib/tests/stdlib/50-malloc.c:36:14: note: Assignment 'p=malloc(size)', assigned value is 0
mes-0.24.2/lib/tests/stdlib/50-malloc.c:53:20: note: Null pointer dereference
mes-0.24.2/lib/tests/stdlib/90-strtol.c:45:28: style: Condition 'strtoul("-1",0,0)!=-1' is always true [knownConditionTrueFalse]
mes-0.24.2/lib/tests/stdlib/90-strtol.c:57:5: style: Redundant initialization for 'n'. The initialized value is overwritten before it is read. [redundantInitialization]
mes-0.24.2/lib/tests/stdlib/90-strtol.c:49:9: note: n is initialized
mes-0.24.2/lib/tests/stdlib/90-strtol.c:57:5: note: n is overwritten
mes-0.24.2/lib/tests/stdlib/90-strtol.c:30:5: warning: Redundant code: Found a statement that begins with numeric constant. [constStatement]
mes-0.24.2/lib/tests/stdlib/90-strtol.c:34:5: warning: Redundant code: Found a statement that begins with numeric constant. [constStatement]
mes-0.24.2/lib/tests/stdlib/90-strtol.c:38:5: warning: Redundant code: Found a statement that begins with numeric constant. [constStatement]
mes-0.24.2/lib/tests/stdlib/90-strtol.c:42:5: warning: Redundant code: Found a statement that begins with numeric constant. [constStatement]
mes-0.24.2/lib/tests/stdlib/90-strtol.c:46:5: warning: Redundant code: Found a statement that begins with numeric constant. [constStatement]
mes-0.24.2/lib/tests/stdlib/90-strtol.c:57:5: style: Variable 'n' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/tests/string/30-strlen.c:26:22: style: Condition 'strlen("mes")==3' is always true [knownConditionTrueFalse]
mes-0.24.2/lib/tests/string/30-strlen.c:30:22: style: Condition 'strlen("mes")!=3' is always false [knownConditionTrueFalse]
mes-0.24.2/lib/tests/string/50-memcmp.c:28:9: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/string/50-strcmp-itoa.c:28:9: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/string/50-strcmp-itoa.c:28:11: style: Variable 'p' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/lib/tests/string/50-strcmp.c:40:7: style: Condition '!strcmp(p,"mes")' is always true [knownConditionTrueFalse]
mes-0.24.2/lib/tests/string/50-strcmp.c:36:14: note: Assuming that condition 'strcmp(p,"mes")' is not redundant
mes-0.24.2/lib/tests/string/50-strcmp.c:40:7: note: Condition '!strcmp(p,"mes")' is always true
mes-0.24.2/lib/tests/string/50-strcmp.c:28:9: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/string/50-strncmp.c:27:7: warning: Unnecessary comparison of static strings. [staticStringCompare]
mes-0.24.2/lib/tests/string/50-strncmp.c:30:8: warning: Unnecessary comparison of static strings. [staticStringCompare]
mes-0.24.2/lib/tests/string/50-strncmp.c:33:7: warning: Unnecessary comparison of static strings. [staticStringCompare]
mes-0.24.2/lib/tests/string/70-strchr.c:41:9: style: Variable 'hello' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/string/70-strchr.c:42:9: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/string/80-strrchr.c:24:23: style: Parameter 'argv' can be declared as const array [constParameter]
mes-0.24.2/lib/tests/string/80-strrchr.c:26:9: style: Variable 'string' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/string/80-strrchr.c:27:9: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/string/90-strpbrk.c:41:9: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/tests/string/90-strspn.c:28:9: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/x86-mes-gcc/setjmp.c:46:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __bp [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/x86-mes-gcc/setjmp.c:45:9: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/x86-mes-mescc/exit-42.c:22:23: style: Parameter 'argv' can be declared as const array [constParameter]
mes-0.24.2/lib/x86-mes-mescc/setjmp.c:43:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __bp [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/x86-mes-mescc/setjmp.c:42:9: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/x86_64-mes-gcc/setjmp.c:50:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __bp [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/x86_64-mes-gcc/setjmp.c:43:9: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/lib/x86_64-mes-mescc/exit-42.c:22:23: style: Parameter 'argv' can be declared as const array [constParameter]
mes-0.24.2/lib/x86_64-mes-mescc/setjmp.c:67:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __bp [valueFlowBailoutIncompleteVar]
mes-0.24.2/lib/x86_64-mes-mescc/setjmp.c:66:9: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/scaffold/cons-mes.c:602:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __stdin [valueFlowBailoutIncompleteVar]
mes-0.24.2/scaffold/cons-mes.c:858:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __stdin [valueFlowBailoutIncompleteVar]
mes-0.24.2/scaffold/cons-mes.c:944:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MES_VERSION [valueFlowBailoutIncompleteVar]
mes-0.24.2/scaffold/cons-mes.c:604:11: warning: Assert statement calls a function which may have desired side effects: 'getchar'. [assertWithSideEffect]
mes-0.24.2/scaffold/cons-mes.c:605:11: warning: Assert statement calls a function which may have desired side effects: 'getchar'. [assertWithSideEffect]
mes-0.24.2/scaffold/cons-mes.c:606:11: warning: Assert statement calls a function which may have desired side effects: 'getchar'. [assertWithSideEffect]
mes-0.24.2/scaffold/cons-mes.c:868:11: warning: Assert statement calls a function which may have desired side effects: 'getchar'. [assertWithSideEffect]
mes-0.24.2/scaffold/cons-mes.c:869:11: warning: Assert statement calls a function which may have desired side effects: 'getchar'. [assertWithSideEffect]
mes-0.24.2/scaffold/cons-mes.c:870:11: warning: Assert statement calls a function which may have desired side effects: 'getchar'. [assertWithSideEffect]
mes-0.24.2/scaffold/cons-mes.c:439:10: style: Condition 'x' is always false [knownConditionTrueFalse]
mes-0.24.2/scaffold/cons-mes.c:438:11: note: Assignment 'x=0', assigned value is 0
mes-0.24.2/scaffold/cons-mes.c:439:10: note: Condition 'x' is always false
mes-0.24.2/scaffold/cons-mes.c:499:10: style: Variable 'g_free' is reassigned a value before the old one has been used. [redundantAssignment]
mes-0.24.2/scaffold/cons-mes.c:495:9: note: g_free is assigned
mes-0.24.2/scaffold/cons-mes.c:499:10: note: g_free is overwritten
mes-0.24.2/scaffold/cons-mes.c:510:10: style: Variable 'g_free' is reassigned a value before the old one has been used. [redundantAssignment]
mes-0.24.2/scaffold/cons-mes.c:506:9: note: g_free is assigned
mes-0.24.2/scaffold/cons-mes.c:510:10: note: g_free is overwritten
mes-0.24.2/scaffold/cons-mes.c:521:10: style: Variable 'g_free' is reassigned a value before the old one has been used. [redundantAssignment]
mes-0.24.2/scaffold/cons-mes.c:517:9: note: g_free is assigned
mes-0.24.2/scaffold/cons-mes.c:521:10: note: g_free is overwritten
mes-0.24.2/scaffold/cons-mes.c:855:9: style: Variable 'mo' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/scaffold/cons-mes.c:935:23: style: Parameter 'argv' can be declared as const array [constParameter]
mes-0.24.2/scaffold/cons-mes.c:329:7: style: Variable 'y' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/scaffold/cons-mes.c:957:15: style: Variable 'program' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/scaffold/global-array.c:33:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
mes-0.24.2/scaffold/local-array.c:32:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
mes-0.24.2/scaffold/local-static-array.c:33:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
mes-0.24.2/scaffold/local-static-array.c:32:34: error: Found an exit path from function with non-void return type that has missing return statement [missingReturn]
mes-0.24.2/scaffold/local-static-array.c:28:13: style: Parameter 'string' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/scaffold/micro-mes.c:57:23: style: Parameter 'argv' can be declared as const array [constParameter]
mes-0.24.2/scaffold/micro-mes.c:71:15: style: Variable 'program' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/scaffold/read.c:28:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __stdin [valueFlowBailoutIncompleteVar]
mes-0.24.2/scaffold/tiny-mes.c:364:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __stdin [valueFlowBailoutIncompleteVar]
mes-0.24.2/scaffold/tiny-mes.c:166:13: style: Variable 'g_cells[14].type' is reassigned a value before the old one has been used. [redundantAssignment]
mes-0.24.2/scaffold/tiny-mes.c:162:13: note: g_cells[14].type is assigned
mes-0.24.2/scaffold/tiny-mes.c:166:13: note: g_cells[14].type is overwritten
mes-0.24.2/scaffold/tiny-mes.c:167:12: style: Variable 'g_cells[14].car' is reassigned a value before the old one has been used. [redundantAssignment]
mes-0.24.2/scaffold/tiny-mes.c:163:12: note: g_cells[14].car is assigned
mes-0.24.2/scaffold/tiny-mes.c:167:12: note: g_cells[14].car is overwritten
mes-0.24.2/scaffold/tiny-mes.c:168:12: style: Variable 'g_cells[14].cdr' is reassigned a value before the old one has been used. [redundantAssignment]
mes-0.24.2/scaffold/tiny-mes.c:164:12: note: g_cells[14].cdr is assigned
mes-0.24.2/scaffold/tiny-mes.c:168:12: note: g_cells[14].cdr is overwritten
mes-0.24.2/scaffold/tiny-mes.c:361:9: style: Variable 'mo' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/scaffold/tiny-mes.c:415:23: style: Parameter 'argv' can be declared as const array [constParameter]
mes-0.24.2/scaffold/tiny-mes.c:418:9: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/scaffold/tiny-mes.c:423:15: style: Variable 'program' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/src/builtins.c:27:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_symbol_record_type [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/builtins.c:40:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_nil [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/builtins.c:70:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TSTRUCT [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/builtins.c:79:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __stdout [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/builtins.c:115:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable g_mini [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/builtins.c:63:15: style: Variable 'x' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/src/builtins.c:82:15: style: Variable 'x' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/src/cc.c:27:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable scm [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/cc.c:34:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable scm [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/cc.c:41:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable scm [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/cc.c:48:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable scm [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/cc.c:77:32: style: Parameter 'i' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/src/core.c:36:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_nil [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/core.c:53:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TPAIR [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/core.c:63:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TPAIR [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/core.c:78:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_nil [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/core.c:87:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_t [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/core.c:118:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TVALUES [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/core.c:132:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_nil [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/core.c:153:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_undefined [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/core.c:167:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_nil [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/core.c:183:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_nil [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/core.c:198:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TPAIR [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/core.c:214:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TPAIR [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/core.c:258:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TSTRING [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/core.c:76:21: style: Parameter 'x' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/src/core.c:129:23: style: Parameter 'x' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/src/display.c:108:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_unspecified [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/display.c:264:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __stdout [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/display.c:271:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __stderr [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/display.c:277:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TNUMBER [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/display.c:285:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __stdout [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/display.c:292:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __stderr [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/display.c:298:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TNUMBER [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/display.c:111:11: warning: Either the condition 'x!=0' is redundant or there is possible null pointer dereference: x. [nullPointerRedundantCheck]
mes-0.24.2/src/display.c:169:17: note: Assuming that condition 'x!=0' is not redundant
mes-0.24.2/src/display.c:111:11: note: Null pointer dereference
mes-0.24.2/src/display.c:153:11: warning: Either the condition 'x!=0' is redundant or there is possible null pointer dereference: x. [nullPointerRedundantCheck]
mes-0.24.2/src/display.c:169:17: note: Assuming that condition 'x!=0' is not redundant
mes-0.24.2/src/display.c:153:11: note: Null pointer dereference
mes-0.24.2/src/display.c:171:15: warning: Either the condition 'x!=0' is redundant or there is possible null pointer dereference: x. [nullPointerRedundantCheck]
mes-0.24.2/src/display.c:169:17: note: Assuming that condition 'x!=0' is not redundant
mes-0.24.2/src/display.c:171:15: note: Null pointer dereference
mes-0.24.2/src/display.c:225:23: style: Local variable 't' shadows outer variable [shadowVariable]
mes-0.24.2/src/display.c:111:7: note: Shadowed declaration
mes-0.24.2/src/display.c:225:23: note: Shadow variable
mes-0.24.2/src/display.c:239:19: style: Local variable 't' shadows outer variable [shadowVariable]
mes-0.24.2/src/display.c:111:7: note: Shadowed declaration
mes-0.24.2/src/display.c:239:19: note: Shadow variable
mes-0.24.2/src/display.c:94:23: style: Parameter 's' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/src/display.c:225:23: style: Variable 't' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/src/display.c:239:19: style: Variable 't' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/src/display.c:275:43: style: Parameter 'p' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/src/display.c:296:41: style: Parameter 'p' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/src/display.c:225:25: style: Variable 't' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/src/display.c:239:21: style: Variable 't' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/src/eval-apply.c:29:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_undefined [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/eval-apply.c:38:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TNUMBER [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/eval-apply.c:62:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_f [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/eval-apply.c:98:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_nil [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/eval-apply.c:108:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TPAIR [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/eval-apply.c:117:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TPAIR [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/eval-apply.c:127:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TVARIABLE [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/eval-apply.c:139:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_closure [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/eval-apply.c:148:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_circular [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/eval-apply.c:154:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TVARIABLE [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/eval-apply.c:160:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TSYMBOL [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/eval-apply.c:169:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_f [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/eval-apply.c:180:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable g_macros [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/eval-apply.c:186:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable R3 [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/eval-apply.c:199:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TPAIR [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/eval-apply.c:212:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TSYMBOL [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/eval-apply.c:236:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TPAIR [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/eval-apply.c:301:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_nil [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/eval-apply.c:357:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable R3 [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/eval-apply.c:984:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable R3 [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/eval-apply.c:902:15: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak]
mes-0.24.2/src/eval-apply.c:914:11: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak]
mes-0.24.2/src/eval-apply.c:89:19: style: Local variable 'e' shadows outer argument [shadowArgument]
mes-0.24.2/src/eval-apply.c:59:41: note: Shadowed declaration
mes-0.24.2/src/eval-apply.c:89:19: note: Shadow variable
mes-0.24.2/src/eval-apply.c:878:17: warning: Redundant code: Found a statement that begins with numeric constant. [constStatement]
mes-0.24.2/src/eval-apply.c:168:15: style: Variable 'm' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/src/eval-apply.c:171:19: style: Variable 'd' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/src/eval-apply.c:210:23: style: Parameter 'x' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/src/eval-apply.c:210:38: style: Parameter 'formals' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/src/eval-apply.c:351:15: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/src/eval-apply.c:352:15: style: Unused variable: d [unusedVariable]
mes-0.24.2/src/gc.c:54:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ARENA_SIZE [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/gc.c:117:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable g_free [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/gc.c:123:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable g_free [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/gc.c:139:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable g_free [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/gc.c:153:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable g_free [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/gc.c:166:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable g_free [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/gc.c:181:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable g_free [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/gc.c:196:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable g_free [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/gc.c:219:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable g_stack_array [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/gc.c:231:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TPAIR [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/gc.c:245:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TBYTES [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/gc.c:259:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TCHAR [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/gc.c:265:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TCONTINUATION [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/gc.c:271:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TMACRO [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/gc.c:277:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TNUMBER [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/gc.c:283:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TREF [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/gc.c:289:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MAX_STRING [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/gc.c:306:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TPORT [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/gc.c:312:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable g_news [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/gc.c:329:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ARENA_SIZE [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/gc.c:386:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TBROKEN_HEART [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/gc.c:451:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable g_free [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/gc.c:475:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TBROKEN_HEART [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/gc.c:523:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_unspecified [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/gc.c:530:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_unspecified [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/gc.c:539:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable g_free [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/gc.c:584:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable g_free [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/gc.c:594:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable g_debug [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/gc.c:647:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable g_debug [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/gc.c:683:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable g_stack [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/gc.c:696:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable R3 [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/gc.c:707:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable g_stack [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/gc.c:727:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable g_arena [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/gc.c:737:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable R0 [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/gc.c:753:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable g_stack [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/gc.c:764:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable g_cells [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/gc.c:65:9: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/src/gc.c:209:40: style: Parameter 'from' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/src/gc.c:372:9: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/src/gc.c:764:15: style: Variable 'end' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/src/gc.c:765:15: style: Variable 'dist' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/src/gc.c:355:13: portability: 'p' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
mes-0.24.2/src/gc.c:355:31: portability: 'p' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
mes-0.24.2/src/hash.c:41:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TSPECIAL [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/hash.c:49:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TSTRING [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/hash.c:80:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_f [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/hash.c:92:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_f [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/hash.c:105:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_f [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/hash.c:122:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TPAIR [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/hash.c:150:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __stdout [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/hash.c:182:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_nil [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/hash.c:197:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_unspecified [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/hash.c:211:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TPAIR [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/hash.c:77:12: style: Local variable 'hash' shadows outer function [shadowFunction]
mes-0.24.2/src/hash.c:66:1: note: Shadowed declaration
mes-0.24.2/src/hash.c:77:12: note: Shadow variable
mes-0.24.2/src/hash.c:102:12: style: Local variable 'hash' shadows outer function [shadowFunction]
mes-0.24.2/src/hash.c:66:1: note: Shadowed declaration
mes-0.24.2/src/hash.c:102:12: note: Shadow variable
mes-0.24.2/src/hash.c:134:12: style: Local variable 'hash' shadows outer function [shadowFunction]
mes-0.24.2/src/hash.c:66:1: note: Shadowed declaration
mes-0.24.2/src/hash.c:134:12: note: Shadow variable
mes-0.24.2/src/hash.c:143:12: style: Local variable 'hash' shadows outer function [shadowFunction]
mes-0.24.2/src/hash.c:66:1: note: Shadowed declaration
mes-0.24.2/src/hash.c:143:12: note: Shadow variable
mes-0.24.2/src/hash.c:59:20: style: Parameter 'x' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/src/hash.c:59:35: style: Parameter 'size' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/src/hash.c:66:19: style: Parameter 'x' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/src/hash.c:66:34: style: Parameter 'size' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/src/hash.c:73:67: style: Parameter 'dflt' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/src/hash.c:75:15: style: Variable 's' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/src/hash.c:98:59: style: Parameter 'dflt' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/src/hash.c:100:15: style: Variable 's' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/src/hash.c:132:15: style: Variable 's' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/src/hash.c:141:15: style: Variable 's' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/src/hash.c:208:30: style: Parameter 'x' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/src/lib.c:42:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TPAIR [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/lib.c:51:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TPAIR [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/lib.c:59:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_nil [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/lib.c:72:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TCHAR [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/lib.c:112:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_t [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/lib.c:148:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_nil [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/lib.c:160:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TPAIR [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/lib.c:39:19: style: Parameter 'x' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/src/lib.c:48:19: style: Parameter 'x' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/src/lib.c:57:20: style: Parameter 'x' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/src/lib.c:57:35: style: Parameter 'a' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/src/lib.c:158:21: style: Parameter 'x' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/src/math.c:33:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TNUMBER [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/math.c:43:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_nil [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/math.c:66:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_nil [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/math.c:89:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_nil [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/math.c:113:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_nil [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/math.c:134:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_nil [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/math.c:151:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_nil [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/math.c:221:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_nil [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/math.c:238:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_nil [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/math.c:255:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_nil [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/math.c:280:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_nil [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/math.c:48:15: style: Variable 'i' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/src/math.c:71:15: style: Variable 'i' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/src/math.c:94:15: style: Variable 'i' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/src/mes.c:63:2: error: #error arch not supported [preprocessorErrorDirective]
mes-0.24.2/src/module.c:27:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_nil [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/module.c:40:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_symbol_module [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/module.c:71:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __stdout [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/module.c:92:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_f [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/module.c:105:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_f [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/module.c:113:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable M0 [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/module.c:104:15: style: Variable 'x' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/src/posix.c:44:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable g_debug [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/posix.c:58:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TNUMBER [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/posix.c:65:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __stdin [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/posix.c:83:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __stdin [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/posix.c:100:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __stdin [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/posix.c:144:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __stdin [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/posix.c:172:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __stdout [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/posix.c:200:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_f [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/posix.c:206:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __setenv_buf [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/posix.c:217:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_t [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/posix.c:224:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __stdin [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/posix.c:241:59: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable O_RDONLY [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/posix.c:251:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable g_ports [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/posix.c:259:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TNUMBER [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/posix.c:275:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __stdout [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/posix.c:281:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __stderr [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/posix.c:289:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable S_IRUSR [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/posix.c:303:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __stdout [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/posix.c:313:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __stderr [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/posix.c:323:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_unspecified [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/posix.c:330:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_t [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/posix.c:343:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __execl_c_argv [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/posix.c:406:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __gettimeofday_time [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/posix.c:428:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __get_internal_run_time_ts [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/posix.c:438:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PATH_MAX [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/posix.c:451:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_unspecified [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/posix.c:458:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_unspecified [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/posix.c:394:3: warning: Assignment of function parameter has no effect outside the function. Did you forget dereferencing it? [uselessAssignmentPtrArg]
mes-0.24.2/src/posix.c:394:3: error: Found an exit path from function with non-void return type that has missing return statement [missingReturn]
mes-0.24.2/src/posix.c:50:7: error: Null pointer dereference: x [nullPointer]
mes-0.24.2/src/posix.c:49:17: note: Assignment 'x=0', assigned value is 0
mes-0.24.2/src/posix.c:50:7: note: Null pointer dereference
mes-0.24.2/src/posix.c:235:10: warning: Either the condition 'x!=0' is redundant or there is possible null pointer dereference: x. [nullPointerRedundantCheck]
mes-0.24.2/src/posix.c:228:12: note: Assuming that condition 'x!=0' is not redundant
mes-0.24.2/src/posix.c:235:10: note: Null pointer dereference
mes-0.24.2/src/posix.c:56:20: style: Parameter 'x' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/src/posix.c:171:15: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/src/posix.c:175:19: style: Variable 'f' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/src/posix.c:213:46: style: Parameter 'mode' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/src/posix.c:226:15: style: Variable 'x' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/src/posix.c:256:37: style: Parameter 'port' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/src/posix.c:292:19: style: Variable 'i' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/src/posix.c:300:38: style: Parameter 'port' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/src/posix.c:310:37: style: Parameter 'port' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/src/posix.c:320:44: style: Parameter 'mode' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/src/posix.c:373:23: style: Parameter 'pid' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/src/posix.c:373:40: style: Parameter 'options' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/src/posix.c:442:19: style: Parameter 'port' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/src/posix.c:448:20: style: Parameter 'old' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/src/posix.c:448:37: style: Parameter 'new' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/src/posix.c:394:5: style: Variable 'a' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/src/reader.c:32:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_nil [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/reader.c:40:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_nil [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/reader.c:46:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/reader.c:62:87: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/reader.c:68:79: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/reader.c:88:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable g_buf [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/reader.c:117:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/reader.c:181:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_nil [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/reader.c:206:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_unspecified [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/reader.c:225:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_f [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/reader.c:300:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __reader_read_char_buf [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/reader.c:445:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MAX_STRING [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/reader.c:454:13: warning: Redundant code: Found a statement that begins with numeric constant. [constStatement]
mes-0.24.2/src/reader.c:269:31: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/src/reader.c:292:19: style: Variable 'n' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/src/reader.c:442:15: style: Variable 'n' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/src/stack.c:30:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __stdout [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/stack.c:41:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_nil [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/stack.c:56:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STACK_SIZE [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/stack.c:70:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_nil [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/stack.c:81:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STACK_SIZE [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/stack.c:52:20: style: Variable 'array_index' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/src/string.c:30:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MAX_STRING [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/string.c:47:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable g_buf [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/string.c:67:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TSTRING [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/string.c:99:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TSTRING [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/string.c:105:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TKEYWORD [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/string.c:111:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TSTRING [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/string.c:117:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable g_symbols [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/string.c:126:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TSYMBOL [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/string.c:134:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_nil [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/string.c:175:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __stdin [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/string.c:200:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable g_buf [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/string.c:221:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TSTRING [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/string.c:228:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TSTRING [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/string.c:47:9: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/src/string.c:48:15: style: Variable 'x' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/src/string.c:178:19: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/src/string.c:47:11: style: Variable 'p' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/src/struct.c:30:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TSTRUCT [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/struct.c:53:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TSTRUCT [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/struct.c:60:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TSTRUCT [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/struct.c:75:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TSTRUCT [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/struct.c:82:40: style: Parameter 'i' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/src/struct.c:88:42: style: Parameter 'i' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/src/symbol.c:40:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable g_symbols [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/symbol.c:57:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable g_symbol [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/symbol.c:181:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable g_free [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/test/gc.c:35:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_arena [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/test/gc.c:57:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_arena [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/test/gc.c:75:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/test/gc.c:98:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable g_free [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/test/gc.c:108:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable g_free [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/test/gc.c:120:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable g_free [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/test/gc.c:130:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_nil [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/test/gc.c:143:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable g_free [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/test/gc.c:151:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_zero [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/test/gc.c:167:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_nil [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/test/gc.c:180:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_zero [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/test/gc.c:141:15: style: Variable 's' can be declared as pointer to const [constVariablePointer]
mes-0.24.2/src/test/gc.c:141:17: style: Variable 's' is assigned a value that is never used. [unreadVariable]
mes-0.24.2/src/vector.c:37:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TVECTOR [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/vector.c:53:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_unspecified [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/vector.c:63:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TVECTOR [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/vector.c:70:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TVECTOR [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/vector.c:91:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TNUMBER [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/vector.c:99:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TVECTOR [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/vector.c:114:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_unspecified [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/vector.c:128:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cell_nil [valueFlowBailoutIncompleteVar]
mes-0.24.2/src/vector.c:83:40: style: Parameter 'i' can be declared as pointer to const [constParameterPointer]
mes-0.24.2/src/vector.c:106:42: style: Parameter 'i' can be declared as pointer to const [constParameterPointer]
diff:
2.19.0 mes-0.24.2/lib/m2/clock_gettime.c:28:8: style: Variable 'long_tp' is assigned a value that is never used. [unreadVariable]
2.19.0 mes-0.24.2/lib/m2/execve.c:27:8: style: Variable 'long_file_name' is assigned a value that is never used. [unreadVariable]
2.19.0 mes-0.24.2/lib/m2/execve.c:28:8: style: Variable 'long_argv' is assigned a value that is never used. [unreadVariable]
2.19.0 mes-0.24.2/lib/m2/execve.c:29:8: style: Variable 'long_env' is assigned a value that is never used. [unreadVariable]
2.19.0 mes-0.24.2/lib/tests/dirent/90-readdir.c:72:7: style: Variable 'i' is assigned a value that is never used. [unreadVariable]
2.19.0 mes-0.24.2/lib/tests/mes/50-itoa.c:27:9: style: Variable 'p' is assigned a value that is never used. [unreadVariable]
2.19.0 mes-0.24.2/lib/tests/scaffold/18-assign-shadow.c:28:9: style: Variable 'c' is assigned a value that is never used. [unreadVariable]
head mes-0.24.2/lib/tests/scaffold/21-char-array.c:31:8: style: Condition 's[3]' is always false [knownConditionTrueFalse]
     mes-0.24.2/lib/tests/scaffold/21-char-array.c:24:13: note: Assignment 's="mes"', assigned value is "mes"
     mes-0.24.2/lib/tests/scaffold/21-char-array.c:29:7: note: Assuming condition is false
     mes-0.24.2/lib/tests/scaffold/21-char-array.c:31:8: note: Condition 's[3]' is always false
head mes-0.24.2/lib/tests/scaffold/21-char-array.c:33:8: style: Condition 's[v]' is always false [knownConditionTrueFalse]
     mes-0.24.2/lib/tests/scaffold/21-char-array.c:24:13: note: Assignment 's="mes"', assigned value is "mes"
     mes-0.24.2/lib/tests/scaffold/21-char-array.c:29:7: note: Assuming condition is false
     mes-0.24.2/lib/tests/scaffold/21-char-array.c:28:11: note: Assignment 'v=3', assigned value is 3
     mes-0.24.2/lib/tests/scaffold/21-char-array.c:29:7: note: Assuming condition is false
     mes-0.24.2/lib/tests/scaffold/21-char-array.c:33:8: note: Condition 's[v]' is always false
2.19.0 mes-0.24.2/lib/tests/scaffold/21-char-array.c:33:8: warning: Identical condition 's[3]', second condition is always false [identicalConditionAfterEarlyExit]
     mes-0.24.2/lib/tests/scaffold/21-char-array.c:28:11: note: 'v' is assigned value '3' here.
     mes-0.24.2/lib/tests/scaffold/21-char-array.c:31:8: note: If condition 's[3]' is true, the function will return/exit
     mes-0.24.2/lib/tests/scaffold/21-char-array.c:33:8: note: Testing identical condition 's[3]'
head mes-0.24.2/lib/tests/scaffold/33-and-or.c:36:13: style: Condition 'f' is always false [knownConditionTrueFalse]
     mes-0.24.2/lib/tests/scaffold/33-and-or.c:26:11: note: Assignment 'f=0', assigned value is 0
     mes-0.24.2/lib/tests/scaffold/33-and-or.c:36:13: note: Condition 'f' is always false
head mes-0.24.2/lib/tests/scaffold/35-compare-char.c:31:9: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
2.19.0 mes-0.24.2/lib/tests/scaffold/37-compare-assign.c:28:7: style: Variable 'one' is assigned a value that is never used. [unreadVariable]
2.19.0 mes-0.24.2/lib/tests/scaffold/42-goto-label.c:39:7: style: Variable 'one' is assigned a value that is never used. [unreadVariable]
2.19.0 mes-0.24.2/lib/tests/scaffold/63-struct-cell.c:231:42: warning: Identical condition 'g_functions[g_cells[fn].cdr].arity', second condition is always false [identicalConditionAfterEarlyExit]
     mes-0.24.2/lib/tests/scaffold/63-struct-cell.c:229:35: note: If condition 'g_functions[g_cells[fn].cdr].arity' is true, the function will return/exit
     mes-0.24.2/lib/tests/scaffold/63-struct-cell.c:231:42: note: Testing identical condition 'g_functions[g_cells[fn].cdr].arity'
2.19.0 mes-0.24.2/lib/tests/scaffold/70-struct-post.c:34:7: style: Variable 'i' is assigned a value that is never used. [unreadVariable]
head mes-0.24.2/lib/tests/scaffold/7b-struct-int-array-pointer.c:33:8: style: Variable 'pi' can be declared as pointer to const [constVariablePointer]
2.19.0 mes-0.24.2/lib/tests/scaffold/7i-struct-struct-simple.c:39:14: style: Variable 'f' is assigned a value that is never used. [unreadVariable]
2.19.0 mes-0.24.2/lib/tests/scaffold/7p-struct-cast.c:31:15: style: Variable 'pf' is assigned a value that is never used. [unreadVariable]
2.19.0 mes-0.24.2/lib/tests/scaffold/7s-unsigned-compare.c:100:9: style: Variable 'i' is assigned a value that is never used. [unreadVariable]
2.19.0 mes-0.24.2/lib/tests/scaffold/7s-unsigned-compare.c:51:9: style: Variable 'i' is assigned a value that is never used. [unreadVariable]
2.19.0 mes-0.24.2/lib/tests/string/50-strcmp-itoa.c:28:9: style: Variable 'p' is assigned a value that is never used. [unreadVariable]
2.19.0 mes-0.24.2/scaffold/cons-mes.c:957:7: style: Variable 'program' is assigned a value that is never used. [unreadVariable]
2.19.0 mes-0.24.2/scaffold/micro-mes.c:71:7: style: Variable 'program' is assigned a value that is never used. [unreadVariable]
2.19.0 mes-0.24.2/scaffold/tiny-mes.c:423:7: style: Variable 'program' is assigned a value that is never used. [unreadVariable]
2.19.0 mes-0.24.2/src/display.c:225:23: style: Variable 't' is assigned a value that is never used. [unreadVariable]
2.19.0 mes-0.24.2/src/display.c:239:19: style: Variable 't' is assigned a value that is never used. [unreadVariable]
head mes-0.24.2/src/eval-apply.c:171:19: style: Variable 'd' can be declared as pointer to const [constVariablePointer]
head mes-0.24.2/src/lib.c:57:35: style: Parameter 'a' can be declared as pointer to const [constParameterPointer]
2.19.0 mes-0.24.2/src/string.c:47:9: style: Variable 'p' is assigned a value that is never used. [unreadVariable]
2.19.0 mes-0.24.2/src/test/gc.c:141:15: style: Variable 's' is assigned a value that is never used. [unreadVariable]


DONE