2026-05-03 12:57
ftp://ftp.de.debian.org/debian/pool/main/m/metamath/metamath_0.198.orig.tar.gz
cppcheck-options: --library=posix --library=gnu --library=bsd  --inconclusive --enable=style,information --inline-suppr --template=daca2 --disable=missingInclude --suppress=unmatchedSuppression --check-library --debug-warnings --suppress=autoNoType --suppress=valueFlowBailout --suppress=bailoutUninitVar --suppress=symbolDatabaseWarning --suppress=normalCheckLevelConditionExpressions -D__GNUC__ --platform=unix64 -j1
platform: Linux-6.8.0-1047-aws-aarch64-with-glibc2.35
python: 3.10.12
client-version: 1.4.0
compiler: g++ (Ubuntu 11.4.0-1ubuntu1~22.04.3) 11.4.0
cppcheck: head 2.20.0
head-info: e5c4a73 (2026-05-01 11:10:43 +0200)
count: 1146 1142
elapsed-time: 37.3 32.2
head-timing-info:

old-timing-info:

head results:
metamath-metamath-exe-0e6fb2e/metamath.c:7933:11: style: The if condition is the same as the previous if condition [duplicateCondition]
metamath-metamath-exe-0e6fb2e/metamath.c:7931:11: note: First condition
metamath-metamath-exe-0e6fb2e/metamath.c:7933:11: note: Second condition
metamath-metamath-exe-0e6fb2e/metamath.c:755:7: style: Condition '!g_listMode' is always true [knownConditionTrueFalse]
metamath-metamath-exe-0e6fb2e/metamath.c:750:16: note: Assignment 'g_listMode=0', assigned value is 0
metamath-metamath-exe-0e6fb2e/metamath.c:755:7: note: Condition '!g_listMode' is always true
metamath-metamath-exe-0e6fb2e/metamath.c:6738:19: style: Condition 'n==n+0' is always true [knownConditionTrueFalse]
metamath-metamath-exe-0e6fb2e/metamath.c:4460:22: style: Variable 'str3' is reassigned a value before the old one has been used. [redundantAssignment]
metamath-metamath-exe-0e6fb2e/metamath.c:4458:22: note: str3 is assigned
metamath-metamath-exe-0e6fb2e/metamath.c:4460:22: note: str3 is overwritten
metamath-metamath-exe-0e6fb2e/metamath.c:8097:5: style: 'continue' is redundant since it is the last statement in a loop. [redundantContinue]
metamath-metamath-exe-0e6fb2e/metamath.c:1045:47: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:1048:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:1053:75: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:1061:67: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:1067:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:1070:67: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:1107:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:1168:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:1171:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:1174:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:1186:33: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:1205:47: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:1521:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:1530:64: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:1542:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:1574:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:1576:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:1593:67: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:1615:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:1621:71: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:1623:33: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:1637:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:1660:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:1663:51: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:1689:65: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:1927:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:2026:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:2079:41: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:2131:78: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:2167:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:2231:39: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:2488:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:2507:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:2620:72: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:2622:64: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:2632:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:2665:71: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:2667:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:2675:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:2689:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:2775:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:2789:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:2825:69: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:2848:69: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:2964:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:3082:84: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:3121:42: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:3154:73: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:3169:79: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:3212:54: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:3230:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:3231:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:3242:47: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:3247:47: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:3252:47: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:3257:71: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:3266:42: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:3293:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:3310:36: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:3311:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:3320:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:3321:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:3341:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:3342:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:3393:58: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:3475:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:3478:33: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:3490:77: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:3621:58: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:3875:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:3987:68: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:3999:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:4004:47: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:4020:65: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:4036:54: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:4373:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:4377:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:4418:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:4429:42: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:4442:71: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:4621:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:4657:68: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:4662:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:4689:74: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:4717:23: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:4856:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:5238:36: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:5242:92: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:5394:47: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:5655:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:5873:36: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:5879:81: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:5919:31: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:6196:41: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:6202:81: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:6772:48: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:6911:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:7038:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:7188:55: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:7190:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:7192:58: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:7242:34: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:7451:71: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:7457:71: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:7473:71: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:7479:71: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:7487:71: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:7494:71: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:7498:54: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:7529:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:7532:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:7534:73: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:7540:58: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:7556:70: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:7557:30: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:7576:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:7587:64: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:7588:24: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:7646:71: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:7742:60: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/metamath.c:7746:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:66:24: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:77:42: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:94:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:110:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:121:73: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:181:30: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:201:28: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:231:39: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:252:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:265:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:279:27: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:304:15: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:320:15: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:334:48: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:387:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:405:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:409:48: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:443:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:448:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:454:78: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:467:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:480:25: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:514:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:526:28: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:553:54: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:568:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:580:65: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:595:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:608:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:627:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:653:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:685:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:706:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:738:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:757:32: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:763:78: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:775:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:788:33: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:817:28: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:839:79: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:845:27: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:881:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:905:58: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:1021:74: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:1087:44: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:1130:36: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:1169:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:1195:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:1254:37: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:1262:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:1270:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:1278:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:1286:47: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:1294:47: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:1303:18: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:1376:33: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:1406:60: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:1448:44: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:1473:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:1498:30: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:1515:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:1525:18: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:1689:30: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:1697:69: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:1711:30: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:1714:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:1734:21: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:1748:24: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:1784:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:1785:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:1793:65: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:1841:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:1873:65: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:1953:48: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:1958:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:1974:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:2001:19: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:2006:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:2008:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:2017:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:2019:34: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:2076:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:2084:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:2088:67: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:2092:67: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:2094:74: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:2367:47: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:2369:33: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:2398:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:2406:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:2452:48: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:2457:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:2462:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmdl.c:1813:35: style:inconclusive: Function 'getFullArg' argument 2 names different: declaration 'cmdList' definition 'cmdList1'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmcmdl.h:14:35: note: Function 'getFullArg' argument 2 names different: declaration 'cmdList' definition 'cmdList1'.
metamath-metamath-exe-0e6fb2e/mmcmdl.c:1813:35: note: Function 'getFullArg' argument 2 names different: declaration 'cmdList' definition 'cmdList1'.
metamath-metamath-exe-0e6fb2e/mmcmdl.c:2429:32: style:inconclusive: Function 'printCommandError' argument 1 names different: declaration 'line' definition 'line1'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmcmdl.h:19:32: note: Function 'printCommandError' argument 1 names different: declaration 'line' definition 'line1'.
metamath-metamath-exe-0e6fb2e/mmcmdl.c:2429:32: note: Function 'printCommandError' argument 1 names different: declaration 'line' definition 'line1'.
metamath-metamath-exe-0e6fb2e/mmcmds.c:0:0: debug: ValueFlow maximum iterations exceeded [valueFlowMaxIterations]
metamath-metamath-exe-0e6fb2e/mmcmds.c:992:15: style: The if condition is the same as the previous if condition [duplicateCondition]
metamath-metamath-exe-0e6fb2e/mmcmds.c:811:15: note: First condition
metamath-metamath-exe-0e6fb2e/mmcmds.c:992:15: note: Second condition
metamath-metamath-exe-0e6fb2e/mmcmds.c:1190:15: style: The if condition is the same as the previous if condition [duplicateCondition]
metamath-metamath-exe-0e6fb2e/mmcmds.c:992:15: note: First condition
metamath-metamath-exe-0e6fb2e/mmcmds.c:1190:15: note: Second condition
metamath-metamath-exe-0e6fb2e/mmcmds.c:1673:15: style: The if condition is the same as the previous if condition [duplicateCondition]
metamath-metamath-exe-0e6fb2e/mmcmds.c:1664:15: note: First condition
metamath-metamath-exe-0e6fb2e/mmcmds.c:1673:15: note: Second condition
metamath-metamath-exe-0e6fb2e/mmcmds.c:1760:7: style: The if condition is the same as the previous if condition [duplicateCondition]
metamath-metamath-exe-0e6fb2e/mmcmds.c:1739:7: note: First condition
metamath-metamath-exe-0e6fb2e/mmcmds.c:1760:7: note: Second condition
metamath-metamath-exe-0e6fb2e/mmcmds.c:5999:11: style: The if condition is the same as the previous if condition [duplicateCondition]
metamath-metamath-exe-0e6fb2e/mmcmds.c:5997:11: note: First condition
metamath-metamath-exe-0e6fb2e/mmcmds.c:5999:11: note: Second condition
metamath-metamath-exe-0e6fb2e/mmcmds.c:3905:11: style: Redundant initialization for 'bignum3'. The initialized value is overwritten before it is read. [redundantInitialization]
metamath-metamath-exe-0e6fb2e/mmcmds.c:3897:19: note: bignum3 is initialized
metamath-metamath-exe-0e6fb2e/mmcmds.c:3905:11: note: bignum3 is overwritten
metamath-metamath-exe-0e6fb2e/mmcmds.c:94:24: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:108:68: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:112:76: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:113:21: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:169:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:200:43: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:230:60: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:238:58: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:289:48: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:293:68: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:327:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:331:72: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:345:76: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:351:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:357:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:364:76: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:370:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:376:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:384:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:444:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:449:48: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:452:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:485:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:489:26: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:493:20: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:515:18: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:534:47: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:561:33: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:596:48: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:599:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:629:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:635:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:638:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:645:28: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:656:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:677:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:683:28: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:722:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:726:26: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:780:15: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:786:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:796:15: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:851:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:858:73: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:867:54: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:971:20: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:1033:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:1133:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:1146:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:1157:39: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:1162:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:1317:69: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:1345:55: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:1356:20: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:1500:18: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:1507:42: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:1512:51: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:1532:55: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:1536:20: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:1692:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:1709:36: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:1727:34: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2013:71: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2015:71: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2023:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2035:80: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2038:73: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2077:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2079:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2091:51: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2095:60: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2113:28: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2122:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2130:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2142:72: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2145:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2152:16: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2164:42: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2173:83: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2181:83: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2189:84: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2205:67: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2213:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2230:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2235:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2241:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2244:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2250:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2256:54: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2265:64: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2271:39: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2295:44: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2457:67: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2460:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2476:54: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2488:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2495:32: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2541:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2546:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2564:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2569:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2584:74: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2590:69: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2596:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2599:60: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2683:26: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2745:72: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2749:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2755:76: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2758:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2771:67: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2777:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2787:58: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2790:58: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2794:54: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2799:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2805:65: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2808:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2811:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2820:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2824:64: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2827:64: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2834:71: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2836:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2839:42: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2842:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2845:37: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2855:54: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2858:79: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2870:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2875:75: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2879:77: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2891:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2902:44: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2907:74: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2911:76: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2923:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2988:15: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2993:18: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:3054:26: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:3059:16: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:3070:19: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:3077:22: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:3089:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:3106:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:3109:68: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:3123:30: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:3127:24: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:3214:80: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:3218:78: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:3221:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:3222:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:3223:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:3235:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:3249:26: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:3251:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:3397:73: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:3449:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:3453:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:3521:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:3528:34: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:3535:7: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:3771:64: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:3804:55: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:3816:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:3909:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:4152:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:4200:55: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:4569:65: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:4726:76: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:4744:78: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:4829:65: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:4839:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:4849:67: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:4859:65: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:4918:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:4924:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:5009:31: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:5043:23: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:5044:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:5053:43: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:5055:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:5356:78: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:5367:32: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:5461:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:5479:42: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:5491:12: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:5506:68: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:5524:78: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:5552:34: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:5567:69: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:5596:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:5612:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:5625:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:5638:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:5648:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:5660:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:5672:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:5716:70: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:5733:27: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:5747:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:5806:48: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:5816:48: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:5868:81: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:5885:74: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:5893:65: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:5915:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:5924:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:5934:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:6052:70: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:6057:54: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:6068:22: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:6085:75: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:6190:54: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:6597:28: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:6608:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:6615:74: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:6900:13: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:6918:16: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmcmds.c:3310:11: style: Redundant pointer operation on 'unprovedListP' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmcmds.c:3311:7: style: Redundant pointer operation on 'statementUsedFlagsP' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmcmds.c:3340:21: style: Redundant pointer operation on 'unprovedListP' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmcmds.c:5009:7: style: Redundant pointer operation on 'buf' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmcmds.c:5044:9: style: Redundant pointer operation on 'buf' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmcmds.c:5053:11: style: Redundant pointer operation on 'buf' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmcmds.c:5055:11: style: Redundant pointer operation on 'buf' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmcmds.c:5058:7: style: Redundant pointer operation on 'buf' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmcmds.c:44:25: style:inconclusive: Function 'typeStatement' argument 1 names different: declaration 'statemNum' definition 'showStmt'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmcmds.h:14:25: note: Function 'typeStatement' argument 1 names different: declaration 'statemNum' definition 'showStmt'.
metamath-metamath-exe-0e6fb2e/mmcmds.c:44:25: note: Function 'typeStatement' argument 1 names different: declaration 'statemNum' definition 'showStmt'.
metamath-metamath-exe-0e6fb2e/mmcmds.c:1567:8: style:inconclusive: Function 'typeProof' argument 12 names different: declaration 'startColumn' definition 'splitColumn'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmcmds.h:30:8: note: Function 'typeProof' argument 12 names different: declaration 'startColumn' definition 'splitColumn'.
metamath-metamath-exe-0e6fb2e/mmcmds.c:1567:8: note: Function 'typeProof' argument 12 names different: declaration 'startColumn' definition 'splitColumn'.
metamath-metamath-exe-0e6fb2e/mmcmds.c:4188:25: style:inconclusive: Function 'writeSource' argument 5 names different: declaration 'extractLabels' definition 'extractLabelList'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmcmds.h:75:25: note: Function 'writeSource' argument 5 names different: declaration 'extractLabels' definition 'extractLabelList'.
metamath-metamath-exe-0e6fb2e/mmcmds.c:4188:25: note: Function 'writeSource' argument 5 names different: declaration 'extractLabels' definition 'extractLabelList'.
metamath-metamath-exe-0e6fb2e/mmcmds.c:4359:13: style:inconclusive: Function 'writeExtractedSource' argument 1 names different: declaration 'extractLabels' definition 'extractLabelList'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmcmds.h:80:35: note: Function 'writeExtractedSource' argument 1 names different: declaration 'extractLabels' definition 'extractLabelList'.
metamath-metamath-exe-0e6fb2e/mmcmds.c:4359:13: note: Function 'writeExtractedSource' argument 1 names different: declaration 'extractLabels' definition 'extractLabelList'.
metamath-metamath-exe-0e6fb2e/mmcmds.c:1240:15: style: Variable 'optDVB' can be declared as pointer to const [constVariablePointer]
metamath-metamath-exe-0e6fb2e/mmcmds.c:1383:15: style: Variable 'reqDVB' can be declared as pointer to const [constVariablePointer]
metamath-metamath-exe-0e6fb2e/mmcmds.c:1386:9: style: Variable 'strptr' can be declared as pointer to const [constVariablePointer]
metamath-metamath-exe-0e6fb2e/mmcmds.c:1652:15: style: Variable 'hypPtr' can be declared as pointer to const [constVariablePointer]
metamath-metamath-exe-0e6fb2e/mmcmds.c:2671:9: style: Variable 'voidPtr' can be declared as pointer to const [constVariablePointer]
metamath-metamath-exe-0e6fb2e/mmcmds.c:6643:40: style: Parameter 'indentationLevels' can be declared as pointer to const [constParameterPointer]
metamath-metamath-exe-0e6fb2e/mmcmds.c:6644:15: style: Parameter 'logicalFlags' can be declared as pointer to const [constParameterPointer]
metamath-metamath-exe-0e6fb2e/mmcmds.c:6723:8: style: Variable 'allKeys' can be declared as const array [constVariable]
metamath-metamath-exe-0e6fb2e/mmcmds.c:6735:8: style: Variable 'whiteKeys' can be declared as const array [constVariable]
metamath-metamath-exe-0e6fb2e/mmcmds.c:6747:8: style: Variable 'blackKeys' can be declared as const array [constVariable]
metamath-metamath-exe-0e6fb2e/mmdata.c:2987:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
metamath-metamath-exe-0e6fb2e/mmdata.c:1364:18: style: Expression is always false because 'else if' condition matches previous condition at line 1360. [multiCondition]
metamath-metamath-exe-0e6fb2e/mmdata.c:335:25: style: The if condition is the same as the previous if condition [duplicateCondition]
metamath-metamath-exe-0e6fb2e/mmdata.c:333:25: note: First condition
metamath-metamath-exe-0e6fb2e/mmdata.c:335:25: note: Second condition
metamath-metamath-exe-0e6fb2e/mmdata.c:1314:16: style: Condition 'stmt>0' is always true [knownConditionTrueFalse]
metamath-metamath-exe-0e6fb2e/mmdata.c:1308:16: note: Assuming that condition 'stmt<1' is not redundant
metamath-metamath-exe-0e6fb2e/mmdata.c:1314:16: note: Condition 'stmt>0' is always true
metamath-metamath-exe-0e6fb2e/mmdata.c:481:10: style: Redundant initialization for 'tmpStr'. The initialized value is overwritten before it is read. [redundantInitialization]
metamath-metamath-exe-0e6fb2e/mmdata.c:463:18: note: tmpStr is initialized
metamath-metamath-exe-0e6fb2e/mmdata.c:481:10: note: tmpStr is overwritten
metamath-metamath-exe-0e6fb2e/mmdata.c:828:5: style: Variable 'g_nmbrTempAllocStackTop' is assigned an expression that holds the same value. [redundantAssignment]
metamath-metamath-exe-0e6fb2e/mmdata.c:822:35: note: Assuming that condition 'g_nmbrTempAllocStackTop!=g_nmbrStartTempAllocStack' is not redundant
metamath-metamath-exe-0e6fb2e/mmdata.c:828:5: note: Variable 'g_nmbrTempAllocStackTop' is assigned an expression that holds the same value.
metamath-metamath-exe-0e6fb2e/mmdata.c:2463:5: style: Variable 'g_pntrTempAllocStackTop' is assigned an expression that holds the same value. [redundantAssignment]
metamath-metamath-exe-0e6fb2e/mmdata.c:2457:35: note: Assuming that condition 'g_pntrTempAllocStackTop!=g_pntrStartTempAllocStack' is not redundant
metamath-metamath-exe-0e6fb2e/mmdata.c:2463:5: note: Variable 'g_pntrTempAllocStackTop' is assigned an expression that holds the same value.
metamath-metamath-exe-0e6fb2e/mmdata.c:132:60: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:159:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:189:65: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:213:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:243:78: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:307:76: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:1357:54: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:1361:54: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:1371:28: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:1376:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:1394:37: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:1403:43: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:1484:54: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:1681:70: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:1691:55: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:1720:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:2044:20: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:2221:64: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:2239:23: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:2296:21: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:2353:21: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:2369:20: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:2373:37: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:3141:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:3142:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:3143:64: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:3144:65: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:3482:48: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:3643:82: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:3657:82: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:3668:82: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:3677:82: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:3686:82: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:3695:82: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:3704:82: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:3713:82: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:3749:82: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:3770:82: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:3787:84: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:3805:84: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:3823:84: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:3844:82: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:3861:84: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:4096:24: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmdata.c:4046:9: style: Redundant pointer operation on 'date1' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmdata.c:4050:11: style: Redundant pointer operation on 'date2' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmdata.c:4052:11: style: Redundant pointer operation on 'date2' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmdata.c:4055:9: style: Redundant pointer operation on 'date1' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmdata.c:4056:9: style: Redundant pointer operation on 'date2' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmdata.c:4095:7: style: Redundant pointer operation on 'dateStr' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmdata.c:1060:26: style:inconclusive: Function 'nmbrCpy' argument 1 names different: declaration 'sout' definition 's'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmdata.c:76:26: note: Function 'nmbrCpy' argument 1 names different: declaration 'sout' definition 's'.
metamath-metamath-exe-0e6fb2e/mmdata.c:1060:26: note: Function 'nmbrCpy' argument 1 names different: declaration 'sout' definition 's'.
metamath-metamath-exe-0e6fb2e/mmdata.c:1060:40: style:inconclusive: Function 'nmbrCpy' argument 2 names different: declaration 'sin' definition 't'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmdata.c:76:44: note: Function 'nmbrCpy' argument 2 names different: declaration 'sin' definition 't'.
metamath-metamath-exe-0e6fb2e/mmdata.c:1060:40: note: Function 'nmbrCpy' argument 2 names different: declaration 'sin' definition 't'.
metamath-metamath-exe-0e6fb2e/mmdata.c:1093:24: style:inconclusive: Function 'nmbrEq' argument 1 names different: declaration 'sout' definition 's'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmdata.h:293:24: note: Function 'nmbrEq' argument 1 names different: declaration 'sout' definition 's'.
metamath-metamath-exe-0e6fb2e/mmdata.c:1093:24: note: Function 'nmbrEq' argument 1 names different: declaration 'sout' definition 's'.
metamath-metamath-exe-0e6fb2e/mmdata.c:1093:38: style:inconclusive: Function 'nmbrEq' argument 2 names different: declaration 'sin' definition 't'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmdata.h:293:41: note: Function 'nmbrEq' argument 2 names different: declaration 'sin' definition 't'.
metamath-metamath-exe-0e6fb2e/mmdata.c:1093:38: note: Function 'nmbrEq' argument 2 names different: declaration 'sin' definition 't'.
metamath-metamath-exe-0e6fb2e/mmdata.c:1105:43: style:inconclusive: Function 'nmbrSeg' argument 2 names different: declaration 'p1' definition 'start'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmdata.h:272:43: note: Function 'nmbrSeg' argument 2 names different: declaration 'p1' definition 'start'.
metamath-metamath-exe-0e6fb2e/mmdata.c:1105:43: note: Function 'nmbrSeg' argument 2 names different: declaration 'p1' definition 'start'.
metamath-metamath-exe-0e6fb2e/mmdata.c:1105:55: style:inconclusive: Function 'nmbrSeg' argument 3 names different: declaration 'p2' definition 'stop'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmdata.h:272:52: note: Function 'nmbrSeg' argument 3 names different: declaration 'p2' definition 'stop'.
metamath-metamath-exe-0e6fb2e/mmdata.c:1105:55: note: Function 'nmbrSeg' argument 3 names different: declaration 'p2' definition 'stop'.
metamath-metamath-exe-0e6fb2e/mmdata.c:1120:43: style:inconclusive: Function 'nmbrMid' argument 2 names different: declaration 'p' definition 'start'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmdata.h:273:43: note: Function 'nmbrMid' argument 2 names different: declaration 'p' definition 'start'.
metamath-metamath-exe-0e6fb2e/mmdata.c:1120:43: note: Function 'nmbrMid' argument 2 names different: declaration 'p' definition 'start'.
metamath-metamath-exe-0e6fb2e/mmdata.c:1120:55: style:inconclusive: Function 'nmbrMid' argument 3 names different: declaration 'l' definition 'length'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmdata.h:273:51: note: Function 'nmbrMid' argument 3 names different: declaration 'l' definition 'length'.
metamath-metamath-exe-0e6fb2e/mmdata.c:1120:55: note: Function 'nmbrMid' argument 3 names different: declaration 'l' definition 'length'.
metamath-metamath-exe-0e6fb2e/mmdata.c:1174:21: style:inconclusive: Function 'nmbrInstr' argument 1 names different: declaration 'start' definition 'start_position'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmdata.h:285:21: note: Function 'nmbrInstr' argument 1 names different: declaration 'start' definition 'start_position'.
metamath-metamath-exe-0e6fb2e/mmdata.c:1174:21: note: Function 'nmbrInstr' argument 1 names different: declaration 'start' definition 'start_position'.
metamath-metamath-exe-0e6fb2e/mmdata.c:1174:48: style:inconclusive: Function 'nmbrInstr' argument 2 names different: declaration 'sin' definition 'string1'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmdata.h:285:40: note: Function 'nmbrInstr' argument 2 names different: declaration 'sin' definition 'string1'.
metamath-metamath-exe-0e6fb2e/mmdata.c:1174:48: note: Function 'nmbrInstr' argument 2 names different: declaration 'sin' definition 'string1'.
metamath-metamath-exe-0e6fb2e/mmdata.c:1175:15: style:inconclusive: Function 'nmbrInstr' argument 3 names different: declaration 's' definition 'string2'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmdata.h:285:57: note: Function 'nmbrInstr' argument 3 names different: declaration 's' definition 'string2'.
metamath-metamath-exe-0e6fb2e/mmdata.c:1175:15: note: Function 'nmbrInstr' argument 3 names different: declaration 's' definition 'string2'.
metamath-metamath-exe-0e6fb2e/mmdata.c:1252:39: style:inconclusive: Function 'nmbrCvtRToVString' argument 1 names different: declaration 's' definition 'proof'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmdata.h:300:39: note: Function 'nmbrCvtRToVString' argument 1 names different: declaration 's' definition 'proof'.
metamath-metamath-exe-0e6fb2e/mmdata.c:1252:39: note: Function 'nmbrCvtRToVString' argument 1 names different: declaration 's' definition 'proof'.
metamath-metamath-exe-0e6fb2e/mmdata.c:2692:26: style:inconclusive: Function 'pntrCpy' argument 1 names different: declaration 'sout' definition 's'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmdata.c:81:26: note: Function 'pntrCpy' argument 1 names different: declaration 'sout' definition 's'.
metamath-metamath-exe-0e6fb2e/mmdata.c:2692:26: note: Function 'pntrCpy' argument 1 names different: declaration 'sout' definition 's'.
metamath-metamath-exe-0e6fb2e/mmdata.c:2692:41: style:inconclusive: Function 'pntrCpy' argument 2 names different: declaration 'sin' definition 't'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmdata.c:81:44: note: Function 'pntrCpy' argument 2 names different: declaration 'sin' definition 't'.
metamath-metamath-exe-0e6fb2e/mmdata.c:2692:41: note: Function 'pntrCpy' argument 2 names different: declaration 'sin' definition 't'.
metamath-metamath-exe-0e6fb2e/mmdata.c:2725:24: style:inconclusive: Function 'pntrEq' argument 1 names different: declaration 'sout' definition 's'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmdata.h:438:24: note: Function 'pntrEq' argument 1 names different: declaration 'sout' definition 's'.
metamath-metamath-exe-0e6fb2e/mmdata.c:2725:24: note: Function 'pntrEq' argument 1 names different: declaration 'sout' definition 's'.
metamath-metamath-exe-0e6fb2e/mmdata.c:2725:38: style:inconclusive: Function 'pntrEq' argument 2 names different: declaration 'sin' definition 't'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmdata.h:438:41: note: Function 'pntrEq' argument 2 names different: declaration 'sin' definition 't'.
metamath-metamath-exe-0e6fb2e/mmdata.c:2725:38: note: Function 'pntrEq' argument 2 names different: declaration 'sin' definition 't'.
metamath-metamath-exe-0e6fb2e/mmdata.c:2736:43: style:inconclusive: Function 'pntrSeg' argument 2 names different: declaration 'p1' definition 'start'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmdata.h:409:43: note: Function 'pntrSeg' argument 2 names different: declaration 'p1' definition 'start'.
metamath-metamath-exe-0e6fb2e/mmdata.c:2736:43: note: Function 'pntrSeg' argument 2 names different: declaration 'p1' definition 'start'.
metamath-metamath-exe-0e6fb2e/mmdata.c:2736:55: style:inconclusive: Function 'pntrSeg' argument 3 names different: declaration 'p2' definition 'stop'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmdata.h:409:52: note: Function 'pntrSeg' argument 3 names different: declaration 'p2' definition 'stop'.
metamath-metamath-exe-0e6fb2e/mmdata.c:2736:55: note: Function 'pntrSeg' argument 3 names different: declaration 'p2' definition 'stop'.
metamath-metamath-exe-0e6fb2e/mmdata.c:2751:43: style:inconclusive: Function 'pntrMid' argument 2 names different: declaration 'p' definition 'start'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmdata.h:410:43: note: Function 'pntrMid' argument 2 names different: declaration 'p' definition 'start'.
metamath-metamath-exe-0e6fb2e/mmdata.c:2751:43: note: Function 'pntrMid' argument 2 names different: declaration 'p' definition 'start'.
metamath-metamath-exe-0e6fb2e/mmdata.c:2840:21: style:inconclusive: Function 'pntrInstr' argument 1 names different: declaration 'start' definition 'start_position'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmdata.h:430:21: note: Function 'pntrInstr' argument 1 names different: declaration 'start' definition 'start_position'.
metamath-metamath-exe-0e6fb2e/mmdata.c:2840:21: note: Function 'pntrInstr' argument 1 names different: declaration 'start' definition 'start_position'.
metamath-metamath-exe-0e6fb2e/mmdata.c:2840:48: style:inconclusive: Function 'pntrInstr' argument 2 names different: declaration 'sin' definition 'string1'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmdata.h:430:40: note: Function 'pntrInstr' argument 2 names different: declaration 'sin' definition 'string1'.
metamath-metamath-exe-0e6fb2e/mmdata.c:2840:48: note: Function 'pntrInstr' argument 2 names different: declaration 'sin' definition 'string1'.
metamath-metamath-exe-0e6fb2e/mmdata.c:2841:15: style:inconclusive: Function 'pntrInstr' argument 3 names different: declaration 's' definition 'string2'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmdata.h:430:57: note: Function 'pntrInstr' argument 3 names different: declaration 's' definition 'string2'.
metamath-metamath-exe-0e6fb2e/mmdata.c:2841:15: note: Function 'pntrInstr' argument 3 names different: declaration 's' definition 'string2'.
metamath-metamath-exe-0e6fb2e/mmdata.c:3116:37: style:inconclusive: Function 'getDescriptionAndLabel' argument 1 names different: declaration 'statemNum' definition 'stmt'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmdata.h:465:37: note: Function 'getDescriptionAndLabel' argument 1 names different: declaration 'statemNum' definition 'stmt'.
metamath-metamath-exe-0e6fb2e/mmdata.c:3116:37: note: Function 'getDescriptionAndLabel' argument 1 names different: declaration 'statemNum' definition 'stmt'.
metamath-metamath-exe-0e6fb2e/mmdata.c:1060:40: style: Parameter 't' can be declared as pointer to const [constParameterPointer]
metamath-metamath-exe-0e6fb2e/mmdata.c:1075:41: style: Parameter 't' can be declared as pointer to const [constParameterPointer]
metamath-metamath-exe-0e6fb2e/mmdata.c:1265:9: style: Variable 'voidPtr' can be declared as pointer to const [constVariablePointer]
metamath-metamath-exe-0e6fb2e/mmdata.c:1525:44: style: Parameter 'g' can be declared as pointer to const [constParameterPointer]
metamath-metamath-exe-0e6fb2e/mmdata.c:1793:15: style: Variable 'nmbrTmpPtr2' can be declared as pointer to const [constVariablePointer]
metamath-metamath-exe-0e6fb2e/mmdata.c:1931:16: style: Variable 'digits' can be declared as pointer to const [constVariablePointer]
metamath-metamath-exe-0e6fb2e/mmdata.c:1932:16: style: Variable 'letters' can be declared as pointer to const [constVariablePointer]
metamath-metamath-exe-0e6fb2e/mmdata.c:2917:11: style: Parameter 'size' can be declared as pointer to const [constParameterPointer]
metamath-metamath-exe-0e6fb2e/mmdata.c:2918:11: style: Parameter 'worth' can be declared as pointer to const [constParameterPointer]
metamath-metamath-exe-0e6fb2e/mmdata.c:3020:9: style: Variable 'fbPtr' can be declared as pointer to const [constVariablePointer]
metamath-metamath-exe-0e6fb2e/mmdata.c:3021:9: style: Variable 'startLabel' can be declared as pointer to const [constVariablePointer]
metamath-metamath-exe-0e6fb2e/mmdata.c:3228:16: style: Variable 'str1' is assigned a value that is never used. [unreadVariable]
metamath-metamath-exe-0e6fb2e/mmhlpb.c:53:25: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mminou.c:961:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdin [valueFlowBailoutIncompleteVar]
metamath-metamath-exe-0e6fb2e/mminou.c:1423:5: error: Resource leak: inputFp [resourceLeak]
metamath-metamath-exe-0e6fb2e/mminou.c:1447:7: warning: If resource allocation fails, then there is a possible null pointer dereference: inputFp [nullPointerOutOfResources]
metamath-metamath-exe-0e6fb2e/mminou.c:1430:18: note: Assuming allocation function fails
metamath-metamath-exe-0e6fb2e/mminou.c:1430:18: note: Assignment 'inputFp=fopen(fileName,"r")', assigned value is 0
metamath-metamath-exe-0e6fb2e/mminou.c:1437:7: note: Assuming condition is false
metamath-metamath-exe-0e6fb2e/mminou.c:1447:7: note: Null pointer dereference
metamath-metamath-exe-0e6fb2e/mminou.c:367:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mminou.c:384:55: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mminou.c:733:25: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mminou.c:748:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mminou.c:753:60: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mminou.c:774:69: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mminou.c:776:51: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mminou.c:849:33: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mminou.c:995:26: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mminou.c:1093:65: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mminou.c:1095:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mminou.c:1099:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mminou.c:1103:75: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mminou.c:1106:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mminou.c:1109:13: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mminou.c:1111:33: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mminou.c:1118:69: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mminou.c:1119:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mminou.c:1122:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mminou.c:1205:37: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mminou.c:1228:48: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mminou.c:1237:60: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mminou.c:1246:67: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mminou.c:1256:60: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mminou.c:1260:67: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mminou.c:1265:48: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mminou.c:1373:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mminou.c:1037:60: style:inconclusive: Function 'errorMessage' argument 8 names different: declaration 'warnFlag' definition 'severity'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mminou.h:63:60: note: Function 'errorMessage' argument 8 names different: declaration 'warnFlag' definition 'severity'.
metamath-metamath-exe-0e6fb2e/mminou.c:1037:60: note: Function 'errorMessage' argument 8 names different: declaration 'warnFlag' definition 'severity'.
metamath-metamath-exe-0e6fb2e/mmpars.c:83:18: style: Condition 'mode!=0' is always false [knownConditionTrueFalse]
metamath-metamath-exe-0e6fb2e/mmpars.c:71:10: note: Assignment 'mode=0', assigned value is 0
metamath-metamath-exe-0e6fb2e/mmpars.c:83:18: note: Condition 'mode!=0' is always false
metamath-metamath-exe-0e6fb2e/mmpars.c:1508:17: error: Common realloc mistake: 'activeDisjHypStack' nulled but not freed upon failure [memleakOnRealloc]
metamath-metamath-exe-0e6fb2e/mmpars.c:1554:11: error: Common realloc mistake: 'activeEHypStack' nulled but not freed upon failure [memleakOnRealloc]
metamath-metamath-exe-0e6fb2e/mmpars.c:1556:11: error: Common realloc mistake: 'activeFHypStack' nulled but not freed upon failure [memleakOnRealloc]
metamath-metamath-exe-0e6fb2e/mmpars.c:689:11: warning: If memory allocation fails, then there is a possible null pointer dereference: tmpPtr [nullPointerOutOfMemory]
metamath-metamath-exe-0e6fb2e/mmpars.c:687:26: note: Assuming allocation function fails
metamath-metamath-exe-0e6fb2e/mmpars.c:687:26: note: Assignment 'tmpPtr=malloc((unsigned long)j+1)', assigned value is 0
metamath-metamath-exe-0e6fb2e/mmpars.c:689:11: note: Null pointer dereference
metamath-metamath-exe-0e6fb2e/mmpars.c:690:18: warning: If memory allocation fails, then there is a possible null pointer dereference: tmpPtr [nullPointerOutOfMemory]
metamath-metamath-exe-0e6fb2e/mmpars.c:687:26: note: Assuming allocation function fails
metamath-metamath-exe-0e6fb2e/mmpars.c:687:26: note: Assignment 'tmpPtr=malloc((unsigned long)j+1)', assigned value is 0
metamath-metamath-exe-0e6fb2e/mmpars.c:690:18: note: Null pointer dereference
metamath-metamath-exe-0e6fb2e/mmpars.c:5290:5: warning: If memory allocation fails, then there is a possible null pointer dereference: mathTokenSameAs [nullPointerOutOfMemory]
metamath-metamath-exe-0e6fb2e/mmpars.c:5285:27: note: Assuming allocation function fails
metamath-metamath-exe-0e6fb2e/mmpars.c:5285:27: note: Assignment 'mathTokenSameAs=malloc((unsigned long)g_mathTokens*sizeof(long))', assigned value is 0
metamath-metamath-exe-0e6fb2e/mmpars.c:5290:5: note: Null pointer dereference
metamath-metamath-exe-0e6fb2e/mmpars.c:5291:5: warning: If memory allocation fails, then there is a possible null pointer dereference: reverseMathKey [nullPointerOutOfMemory]
metamath-metamath-exe-0e6fb2e/mmpars.c:5287:26: note: Assuming allocation function fails
metamath-metamath-exe-0e6fb2e/mmpars.c:5287:26: note: Assignment 'reverseMathKey=malloc((unsigned long)g_mathTokens*sizeof(long))', assigned value is 0
metamath-metamath-exe-0e6fb2e/mmpars.c:5291:5: note: Null pointer dereference
metamath-metamath-exe-0e6fb2e/mmpars.c:5319:5: warning: If memory allocation fails, then there is a possible null pointer dereference: symbolLenExists [nullPointerOutOfMemory]
metamath-metamath-exe-0e6fb2e/mmpars.c:5316:27: note: Assuming allocation function fails
metamath-metamath-exe-0e6fb2e/mmpars.c:5316:27: note: Assignment 'symbolLenExists=malloc(((unsigned long)maxSymbolLen+1)*sizeof(flag))', assigned value is 0
metamath-metamath-exe-0e6fb2e/mmpars.c:5319:5: note: Null pointer dereference
metamath-metamath-exe-0e6fb2e/mmpars.c:5322:5: warning: If memory allocation fails, then there is a possible null pointer dereference: symbolLenExists [nullPointerOutOfMemory]
metamath-metamath-exe-0e6fb2e/mmpars.c:5316:27: note: Assuming allocation function fails
metamath-metamath-exe-0e6fb2e/mmpars.c:5316:27: note: Assignment 'symbolLenExists=malloc(((unsigned long)maxSymbolLen+1)*sizeof(flag))', assigned value is 0
metamath-metamath-exe-0e6fb2e/mmpars.c:5322:5: note: Null pointer dereference
metamath-metamath-exe-0e6fb2e/mmpars.c:4139:20: warning: Either the condition '!ptr1' is redundant or there is overflow in pointer subtraction. [nullPointerArithmeticRedundantCheck]
metamath-metamath-exe-0e6fb2e/mmpars.c:4138:15: note: Assuming that condition '!ptr1' is not redundant
metamath-metamath-exe-0e6fb2e/mmpars.c:4139:20: note: Null pointer subtraction
metamath-metamath-exe-0e6fb2e/mmpars.c:5851:11: error: If memory allocation fails: overflow in pointer arithmetic, NULL pointer is subtracted. [nullPointerArithmeticOutOfMemory]
metamath-metamath-exe-0e6fb2e/mmpars.c:5796:15: note: Assuming allocation function fails
metamath-metamath-exe-0e6fb2e/mmpars.c:5796:15: note: Assignment 'buf=malloc((unsigned long)(size+1)*sizeof(char))', assigned value is 0
metamath-metamath-exe-0e6fb2e/mmpars.c:5798:9: note: Assignment 'ptr=buf', assigned value is 0
metamath-metamath-exe-0e6fb2e/mmpars.c:5800:23: note: Assuming condition is false
metamath-metamath-exe-0e6fb2e/mmpars.c:5851:11: note: Null pointer subtraction
metamath-metamath-exe-0e6fb2e/mmpars.c:3495:11: style: Variable 'numReqHyp' is assigned an expression that holds the same value. [redundantAssignment]
metamath-metamath-exe-0e6fb2e/mmpars.c:3460:21: note: numReqHyp is assigned 'g_Statement[stmt].numReqHyp' here.
metamath-metamath-exe-0e6fb2e/mmpars.c:3463:38: note: Assuming condition is false
metamath-metamath-exe-0e6fb2e/mmpars.c:3495:11: note: Variable 'numReqHyp' is assigned an expression that holds the same value.
metamath-metamath-exe-0e6fb2e/mmpars.c:3814:12: style: Redundant initialization for 'fileName'. The initialized value is overwritten before it is read. [redundantInitialization]
metamath-metamath-exe-0e6fb2e/mmpars.c:3808:20: note: fileName is initialized
metamath-metamath-exe-0e6fb2e/mmpars.c:3814:12: note: fileName is overwritten
metamath-metamath-exe-0e6fb2e/mmpars.c:5911:19: style: Variable 'tmpStr1' is reassigned a value before the old one has been used. [redundantAssignment]
metamath-metamath-exe-0e6fb2e/mmpars.c:5908:19: note: tmpStr1 is assigned
metamath-metamath-exe-0e6fb2e/mmpars.c:5911:19: note: tmpStr1 is overwritten
metamath-metamath-exe-0e6fb2e/mmpars.c:6596:60: style: Variable 'g_IncludeCall[saveInclCalls-1].current_includeSource' is reassigned a value before the old one has been used. [redundantAssignment]
metamath-metamath-exe-0e6fb2e/mmpars.c:6592:60: note: g_IncludeCall[saveInclCalls-1].current_includeSource is assigned
metamath-metamath-exe-0e6fb2e/mmpars.c:6596:60: note: g_IncludeCall[saveInclCalls-1].current_includeSource is overwritten
metamath-metamath-exe-0e6fb2e/mmpars.c:6650:11: style: Redundant initialization for 'fileBuf'. The initialized value is overwritten before it is read. [redundantInitialization]
metamath-metamath-exe-0e6fb2e/mmpars.c:6642:19: note: fileBuf is initialized
metamath-metamath-exe-0e6fb2e/mmpars.c:6650:11: note: fileBuf is overwritten
metamath-metamath-exe-0e6fb2e/mmpars.c:6707:14: style: Redundant initialization for 'newFileBuf'. The initialized value is overwritten before it is read. [redundantInitialization]
metamath-metamath-exe-0e6fb2e/mmpars.c:6643:22: note: newFileBuf is initialized
metamath-metamath-exe-0e6fb2e/mmpars.c:6707:14: note: newFileBuf is overwritten
metamath-metamath-exe-0e6fb2e/mmpars.c:6708:14: style: Variable 'newFileBuf' is reassigned a value before the old one has been used. [redundantAssignment]
metamath-metamath-exe-0e6fb2e/mmpars.c:6707:14: note: newFileBuf is assigned
metamath-metamath-exe-0e6fb2e/mmpars.c:6708:14: note: newFileBuf is overwritten
metamath-metamath-exe-0e6fb2e/mmpars.c:6066:5: style: 'continue' is redundant since it is the last statement in a loop. [redundantContinue]
metamath-metamath-exe-0e6fb2e/mmpars.c:103:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:410:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:787:15: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:1341:47: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:1722:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:1731:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:1755:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:1936:55: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:1997:70: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:2027:24: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:2042:65: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:2046:54: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:2354:78: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:2387:82: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:2412:80: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:2444:65: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:2458:54: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:2473:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:2507:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:2571:67: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:2587:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:2601:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:2620:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:2643:31: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:2652:80: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:2670:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:2674:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:2676:85: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:2683:26: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:2758:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:2767:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:2769:43: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:2781:48: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:2785:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:2861:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:2967:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:3342:31: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:3351:64: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:3435:73: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:3469:41: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:3473:69: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:3475:91: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:3482:32: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:3592:71: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:3618:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:3748:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:3999:70: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:4005:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:4012:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:4015:43: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:4017:80: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:4019:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:4415:39: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:4425:39: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:4446:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:4463:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:4471:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:4478:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:4504:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:4633:19: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:4678:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:4696:51: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:4715:42: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:4723:76: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:4730:60: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:4740:19: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:4753:60: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:4774:42: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:4800:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:4843:60: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:4847:41: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:4851:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:4867:34: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:4987:36: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:4993:30: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:5011:36: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:5016:32: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:5040:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:5051:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:5146:36: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:5265:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:5884:55: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:5910:55: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:5959:48: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:5962:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:5966:48: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:5973:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:6034:60: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:6333:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:6351:69: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:6357:65: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:6387:41: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:6405:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:6420:69: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:6421:65: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:6446:41: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:6485:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:6504:41: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:6515:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:6534:41: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:6649:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpars.c:5556:13: style: Redundant pointer operation on 'fileName' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmpars.c:5622:15: style: Redundant pointer operation on 'fileName' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmpars.c:5737:9: style: Redundant pointer operation on 'fileName' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmpars.c:5961:11: style: Redundant pointer operation on 'fileBuf' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmpars.c:5972:11: style: Redundant pointer operation on 'fileBuf' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmpars.c:6319:59: style: Redundant pointer operation on 'errorFlag' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmpars.c:6377:63: style: Redundant pointer operation on 'errorFlag' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmpars.c:6441:63: style: Redundant pointer operation on 'errorFlag' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmpars.c:6650:57: style: Redundant pointer operation on 'size' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmpars.c:6708:62: style: Redundant pointer operation on 'size' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmpars.c:49:18: style:inconclusive: Function 'readRawSource' argument 1 names different: declaration 'inputBuf' definition 'fileBuf'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmpars.h:14:13: note: Function 'readRawSource' argument 1 names different: declaration 'inputBuf' definition 'fileBuf'.
metamath-metamath-exe-0e6fb2e/mmpars.c:49:18: note: Function 'readRawSource' argument 1 names different: declaration 'inputBuf' definition 'fileBuf'.
metamath-metamath-exe-0e6fb2e/mmpars.c:3799:54: style:inconclusive: Function 'rawSourceError' argument 3 names different: declaration 'tokenLen' definition 'tokLen'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmpars.h:23:54: note: Function 'rawSourceError' argument 3 names different: declaration 'tokenLen' definition 'tokLen'.
metamath-metamath-exe-0e6fb2e/mmpars.c:3799:54: note: Function 'rawSourceError' argument 3 names different: declaration 'tokenLen' definition 'tokLen'.
metamath-metamath-exe-0e6fb2e/mmpars.c:3844:34: style:inconclusive: Function 'sourceError' argument 2 names different: declaration 'tokenLen' definition 'tokLen'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmpars.h:26:34: note: Function 'sourceError' argument 2 names different: declaration 'tokenLen' definition 'tokLen'.
metamath-metamath-exe-0e6fb2e/mmpars.c:3844:34: note: Function 'sourceError' argument 2 names different: declaration 'tokenLen' definition 'tokLen'.
metamath-metamath-exe-0e6fb2e/mmpars.c:4946:31: style:inconclusive: Function 'rewrapComment' argument 1 names different: declaration 'comment' definition 'comment1'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmpars.h:150:31: note: Function 'rewrapComment' argument 1 names different: declaration 'comment' definition 'comment1'.
metamath-metamath-exe-0e6fb2e/mmpars.c:4946:31: note: Function 'rewrapComment' argument 1 names different: declaration 'comment' definition 'comment1'.
metamath-metamath-exe-0e6fb2e/mmpars.c:51:16: style: Parameter 'size' can be declared as pointer to const [constParameterPointer]
metamath-metamath-exe-0e6fb2e/mmpars.c:3066:15: style: Variable 'nmbrTmpPtr' can be declared as pointer to const [constVariablePointer]
metamath-metamath-exe-0e6fb2e/mmpars.c:3075:16: style: Variable 'digits' can be declared as pointer to const [constVariablePointer]
metamath-metamath-exe-0e6fb2e/mmpars.c:3076:16: style: Variable 'letters' can be declared as pointer to const [constVariablePointer]
metamath-metamath-exe-0e6fb2e/mmpars.c:3802:9: style: Variable 'startLine' can be declared as pointer to const [constVariablePointer]
metamath-metamath-exe-0e6fb2e/mmpars.c:3803:9: style: Variable 'endLine' can be declared as pointer to const [constVariablePointer]
metamath-metamath-exe-0e6fb2e/mmpars.c:3846:9: style: Variable 'startLine' can be declared as pointer to const [constVariablePointer]
metamath-metamath-exe-0e6fb2e/mmpars.c:3847:9: style: Variable 'endLine' can be declared as pointer to const [constVariablePointer]
metamath-metamath-exe-0e6fb2e/mmpars.c:3970:17: style: Parameter 'tokenList' can be declared as pointer to const [constParameterPointer]
metamath-metamath-exe-0e6fb2e/mmpars.c:4108:9: style: Variable 'ptr1' can be declared as pointer to const [constVariablePointer]
metamath-metamath-exe-0e6fb2e/mmpars.c:4157:29: style: Parameter 'ptr' can be declared as pointer to const [constParameterPointer]
metamath-metamath-exe-0e6fb2e/mmpars.c:4180:21: style: Parameter 'ptr' can be declared as pointer to const [constParameterPointer]
metamath-metamath-exe-0e6fb2e/mmpars.c:4216:24: style: Parameter 'ptr' can be declared as pointer to const [constParameterPointer]
metamath-metamath-exe-0e6fb2e/mmpars.c:4235:26: style: Parameter 'ptr' can be declared as pointer to const [constParameterPointer]
metamath-metamath-exe-0e6fb2e/mmpars.c:5527:9: style: Variable 'tmpPtr' can be declared as pointer to const [constVariablePointer]
metamath-metamath-exe-0e6fb2e/mmpfas.c:3385:16: style: The if condition is the same as the previous if condition [duplicateCondition]
metamath-metamath-exe-0e6fb2e/mmpfas.c:3383:16: note: First condition
metamath-metamath-exe-0e6fb2e/mmpfas.c:3385:16: note: Second condition
metamath-metamath-exe-0e6fb2e/mmpfas.c:1268:15: style: Redundant initialization for 'sourceProof'. The initialized value is overwritten before it is read. [redundantInitialization]
metamath-metamath-exe-0e6fb2e/mmpfas.c:1256:27: note: sourceProof is initialized
metamath-metamath-exe-0e6fb2e/mmpfas.c:1268:15: note: sourceProof is overwritten
metamath-metamath-exe-0e6fb2e/mmpfas.c:69:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:72:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:121:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:161:86: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:165:67: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:180:36: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:194:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:195:33: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:1002:55: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:1054:68: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:1227:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:1230:16: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:1236:16: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:1239:16: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:1352:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:1381:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:1410:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:1416:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:1452:51: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:1464:16: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:1467:16: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:1470:16: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:1685:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:1721:55: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:2001:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:2011:51: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:2075:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:2104:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:2145:68: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:2623:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:2779:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:2781:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:2849:34: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:2851:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:2853:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:2900:44: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:3115:43: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:3128:43: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:3141:43: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:3350:42: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:3662:68: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:3669:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:3686:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmpfas.c:2776:41: style: Redundant pointer operation on 'stateVector' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmpfas.c:2873:43: style: Redundant pointer operation on 'stateVector' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmpfas.c:3379:22: style: Redundant pointer operation on 'outProofStruct' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmpfas.c:3673:23: style: Redundant pointer operation on 'proofStruct' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmpfas.c:3685:23: style: Redundant pointer operation on 'proofStruct' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmpfas.c:1251:17: style:inconclusive: Function 'expandProof' argument 1 names different: declaration 'targetProof' definition 'rawTargetProof'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmpfas.h:96:37: note: Function 'expandProof' argument 1 names different: declaration 'targetProof' definition 'rawTargetProof'.
metamath-metamath-exe-0e6fb2e/mmpfas.c:1251:17: note: Function 'expandProof' argument 1 names different: declaration 'targetProof' definition 'rawTargetProof'.
metamath-metamath-exe-0e6fb2e/mmpfas.c:3416:10: style:inconclusive: Function 'initProofStruct' argument 3 names different: declaration 'proveStatement' definition 'proveStmt'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmpfas.h:198:10: note: Function 'initProofStruct' argument 3 names different: declaration 'proveStatement' definition 'proveStmt'.
metamath-metamath-exe-0e6fb2e/mmpfas.c:3416:10: note: Function 'initProofStruct' argument 3 names different: declaration 'proveStatement' definition 'proveStmt'.
metamath-metamath-exe-0e6fb2e/mmpfas.c:3518:10: style:inconclusive: Function 'processUndoStack' argument 4 names different: declaration 'newStackSize' definition 'newSize'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmpfas.h:215:10: note: Function 'processUndoStack' argument 4 names different: declaration 'newStackSize' definition 'newSize'.
metamath-metamath-exe-0e6fb2e/mmpfas.c:3518:10: note: Function 'processUndoStack' argument 4 names different: declaration 'newStackSize' definition 'newSize'.
metamath-metamath-exe-0e6fb2e/mmpfas.c:2747:15: style: Variable 'stackUnkVarLen' can be declared as pointer to const [constVariablePointer]
metamath-metamath-exe-0e6fb2e/mmpfas.c:2748:15: style: Variable 'stackUnkVarStart' can be declared as pointer to const [constVariablePointer]
metamath-metamath-exe-0e6fb2e/mmpfas.c:3163:30: style: Parameter 'proof' can be declared as pointer to const [constParameterPointer]
metamath-metamath-exe-0e6fb2e/mmunif.c:193:42: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmunif.c:195:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmunif.c:274:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmunif.c:363:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmunif.c:365:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmunif.c:914:17: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmunif.c:993:68: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmunif.c:1025:68: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmunif.c:1127:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmunif.c:1475:37: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmunif.c:509:15: style: Redundant pointer operation on 'stateVector' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmunif.c:1196:11: style: Redundant pointer operation on 'stateVector' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmunif.c:1445:11: style: Redundant pointer operation on 'stateVector' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmunif.c:1575:27: style: Redundant pointer operation on 'hentyVars' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmunif.c:1577:27: style: Redundant pointer operation on 'hentyVarStart' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmunif.c:1579:27: style: Redundant pointer operation on 'hentyVarLen' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmunif.c:1581:27: style: Redundant pointer operation on 'hentySubstList' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmunif.c:1678:27: style: Redundant pointer operation on 'hentySubstList' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmunif.c:1458:15: style: Variable 'stackUnkVarLen' can be declared as pointer to const [constVariablePointer]
metamath-metamath-exe-0e6fb2e/mmunif.c:1459:15: style: Variable 'stackUnkVarStart' can be declared as pointer to const [constVariablePointer]
metamath-metamath-exe-0e6fb2e/mmveri.c:602:7: style: The if condition is the same as the previous if condition [duplicateCondition]
metamath-metamath-exe-0e6fb2e/mmveri.c:557:7: note: First condition
metamath-metamath-exe-0e6fb2e/mmveri.c:602:7: note: Second condition
metamath-metamath-exe-0e6fb2e/mmveri.c:140:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmveri.c:145:26: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmveri.c:149:51: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmveri.c:169:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmveri.c:171:44: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmveri.c:179:39: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmveri.c:221:43: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmveri.c:370:24: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmveri.c:489:78: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmveri.c:512:27: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmveri.c:520:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmveri.c:686:34: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmveri.c:753:26: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmveri.c:772:26: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmveri.c:814:67: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmveri.c:828:41: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmveri.c:262:15: style: Variable 'nmbrTmpPtrBIR' can be declared as pointer to const [constVariablePointer]
metamath-metamath-exe-0e6fb2e/mmveri.c:264:15: style: Variable 'nmbrTmpPtrBIO' can be declared as pointer to const [constVariablePointer]
metamath-metamath-exe-0e6fb2e/mmvstr.c:217:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdin [valueFlowBailoutIncompleteVar]
metamath-metamath-exe-0e6fb2e/mmvstr.c:175:8: warning: Either the condition 'numArgs>=50' is redundant or the array 'arg[50]' is accessed at index 50, which is out of bounds. [arrayIndexOutOfBoundsCond]
metamath-metamath-exe-0e6fb2e/mmvstr.c:168:17: note: Assuming that condition 'numArgs>=50' is not redundant
metamath-metamath-exe-0e6fb2e/mmvstr.c:175:8: note: Array index out of bounds
metamath-metamath-exe-0e6fb2e/mmvstr.c:176:11: warning: Either the condition 'numArgs>=50' is redundant or the array 'argPos[50]' is accessed at index 50, which is out of bounds. [arrayIndexOutOfBoundsCond]
metamath-metamath-exe-0e6fb2e/mmvstr.c:168:17: note: Assuming that condition 'numArgs>=50' is not redundant
metamath-metamath-exe-0e6fb2e/mmvstr.c:176:11: note: Array index out of bounds
metamath-metamath-exe-0e6fb2e/mmvstr.c:746:20: portability: Non reentrant function 'localtime' called. For threadsafe applications it is recommended to use the reentrant replacement function 'localtime_r'. [prohibitedlocaltimeCalled]
metamath-metamath-exe-0e6fb2e/mmvstr.c:778:20: portability: Non reentrant function 'localtime' called. For threadsafe applications it is recommended to use the reentrant replacement function 'localtime_r'. [prohibitedlocaltimeCalled]
metamath-metamath-exe-0e6fb2e/mmvstr.c:230:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmvstr.c:836:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmvstr.c:249:31: style:inconclusive: Function 'seg' argument 2 names different: declaration 'p1' definition 'start'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmvstr.h:155:31: note: Function 'seg' argument 2 names different: declaration 'p1' definition 'start'.
metamath-metamath-exe-0e6fb2e/mmvstr.c:249:31: note: Function 'seg' argument 2 names different: declaration 'p1' definition 'start'.
metamath-metamath-exe-0e6fb2e/mmvstr.c:249:43: style:inconclusive: Function 'seg' argument 3 names different: declaration 'p2' definition 'stop'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmvstr.h:155:40: note: Function 'seg' argument 3 names different: declaration 'p2' definition 'stop'.
metamath-metamath-exe-0e6fb2e/mmvstr.c:249:43: note: Function 'seg' argument 3 names different: declaration 'p2' definition 'stop'.
metamath-metamath-exe-0e6fb2e/mmvstr.c:257:31: style:inconclusive: Function 'mid' argument 2 names different: declaration 'p' definition 'start'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmvstr.h:156:31: note: Function 'mid' argument 2 names different: declaration 'p' definition 'start'.
metamath-metamath-exe-0e6fb2e/mmvstr.c:257:31: note: Function 'mid' argument 2 names different: declaration 'p' definition 'start'.
metamath-metamath-exe-0e6fb2e/mmvstr.c:257:43: style:inconclusive: Function 'mid' argument 3 names different: declaration 'l' definition 'length'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmvstr.h:156:39: note: Function 'mid' argument 3 names different: declaration 'l' definition 'length'.
metamath-metamath-exe-0e6fb2e/mmvstr.c:257:43: note: Function 'mid' argument 3 names different: declaration 'l' definition 'length'.
metamath-metamath-exe-0e6fb2e/mmvstr.c:620:17: style:inconclusive: Function 'instr' argument 1 names different: declaration 'start' definition 'start_position'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmvstr.h:170:17: note: Function 'instr' argument 1 names different: declaration 'start' definition 'start_position'.
metamath-metamath-exe-0e6fb2e/mmvstr.c:620:17: note: Function 'instr' argument 1 names different: declaration 'start' definition 'start_position'.
metamath-metamath-exe-0e6fb2e/mmvstr.c:620:41: style:inconclusive: Function 'instr' argument 2 names different: declaration 'sin' definition 'string1'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmvstr.h:170:32: note: Function 'instr' argument 2 names different: declaration 'sin' definition 'string1'.
metamath-metamath-exe-0e6fb2e/mmvstr.c:620:41: note: Function 'instr' argument 2 names different: declaration 'sin' definition 'string1'.
metamath-metamath-exe-0e6fb2e/mmvstr.c:620:58: style:inconclusive: Function 'instr' argument 3 names different: declaration 's' definition 'string2'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmvstr.h:170:45: note: Function 'instr' argument 3 names different: declaration 's' definition 'string2'.
metamath-metamath-exe-0e6fb2e/mmvstr.c:620:58: note: Function 'instr' argument 3 names different: declaration 's' definition 'string2'.
metamath-metamath-exe-0e6fb2e/mmvstr.c:662:35: style:inconclusive: Function 'xlate' argument 2 names different: declaration 'control' definition 'table'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmvstr.h:163:36: note: Function 'xlate' argument 2 names different: declaration 'control' definition 'table'.
metamath-metamath-exe-0e6fb2e/mmvstr.c:662:35: note: Function 'xlate' argument 2 names different: declaration 'control' definition 'table'.
metamath-metamath-exe-0e6fb2e/mmvstr.c:801:20: style:inconclusive: Function 'str' argument 1 names different: declaration 'x' definition 'f'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmvstr.h:168:20: note: Function 'str' argument 1 names different: declaration 'x' definition 'f'.
metamath-metamath-exe-0e6fb2e/mmvstr.c:801:20: note: Function 'str' argument 1 names different: declaration 'x' definition 'f'.
metamath-metamath-exe-0e6fb2e/mmvstr.c:826:21: style:inconclusive: Function 'num1' argument 1 names different: declaration 'x' definition 'f'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmvstr.h:167:21: note: Function 'num1' argument 1 names different: declaration 'x' definition 'f'.
metamath-metamath-exe-0e6fb2e/mmvstr.c:826:21: note: Function 'num1' argument 1 names different: declaration 'x' definition 'f'.
metamath-metamath-exe-0e6fb2e/mmvstr.c:834:20: style:inconclusive: Function 'num' argument 1 names different: declaration 'x' definition 'f'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmvstr.h:166:20: note: Function 'num' argument 1 names different: declaration 'x' definition 'f'.
metamath-metamath-exe-0e6fb2e/mmvstr.c:834:20: note: Function 'num' argument 1 names different: declaration 'x' definition 'f'.
metamath-metamath-exe-0e6fb2e/mmvstr.c:622:9: style: Variable 'sp1' can be declared as pointer to const [constVariablePointer]
metamath-metamath-exe-0e6fb2e/mmvstr.c:726:14: style: Variable 'time_structure' can be declared as pointer to const [constVariablePointer]
metamath-metamath-exe-0e6fb2e/mmvstr.c:768:9: style: Variable 'format' can be declared as pointer to const [constVariablePointer]
metamath-metamath-exe-0e6fb2e/mmword.c:467:7: style: Condition 'ignoreSpaces' is always true [knownConditionTrueFalse]
metamath-metamath-exe-0e6fb2e/mmword.c:456:23: note: Assignment 'ignoreSpaces=1', assigned value is 1
metamath-metamath-exe-0e6fb2e/mmword.c:467:7: note: Condition 'ignoreSpaces' is always true
metamath-metamath-exe-0e6fb2e/mmword.c:472:7: style: Condition 'ignoreSameLineComments' is always true [knownConditionTrueFalse]
metamath-metamath-exe-0e6fb2e/mmword.c:457:33: note: Assignment 'ignoreSameLineComments=1', assigned value is 1
metamath-metamath-exe-0e6fb2e/mmword.c:472:7: note: Condition 'ignoreSameLineComments' is always true
metamath-metamath-exe-0e6fb2e/mmword.c:290:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmword.c:301:60: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmword.c:375:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmword.c:380:28: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmword.c:438:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmword.c:443:28: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmword.c:481:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmword.c:491:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmword.c:540:78: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmword.c:542:36: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmword.c:557:16: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6071:22: warning: Either the condition 'partition>=28' is redundant or the array 'redRef[29]' is accessed at index 29, which is out of bounds. [arrayIndexOutOfBoundsCond]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6066:17: note: Assuming that condition 'partition>=28' is not redundant
metamath-metamath-exe-0e6fb2e/mmwtex.c:6071:22: note: Array index out of bounds
metamath-metamath-exe-0e6fb2e/mmwtex.c:6074:24: warning: Either the condition 'partition>=28' is redundant or the array 'greenRef[29]' is accessed at index 29, which is out of bounds. [arrayIndexOutOfBoundsCond]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6066:17: note: Assuming that condition 'partition>=28' is not redundant
metamath-metamath-exe-0e6fb2e/mmwtex.c:6074:24: note: Array index out of bounds
metamath-metamath-exe-0e6fb2e/mmwtex.c:6077:23: warning: Either the condition 'partition>=28' is redundant or the array 'blueRef[29]' is accessed at index 29, which is out of bounds. [arrayIndexOutOfBoundsCond]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6066:17: note: Assuming that condition 'partition>=28' is not redundant
metamath-metamath-exe-0e6fb2e/mmwtex.c:6077:23: note: Array index out of bounds
metamath-metamath-exe-0e6fb2e/mmwtex.c:452:11: style: The if condition is the same as the previous if condition [duplicateCondition]
metamath-metamath-exe-0e6fb2e/mmwtex.c:391:11: note: First condition
metamath-metamath-exe-0e6fb2e/mmwtex.c:452:11: note: Second condition
metamath-metamath-exe-0e6fb2e/mmwtex.c:2922:21: style: The if condition is the same as the previous if condition [duplicateCondition]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2915:21: note: First condition
metamath-metamath-exe-0e6fb2e/mmwtex.c:2922:21: note: Second condition
metamath-metamath-exe-0e6fb2e/mmwtex.c:4589:14: style: The if condition is the same as the previous if condition [duplicateCondition]
metamath-metamath-exe-0e6fb2e/mmwtex.c:4168:14: note: First condition
metamath-metamath-exe-0e6fb2e/mmwtex.c:4589:14: note: Second condition
metamath-metamath-exe-0e6fb2e/mmwtex.c:5482:22: style: The if condition is the same as the previous if condition [duplicateCondition]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5474:22: note: First condition
metamath-metamath-exe-0e6fb2e/mmwtex.c:5482:22: note: Second condition
metamath-metamath-exe-0e6fb2e/mmwtex.c:6246:15: style: The if condition is the same as the previous if condition [duplicateCondition]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6231:15: note: First condition
metamath-metamath-exe-0e6fb2e/mmwtex.c:6246:15: note: Second condition
metamath-metamath-exe-0e6fb2e/mmwtex.c:6272:15: style: The if condition is the same as the previous if condition [duplicateCondition]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6263:15: note: First condition
metamath-metamath-exe-0e6fb2e/mmwtex.c:6272:15: note: Second condition
metamath-metamath-exe-0e6fb2e/mmwtex.c:6872:20: style: The if condition is the same as the previous if condition [duplicateCondition]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6869:20: note: First condition
metamath-metamath-exe-0e6fb2e/mmwtex.c:6872:20: note: Second condition
metamath-metamath-exe-0e6fb2e/mmwtex.c:4276:44: style: Condition 'hdrCommentAnchorDone==0' is always true [knownConditionTrueFalse]
metamath-metamath-exe-0e6fb2e/mmwtex.c:4236:36: note: Assignment 'hdrCommentAnchorDone=0', assigned value is 0
metamath-metamath-exe-0e6fb2e/mmwtex.c:4276:44: note: Condition 'hdrCommentAnchorDone==0' is always true
metamath-metamath-exe-0e6fb2e/mmwtex.c:4462:59: style: Condition 'passNumber==2' is always true [knownConditionTrueFalse]
metamath-metamath-exe-0e6fb2e/mmwtex.c:4449:33: note: Assuming that condition 'passNumber==2' is not redundant
metamath-metamath-exe-0e6fb2e/mmwtex.c:4462:59: note: Condition 'passNumber==2' is always true
metamath-metamath-exe-0e6fb2e/mmwtex.c:4525:58: style: Condition 'passNumber==2' is always true [knownConditionTrueFalse]
metamath-metamath-exe-0e6fb2e/mmwtex.c:4512:33: note: Assuming that condition 'passNumber==2' is not redundant
metamath-metamath-exe-0e6fb2e/mmwtex.c:4525:58: note: Condition 'passNumber==2' is always true
metamath-metamath-exe-0e6fb2e/mmwtex.c:4772:13: style: Condition 's==s+0' is always true [knownConditionTrueFalse]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5526:9: style: Condition 'pos' is always true [knownConditionTrueFalse]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5590:9: style: Condition 'pos' is always true [knownConditionTrueFalse]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5648:9: style: Condition 'pos' is always true [knownConditionTrueFalse]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5708:9: style: Condition 'pos' is always true [knownConditionTrueFalse]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6541:13: style: Condition 'j' is always true [knownConditionTrueFalse]
metamath-metamath-exe-0e6fb2e/mmwtex.c:243:15: style: Variable 'tmpPtr[j]' is reassigned a value before the old one has been used. [redundantAssignment]
metamath-metamath-exe-0e6fb2e/mmwtex.c:239:17: note: tmpPtr[j] is assigned
metamath-metamath-exe-0e6fb2e/mmwtex.c:243:15: note: tmpPtr[j] is overwritten
metamath-metamath-exe-0e6fb2e/mmwtex.c:202:22: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:378:39: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:430:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:525:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:550:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:614:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:651:42: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:696:24: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:714:68: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:730:24: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:761:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:782:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:821:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:863:67: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:866:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:894:39: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:897:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:1053:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:1057:65: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:1069:68: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:1111:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:1115:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:1119:65: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:1169:64: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:1173:64: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:1197:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:1200:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:1209:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:1268:51: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:1270:44: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:1273:37: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:1339:79: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:1351:79: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:1595:21: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:1603:21: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:1650:21: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:1868:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:1873:37: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:1948:33: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2174:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2179:32: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2180:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2199:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2202:51: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2275:31: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2277:37: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2324:33: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2326:39: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2412:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2416:58: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2422:41: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2425:47: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2449:41: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2452:47: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2457:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2460:44: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2481:33: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2483:39: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2527:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2529:41: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2580:64: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2611:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2617:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2621:47: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2652:68: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2662:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2664:22: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2666:22: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2687:60: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2704:30: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2717:58: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2724:58: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2738:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2744:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2747:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2761:60: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2775:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2793:70: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2800:28: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2810:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2830:26: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2839:54: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2875:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2892:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2937:84: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2961:55: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:2984:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3021:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3029:75: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3033:27: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3045:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3052:21: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3063:48: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3067:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3086:76: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3090:20: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3099:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3102:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3104:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3147:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3161:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3172:42: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3181:42: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3193:42: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3202:42: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3450:22: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3458:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3462:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3478:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3490:31: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3503:72: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3513:23: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3521:25: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3553:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3574:25: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3583:32: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3587:74: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3599:33: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3622:19: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3633:55: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3647:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3652:23: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3671:44: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3821:71: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3883:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3887:19: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3922:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3935:71: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3936:23: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3959:19: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3964:42: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3966:73: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3972:19: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3974:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3976:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:4062:47: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:4254:68: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:4268:28: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:4283:34: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:4306:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:4331:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:4332:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:4343:27: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:4362:27: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:4377:34: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:4401:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:4424:54: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:4426:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:4437:27: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:4457:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:4471:34: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:4500:27: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:4520:28: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:4534:34: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:4563:27: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:4613:43: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:4634:43: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:4660:43: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:4709:21: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:4811:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:4861:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:4878:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:4928:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:4945:33: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:4995:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5014:33: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5064:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5075:68: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5077:60: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5091:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5135:67: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5136:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5145:31: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5159:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5193:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5252:21: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5254:43: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5323:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5840:73: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5866:37: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6141:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6143:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6148:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6150:54: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6190:41: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6220:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6239:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6250:41: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6258:41: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6267:41: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6276:41: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6281:37: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6292:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6294:39: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6328:15: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6337:26: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6344:17: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6352:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6360:11: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6371:13: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6377:13: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6385:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6441:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6545:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6547:74: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6728:68: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6729:60: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6754:19: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6793:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6812:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6853:51: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6876:33: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5463:7: style: Redundant pointer operation on 'hugeHdrTitle' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5464:7: style: Redundant pointer operation on 'bigHdrTitle' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5465:7: style: Redundant pointer operation on 'smallHdrTitle' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5466:7: style: Redundant pointer operation on 'tinyHdrTitle' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5467:7: style: Redundant pointer operation on 'hugeHdrComment' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5468:7: style: Redundant pointer operation on 'bigHdrComment' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5469:7: style: Redundant pointer operation on 'smallHdrComment' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5470:7: style: Redundant pointer operation on 'tinyHdrComment' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5545:11: style: Redundant pointer operation on 'hugeHdrTitle' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5546:11: style: Redundant pointer operation on 'hugeHdrTitle' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5548:11: style: Redundant pointer operation on 'hugeHdrComment' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5549:11: style: Redundant pointer operation on 'hugeHdrComment' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5565:11: style: Redundant pointer operation on 'hugeHdrTitle' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5566:11: style: Redundant pointer operation on 'hugeHdrComment' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5609:11: style: Redundant pointer operation on 'bigHdrTitle' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5610:11: style: Redundant pointer operation on 'bigHdrTitle' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5612:11: style: Redundant pointer operation on 'bigHdrComment' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5613:11: style: Redundant pointer operation on 'bigHdrComment' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5629:11: style: Redundant pointer operation on 'bigHdrTitle' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5630:11: style: Redundant pointer operation on 'bigHdrComment' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5667:11: style: Redundant pointer operation on 'smallHdrTitle' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5668:11: style: Redundant pointer operation on 'smallHdrTitle' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5670:11: style: Redundant pointer operation on 'smallHdrComment' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5671:11: style: Redundant pointer operation on 'smallHdrComment' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5687:11: style: Redundant pointer operation on 'smallHdrTitle' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5688:11: style: Redundant pointer operation on 'smallHdrComment' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5727:11: style: Redundant pointer operation on 'tinyHdrTitle' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5728:11: style: Redundant pointer operation on 'tinyHdrTitle' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5730:11: style: Redundant pointer operation on 'tinyHdrComment' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5731:11: style: Redundant pointer operation on 'tinyHdrComment' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5747:11: style: Redundant pointer operation on 'tinyHdrTitle' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmwtex.c:5748:11: style: Redundant pointer operation on 'tinyHdrComment' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6988:13: style: Redundant pointer operation on 'mathboxUser' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6991:13: style: Redundant pointer operation on 'mathboxStart' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmwtex.c:6995:11: style: Redundant pointer operation on 'mathboxEnd' - it's already a pointer. [redundantPointerOp]
metamath-metamath-exe-0e6fb2e/mmwtex.c:3286:35: style:inconclusive: Function 'printTexLongMath' argument 1 names different: declaration 'proofStep' definition 'mathString'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmwtex.h:115:35: note: Function 'printTexLongMath' argument 1 names different: declaration 'proofStep' definition 'mathString'.
metamath-metamath-exe-0e6fb2e/mmwtex.c:3286:35: note: Function 'printTexLongMath' argument 1 names different: declaration 'proofStep' definition 'mathString'.
metamath-metamath-exe-0e6fb2e/mmwtex.c:3689:27: style:inconclusive: Function 'printTexTrailer' argument 1 names different: declaration 'texHeaderFlag' definition 'texTrailerFlag'. [funcArgNamesDifferent]
metamath-metamath-exe-0e6fb2e/mmwtex.h:117:27: note: Function 'printTexTrailer' argument 1 names different: declaration 'texHeaderFlag' definition 'texTrailerFlag'.
metamath-metamath-exe-0e6fb2e/mmwtex.c:3689:27: note: Function 'printTexTrailer' argument 1 names different: declaration 'texHeaderFlag' definition 'texTrailerFlag'.
metamath-metamath-exe-0e6fb2e/mmwtex.c:155:9: style: Variable 'tmpPtr2' can be declared as pointer to const [constVariablePointer]
metamath-metamath-exe-0e6fb2e/mmwtex.c:173:9: style: Variable 'g_mathKeyPtr' can be declared as pointer to const [constVariablePointer]
metamath-metamath-exe-0e6fb2e/mmwtex.c:174:9: style: Variable 'texDefsPtr' can be declared as pointer to const [constVariablePointer]
metamath-metamath-exe-0e6fb2e/mmwtex.c:925:9: style: Variable 'ptr1' can be declared as pointer to const [constVariablePointer]
metamath-metamath-exe-0e6fb2e/mmwtex.c:976:9: style: Variable 'ptr1' can be declared as pointer to const [constVariablePointer]
diff:
head metamath-metamath-exe-0e6fb2e/mmcmds.c:1240:15: style: Variable 'optDVB' can be declared as pointer to const [constVariablePointer]
head metamath-metamath-exe-0e6fb2e/mmcmds.c:1383:15: style: Variable 'reqDVB' can be declared as pointer to const [constVariablePointer]
head metamath-metamath-exe-0e6fb2e/mmcmds.c:1386:9: style: Variable 'strptr' can be declared as pointer to const [constVariablePointer]
head metamath-metamath-exe-0e6fb2e/mmcmds.c:1652:15: style: Variable 'hypPtr' can be declared as pointer to const [constVariablePointer]
head metamath-metamath-exe-0e6fb2e/mmdata.c:1265:9: style: Variable 'voidPtr' can be declared as pointer to const [constVariablePointer]
2.20.0 metamath-metamath-exe-0e6fb2e/mmdata.c:283:26: style: Variable '((long*)ptr1)[-3]' is assigned a value that is never used. [unreadVariable]
2.20.0 metamath-metamath-exe-0e6fb2e/mminou.c:1448:13: warning: If resource allocation fails, then there is a possible null pointer dereference: inputFp [nullPointerOutOfResources]
     metamath-metamath-exe-0e6fb2e/mminou.c:1430:18: note: Assuming allocation function fails
     metamath-metamath-exe-0e6fb2e/mminou.c:1430:18: note: Assignment 'inputFp=fopen(fileName,"r")', assigned value is 0
     metamath-metamath-exe-0e6fb2e/mminou.c:1437:7: note: Assuming condition is false
     metamath-metamath-exe-0e6fb2e/mminou.c:1448:13: note: Null pointer dereference
2.20.0 metamath-metamath-exe-0e6fb2e/mminou.c:288:26: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: printBuffer [nullPointerOutOfMemory]
     metamath-metamath-exe-0e6fb2e/mminou.c:245:23: note: Assuming allocation function fails
     metamath-metamath-exe-0e6fb2e/mminou.c:245:23: note: Assignment 'printBuffer=malloc((unsigned long)bufsiz+1)', assigned value is 0
     metamath-metamath-exe-0e6fb2e/mminou.c:288:26: note: Null pointer dereference
2.20.0 metamath-metamath-exe-0e6fb2e/mminou.c:293:9: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: printBuffer [nullPointerOutOfMemory]
     metamath-metamath-exe-0e6fb2e/mminou.c:245:23: note: Assuming allocation function fails
     metamath-metamath-exe-0e6fb2e/mminou.c:245:23: note: Assignment 'printBuffer=malloc((unsigned long)bufsiz+1)', assigned value is 0
     metamath-metamath-exe-0e6fb2e/mminou.c:293:9: note: Null pointer dereference
head metamath-metamath-exe-0e6fb2e/mmveri.c:262:15: style: Variable 'nmbrTmpPtrBIR' can be declared as pointer to const [constVariablePointer]
head metamath-metamath-exe-0e6fb2e/mmveri.c:264:15: style: Variable 'nmbrTmpPtrBIO' can be declared as pointer to const [constVariablePointer]
head metamath-metamath-exe-0e6fb2e/mmwtex.c:4589:14: style: The if condition is the same as the previous if condition [duplicateCondition]
     metamath-metamath-exe-0e6fb2e/mmwtex.c:4168:14: note: First condition
     metamath-metamath-exe-0e6fb2e/mmwtex.c:4589:14: note: Second condition


DONE