2024-04-16 17:22 ftp://ftp.de.debian.org/debian/pool/main/g/gap/gap_4r10p0.orig.tar.xz cppcheck-options: --library=posix --library=gnu --library=bsd --library=zlib --inconclusive --enable=style,information --inline-suppr --template=daca2 --disable=missingInclude --suppress=unmatchedSuppression --check-library --debug-warnings --suppress=autoNoType --suppress=valueFlowBailout --suppress=bailoutUninitVar --suppress=symbolDatabaseWarning -D__GNUC__ --platform=unix64 -j4 platform: Linux-6.1.0-18-amd64-x86_64-with-glibc2.36 python: 3.11.2 client-version: 1.3.56 compiler: g++ (Debian 12.2.0-14) 12.2.0 cppcheck: head 2.13.0 head-info: 8cd680b (2024-04-15 22:43:04 +0200) count: 352 114 elapsed-time: 1.0 0.9 head-timing-info: old-timing-info: head results: gap-4.10.0/src/system.h:45:0: error: #error Something is wrong with this GAP installation: SIZEOF_VOID_P not defined [preprocessorErrorDirective] gap-4.10.0/hpcgap/demo/sumliouville.c:55:26: style: Parameter 'argv' can be declared as const array [constParameter] gap-4.10.0/hpcgap/demo/sumliouville.c:69:16: error: Memory is allocated but not initialized: erat[i] [uninitdata] gap-4.10.0/hpcgap/demo/sumliouville2.c:47:26: style: Parameter 'argv' can be declared as const array [constParameter] gap-4.10.0/hpcgap/demo/sumliouville2.c:62:16: error: Memory is allocated but not initialized: erat[i] [uninitdata] gap-4.10.0/src/hpc/c_oper1.c:244:2: error: There is an unknown macro here somewhere. Configuration is required. If CHECK_BOUND is a macro then please configure it. [unknownMacro] gap-4.10.0/src/hpc/c_type1.c:280:3: error: There is an unknown macro here somewhere. Configuration is required. If CHECK_FUNC is a macro then please configure it. [unknownMacro] gap-4.10.0/src/hpc/misc.c:113:18: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled] gap-4.10.0/src/hpc/aobjects.c:100:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_APOSOBJ [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:51:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:117:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_ACOMOBJ [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:56:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:165:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_ALIST [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:64:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:199:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FIXALIST [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:107:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:235:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FIXALIST [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:118:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:253:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_AREC [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:147:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:258:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_ALIST [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:175:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:263:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FIXALIST [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:185:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:272:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_ALIST [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:190:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:295:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_ALIST [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:195:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:321:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_ALIST [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:200:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:368:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable False [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:205:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:422:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_ALIST [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:210:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:433:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable atom [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:215:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:445:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FIXALIST [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:220:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:455:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable atom [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:225:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:491:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable obj [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:247:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_MACFLOAT [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:526:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadID [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:252:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:545:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FIXALIST [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:258:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:582:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadID [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:273:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:642:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Undefined [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:317:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_INT [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:805:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Undefined [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:365:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Obj [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:849:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Undefined [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:374:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FFE [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:857:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_AREC [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:397:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_CHAR [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:864:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_ACOMOBJ [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:404:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ObjsChar [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:879:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_AREC [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:415:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_CYC [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:946:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Undefined [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:431:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_CYC [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:975:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadID [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:441:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_BOOL [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:995:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable currentRegion [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:460:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable False [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:1064:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadID [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:509:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable OBJSET_USED [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:1079:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadID [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:540:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable OBJSET_USED [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:1108:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_PREC [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:584:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UInt [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:1122:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_AREC [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:610:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Obj [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:1135:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_AREC [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:630:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UInt [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:1151:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_AREC [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:638:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UInt [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:1166:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable currentRegion [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:675:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Obj [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:1183:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Obj [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:700:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Obj [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:1213:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FUNCTION [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:748:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_OBJMAP [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:1225:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_PREC [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:777:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_STRING [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:1243:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TLREC [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:861:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_OBJMAP [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:1253:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TLREC [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:894:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_STRING [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:1266:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable atom [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:997:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:1272:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable atom [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:1016:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Fail [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:1327:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable atom [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:1026:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ReadJmpError [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:1377:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_ALIST [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:1052:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ReadJmpError [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:1424:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable obj [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:1104:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FIRST_RECORD_TNUM [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:1449:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable False [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:1474:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_ALIST [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:1540:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable tlRecords [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:1548:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable tlRecords [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:1561:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_ALIST [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:1574:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable atom [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:1597:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable atom [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:1620:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable atom [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:1652:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Bag [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:1709:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Fail [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:1772:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable True [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:1784:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable True [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:1897:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UInt [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:104:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GAPState [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:136:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GAPState [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:145:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GAPState [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:188:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadID [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:193:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadObject [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:223:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TLS_MASK [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:244:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MAX_THREADS [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:274:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable currentRegion [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:296:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadID [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:349:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:411:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MAX_THREADS [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:460:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CurrentHashLock [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:468:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CurrentHashLock [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:476:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CurrentHashLock [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:484:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CurrentHashLock [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:495:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CountActive [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:528:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CountActive [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:552:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadID [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:581:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadID [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:601:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadID [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:608:61: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadID [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:621:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadID [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:630:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_REGION [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:668:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_PLIST [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:715:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lockStack [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:730:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lockStackPointer [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:743:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lockStackPointer [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:761:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IntrExecStatFuncs [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:783:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TSTATE_MASK [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:810:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadID [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:821:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadID [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:844:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadID [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:873:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable interruptHandlers [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:882:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadID [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:899:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TSTATE_MASK [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:937:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TSTATE_MASK [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:971:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TSTATE_MASK [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:985:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MAX_THREADS [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:1030:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable DeadlockCheck [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:1049:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lockStackPointer [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:1094:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lockStackPointer [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:1152:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lockStackPointer [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:1198:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable currentRegion [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:1252:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable DisableGuards [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:1263:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable DisableGuards [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/serialize.c:54:64: style: Parameter 'state' can be declared as pointer to const [constParameterPointer] gap-4.10.0/src/hpc/serialize.c:62:43: style: Parameter 'addr' can be declared as pointer to const [constParameterPointer] gap-4.10.0/src/hpc/serialize.c:1028:37: error: Uninitialized variable: readJmpError [uninitvar] gap-4.10.0/src/hpc/serialize.c:1054:37: error: Uninitialized variable: readJmpError [uninitvar] gap-4.10.0/src/hpc/tls.c:16:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GAPState [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/thread.c:380:5: warning: Return value of function pthread_attr_setstack() is not used. [ignoredReturnValue] gap-4.10.0/src/hpc/thread.c:173:25: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled] gap-4.10.0/src/hpc/thread.c:177:13: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled] gap-4.10.0/src/hpc/thread.c:224:25: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled] gap-4.10.0/src/hpc/thread.c:1081:13: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled] gap-4.10.0/src/hpc/thread.c:1145:13: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled] gap-4.10.0/src/hpc/thread.c:121:21: style: Parameter 'address' can be declared as pointer to const [constParameterPointer] gap-4.10.0/src/hpc/thread.c:169:12: style: Variable 'tls' can be declared as pointer to const [constVariablePointer] gap-4.10.0/src/hpc/thread.c:407:12: style: Variable 'start' can be declared as pointer to const [constVariablePointer] gap-4.10.0/src/hpc/thread.c:615:23: style: Parameter 'region' can be declared as pointer to const [constParameterPointer] gap-4.10.0/src/hpc/thread.c:647:28: style: Parameter 'region' can be declared as pointer to const [constParameterPointer] gap-4.10.0/src/hpc/thread.c:1083:18: style: Variable 'r' can be declared as pointer to const [constVariablePointer] gap-4.10.0/src/hpc/thread.c:492:16: style: Variable 'result' is assigned a value that is never used. [unreadVariable] gap-4.10.0/src/hpc/thread.c:550:16: style: Variable 'result' is assigned a value that is never used. [unreadVariable] gap-4.10.0/src/hpc/traverse.c:36:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable traversalState [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/traverse.c:42:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_PLIST [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/traverse.c:96:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable traversalState [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/traverse.c:101:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable traversalState [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/traverse.c:216:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Obj [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/traverse.c:284:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Obj [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/traverse.c:308:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TRAVERSE_NONE [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/traverse.c:332:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LAST_ATOMIC_TNUM [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/traverse.c:423:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FIRST_REAL_TNUM [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/traverse.c:132:22: style: Variable 'hashTable' can be declared as pointer to const [constVariablePointer] gap-4.10.0/src/hpc/threadapi.c:115:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ThreadObject [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:123:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_THREAD [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:132:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Monitor [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:156:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadID [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:196:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable acquiredMonitor [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:289:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable acquiredMonitor [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:358:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_PLIST [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:411:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_PLIST [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:432:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_THREAD [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:455:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadObject [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:466:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_THREAD [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:482:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MAX_THREADS [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:509:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MAX_THREADS [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:536:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MAX_INTERRUPT [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:567:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MAX_THREADS [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:592:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MAX_THREADS [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:657:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Fail [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:671:54: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable False [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:683:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable False [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:697:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable False [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:711:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable True [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:726:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable True [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:778:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ReadJmpError [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:797:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ReadJmpError [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:838:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Fail [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:844:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable False [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:858:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Region [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:1010:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_PLIST [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:1058:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable currentRegion [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:1174:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable multiplexRandomSeed [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:1234:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_PLIST [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:1249:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_PLIST [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:1286:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_PLIST [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:1323:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_CHANNEL [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:1404:61: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable False [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:1411:61: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable False [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:1527:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_SEMAPHORE [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:1541:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_SEMAPHORE [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:1560:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_SEMAPHORE [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:1644:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_BARRIER [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:1724:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable False [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:1729:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_SYNCVAR [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:1751:54: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable False [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:1787:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable THREAD_TERMINATED [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:1907:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Obj [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:1933:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Fail [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:1968:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Obj [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:2002:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lockStackPointer [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:2017:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable owner [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:2072:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Fail [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:2101:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadRegion [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:2111:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_PLIST [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:2131:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Fail [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:2152:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Fail [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:2172:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Fail [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:2192:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadRegion [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:2256:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ReadOnlyRegion [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:2270:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ReadOnlyRegion [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:2283:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ReadOnlyRegion [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:2294:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ReadOnlyRegion [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:2344:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FUNCTION [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:2387:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SIG_BLOCK [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:2402:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FUNCTION [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:2486:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CountActive [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:2493:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CountActive [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:2502:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CountActive [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:2509:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LocksAcquired [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:2518:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_PLIST [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:2675:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TypeObjFuncs [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/threadapi.c:2745:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MAX_INTERRUPT [valueFlowBailoutIncompleteVar] gap-4.10.0/src/hpc/aobjects.c:1443:42: style:inconclusive: Function 'AtomicCompareSwapAList' argument 2 names different: declaration 'index' definition 'pos'. [funcArgNamesDifferent] gap-4.10.0/src/hpc/aobjects.c:336:49: note: Function 'AtomicCompareSwapAList' argument 2 names different: declaration 'index' definition 'pos'. gap-4.10.0/src/hpc/aobjects.c:1443:42: note: Function 'AtomicCompareSwapAList' argument 2 names different: declaration 'index' definition 'pos'. gap-4.10.0/src/hpc/aobjects.c:72:8: style: Variable 'addr' can be declared as pointer to const [constVariablePointer] gap-4.10.0/src/hpc/aobjects.c:453:20: style: Variable 'ptrend' can be declared as pointer to const [constVariablePointer] gap-4.10.0/src/hpc/aobjects.c:992:18: style: Variable 'table' can be declared as pointer to const [constVariablePointer] gap-4.10.0/src/hpc/aobjects.c:1059:18: style: Variable 'table' can be declared as pointer to const [constVariablePointer] gap-4.10.0/src/hpc/aobjects.c:1074:18: style: Variable 'table' can be declared as pointer to const [constVariablePointer] gap-4.10.0/src/hpc/threadapi.c:281:13: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled] gap-4.10.0/src/hpc/threadapi.c:1164:27: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled] gap-4.10.0/src/hpc/threadapi.c:1165:27: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled] gap-4.10.0/src/hpc/threadapi.c:1907:15: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled] gap-4.10.0/src/hpc/threadapi.c:1908:13: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled] gap-4.10.0/src/hpc/threadapi.c:1968:15: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled] gap-4.10.0/src/hpc/threadapi.c:1969:13: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled] gap-4.10.0/src/hpc/threadapi.c:1330:9: style: Condition '!DestroyChannel(ObjPtr(channel))' is always false [knownConditionTrueFalse] gap-4.10.0/src/hpc/threadapi.c:1330:24: note: Calling function 'DestroyChannel' returns 1 gap-4.10.0/src/hpc/threadapi.c:1330:9: note: Condition '!DestroyChannel(ObjPtr(channel))' is always false gap-4.10.0/src/hpc/threadapi.c:277:23: style: Variable 'monitor' can be declared as pointer to const [constVariablePointer] gap-4.10.0/src/hpc/threadapi.c:670:14: style: Variable 'region' can be declared as pointer to const [constVariablePointer] gap-4.10.0/src/hpc/threadapi.c:682:14: style: Variable 'region' can be declared as pointer to const [constVariablePointer] gap-4.10.0/src/hpc/threadapi.c:694:14: style: Variable 'region' can be declared as pointer to const [constVariablePointer] gap-4.10.0/src/hpc/threadapi.c:708:14: style: Variable 'region' can be declared as pointer to const [constVariablePointer] gap-4.10.0/src/hpc/threadapi.c:724:14: style: Variable 'region' can be declared as pointer to const [constVariablePointer] gap-4.10.0/src/hpc/threadapi.c:1292:37: style: Parameter 'channel' can be declared as pointer to const. However it seems that 'DestroyChannel' is a callback function, if 'channel' is declared with const you might also need to cast function pointer(s). [constParameterCallback] gap-4.10.0/src/hpc/threadapi.c:2586:15: note: You might need to cast the function pointer here gap-4.10.0/src/hpc/threadapi.c:1292:37: note: Parameter 'channel' can be declared as pointer to const gap-4.10.0/src/hpc/threadapi.c:2032:18: style: Variable 'region' can be declared as pointer to const [constVariablePointer] gap-4.10.0/src/hpc/threadapi.c:2254:14: style: Variable 'region' can be declared as pointer to const [constVariablePointer] gap-4.10.0/src/hpc/threadapi.c:2268:14: style: Variable 'region' can be declared as pointer to const [constVariablePointer] gap-4.10.0/src/hpc/threadapi.c:2282:14: style: Variable 'region' can be declared as pointer to const [constVariablePointer] gap-4.10.0/src/hpc/threadapi.c:2293:14: style: Variable 'region' can be declared as pointer to const [constVariablePointer] gap-4.10.0/src/hpc/threadapi.c:870:37: error: Uninitialized variable: readJmpError [uninitvar] gap-4.10.0/src/hpc/threadapi.c:1206:34: warning: Uninitialized variables: channel.monitor, channel.queue, channel.waiting, channel.dynamic, channel.head, channel.tail, channel.size, channel.capacity [uninitvar] gap-4.10.0/src/hpc/threadapi.c:1178:19: note: Assuming condition is false gap-4.10.0/src/hpc/threadapi.c:1186:11: note: Assuming condition is true gap-4.10.0/src/hpc/threadapi.c:1206:34: note: Uninitialized variables: channel.monitor, channel.queue, channel.waiting, channel.dynamic, channel.head, channel.tail, channel.size, channel.capacity gap-4.10.0/tst/test-compile/assert.g.dynamic.c:45:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable False [valueFlowBailoutIncompleteVar] gap-4.10.0/tst/test-compile/assert.g.static.c:45:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable False [valueFlowBailoutIncompleteVar] gap-4.10.0/tst/test-compile/assert.g.dynamic.c:213:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CurrLVars [valueFlowBailoutIncompleteVar] gap-4.10.0/tst/test-compile/assert.g.static.c:213:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CurrLVars [valueFlowBailoutIncompleteVar] gap-4.10.0/tst/test-compile/assert.g.dynamic.c:289:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CurrLVars [valueFlowBailoutIncompleteVar] gap-4.10.0/tst/test-compile/assert.g.static.c:289:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CurrLVars [valueFlowBailoutIncompleteVar] gap-4.10.0/tst/test-compile/basics.g.dynamic.c:162:2: error: There is an unknown macro here somewhere. Configuration is required. If C_LEN_LIST_FPL is a macro then please configure it. [unknownMacro] gap-4.10.0/tst/test-compile/basics.g.static.c:162:2: error: There is an unknown macro here somewhere. Configuration is required. If C_LEN_LIST_FPL is a macro then please configure it. [unknownMacro] gap-4.10.0/tst/test-compile/assert.g.static.c:177:2: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] gap-4.10.0/tst/test-compile/assert.g.static.c:228:2: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] gap-4.10.0/tst/test-compile/assert.g.static.c:31:21: style: Variable 'SWITCH_TO_NEW_FRAME' is assigned a value that is never used. [unreadVariable] gap-4.10.0/tst/test-compile/assert.g.static.c:192:21: style: Variable 'SWITCH_TO_NEW_FRAME' is assigned a value that is never used. [unreadVariable] gap-4.10.0/tst/test-compile/assert.g.dynamic.c:177:2: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] gap-4.10.0/tst/test-compile/assert.g.dynamic.c:228:2: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] gap-4.10.0/tst/test-compile/assert.g.dynamic.c:31:21: style: Variable 'SWITCH_TO_NEW_FRAME' is assigned a value that is never used. [unreadVariable] gap-4.10.0/tst/test-compile/assert.g.dynamic.c:192:21: style: Variable 'SWITCH_TO_NEW_FRAME' is assigned a value that is never used. [unreadVariable] gap-4.10.0/tst/test-compile/info.g.dynamic.c:77:2: error: There is an unknown macro here somewhere. Configuration is required. If CHECK_BOUND is a macro then please configure it. [unknownMacro] gap-4.10.0/tst/test-compile/info.g.static.c:77:2: error: There is an unknown macro here somewhere. Configuration is required. If CHECK_BOUND is a macro then please configure it. [unknownMacro] gap-4.10.0/tst/test-compile/function_types.g.dynamic.c:138:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable OLD_BRK_CURR_STAT [valueFlowBailoutIncompleteVar] gap-4.10.0/tst/test-compile/function_types.g.dynamic.c:242:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CurrLVars [valueFlowBailoutIncompleteVar] gap-4.10.0/tst/test-compile/function_types.g.dynamic.c:397:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CurrLVars [valueFlowBailoutIncompleteVar] gap-4.10.0/tst/test-compile/plus.g.dynamic.c:28:2: error: There is an unknown macro here somewhere. Configuration is required. If C_SUM_INTOBJS is a macro then please configure it. [unknownMacro] gap-4.10.0/tst/test-compile/plus.g.static.c:28:2: error: There is an unknown macro here somewhere. Configuration is required. If C_SUM_INTOBJS is a macro then please configure it. [unknownMacro] gap-4.10.0/tst/test-compile/function_types.g.static.c:138:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable OLD_BRK_CURR_STAT [valueFlowBailoutIncompleteVar] gap-4.10.0/tst/test-compile/function_types.g.static.c:242:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CurrLVars [valueFlowBailoutIncompleteVar] gap-4.10.0/tst/test-compile/function_types.g.static.c:397:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CurrLVars [valueFlowBailoutIncompleteVar] gap-4.10.0/tst/test-compile/function_types.g.dynamic.c:52:2: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] gap-4.10.0/tst/test-compile/function_types.g.dynamic.c:88:2: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] gap-4.10.0/tst/test-compile/function_types.g.dynamic.c:121:2: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] gap-4.10.0/tst/test-compile/function_types.g.dynamic.c:162:2: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] gap-4.10.0/tst/test-compile/function_types.g.dynamic.c:218:2: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] gap-4.10.0/tst/test-compile/function_types.g.dynamic.c:320:2: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] gap-4.10.0/tst/test-compile/function_types.g.dynamic.c:36:21: style: Variable 'SWITCH_TO_NEW_FRAME' is assigned a value that is never used. [unreadVariable] gap-4.10.0/tst/test-compile/function_types.g.dynamic.c:71:21: style: Variable 'SWITCH_TO_NEW_FRAME' is assigned a value that is never used. [unreadVariable] gap-4.10.0/tst/test-compile/function_types.g.dynamic.c:105:21: style: Variable 'SWITCH_TO_NEW_FRAME' is assigned a value that is never used. [unreadVariable] gap-4.10.0/tst/test-compile/function_types.g.dynamic.c:176:21: style: Variable 'SWITCH_TO_NEW_FRAME' is assigned a value that is never used. [unreadVariable] gap-4.10.0/tst/test-compile/function_types.g.dynamic.c:233:21: style: Variable 'SWITCH_TO_NEW_FRAME' is assigned a value that is never used. [unreadVariable] gap-4.10.0/tst/test-compile/function_types.g.static.c:52:2: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] gap-4.10.0/tst/test-compile/function_types.g.static.c:88:2: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] gap-4.10.0/tst/test-compile/function_types.g.static.c:121:2: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] gap-4.10.0/tst/test-compile/function_types.g.static.c:162:2: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] gap-4.10.0/tst/test-compile/function_types.g.static.c:218:2: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] gap-4.10.0/tst/test-compile/function_types.g.static.c:320:2: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] gap-4.10.0/tst/test-compile/function_types.g.static.c:36:21: style: Variable 'SWITCH_TO_NEW_FRAME' is assigned a value that is never used. [unreadVariable] gap-4.10.0/tst/test-compile/function_types.g.static.c:71:21: style: Variable 'SWITCH_TO_NEW_FRAME' is assigned a value that is never used. [unreadVariable] gap-4.10.0/tst/test-compile/function_types.g.static.c:105:21: style: Variable 'SWITCH_TO_NEW_FRAME' is assigned a value that is never used. [unreadVariable] gap-4.10.0/tst/test-compile/function_types.g.static.c:176:21: style: Variable 'SWITCH_TO_NEW_FRAME' is assigned a value that is never used. [unreadVariable] gap-4.10.0/tst/test-compile/function_types.g.static.c:233:21: style: Variable 'SWITCH_TO_NEW_FRAME' is assigned a value that is never used. [unreadVariable] gap-4.10.0/tst/test-compile/print_various.g.dynamic.c:49:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IdentityPerm [valueFlowBailoutIncompleteVar] gap-4.10.0/tst/test-compile/print_various.g.dynamic.c:139:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CurrLVars [valueFlowBailoutIncompleteVar] gap-4.10.0/tst/test-compile/print_various.g.dynamic.c:213:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CurrLVars [valueFlowBailoutIncompleteVar] gap-4.10.0/tst/testlibgap/basic.c:55:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable True [valueFlowBailoutIncompleteVar] gap-4.10.0/tst/test-compile/print_various.g.static.c:49:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IdentityPerm [valueFlowBailoutIncompleteVar] gap-4.10.0/tst/test-compile/print_various.g.static.c:139:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CurrLVars [valueFlowBailoutIncompleteVar] gap-4.10.0/tst/test-compile/print_various.g.static.c:213:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CurrLVars [valueFlowBailoutIncompleteVar] gap-4.10.0/tst/test-compile/print_various.g.dynamic.c:68:6: style: Variable 't_2' is reassigned a value before the old one has been used. [redundantAssignment] gap-4.10.0/tst/test-compile/print_various.g.dynamic.c:49:6: note: t_2 is assigned gap-4.10.0/tst/test-compile/print_various.g.dynamic.c:68:6: note: t_2 is overwritten gap-4.10.0/tst/test-compile/print_various.g.dynamic.c:99:6: style: Variable 't_4' is reassigned a value before the old one has been used. [redundantAssignment] gap-4.10.0/tst/test-compile/print_various.g.dynamic.c:86:6: note: t_4 is assigned gap-4.10.0/tst/test-compile/print_various.g.dynamic.c:99:6: note: t_4 is overwritten gap-4.10.0/tst/test-compile/print_various.g.dynamic.c:111:2: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] gap-4.10.0/tst/test-compile/print_various.g.dynamic.c:154:2: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] gap-4.10.0/tst/test-compile/print_various.g.dynamic.c:32:21: style: Variable 'SWITCH_TO_NEW_FRAME' is assigned a value that is never used. [unreadVariable] gap-4.10.0/tst/test-compile/print_various.g.dynamic.c:126:21: style: Variable 'SWITCH_TO_NEW_FRAME' is assigned a value that is never used. [unreadVariable] gap-4.10.0/tst/test-compile/print_various.g.static.c:68:6: style: Variable 't_2' is reassigned a value before the old one has been used. [redundantAssignment] gap-4.10.0/tst/test-compile/print_various.g.static.c:49:6: note: t_2 is assigned gap-4.10.0/tst/test-compile/print_various.g.static.c:68:6: note: t_2 is overwritten gap-4.10.0/tst/test-compile/print_various.g.static.c:99:6: style: Variable 't_4' is reassigned a value before the old one has been used. [redundantAssignment] gap-4.10.0/tst/test-compile/print_various.g.static.c:86:6: note: t_4 is assigned gap-4.10.0/tst/test-compile/print_various.g.static.c:99:6: note: t_4 is overwritten gap-4.10.0/tst/test-compile/print_various.g.static.c:111:2: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] gap-4.10.0/tst/test-compile/print_various.g.static.c:154:2: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] gap-4.10.0/tst/test-compile/print_various.g.static.c:32:21: style: Variable 'SWITCH_TO_NEW_FRAME' is assigned a value that is never used. [unreadVariable] gap-4.10.0/tst/test-compile/print_various.g.static.c:126:21: style: Variable 'SWITCH_TO_NEW_FRAME' is assigned a value that is never used. [unreadVariable] diff: head gap-4.10.0/src/hpc/aobjects.c:1064:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadID [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:1079:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadID [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:1108:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_PREC [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:1122:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_AREC [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:1135:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_AREC [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:1151:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_AREC [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:1166:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable currentRegion [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:117:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_ACOMOBJ [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:1183:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Obj [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:1213:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FUNCTION [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:1225:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_PREC [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:1243:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TLREC [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:1253:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_TLREC [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:1266:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable atom [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:1272:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable atom [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:1327:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable atom [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:1377:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_ALIST [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:1424:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable obj [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:1449:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable False [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:1474:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_ALIST [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:1540:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable tlRecords [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:1548:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable tlRecords [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:1561:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_ALIST [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:1574:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable atom [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:1597:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable atom [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:1620:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable atom [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:1652:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Bag [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:165:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_ALIST [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:1709:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Fail [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:1772:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable True [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:1784:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable True [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:1897:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UInt [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:199:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FIXALIST [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:235:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FIXALIST [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:253:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_AREC [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:258:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_ALIST [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:263:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FIXALIST [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:272:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_ALIST [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:295:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_ALIST [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:321:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_ALIST [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:368:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable False [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:422:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_ALIST [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:433:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable atom [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:445:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FIXALIST [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:455:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable atom [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:491:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable obj [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:526:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadID [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:545:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FIXALIST [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:582:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadID [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:642:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Undefined [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:805:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Undefined [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:849:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Undefined [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:857:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_AREC [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:864:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_ACOMOBJ [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:879:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_AREC [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:946:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Undefined [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:975:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadID [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/aobjects.c:995:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable currentRegion [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:1016:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Fail [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:1026:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ReadJmpError [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:1052:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ReadJmpError [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:107:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:1104:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FIRST_RECORD_TNUM [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:118:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:147:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:175:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:185:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:190:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:195:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:200:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:205:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:210:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:215:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:220:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:225:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:247:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_MACFLOAT [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:252:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:258:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:273:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:317:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_INT [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:365:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Obj [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:374:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FFE [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:397:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_CHAR [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:404:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ObjsChar [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:415:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_CYC [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:431:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_CYC [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:441:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_BOOL [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:460:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable False [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:509:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable OBJSET_USED [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:540:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable OBJSET_USED [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:56:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:584:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UInt [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:610:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Obj [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:630:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UInt [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:638:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UInt [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:64:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:675:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Obj [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:700:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Obj [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:748:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_OBJMAP [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:777:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_STRING [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:861:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_OBJMAP [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:894:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_STRING [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/serialize.c:997:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Serialize [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:1030:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable DeadlockCheck [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:1049:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lockStackPointer [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:1094:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lockStackPointer [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:1152:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lockStackPointer [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:1198:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable currentRegion [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:121:21: style: Parameter 'address' can be declared as pointer to const [constParameterPointer] head gap-4.10.0/src/hpc/thread.c:1252:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable DisableGuards [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:1263:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable DisableGuards [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:136:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GAPState [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:145:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GAPState [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:188:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadID [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:193:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadObject [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:223:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TLS_MASK [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:244:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MAX_THREADS [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:274:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable currentRegion [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:296:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadID [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:349:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:411:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MAX_THREADS [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:460:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CurrentHashLock [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:468:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CurrentHashLock [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:476:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CurrentHashLock [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:484:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CurrentHashLock [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:495:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CountActive [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:528:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CountActive [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:552:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadID [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:581:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadID [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:601:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadID [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:608:61: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadID [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:621:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadID [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:630:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_REGION [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:668:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_PLIST [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:715:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lockStack [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:730:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lockStackPointer [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:743:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lockStackPointer [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:761:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IntrExecStatFuncs [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:783:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TSTATE_MASK [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:810:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadID [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:821:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadID [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:844:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadID [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:873:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable interruptHandlers [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:882:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadID [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:899:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TSTATE_MASK [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:937:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TSTATE_MASK [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:971:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TSTATE_MASK [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/thread.c:985:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MAX_THREADS [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:1010:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_PLIST [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:1058:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable currentRegion [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:1174:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable multiplexRandomSeed [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:1234:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_PLIST [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:123:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_THREAD [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:1249:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_PLIST [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:1286:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_PLIST [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:1292:37: style: Parameter 'channel' can be declared as pointer to const. However it seems that 'DestroyChannel' is a callback function, if 'channel' is declared with const you might also need to cast function pointer(s). [constParameterCallback] gap-4.10.0/src/hpc/threadapi.c:2586:15: note: You might need to cast the function pointer here gap-4.10.0/src/hpc/threadapi.c:1292:37: note: Parameter 'channel' can be declared as pointer to const head gap-4.10.0/src/hpc/threadapi.c:1323:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_CHANNEL [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:132:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Monitor [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:1404:61: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable False [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:1411:61: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable False [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:1527:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_SEMAPHORE [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:1541:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_SEMAPHORE [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:1560:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_SEMAPHORE [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:156:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadID [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:1644:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_BARRIER [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:1724:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable False [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:1729:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_SYNCVAR [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:1751:54: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable False [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:1787:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable THREAD_TERMINATED [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:1907:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Obj [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:1933:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Fail [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:1968:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Obj [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:196:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable acquiredMonitor [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:2002:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lockStackPointer [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:2017:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable owner [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:2072:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Fail [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:2101:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadRegion [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:2111:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_PLIST [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:2131:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Fail [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:2152:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Fail [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:2172:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Fail [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:2192:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadRegion [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:2256:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ReadOnlyRegion [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:2270:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ReadOnlyRegion [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:2283:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ReadOnlyRegion [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:2294:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ReadOnlyRegion [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:2344:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FUNCTION [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:2387:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SIG_BLOCK [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:2402:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_FUNCTION [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:2486:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CountActive [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:2493:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CountActive [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:2502:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CountActive [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:2509:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LocksAcquired [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:2518:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_PLIST [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:2675:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TypeObjFuncs [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:2745:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MAX_INTERRUPT [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:289:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable acquiredMonitor [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:358:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_PLIST [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:411:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_PLIST [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:432:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_THREAD [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:455:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable threadObject [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:466:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_THREAD [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:482:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MAX_THREADS [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:509:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MAX_THREADS [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:536:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MAX_INTERRUPT [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:567:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MAX_THREADS [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:592:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MAX_THREADS [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:657:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Fail [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:671:54: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable False [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:683:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable False [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:697:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable False [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:711:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable True [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:726:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable True [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:778:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ReadJmpError [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:797:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ReadJmpError [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:838:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Fail [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:844:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable False [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/threadapi.c:858:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Region [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/traverse.c:101:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable traversalState [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/traverse.c:216:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Obj [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/traverse.c:284:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Obj [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/traverse.c:308:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TRAVERSE_NONE [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/traverse.c:332:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LAST_ATOMIC_TNUM [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/traverse.c:423:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FIRST_REAL_TNUM [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/traverse.c:42:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T_PLIST [valueFlowBailoutIncompleteVar] head gap-4.10.0/src/hpc/traverse.c:96:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable traversalState [valueFlowBailoutIncompleteVar] head gap-4.10.0/tst/test-compile/assert.g.dynamic.c:213:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CurrLVars [valueFlowBailoutIncompleteVar] head gap-4.10.0/tst/test-compile/assert.g.dynamic.c:289:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CurrLVars [valueFlowBailoutIncompleteVar] head gap-4.10.0/tst/test-compile/assert.g.static.c:213:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CurrLVars [valueFlowBailoutIncompleteVar] head gap-4.10.0/tst/test-compile/assert.g.static.c:289:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CurrLVars [valueFlowBailoutIncompleteVar] head gap-4.10.0/tst/test-compile/function_types.g.dynamic.c:242:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CurrLVars [valueFlowBailoutIncompleteVar] head gap-4.10.0/tst/test-compile/function_types.g.dynamic.c:397:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CurrLVars [valueFlowBailoutIncompleteVar] head gap-4.10.0/tst/test-compile/function_types.g.static.c:242:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CurrLVars [valueFlowBailoutIncompleteVar] head gap-4.10.0/tst/test-compile/function_types.g.static.c:397:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CurrLVars [valueFlowBailoutIncompleteVar] head gap-4.10.0/tst/test-compile/print_various.g.dynamic.c:139:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CurrLVars [valueFlowBailoutIncompleteVar] head gap-4.10.0/tst/test-compile/print_various.g.dynamic.c:213:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CurrLVars [valueFlowBailoutIncompleteVar] head gap-4.10.0/tst/test-compile/print_various.g.static.c:139:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CurrLVars [valueFlowBailoutIncompleteVar] head gap-4.10.0/tst/test-compile/print_various.g.static.c:213:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CurrLVars [valueFlowBailoutIncompleteVar] DONE