2025-05-06 06:12
ftp://ftp.de.debian.org/debian/pool/main/m/metamath/metamath_0.195.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-59-generic-x86_64-with-glibc2.39
python: 3.12.3
client-version: 1.3.67
compiler: g++ (Ubuntu 14.2.0-4ubuntu2~24.04) 14.2.0
cppcheck: head 2.17.0
head-info: 581f101 (2025-05-05 21:13:30 +0200)
count: 1128 1128
elapsed-time: 51.7 53.8
head-timing-info:

old-timing-info:

head results:
metamath-exe-0.195/metamath.c:7934:11: style: The if condition is the same as the previous if condition [duplicateCondition]
metamath-exe-0.195/metamath.c:7932:11: note: First condition
metamath-exe-0.195/metamath.c:7934:11: note: Second condition
metamath-exe-0.195/metamath.c:748:7: style: Condition '!g_listMode' is always true [knownConditionTrueFalse]
metamath-exe-0.195/metamath.c:743:16: note: Assignment 'g_listMode=0', assigned value is 0
metamath-exe-0.195/metamath.c:748:7: note: Condition '!g_listMode' is always true
metamath-exe-0.195/metamath.c:6739:19: style: Condition 'n==n+0' is always true [knownConditionTrueFalse]
metamath-exe-0.195/metamath.c:4461:22: style: Variable 'str3' is reassigned a value before the old one has been used. [redundantAssignment]
metamath-exe-0.195/metamath.c:4459:22: note: str3 is assigned
metamath-exe-0.195/metamath.c:4461:22: note: str3 is overwritten
metamath-exe-0.195/metamath.c:8098:5: style: 'continue' is redundant since it is the last statement in a loop. [redundantContinue]
metamath-exe-0.195/metamath.c:1038:47: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:1041:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:1046:75: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:1054:67: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:1060:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:1063:67: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:1100:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:1161:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:1164:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:1167:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:1179:33: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:1198:47: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:1514:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:1523:64: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:1535:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:1567:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:1569:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:1586:67: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:1608:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:1614:71: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:1616:33: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:1630:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:1653:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:1656:51: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:1682:65: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:1920:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:2019:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:2072:41: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:2124:78: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:2160:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:2224:39: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:2489:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:2508:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:2621:72: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:2623:64: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:2633:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:2666:71: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:2668:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:2676:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:2690:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:2776:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:2790:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:2826:69: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:2849:69: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:2965:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:3083:84: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:3122:42: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:3155:73: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:3170:79: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:3213:54: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:3231:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:3232:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:3243:47: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:3248:47: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:3253:47: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:3258:71: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:3267:42: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:3294:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:3311:36: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:3312:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:3321:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:3322:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:3342:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:3343:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:3394:58: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:3476:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:3479:33: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:3491:77: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:3622:58: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:3876:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:3988:68: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:4000:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:4005:47: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:4021:65: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:4037:54: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:4374:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:4378:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:4419:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:4430:42: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:4443:71: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:4622:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:4658:68: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:4663:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:4690:74: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:4718:23: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:4857:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:5239:36: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:5243:92: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:5395:47: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:5656:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:5874:36: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:5880:81: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:5920:31: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:6197:41: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:6203:81: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:6773:48: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:6912:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:7039:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:7189:55: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:7191:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:7193:58: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:7243:34: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:7452:71: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:7458:71: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:7474:71: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:7480:71: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:7488:71: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:7495:71: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:7499:54: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:7530:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:7533:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:7535:73: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:7541:58: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:7557:70: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:7558:30: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:7577:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:7588:64: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:7589:24: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:7647:71: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:7743:60: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/metamath.c:7747:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:66:24: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:77:42: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:94:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:110:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:121:73: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:181:30: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:201:28: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:231:39: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:252:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:265:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:279:27: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:304:15: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:320:15: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:334:48: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:387:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:405:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:409:48: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:443:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:448:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:454:78: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:467:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:480:25: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:514:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:526:28: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:553:54: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:568:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:580:65: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:595:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:608:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:627:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:653:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:685:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:706:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:738:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:757:32: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:763:78: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:775:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:788:33: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:817:28: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:839:79: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:845:27: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:881:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:905:58: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:1021:74: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:1087:44: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:1130:36: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:1169:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:1195:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:1254:37: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:1262:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:1270:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:1278:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:1286:47: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:1294:47: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:1303:18: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:1376:33: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:1406:60: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:1448:44: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:1473:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:1498:30: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:1515:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:1525:18: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:1689:30: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:1697:69: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:1711:30: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:1714:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:1734:21: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:1748:24: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:1784:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:1785:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:1793:65: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:1841:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:1873:65: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:1953:48: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:1958:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:1974:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:2001:19: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:2006:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:2008:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:2017:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:2019:34: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:2076:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:2084:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:2088:67: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:2092:67: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:2094:74: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:2367:47: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:2369:33: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:2398:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:2406:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:2452:48: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:2457:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:2462:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmdl.c:1813:35: style:inconclusive: Function 'getFullArg' argument 2 names different: declaration 'cmdList' definition 'cmdList1'. [funcArgNamesDifferent]
metamath-exe-0.195/mmcmdl.h:14:35: note: Function 'getFullArg' argument 2 names different: declaration 'cmdList' definition 'cmdList1'.
metamath-exe-0.195/mmcmdl.c:1813:35: note: Function 'getFullArg' argument 2 names different: declaration 'cmdList' definition 'cmdList1'.
metamath-exe-0.195/mmcmdl.c:2429:32: style:inconclusive: Function 'printCommandError' argument 1 names different: declaration 'line' definition 'line1'. [funcArgNamesDifferent]
metamath-exe-0.195/mmcmdl.h:19:32: note: Function 'printCommandError' argument 1 names different: declaration 'line' definition 'line1'.
metamath-exe-0.195/mmcmdl.c:2429:32: note: Function 'printCommandError' argument 1 names different: declaration 'line' definition 'line1'.
metamath-exe-0.195/mmcmds.c:0:0: debug: ValueFlow maximum iterations exceeded [valueFlowMaxIterations]
metamath-exe-0.195/mmcmds.c:992:15: style: The if condition is the same as the previous if condition [duplicateCondition]
metamath-exe-0.195/mmcmds.c:811:15: note: First condition
metamath-exe-0.195/mmcmds.c:992:15: note: Second condition
metamath-exe-0.195/mmcmds.c:1190:15: style: The if condition is the same as the previous if condition [duplicateCondition]
metamath-exe-0.195/mmcmds.c:992:15: note: First condition
metamath-exe-0.195/mmcmds.c:1190:15: note: Second condition
metamath-exe-0.195/mmcmds.c:1673:15: style: The if condition is the same as the previous if condition [duplicateCondition]
metamath-exe-0.195/mmcmds.c:1664:15: note: First condition
metamath-exe-0.195/mmcmds.c:1673:15: note: Second condition
metamath-exe-0.195/mmcmds.c:1760:7: style: The if condition is the same as the previous if condition [duplicateCondition]
metamath-exe-0.195/mmcmds.c:1739:7: note: First condition
metamath-exe-0.195/mmcmds.c:1760:7: note: Second condition
metamath-exe-0.195/mmcmds.c:5999:11: style: The if condition is the same as the previous if condition [duplicateCondition]
metamath-exe-0.195/mmcmds.c:5997:11: note: First condition
metamath-exe-0.195/mmcmds.c:5999:11: note: Second condition
metamath-exe-0.195/mmcmds.c:94:24: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:108:68: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:112:76: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:113:21: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:169:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:200:43: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:230:60: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:238:58: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:289:48: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:293:68: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:327:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:331:72: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:345:76: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:351:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:357:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:364:76: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:370:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:376:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:384:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:444:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:449:48: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:452:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:485:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:489:26: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:493:20: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:515:18: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:534:47: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:561:33: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:596:48: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:599:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:629:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:635:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:638:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:645:28: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:656:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:677:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:683:28: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:722:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:726:26: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:780:15: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:786:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:796:15: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:851:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:858:73: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:867:54: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:971:20: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:1033:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:1133:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:1146:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:1157:39: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:1162:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:1317:69: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:1345:55: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:1356:20: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:1500:18: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:1507:42: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:1512:51: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:1532:55: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:1536:20: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:1692:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:1709:36: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:1727:34: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2013:71: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2015:71: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2023:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2035:80: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2038:73: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2077:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2079:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2091:51: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2095:60: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2113:28: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2122:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2130:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2142:72: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2145:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2152:16: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2164:42: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2173:83: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2181:83: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2189:84: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2205:67: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2213:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2230:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2235:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2241:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2244:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2250:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2256:54: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2265:64: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2271:39: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2295:44: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2457:67: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2460:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2476:54: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2488:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2495:32: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2541:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2546:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2564:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2569:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2584:74: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2590:69: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2596:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2599:60: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2683:26: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2745:72: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2749:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2755:76: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2758:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2771:67: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2777:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2787:58: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2790:58: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2794:54: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2799:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2805:65: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2808:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2811:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2820:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2824:64: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2827:64: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2834:71: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2836:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2839:42: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2842:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2845:37: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2855:54: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2858:79: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2870:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2875:75: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2879:77: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2891:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2902:44: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2907:74: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2911:76: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2923:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2988:15: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:2993:18: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:3054:26: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:3059:16: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:3070:19: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:3077:22: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:3089:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:3106:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:3109:68: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:3123:30: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:3127:24: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:3214:80: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:3218:78: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:3221:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:3222:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:3223:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:3235:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:3249:26: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:3251:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:3397:73: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:3449:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:3453:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:3521:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:3528:34: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:3535:7: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:3771:64: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:3804:55: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:3816:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:3909:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:4152:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:4200:55: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:4569:65: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:4726:76: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:4744:78: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:4829:65: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:4839:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:4849:67: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:4859:65: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:4918:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:4924:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:5009:31: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:5043:23: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:5044:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:5053:43: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:5055:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:5356:78: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:5367:32: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:5461:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:5479:42: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:5491:12: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:5506:68: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:5524:78: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:5552:34: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:5567:69: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:5596:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:5612:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:5625:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:5638:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:5648:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:5660:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:5672:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:5716:70: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:5733:27: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:5747:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:5806:48: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:5816:48: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:5868:81: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:5885:74: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:5893:65: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:5915:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:5924:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:5934:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:6052:70: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:6057:54: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:6068:22: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:6085:75: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:6190:54: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:6597:28: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:6608:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:6615:74: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:6900:13: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:6918:16: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmcmds.c:3310:11: style: Redundant pointer operation on 'unprovedListP' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmcmds.c:3311:7: style: Redundant pointer operation on 'statementUsedFlagsP' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmcmds.c:3340:21: style: Redundant pointer operation on 'unprovedListP' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmcmds.c:5009:7: style: Redundant pointer operation on 'buf' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmcmds.c:5044:9: style: Redundant pointer operation on 'buf' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmcmds.c:5053:11: style: Redundant pointer operation on 'buf' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmcmds.c:5055:11: style: Redundant pointer operation on 'buf' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmcmds.c:5058:7: style: Redundant pointer operation on 'buf' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmcmds.c:44:25: style:inconclusive: Function 'typeStatement' argument 1 names different: declaration 'statemNum' definition 'showStmt'. [funcArgNamesDifferent]
metamath-exe-0.195/mmcmds.h:14:25: note: Function 'typeStatement' argument 1 names different: declaration 'statemNum' definition 'showStmt'.
metamath-exe-0.195/mmcmds.c:44:25: note: Function 'typeStatement' argument 1 names different: declaration 'statemNum' definition 'showStmt'.
metamath-exe-0.195/mmcmds.c:1567:8: style:inconclusive: Function 'typeProof' argument 12 names different: declaration 'startColumn' definition 'splitColumn'. [funcArgNamesDifferent]
metamath-exe-0.195/mmcmds.h:30:8: note: Function 'typeProof' argument 12 names different: declaration 'startColumn' definition 'splitColumn'.
metamath-exe-0.195/mmcmds.c:1567:8: note: Function 'typeProof' argument 12 names different: declaration 'startColumn' definition 'splitColumn'.
metamath-exe-0.195/mmcmds.c:4188:25: style:inconclusive: Function 'writeSource' argument 5 names different: declaration 'extractLabels' definition 'extractLabelList'. [funcArgNamesDifferent]
metamath-exe-0.195/mmcmds.h:75:25: note: Function 'writeSource' argument 5 names different: declaration 'extractLabels' definition 'extractLabelList'.
metamath-exe-0.195/mmcmds.c:4188:25: note: Function 'writeSource' argument 5 names different: declaration 'extractLabels' definition 'extractLabelList'.
metamath-exe-0.195/mmcmds.c:4359:13: style:inconclusive: Function 'writeExtractedSource' argument 1 names different: declaration 'extractLabels' definition 'extractLabelList'. [funcArgNamesDifferent]
metamath-exe-0.195/mmcmds.h:80:35: note: Function 'writeExtractedSource' argument 1 names different: declaration 'extractLabels' definition 'extractLabelList'.
metamath-exe-0.195/mmcmds.c:4359:13: note: Function 'writeExtractedSource' argument 1 names different: declaration 'extractLabels' definition 'extractLabelList'.
metamath-exe-0.195/mmcmds.c:2671:9: style: Variable 'voidPtr' can be declared as pointer to const [constVariablePointer]
metamath-exe-0.195/mmcmds.c:6643:40: style: Parameter 'indentationLevels' can be declared as pointer to const [constParameterPointer]
metamath-exe-0.195/mmcmds.c:6644:15: style: Parameter 'logicalFlags' can be declared as pointer to const [constParameterPointer]
metamath-exe-0.195/mmcmds.c:6723:8: style: Variable 'allKeys' can be declared as const array [constVariable]
metamath-exe-0.195/mmcmds.c:6735:8: style: Variable 'whiteKeys' can be declared as const array [constVariable]
metamath-exe-0.195/mmcmds.c:6747:8: style: Variable 'blackKeys' can be declared as const array [constVariable]
metamath-exe-0.195/mmdata.c:2987:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
metamath-exe-0.195/mmdata.c:1364:18: style: Expression is always false because 'else if' condition matches previous condition at line 1360. [multiCondition]
metamath-exe-0.195/mmdata.c:335:25: style: The if condition is the same as the previous if condition [duplicateCondition]
metamath-exe-0.195/mmdata.c:333:25: note: First condition
metamath-exe-0.195/mmdata.c:335:25: note: Second condition
metamath-exe-0.195/mmdata.c:1314:16: style: Condition 'stmt>0' is always true [knownConditionTrueFalse]
metamath-exe-0.195/mmdata.c:1308:16: note: Assuming that condition 'stmt<1' is not redundant
metamath-exe-0.195/mmdata.c:1314:16: note: Condition 'stmt>0' is always true
metamath-exe-0.195/mmdata.c:828:5: style: Variable 'g_nmbrTempAllocStackTop' is assigned an expression that holds the same value. [redundantAssignment]
metamath-exe-0.195/mmdata.c:822:35: note: Assuming that condition 'g_nmbrTempAllocStackTop!=g_nmbrStartTempAllocStack' is not redundant
metamath-exe-0.195/mmdata.c:828:5: note: Variable 'g_nmbrTempAllocStackTop' is assigned an expression that holds the same value.
metamath-exe-0.195/mmdata.c:2463:5: style: Variable 'g_pntrTempAllocStackTop' is assigned an expression that holds the same value. [redundantAssignment]
metamath-exe-0.195/mmdata.c:2457:35: note: Assuming that condition 'g_pntrTempAllocStackTop!=g_pntrStartTempAllocStack' is not redundant
metamath-exe-0.195/mmdata.c:2463:5: note: Variable 'g_pntrTempAllocStackTop' is assigned an expression that holds the same value.
metamath-exe-0.195/mmdata.c:132:60: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:159:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:189:65: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:213:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:243:78: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:307:76: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:1357:54: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:1361:54: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:1371:28: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:1376:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:1394:37: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:1403:43: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:1484:54: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:1681:70: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:1691:55: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:1720:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:2044:20: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:2221:64: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:2239:23: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:2296:21: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:2353:21: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:2369:20: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:2373:37: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:3141:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:3142:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:3143:64: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:3144:65: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:3482:48: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:3643:82: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:3657:82: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:3668:82: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:3677:82: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:3686:82: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:3695:82: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:3704:82: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:3713:82: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:3749:82: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:3770:82: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:3787:84: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:3805:84: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:3823:84: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:3844:82: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:3861:84: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:4096:24: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmdata.c:4046:9: style: Redundant pointer operation on 'date1' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmdata.c:4050:11: style: Redundant pointer operation on 'date2' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmdata.c:4052:11: style: Redundant pointer operation on 'date2' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmdata.c:4055:9: style: Redundant pointer operation on 'date1' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmdata.c:4056:9: style: Redundant pointer operation on 'date2' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmdata.c:4095:7: style: Redundant pointer operation on 'dateStr' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmdata.c:1060:26: style:inconclusive: Function 'nmbrCpy' argument 1 names different: declaration 'sout' definition 's'. [funcArgNamesDifferent]
metamath-exe-0.195/mmdata.c:76:26: note: Function 'nmbrCpy' argument 1 names different: declaration 'sout' definition 's'.
metamath-exe-0.195/mmdata.c:1060:26: note: Function 'nmbrCpy' argument 1 names different: declaration 'sout' definition 's'.
metamath-exe-0.195/mmdata.c:1060:40: style:inconclusive: Function 'nmbrCpy' argument 2 names different: declaration 'sin' definition 't'. [funcArgNamesDifferent]
metamath-exe-0.195/mmdata.c:76:44: note: Function 'nmbrCpy' argument 2 names different: declaration 'sin' definition 't'.
metamath-exe-0.195/mmdata.c:1060:40: note: Function 'nmbrCpy' argument 2 names different: declaration 'sin' definition 't'.
metamath-exe-0.195/mmdata.c:1093:24: style:inconclusive: Function 'nmbrEq' argument 1 names different: declaration 'sout' definition 's'. [funcArgNamesDifferent]
metamath-exe-0.195/mmdata.h:293:24: note: Function 'nmbrEq' argument 1 names different: declaration 'sout' definition 's'.
metamath-exe-0.195/mmdata.c:1093:24: note: Function 'nmbrEq' argument 1 names different: declaration 'sout' definition 's'.
metamath-exe-0.195/mmdata.c:1093:38: style:inconclusive: Function 'nmbrEq' argument 2 names different: declaration 'sin' definition 't'. [funcArgNamesDifferent]
metamath-exe-0.195/mmdata.h:293:41: note: Function 'nmbrEq' argument 2 names different: declaration 'sin' definition 't'.
metamath-exe-0.195/mmdata.c:1093:38: note: Function 'nmbrEq' argument 2 names different: declaration 'sin' definition 't'.
metamath-exe-0.195/mmdata.c:1105:43: style:inconclusive: Function 'nmbrSeg' argument 2 names different: declaration 'p1' definition 'start'. [funcArgNamesDifferent]
metamath-exe-0.195/mmdata.h:272:43: note: Function 'nmbrSeg' argument 2 names different: declaration 'p1' definition 'start'.
metamath-exe-0.195/mmdata.c:1105:43: note: Function 'nmbrSeg' argument 2 names different: declaration 'p1' definition 'start'.
metamath-exe-0.195/mmdata.c:1105:55: style:inconclusive: Function 'nmbrSeg' argument 3 names different: declaration 'p2' definition 'stop'. [funcArgNamesDifferent]
metamath-exe-0.195/mmdata.h:272:52: note: Function 'nmbrSeg' argument 3 names different: declaration 'p2' definition 'stop'.
metamath-exe-0.195/mmdata.c:1105:55: note: Function 'nmbrSeg' argument 3 names different: declaration 'p2' definition 'stop'.
metamath-exe-0.195/mmdata.c:1120:43: style:inconclusive: Function 'nmbrMid' argument 2 names different: declaration 'p' definition 'start'. [funcArgNamesDifferent]
metamath-exe-0.195/mmdata.h:273:43: note: Function 'nmbrMid' argument 2 names different: declaration 'p' definition 'start'.
metamath-exe-0.195/mmdata.c:1120:43: note: Function 'nmbrMid' argument 2 names different: declaration 'p' definition 'start'.
metamath-exe-0.195/mmdata.c:1120:55: style:inconclusive: Function 'nmbrMid' argument 3 names different: declaration 'l' definition 'length'. [funcArgNamesDifferent]
metamath-exe-0.195/mmdata.h:273:51: note: Function 'nmbrMid' argument 3 names different: declaration 'l' definition 'length'.
metamath-exe-0.195/mmdata.c:1120:55: note: Function 'nmbrMid' argument 3 names different: declaration 'l' definition 'length'.
metamath-exe-0.195/mmdata.c:1174:21: style:inconclusive: Function 'nmbrInstr' argument 1 names different: declaration 'start' definition 'start_position'. [funcArgNamesDifferent]
metamath-exe-0.195/mmdata.h:285:21: note: Function 'nmbrInstr' argument 1 names different: declaration 'start' definition 'start_position'.
metamath-exe-0.195/mmdata.c:1174:21: note: Function 'nmbrInstr' argument 1 names different: declaration 'start' definition 'start_position'.
metamath-exe-0.195/mmdata.c:1174:48: style:inconclusive: Function 'nmbrInstr' argument 2 names different: declaration 'sin' definition 'string1'. [funcArgNamesDifferent]
metamath-exe-0.195/mmdata.h:285:40: note: Function 'nmbrInstr' argument 2 names different: declaration 'sin' definition 'string1'.
metamath-exe-0.195/mmdata.c:1174:48: note: Function 'nmbrInstr' argument 2 names different: declaration 'sin' definition 'string1'.
metamath-exe-0.195/mmdata.c:1175:15: style:inconclusive: Function 'nmbrInstr' argument 3 names different: declaration 's' definition 'string2'. [funcArgNamesDifferent]
metamath-exe-0.195/mmdata.h:285:57: note: Function 'nmbrInstr' argument 3 names different: declaration 's' definition 'string2'.
metamath-exe-0.195/mmdata.c:1175:15: note: Function 'nmbrInstr' argument 3 names different: declaration 's' definition 'string2'.
metamath-exe-0.195/mmdata.c:1252:39: style:inconclusive: Function 'nmbrCvtRToVString' argument 1 names different: declaration 's' definition 'proof'. [funcArgNamesDifferent]
metamath-exe-0.195/mmdata.h:300:39: note: Function 'nmbrCvtRToVString' argument 1 names different: declaration 's' definition 'proof'.
metamath-exe-0.195/mmdata.c:1252:39: note: Function 'nmbrCvtRToVString' argument 1 names different: declaration 's' definition 'proof'.
metamath-exe-0.195/mmdata.c:2692:26: style:inconclusive: Function 'pntrCpy' argument 1 names different: declaration 'sout' definition 's'. [funcArgNamesDifferent]
metamath-exe-0.195/mmdata.c:81:26: note: Function 'pntrCpy' argument 1 names different: declaration 'sout' definition 's'.
metamath-exe-0.195/mmdata.c:2692:26: note: Function 'pntrCpy' argument 1 names different: declaration 'sout' definition 's'.
metamath-exe-0.195/mmdata.c:2692:41: style:inconclusive: Function 'pntrCpy' argument 2 names different: declaration 'sin' definition 't'. [funcArgNamesDifferent]
metamath-exe-0.195/mmdata.c:81:44: note: Function 'pntrCpy' argument 2 names different: declaration 'sin' definition 't'.
metamath-exe-0.195/mmdata.c:2692:41: note: Function 'pntrCpy' argument 2 names different: declaration 'sin' definition 't'.
metamath-exe-0.195/mmdata.c:2725:24: style:inconclusive: Function 'pntrEq' argument 1 names different: declaration 'sout' definition 's'. [funcArgNamesDifferent]
metamath-exe-0.195/mmdata.h:438:24: note: Function 'pntrEq' argument 1 names different: declaration 'sout' definition 's'.
metamath-exe-0.195/mmdata.c:2725:24: note: Function 'pntrEq' argument 1 names different: declaration 'sout' definition 's'.
metamath-exe-0.195/mmdata.c:2725:38: style:inconclusive: Function 'pntrEq' argument 2 names different: declaration 'sin' definition 't'. [funcArgNamesDifferent]
metamath-exe-0.195/mmdata.h:438:41: note: Function 'pntrEq' argument 2 names different: declaration 'sin' definition 't'.
metamath-exe-0.195/mmdata.c:2725:38: note: Function 'pntrEq' argument 2 names different: declaration 'sin' definition 't'.
metamath-exe-0.195/mmdata.c:2736:43: style:inconclusive: Function 'pntrSeg' argument 2 names different: declaration 'p1' definition 'start'. [funcArgNamesDifferent]
metamath-exe-0.195/mmdata.h:409:43: note: Function 'pntrSeg' argument 2 names different: declaration 'p1' definition 'start'.
metamath-exe-0.195/mmdata.c:2736:43: note: Function 'pntrSeg' argument 2 names different: declaration 'p1' definition 'start'.
metamath-exe-0.195/mmdata.c:2736:55: style:inconclusive: Function 'pntrSeg' argument 3 names different: declaration 'p2' definition 'stop'. [funcArgNamesDifferent]
metamath-exe-0.195/mmdata.h:409:52: note: Function 'pntrSeg' argument 3 names different: declaration 'p2' definition 'stop'.
metamath-exe-0.195/mmdata.c:2736:55: note: Function 'pntrSeg' argument 3 names different: declaration 'p2' definition 'stop'.
metamath-exe-0.195/mmdata.c:2751:43: style:inconclusive: Function 'pntrMid' argument 2 names different: declaration 'p' definition 'start'. [funcArgNamesDifferent]
metamath-exe-0.195/mmdata.h:410:43: note: Function 'pntrMid' argument 2 names different: declaration 'p' definition 'start'.
metamath-exe-0.195/mmdata.c:2751:43: note: Function 'pntrMid' argument 2 names different: declaration 'p' definition 'start'.
metamath-exe-0.195/mmdata.c:2840:21: style:inconclusive: Function 'pntrInstr' argument 1 names different: declaration 'start' definition 'start_position'. [funcArgNamesDifferent]
metamath-exe-0.195/mmdata.h:430:21: note: Function 'pntrInstr' argument 1 names different: declaration 'start' definition 'start_position'.
metamath-exe-0.195/mmdata.c:2840:21: note: Function 'pntrInstr' argument 1 names different: declaration 'start' definition 'start_position'.
metamath-exe-0.195/mmdata.c:2840:48: style:inconclusive: Function 'pntrInstr' argument 2 names different: declaration 'sin' definition 'string1'. [funcArgNamesDifferent]
metamath-exe-0.195/mmdata.h:430:40: note: Function 'pntrInstr' argument 2 names different: declaration 'sin' definition 'string1'.
metamath-exe-0.195/mmdata.c:2840:48: note: Function 'pntrInstr' argument 2 names different: declaration 'sin' definition 'string1'.
metamath-exe-0.195/mmdata.c:2841:15: style:inconclusive: Function 'pntrInstr' argument 3 names different: declaration 's' definition 'string2'. [funcArgNamesDifferent]
metamath-exe-0.195/mmdata.h:430:57: note: Function 'pntrInstr' argument 3 names different: declaration 's' definition 'string2'.
metamath-exe-0.195/mmdata.c:2841:15: note: Function 'pntrInstr' argument 3 names different: declaration 's' definition 'string2'.
metamath-exe-0.195/mmdata.c:3116:37: style:inconclusive: Function 'getDescriptionAndLabel' argument 1 names different: declaration 'statemNum' definition 'stmt'. [funcArgNamesDifferent]
metamath-exe-0.195/mmdata.h:465:37: note: Function 'getDescriptionAndLabel' argument 1 names different: declaration 'statemNum' definition 'stmt'.
metamath-exe-0.195/mmdata.c:3116:37: note: Function 'getDescriptionAndLabel' argument 1 names different: declaration 'statemNum' definition 'stmt'.
metamath-exe-0.195/mmdata.c:1060:40: style: Parameter 't' can be declared as pointer to const [constParameterPointer]
metamath-exe-0.195/mmdata.c:1075:41: style: Parameter 't' can be declared as pointer to const [constParameterPointer]
metamath-exe-0.195/mmdata.c:1525:44: style: Parameter 'g' can be declared as pointer to const [constParameterPointer]
metamath-exe-0.195/mmdata.c:1793:15: style: Variable 'nmbrTmpPtr2' can be declared as pointer to const [constVariablePointer]
metamath-exe-0.195/mmdata.c:1931:16: style: Variable 'digits' can be declared as pointer to const [constVariablePointer]
metamath-exe-0.195/mmdata.c:1932:16: style: Variable 'letters' can be declared as pointer to const [constVariablePointer]
metamath-exe-0.195/mmdata.c:2917:11: style: Parameter 'size' can be declared as pointer to const [constParameterPointer]
metamath-exe-0.195/mmdata.c:2918:11: style: Parameter 'worth' can be declared as pointer to const [constParameterPointer]
metamath-exe-0.195/mmdata.c:3020:9: style: Variable 'fbPtr' can be declared as pointer to const [constVariablePointer]
metamath-exe-0.195/mmdata.c:3021:9: style: Variable 'startLabel' can be declared as pointer to const [constVariablePointer]
metamath-exe-0.195/mmdata.c:283:26: style: Variable '((long*)ptr1)[-3]' is assigned a value that is never used. [unreadVariable]
metamath-exe-0.195/mmdata.c:3228:16: style: Variable 'str1' is assigned a value that is never used. [unreadVariable]
metamath-exe-0.195/mmhlpb.c:53:25: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mminou.c:950:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdin [valueFlowBailoutIncompleteVar]
metamath-exe-0.195/mminou.c:1412:5: error: Resource leak: inputFp [resourceLeak]
metamath-exe-0.195/mminou.c:288:26: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: printBuffer [nullPointerOutOfMemory]
metamath-exe-0.195/mminou.c:245:23: note: Assuming allocation function fails
metamath-exe-0.195/mminou.c:245:23: note: Assignment 'printBuffer=malloc((unsigned long)bufsiz+1)', assigned value is 0
metamath-exe-0.195/mminou.c:288:26: note: Null pointer dereference
metamath-exe-0.195/mminou.c:293:9: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: printBuffer [nullPointerOutOfMemory]
metamath-exe-0.195/mminou.c:245:23: note: Assuming allocation function fails
metamath-exe-0.195/mminou.c:245:23: note: Assignment 'printBuffer=malloc((unsigned long)bufsiz+1)', assigned value is 0
metamath-exe-0.195/mminou.c:293:9: note: Null pointer dereference
metamath-exe-0.195/mminou.c:367:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mminou.c:384:55: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mminou.c:724:25: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mminou.c:739:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mminou.c:744:60: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mminou.c:763:69: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mminou.c:765:51: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mminou.c:838:33: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mminou.c:984:26: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mminou.c:1082:65: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mminou.c:1084:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mminou.c:1088:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mminou.c:1092:75: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mminou.c:1095:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mminou.c:1098:13: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mminou.c:1100:33: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mminou.c:1107:69: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mminou.c:1108:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mminou.c:1111:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mminou.c:1194:37: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mminou.c:1217:48: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mminou.c:1226:60: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mminou.c:1235:67: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mminou.c:1245:60: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mminou.c:1249:67: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mminou.c:1254:48: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mminou.c:1362:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mminou.c:1026:60: style:inconclusive: Function 'errorMessage' argument 8 names different: declaration 'warnFlag' definition 'severity'. [funcArgNamesDifferent]
metamath-exe-0.195/mminou.h:63:60: note: Function 'errorMessage' argument 8 names different: declaration 'warnFlag' definition 'severity'.
metamath-exe-0.195/mminou.c:1026:60: note: Function 'errorMessage' argument 8 names different: declaration 'warnFlag' definition 'severity'.
metamath-exe-0.195/mmpars.c:1508:17: error: Common realloc mistake: 'activeDisjHypStack' nulled but not freed upon failure [memleakOnRealloc]
metamath-exe-0.195/mmpars.c:1554:11: error: Common realloc mistake: 'activeEHypStack' nulled but not freed upon failure [memleakOnRealloc]
metamath-exe-0.195/mmpars.c:1556:11: error: Common realloc mistake: 'activeFHypStack' nulled but not freed upon failure [memleakOnRealloc]
metamath-exe-0.195/mmpars.c:689:11: warning: If memory allocation fails, then there is a possible null pointer dereference: tmpPtr [nullPointerOutOfMemory]
metamath-exe-0.195/mmpars.c:687:26: note: Assuming allocation function fails
metamath-exe-0.195/mmpars.c:687:26: note: Assignment 'tmpPtr=malloc((unsigned long)j+1)', assigned value is 0
metamath-exe-0.195/mmpars.c:689:11: note: Null pointer dereference
metamath-exe-0.195/mmpars.c:690:18: warning: If memory allocation fails, then there is a possible null pointer dereference: tmpPtr [nullPointerOutOfMemory]
metamath-exe-0.195/mmpars.c:687:26: note: Assuming allocation function fails
metamath-exe-0.195/mmpars.c:687:26: note: Assignment 'tmpPtr=malloc((unsigned long)j+1)', assigned value is 0
metamath-exe-0.195/mmpars.c:690:18: note: Null pointer dereference
metamath-exe-0.195/mmpars.c:5215:5: warning: If memory allocation fails, then there is a possible null pointer dereference: reverseMathKey [nullPointerOutOfMemory]
metamath-exe-0.195/mmpars.c:5211:26: note: Assuming allocation function fails
metamath-exe-0.195/mmpars.c:5211:26: note: Assignment 'reverseMathKey=malloc((unsigned long)g_mathTokens*sizeof(long))', assigned value is 0
metamath-exe-0.195/mmpars.c:5215:5: note: Null pointer dereference
metamath-exe-0.195/mmpars.c:5243:5: warning: If memory allocation fails, then there is a possible null pointer dereference: symbolLenExists [nullPointerOutOfMemory]
metamath-exe-0.195/mmpars.c:5240:27: note: Assuming allocation function fails
metamath-exe-0.195/mmpars.c:5240:27: note: Assignment 'symbolLenExists=malloc(((unsigned long)maxSymbolLen+1)*sizeof(flag))', assigned value is 0
metamath-exe-0.195/mmpars.c:5243:5: note: Null pointer dereference
metamath-exe-0.195/mmpars.c:5246:5: warning: If memory allocation fails, then there is a possible null pointer dereference: symbolLenExists [nullPointerOutOfMemory]
metamath-exe-0.195/mmpars.c:5240:27: note: Assuming allocation function fails
metamath-exe-0.195/mmpars.c:5240:27: note: Assignment 'symbolLenExists=malloc(((unsigned long)maxSymbolLen+1)*sizeof(flag))', assigned value is 0
metamath-exe-0.195/mmpars.c:5246:5: note: Null pointer dereference
metamath-exe-0.195/mmpars.c:4139:20: warning: Either the condition '!ptr1' is redundant or there is overflow in pointer subtraction. [nullPointerArithmeticRedundantCheck]
metamath-exe-0.195/mmpars.c:4138:15: note: Assuming that condition '!ptr1' is not redundant
metamath-exe-0.195/mmpars.c:4139:20: note: Null pointer subtraction
metamath-exe-0.195/mmpars.c:5775:11: error: If memory allocation fails: overflow in pointer arithmetic, NULL pointer is subtracted. [nullPointerArithmeticOutOfMemory]
metamath-exe-0.195/mmpars.c:5720:15: note: Assuming allocation function fails
metamath-exe-0.195/mmpars.c:5720:15: note: Assignment 'buf=malloc((unsigned long)(size+1)*sizeof(char))', assigned value is 0
metamath-exe-0.195/mmpars.c:5722:9: note: Assignment 'ptr=buf', assigned value is 0
metamath-exe-0.195/mmpars.c:5724:23: note: Assuming condition is false
metamath-exe-0.195/mmpars.c:5775:11: note: Null pointer subtraction
metamath-exe-0.195/mmpars.c:5835:19: style: Variable 'tmpStr1' is reassigned a value before the old one has been used. [redundantAssignment]
metamath-exe-0.195/mmpars.c:5832:19: note: tmpStr1 is assigned
metamath-exe-0.195/mmpars.c:5835:19: note: tmpStr1 is overwritten
metamath-exe-0.195/mmpars.c:6520:60: style: Variable 'g_IncludeCall[saveInclCalls-1].current_includeSource' is reassigned a value before the old one has been used. [redundantAssignment]
metamath-exe-0.195/mmpars.c:6516:60: note: g_IncludeCall[saveInclCalls-1].current_includeSource is assigned
metamath-exe-0.195/mmpars.c:6520:60: note: g_IncludeCall[saveInclCalls-1].current_includeSource is overwritten
metamath-exe-0.195/mmpars.c:6632:14: style: Variable 'newFileBuf' is reassigned a value before the old one has been used. [redundantAssignment]
metamath-exe-0.195/mmpars.c:6631:14: note: newFileBuf is assigned
metamath-exe-0.195/mmpars.c:6632:14: note: newFileBuf is overwritten
metamath-exe-0.195/mmpars.c:5990:5: style: 'continue' is redundant since it is the last statement in a loop. [redundantContinue]
metamath-exe-0.195/mmpars.c:103:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:410:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:787:15: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:1341:47: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:1722:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:1731:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:1755:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:1936:55: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:1997:70: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:2027:24: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:2042:65: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:2046:54: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:2354:78: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:2387:82: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:2412:80: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:2444:65: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:2458:54: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:2473:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:2507:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:2571:67: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:2587:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:2601:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:2620:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:2643:31: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:2652:80: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:2670:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:2674:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:2676:85: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:2683:26: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:2758:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:2767:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:2769:43: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:2781:48: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:2785:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:2861:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:2967:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:3342:31: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:3351:64: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:3435:73: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:3469:41: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:3473:69: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:3475:91: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:3482:32: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:3592:71: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:3618:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:3748:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:3999:70: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:4005:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:4012:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:4015:43: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:4017:80: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:4019:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:4405:39: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:4413:39: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:4427:19: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:4439:26: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:4570:19: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:4615:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:4633:51: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:4652:42: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:4660:76: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:4667:60: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:4677:19: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:4692:60: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:4713:42: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:4739:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:4782:60: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:4786:41: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:4790:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:4806:34: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:4926:36: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:4932:30: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:4950:36: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:4955:32: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:4979:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:4988:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:5070:36: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:5189:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:5808:55: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:5834:55: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:5883:48: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:5886:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:5890:48: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:5897:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:5958:60: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:6257:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:6275:69: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:6281:65: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:6311:41: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:6329:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:6344:69: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:6345:65: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:6370:41: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:6409:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:6428:41: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:6439:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:6458:41: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:6573:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpars.c:5480:13: style: Redundant pointer operation on 'fileName' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmpars.c:5546:15: style: Redundant pointer operation on 'fileName' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmpars.c:5661:9: style: Redundant pointer operation on 'fileName' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmpars.c:5885:11: style: Redundant pointer operation on 'fileBuf' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmpars.c:5896:11: style: Redundant pointer operation on 'fileBuf' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmpars.c:6243:59: style: Redundant pointer operation on 'errorFlag' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmpars.c:6301:63: style: Redundant pointer operation on 'errorFlag' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmpars.c:6365:63: style: Redundant pointer operation on 'errorFlag' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmpars.c:6574:57: style: Redundant pointer operation on 'size' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmpars.c:6632:62: style: Redundant pointer operation on 'size' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmpars.c:49:18: style:inconclusive: Function 'readRawSource' argument 1 names different: declaration 'inputBuf' definition 'fileBuf'. [funcArgNamesDifferent]
metamath-exe-0.195/mmpars.h:14:13: note: Function 'readRawSource' argument 1 names different: declaration 'inputBuf' definition 'fileBuf'.
metamath-exe-0.195/mmpars.c:49:18: note: Function 'readRawSource' argument 1 names different: declaration 'inputBuf' definition 'fileBuf'.
metamath-exe-0.195/mmpars.c:3799:54: style:inconclusive: Function 'rawSourceError' argument 3 names different: declaration 'tokenLen' definition 'tokLen'. [funcArgNamesDifferent]
metamath-exe-0.195/mmpars.h:23:54: note: Function 'rawSourceError' argument 3 names different: declaration 'tokenLen' definition 'tokLen'.
metamath-exe-0.195/mmpars.c:3799:54: note: Function 'rawSourceError' argument 3 names different: declaration 'tokenLen' definition 'tokLen'.
metamath-exe-0.195/mmpars.c:3844:34: style:inconclusive: Function 'sourceError' argument 2 names different: declaration 'tokenLen' definition 'tokLen'. [funcArgNamesDifferent]
metamath-exe-0.195/mmpars.h:26:34: note: Function 'sourceError' argument 2 names different: declaration 'tokenLen' definition 'tokLen'.
metamath-exe-0.195/mmpars.c:3844:34: note: Function 'sourceError' argument 2 names different: declaration 'tokenLen' definition 'tokLen'.
metamath-exe-0.195/mmpars.c:4885:31: style:inconclusive: Function 'rewrapComment' argument 1 names different: declaration 'comment' definition 'comment1'. [funcArgNamesDifferent]
metamath-exe-0.195/mmpars.h:150:31: note: Function 'rewrapComment' argument 1 names different: declaration 'comment' definition 'comment1'.
metamath-exe-0.195/mmpars.c:4885:31: note: Function 'rewrapComment' argument 1 names different: declaration 'comment' definition 'comment1'.
metamath-exe-0.195/mmpars.c:51:16: style: Parameter 'size' can be declared as pointer to const [constParameterPointer]
metamath-exe-0.195/mmpars.c:3066:15: style: Variable 'nmbrTmpPtr' can be declared as pointer to const [constVariablePointer]
metamath-exe-0.195/mmpars.c:3075:16: style: Variable 'digits' can be declared as pointer to const [constVariablePointer]
metamath-exe-0.195/mmpars.c:3076:16: style: Variable 'letters' can be declared as pointer to const [constVariablePointer]
metamath-exe-0.195/mmpars.c:3802:9: style: Variable 'startLine' can be declared as pointer to const [constVariablePointer]
metamath-exe-0.195/mmpars.c:3803:9: style: Variable 'endLine' can be declared as pointer to const [constVariablePointer]
metamath-exe-0.195/mmpars.c:3846:9: style: Variable 'startLine' can be declared as pointer to const [constVariablePointer]
metamath-exe-0.195/mmpars.c:3847:9: style: Variable 'endLine' can be declared as pointer to const [constVariablePointer]
metamath-exe-0.195/mmpars.c:3970:17: style: Parameter 'tokenList' can be declared as pointer to const [constParameterPointer]
metamath-exe-0.195/mmpars.c:4157:29: style: Parameter 'ptr' can be declared as pointer to const [constParameterPointer]
metamath-exe-0.195/mmpars.c:4180:21: style: Parameter 'ptr' can be declared as pointer to const [constParameterPointer]
metamath-exe-0.195/mmpars.c:4216:24: style: Parameter 'ptr' can be declared as pointer to const [constParameterPointer]
metamath-exe-0.195/mmpars.c:4235:26: style: Parameter 'ptr' can be declared as pointer to const [constParameterPointer]
metamath-exe-0.195/mmpars.c:5451:9: style: Variable 'tmpPtr' can be declared as pointer to const [constVariablePointer]
metamath-exe-0.195/mmpfas.c:3385:16: style: The if condition is the same as the previous if condition [duplicateCondition]
metamath-exe-0.195/mmpfas.c:3383:16: note: First condition
metamath-exe-0.195/mmpfas.c:3385:16: note: Second condition
metamath-exe-0.195/mmpfas.c:1268:15: style: Redundant initialization for 'sourceProof'. The initialized value is overwritten before it is read. [redundantInitialization]
metamath-exe-0.195/mmpfas.c:1256:27: note: sourceProof is initialized
metamath-exe-0.195/mmpfas.c:1268:15: note: sourceProof is overwritten
metamath-exe-0.195/mmpfas.c:69:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:72:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:121:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:161:86: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:165:67: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:180:36: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:194:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:195:33: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:1002:55: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:1054:68: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:1227:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:1230:16: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:1236:16: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:1239:16: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:1352:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:1381:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:1410:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:1416:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:1452:51: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:1464:16: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:1467:16: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:1470:16: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:1685:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:1721:55: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:2001:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:2011:51: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:2075:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:2104:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:2145:68: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:2623:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:2779:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:2781:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:2849:34: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:2851:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:2853:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:2900:44: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:3115:43: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:3128:43: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:3141:43: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:3350:42: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:3662:68: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:3669:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:3686:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmpfas.c:2776:41: style: Redundant pointer operation on 'stateVector' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmpfas.c:2873:43: style: Redundant pointer operation on 'stateVector' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmpfas.c:3379:22: style: Redundant pointer operation on 'outProofStruct' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmpfas.c:3673:23: style: Redundant pointer operation on 'proofStruct' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmpfas.c:3685:23: style: Redundant pointer operation on 'proofStruct' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmpfas.c:1251:17: style:inconclusive: Function 'expandProof' argument 1 names different: declaration 'targetProof' definition 'rawTargetProof'. [funcArgNamesDifferent]
metamath-exe-0.195/mmpfas.h:96:37: note: Function 'expandProof' argument 1 names different: declaration 'targetProof' definition 'rawTargetProof'.
metamath-exe-0.195/mmpfas.c:1251:17: note: Function 'expandProof' argument 1 names different: declaration 'targetProof' definition 'rawTargetProof'.
metamath-exe-0.195/mmpfas.c:3416:10: style:inconclusive: Function 'initProofStruct' argument 3 names different: declaration 'proveStatement' definition 'proveStmt'. [funcArgNamesDifferent]
metamath-exe-0.195/mmpfas.h:198:10: note: Function 'initProofStruct' argument 3 names different: declaration 'proveStatement' definition 'proveStmt'.
metamath-exe-0.195/mmpfas.c:3416:10: note: Function 'initProofStruct' argument 3 names different: declaration 'proveStatement' definition 'proveStmt'.
metamath-exe-0.195/mmpfas.c:3518:10: style:inconclusive: Function 'processUndoStack' argument 4 names different: declaration 'newStackSize' definition 'newSize'. [funcArgNamesDifferent]
metamath-exe-0.195/mmpfas.h:215:10: note: Function 'processUndoStack' argument 4 names different: declaration 'newStackSize' definition 'newSize'.
metamath-exe-0.195/mmpfas.c:3518:10: note: Function 'processUndoStack' argument 4 names different: declaration 'newStackSize' definition 'newSize'.
metamath-exe-0.195/mmpfas.c:2747:15: style: Variable 'stackUnkVarLen' can be declared as pointer to const [constVariablePointer]
metamath-exe-0.195/mmpfas.c:2748:15: style: Variable 'stackUnkVarStart' can be declared as pointer to const [constVariablePointer]
metamath-exe-0.195/mmpfas.c:3163:30: style: Parameter 'proof' can be declared as pointer to const [constParameterPointer]
metamath-exe-0.195/mmunif.c:193:42: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmunif.c:195:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmunif.c:274:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmunif.c:363:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmunif.c:365:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmunif.c:914:17: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmunif.c:993:68: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmunif.c:1025:68: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmunif.c:1127:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmunif.c:1475:37: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmunif.c:509:15: style: Redundant pointer operation on 'stateVector' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmunif.c:1196:11: style: Redundant pointer operation on 'stateVector' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmunif.c:1445:11: style: Redundant pointer operation on 'stateVector' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmunif.c:1575:27: style: Redundant pointer operation on 'hentyVars' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmunif.c:1577:27: style: Redundant pointer operation on 'hentyVarStart' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmunif.c:1579:27: style: Redundant pointer operation on 'hentyVarLen' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmunif.c:1581:27: style: Redundant pointer operation on 'hentySubstList' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmunif.c:1678:27: style: Redundant pointer operation on 'hentySubstList' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmunif.c:1458:15: style: Variable 'stackUnkVarLen' can be declared as pointer to const [constVariablePointer]
metamath-exe-0.195/mmunif.c:1459:15: style: Variable 'stackUnkVarStart' can be declared as pointer to const [constVariablePointer]
metamath-exe-0.195/mmveri.c:602:7: style: The if condition is the same as the previous if condition [duplicateCondition]
metamath-exe-0.195/mmveri.c:557:7: note: First condition
metamath-exe-0.195/mmveri.c:602:7: note: Second condition
metamath-exe-0.195/mmveri.c:140:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmveri.c:145:26: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmveri.c:149:51: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmveri.c:169:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmveri.c:171:44: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmveri.c:179:39: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmveri.c:221:43: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmveri.c:370:24: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmveri.c:489:78: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmveri.c:512:27: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmveri.c:520:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmveri.c:686:34: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmveri.c:753:26: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmveri.c:772:26: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmveri.c:814:67: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmveri.c:828:41: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmvstr.c:217:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdin [valueFlowBailoutIncompleteVar]
metamath-exe-0.195/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-exe-0.195/mmvstr.c:168:17: note: Assuming that condition 'numArgs>=50' is not redundant
metamath-exe-0.195/mmvstr.c:175:8: note: Array index out of bounds
metamath-exe-0.195/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-exe-0.195/mmvstr.c:168:17: note: Assuming that condition 'numArgs>=50' is not redundant
metamath-exe-0.195/mmvstr.c:176:11: note: Array index out of bounds
metamath-exe-0.195/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-exe-0.195/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-exe-0.195/mmvstr.c:230:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmvstr.c:836:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmvstr.c:249:31: style:inconclusive: Function 'seg' argument 2 names different: declaration 'p1' definition 'start'. [funcArgNamesDifferent]
metamath-exe-0.195/mmvstr.h:155:31: note: Function 'seg' argument 2 names different: declaration 'p1' definition 'start'.
metamath-exe-0.195/mmvstr.c:249:31: note: Function 'seg' argument 2 names different: declaration 'p1' definition 'start'.
metamath-exe-0.195/mmvstr.c:249:43: style:inconclusive: Function 'seg' argument 3 names different: declaration 'p2' definition 'stop'. [funcArgNamesDifferent]
metamath-exe-0.195/mmvstr.h:155:40: note: Function 'seg' argument 3 names different: declaration 'p2' definition 'stop'.
metamath-exe-0.195/mmvstr.c:249:43: note: Function 'seg' argument 3 names different: declaration 'p2' definition 'stop'.
metamath-exe-0.195/mmvstr.c:257:31: style:inconclusive: Function 'mid' argument 2 names different: declaration 'p' definition 'start'. [funcArgNamesDifferent]
metamath-exe-0.195/mmvstr.h:156:31: note: Function 'mid' argument 2 names different: declaration 'p' definition 'start'.
metamath-exe-0.195/mmvstr.c:257:31: note: Function 'mid' argument 2 names different: declaration 'p' definition 'start'.
metamath-exe-0.195/mmvstr.c:257:43: style:inconclusive: Function 'mid' argument 3 names different: declaration 'l' definition 'length'. [funcArgNamesDifferent]
metamath-exe-0.195/mmvstr.h:156:39: note: Function 'mid' argument 3 names different: declaration 'l' definition 'length'.
metamath-exe-0.195/mmvstr.c:257:43: note: Function 'mid' argument 3 names different: declaration 'l' definition 'length'.
metamath-exe-0.195/mmvstr.c:620:17: style:inconclusive: Function 'instr' argument 1 names different: declaration 'start' definition 'start_position'. [funcArgNamesDifferent]
metamath-exe-0.195/mmvstr.h:170:17: note: Function 'instr' argument 1 names different: declaration 'start' definition 'start_position'.
metamath-exe-0.195/mmvstr.c:620:17: note: Function 'instr' argument 1 names different: declaration 'start' definition 'start_position'.
metamath-exe-0.195/mmvstr.c:620:41: style:inconclusive: Function 'instr' argument 2 names different: declaration 'sin' definition 'string1'. [funcArgNamesDifferent]
metamath-exe-0.195/mmvstr.h:170:32: note: Function 'instr' argument 2 names different: declaration 'sin' definition 'string1'.
metamath-exe-0.195/mmvstr.c:620:41: note: Function 'instr' argument 2 names different: declaration 'sin' definition 'string1'.
metamath-exe-0.195/mmvstr.c:620:58: style:inconclusive: Function 'instr' argument 3 names different: declaration 's' definition 'string2'. [funcArgNamesDifferent]
metamath-exe-0.195/mmvstr.h:170:45: note: Function 'instr' argument 3 names different: declaration 's' definition 'string2'.
metamath-exe-0.195/mmvstr.c:620:58: note: Function 'instr' argument 3 names different: declaration 's' definition 'string2'.
metamath-exe-0.195/mmvstr.c:662:35: style:inconclusive: Function 'xlate' argument 2 names different: declaration 'control' definition 'table'. [funcArgNamesDifferent]
metamath-exe-0.195/mmvstr.h:163:36: note: Function 'xlate' argument 2 names different: declaration 'control' definition 'table'.
metamath-exe-0.195/mmvstr.c:662:35: note: Function 'xlate' argument 2 names different: declaration 'control' definition 'table'.
metamath-exe-0.195/mmvstr.c:801:20: style:inconclusive: Function 'str' argument 1 names different: declaration 'x' definition 'f'. [funcArgNamesDifferent]
metamath-exe-0.195/mmvstr.h:168:20: note: Function 'str' argument 1 names different: declaration 'x' definition 'f'.
metamath-exe-0.195/mmvstr.c:801:20: note: Function 'str' argument 1 names different: declaration 'x' definition 'f'.
metamath-exe-0.195/mmvstr.c:826:21: style:inconclusive: Function 'num1' argument 1 names different: declaration 'x' definition 'f'. [funcArgNamesDifferent]
metamath-exe-0.195/mmvstr.h:167:21: note: Function 'num1' argument 1 names different: declaration 'x' definition 'f'.
metamath-exe-0.195/mmvstr.c:826:21: note: Function 'num1' argument 1 names different: declaration 'x' definition 'f'.
metamath-exe-0.195/mmvstr.c:834:20: style:inconclusive: Function 'num' argument 1 names different: declaration 'x' definition 'f'. [funcArgNamesDifferent]
metamath-exe-0.195/mmvstr.h:166:20: note: Function 'num' argument 1 names different: declaration 'x' definition 'f'.
metamath-exe-0.195/mmvstr.c:834:20: note: Function 'num' argument 1 names different: declaration 'x' definition 'f'.
metamath-exe-0.195/mmvstr.c:622:9: style: Variable 'sp1' can be declared as pointer to const [constVariablePointer]
metamath-exe-0.195/mmvstr.c:726:14: style: Variable 'time_structure' can be declared as pointer to const [constVariablePointer]
metamath-exe-0.195/mmvstr.c:768:9: style: Variable 'format' can be declared as pointer to const [constVariablePointer]
metamath-exe-0.195/mmword.c:467:7: style: Condition 'ignoreSpaces' is always true [knownConditionTrueFalse]
metamath-exe-0.195/mmword.c:456:23: note: Assignment 'ignoreSpaces=1', assigned value is 1
metamath-exe-0.195/mmword.c:467:7: note: Condition 'ignoreSpaces' is always true
metamath-exe-0.195/mmword.c:472:7: style: Condition 'ignoreSameLineComments' is always true [knownConditionTrueFalse]
metamath-exe-0.195/mmword.c:457:33: note: Assignment 'ignoreSameLineComments=1', assigned value is 1
metamath-exe-0.195/mmword.c:472:7: note: Condition 'ignoreSameLineComments' is always true
metamath-exe-0.195/mmword.c:290:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmword.c:301:60: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmword.c:375:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmword.c:380:28: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmword.c:438:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmword.c:443:28: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmword.c:481:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmword.c:491:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmword.c:540:78: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmword.c:542:36: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmword.c:557:16: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:6070: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-exe-0.195/mmwtex.c:6065:17: note: Assuming that condition 'partition>=28' is not redundant
metamath-exe-0.195/mmwtex.c:6070:22: note: Array index out of bounds
metamath-exe-0.195/mmwtex.c:6073: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-exe-0.195/mmwtex.c:6065:17: note: Assuming that condition 'partition>=28' is not redundant
metamath-exe-0.195/mmwtex.c:6073:24: note: Array index out of bounds
metamath-exe-0.195/mmwtex.c:6076: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-exe-0.195/mmwtex.c:6065:17: note: Assuming that condition 'partition>=28' is not redundant
metamath-exe-0.195/mmwtex.c:6076:23: note: Array index out of bounds
metamath-exe-0.195/mmwtex.c:452:11: style: The if condition is the same as the previous if condition [duplicateCondition]
metamath-exe-0.195/mmwtex.c:391:11: note: First condition
metamath-exe-0.195/mmwtex.c:452:11: note: Second condition
metamath-exe-0.195/mmwtex.c:2921:21: style: The if condition is the same as the previous if condition [duplicateCondition]
metamath-exe-0.195/mmwtex.c:2914:21: note: First condition
metamath-exe-0.195/mmwtex.c:2921:21: note: Second condition
metamath-exe-0.195/mmwtex.c:5481:22: style: The if condition is the same as the previous if condition [duplicateCondition]
metamath-exe-0.195/mmwtex.c:5473:22: note: First condition
metamath-exe-0.195/mmwtex.c:5481:22: note: Second condition
metamath-exe-0.195/mmwtex.c:6245:15: style: The if condition is the same as the previous if condition [duplicateCondition]
metamath-exe-0.195/mmwtex.c:6230:15: note: First condition
metamath-exe-0.195/mmwtex.c:6245:15: note: Second condition
metamath-exe-0.195/mmwtex.c:6271:15: style: The if condition is the same as the previous if condition [duplicateCondition]
metamath-exe-0.195/mmwtex.c:6262:15: note: First condition
metamath-exe-0.195/mmwtex.c:6271:15: note: Second condition
metamath-exe-0.195/mmwtex.c:6871:20: style: The if condition is the same as the previous if condition [duplicateCondition]
metamath-exe-0.195/mmwtex.c:6868:20: note: First condition
metamath-exe-0.195/mmwtex.c:6871:20: note: Second condition
metamath-exe-0.195/mmwtex.c:4275:44: style: Condition 'hdrCommentAnchorDone==0' is always true [knownConditionTrueFalse]
metamath-exe-0.195/mmwtex.c:4235:36: note: Assignment 'hdrCommentAnchorDone=0', assigned value is 0
metamath-exe-0.195/mmwtex.c:4275:44: note: Condition 'hdrCommentAnchorDone==0' is always true
metamath-exe-0.195/mmwtex.c:4461:59: style: Condition 'passNumber==2' is always true [knownConditionTrueFalse]
metamath-exe-0.195/mmwtex.c:4448:33: note: Assuming that condition 'passNumber==2' is not redundant
metamath-exe-0.195/mmwtex.c:4461:59: note: Condition 'passNumber==2' is always true
metamath-exe-0.195/mmwtex.c:4524:58: style: Condition 'passNumber==2' is always true [knownConditionTrueFalse]
metamath-exe-0.195/mmwtex.c:4511:33: note: Assuming that condition 'passNumber==2' is not redundant
metamath-exe-0.195/mmwtex.c:4524:58: note: Condition 'passNumber==2' is always true
metamath-exe-0.195/mmwtex.c:4771:13: style: Condition 's==s+0' is always true [knownConditionTrueFalse]
metamath-exe-0.195/mmwtex.c:5525:9: style: Condition 'pos' is always true [knownConditionTrueFalse]
metamath-exe-0.195/mmwtex.c:5589:9: style: Condition 'pos' is always true [knownConditionTrueFalse]
metamath-exe-0.195/mmwtex.c:5647:9: style: Condition 'pos' is always true [knownConditionTrueFalse]
metamath-exe-0.195/mmwtex.c:5707:9: style: Condition 'pos' is always true [knownConditionTrueFalse]
metamath-exe-0.195/mmwtex.c:6540:13: style: Condition 'j' is always true [knownConditionTrueFalse]
metamath-exe-0.195/mmwtex.c:243:15: style: Variable 'tmpPtr[j]' is reassigned a value before the old one has been used. [redundantAssignment]
metamath-exe-0.195/mmwtex.c:239:17: note: tmpPtr[j] is assigned
metamath-exe-0.195/mmwtex.c:243:15: note: tmpPtr[j] is overwritten
metamath-exe-0.195/mmwtex.c:202:22: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:378:39: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:430:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:525:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:550:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:614:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:651:42: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:696:24: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:714:68: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:730:24: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:761:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:782:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:821:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:863:67: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:866:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:894:39: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:897:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:1053:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:1057:65: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:1069:68: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:1111:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:1115:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:1119:65: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:1169:64: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:1173:64: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:1197:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:1200:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:1209:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:1268:51: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:1270:44: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:1273:37: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:1339:79: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:1351:79: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:1595:21: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:1603:21: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:1650:21: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:1868:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:1873:37: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:1947:33: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2173:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2178:32: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2179:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2198:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2201:51: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2274:31: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2276:37: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2323:33: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2325:39: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2411:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2415:58: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2421:41: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2424:47: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2448:41: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2451:47: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2456:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2459:44: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2480:33: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2482:39: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2526:35: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2528:41: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2579:64: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2610:66: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2616:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2620:47: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2651:68: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2661:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2663:22: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2665:22: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2686:60: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2703:30: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2716:58: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2723:58: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2737:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2743:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2746:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2760:60: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2774:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2792:70: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2799:28: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2809:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2829:26: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2838:54: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2874:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2891:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2936:84: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2960:55: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:2983:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3020:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3028:75: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3032:27: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3044:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3051:21: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3062:48: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3066:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3085:76: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3089:20: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3098:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3101:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3103:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3146:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3160:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3171:42: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3180:42: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3192:42: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3201:42: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3449:22: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3457:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3461:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3477:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3489:31: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3502:72: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3512:23: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3520:25: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3552:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3573:25: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3582:32: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3586:74: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3598:33: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3621:19: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3632:55: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3646:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3651:23: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3670:44: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3820:71: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3882:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3886:19: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3921:56: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3934:71: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3935:23: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3958:19: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3963:42: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3965:73: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3971:19: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3973:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:3975:61: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:4061:47: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:4253:68: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:4267:28: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:4282:34: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:4305:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:4330:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:4331:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:4342:27: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:4361:27: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:4376:34: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:4400:38: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:4423:54: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:4425:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:4436:27: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:4456:29: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:4470:34: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:4499:27: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:4519:28: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:4533:34: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:4562:27: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:4612:43: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:4633:43: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:4659:43: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:4708:21: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:4810:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:4860:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:4877:40: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:4927:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:4944:33: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:4994:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:5013:33: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:5063:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:5074:68: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:5076:60: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:5090:62: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:5134:67: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:5135:59: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:5144:31: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:5158:52: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:5192:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:5251:21: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:5253:43: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:5322:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:5839:73: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:5865:37: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:6140:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:6142:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:6147:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:6149:54: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:6189:41: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:6219:49: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:6238:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:6249:41: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:6257:41: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:6266:41: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:6275:41: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:6280:37: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:6291:53: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:6293:39: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:6327:15: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:6336:26: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:6343:17: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:6351:50: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:6359:11: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:6370:13: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:6376:13: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:6384:46: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:6440:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:6544:63: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:6546:74: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:6727:68: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:6728:60: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:6753:19: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:6792:57: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:6811:45: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:6852:51: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:6875:33: portability: Passing NULL after the last typed argument to a variadic function leads to undefined behaviour. [varFuncNullUB]
metamath-exe-0.195/mmwtex.c:5462:7: style: Redundant pointer operation on 'hugeHdrTitle' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmwtex.c:5463:7: style: Redundant pointer operation on 'bigHdrTitle' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmwtex.c:5464:7: style: Redundant pointer operation on 'smallHdrTitle' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmwtex.c:5465:7: style: Redundant pointer operation on 'tinyHdrTitle' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmwtex.c:5466:7: style: Redundant pointer operation on 'hugeHdrComment' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmwtex.c:5467:7: style: Redundant pointer operation on 'bigHdrComment' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmwtex.c:5468:7: style: Redundant pointer operation on 'smallHdrComment' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmwtex.c:5469:7: style: Redundant pointer operation on 'tinyHdrComment' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmwtex.c:5544:11: style: Redundant pointer operation on 'hugeHdrTitle' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmwtex.c:5545:11: style: Redundant pointer operation on 'hugeHdrTitle' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmwtex.c:5547:11: style: Redundant pointer operation on 'hugeHdrComment' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmwtex.c:5548:11: style: Redundant pointer operation on 'hugeHdrComment' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmwtex.c:5564:11: style: Redundant pointer operation on 'hugeHdrTitle' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmwtex.c:5565:11: style: Redundant pointer operation on 'hugeHdrComment' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmwtex.c:5608:11: style: Redundant pointer operation on 'bigHdrTitle' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmwtex.c:5609:11: style: Redundant pointer operation on 'bigHdrTitle' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmwtex.c:5611:11: style: Redundant pointer operation on 'bigHdrComment' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmwtex.c:5612:11: style: Redundant pointer operation on 'bigHdrComment' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmwtex.c:5628:11: style: Redundant pointer operation on 'bigHdrTitle' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmwtex.c:5629:11: style: Redundant pointer operation on 'bigHdrComment' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmwtex.c:5666:11: style: Redundant pointer operation on 'smallHdrTitle' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmwtex.c:5667:11: style: Redundant pointer operation on 'smallHdrTitle' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmwtex.c:5669:11: style: Redundant pointer operation on 'smallHdrComment' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmwtex.c:5670:11: style: Redundant pointer operation on 'smallHdrComment' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmwtex.c:5686:11: style: Redundant pointer operation on 'smallHdrTitle' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmwtex.c:5687:11: style: Redundant pointer operation on 'smallHdrComment' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmwtex.c:5726:11: style: Redundant pointer operation on 'tinyHdrTitle' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmwtex.c:5727:11: style: Redundant pointer operation on 'tinyHdrTitle' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmwtex.c:5729:11: style: Redundant pointer operation on 'tinyHdrComment' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmwtex.c:5730:11: style: Redundant pointer operation on 'tinyHdrComment' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmwtex.c:5746:11: style: Redundant pointer operation on 'tinyHdrTitle' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmwtex.c:5747:11: style: Redundant pointer operation on 'tinyHdrComment' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmwtex.c:6987:13: style: Redundant pointer operation on 'mathboxUser' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmwtex.c:6990:13: style: Redundant pointer operation on 'mathboxStart' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmwtex.c:6994:11: style: Redundant pointer operation on 'mathboxEnd' - it's already a pointer. [redundantPointerOp]
metamath-exe-0.195/mmwtex.c:3285:35: style:inconclusive: Function 'printTexLongMath' argument 1 names different: declaration 'proofStep' definition 'mathString'. [funcArgNamesDifferent]
metamath-exe-0.195/mmwtex.h:115:35: note: Function 'printTexLongMath' argument 1 names different: declaration 'proofStep' definition 'mathString'.
metamath-exe-0.195/mmwtex.c:3285:35: note: Function 'printTexLongMath' argument 1 names different: declaration 'proofStep' definition 'mathString'.
metamath-exe-0.195/mmwtex.c:3688:27: style:inconclusive: Function 'printTexTrailer' argument 1 names different: declaration 'texHeaderFlag' definition 'texTrailerFlag'. [funcArgNamesDifferent]
metamath-exe-0.195/mmwtex.h:117:27: note: Function 'printTexTrailer' argument 1 names different: declaration 'texHeaderFlag' definition 'texTrailerFlag'.
metamath-exe-0.195/mmwtex.c:3688:27: note: Function 'printTexTrailer' argument 1 names different: declaration 'texHeaderFlag' definition 'texTrailerFlag'.
metamath-exe-0.195/mmwtex.c:155:9: style: Variable 'tmpPtr2' can be declared as pointer to const [constVariablePointer]
metamath-exe-0.195/mmwtex.c:173:9: style: Variable 'g_mathKeyPtr' can be declared as pointer to const [constVariablePointer]
metamath-exe-0.195/mmwtex.c:174:9: style: Variable 'texDefsPtr' can be declared as pointer to const [constVariablePointer]
metamath-exe-0.195/mmwtex.c:925:9: style: Variable 'ptr1' can be declared as pointer to const [constVariablePointer]
metamath-exe-0.195/mmwtex.c:976:9: style: Variable 'ptr1' can be declared as pointer to const [constVariablePointer]
diff:
2.17.0 metamath-exe-0.195/mmpars.c:5775:11: error: If memory allocation fail: overflow in pointer arithmetic, NULL pointer is subtracted. [nullPointerArithmeticOutOfMemory]
     metamath-exe-0.195/mmpars.c:5720:15: note: Assuming allocation function fails
     metamath-exe-0.195/mmpars.c:5720:15: note: Assignment 'buf=malloc((unsigned long)(size+1)*sizeof(char))', assigned value is 0
     metamath-exe-0.195/mmpars.c:5722:9: note: Assignment 'ptr=buf', assigned value is 0
     metamath-exe-0.195/mmpars.c:5724:23: note: Assuming condition is false
     metamath-exe-0.195/mmpars.c:5775:11: note: Null pointer subtraction
head metamath-exe-0.195/mmpars.c:5775:11: error: If memory allocation fails: overflow in pointer arithmetic, NULL pointer is subtracted. [nullPointerArithmeticOutOfMemory]
     metamath-exe-0.195/mmpars.c:5720:15: note: Assuming allocation function fails
     metamath-exe-0.195/mmpars.c:5720:15: note: Assignment 'buf=malloc((unsigned long)(size+1)*sizeof(char))', assigned value is 0
     metamath-exe-0.195/mmpars.c:5722:9: note: Assignment 'ptr=buf', assigned value is 0
     metamath-exe-0.195/mmpars.c:5724:23: note: Assuming condition is false
     metamath-exe-0.195/mmpars.c:5775:11: note: Null pointer subtraction


DONE