2025-05-08 09:23 ftp://ftp.de.debian.org/debian/pool/main/t/tenmado/tenmado_0.10.orig.tar.gz cppcheck-options: --library=posix --library=gnu --library=bsd --library=sdl --library=bsd --inconclusive --enable=style,information --inline-suppr --template=daca2 --disable=missingInclude --suppress=unmatchedSuppression --check-library --debug-warnings --suppress=autoNoType --suppress=valueFlowBailout --suppress=bailoutUninitVar --suppress=symbolDatabaseWarning --suppress=normalCheckLevelConditionExpressions -D__GNUC__ --platform=unix64 -j3 platform: Linux-6.8.0-1022-oracle-aarch64-with-glibc2.39 python: 3.12.3 client-version: 1.3.67 compiler: g++ (Ubuntu 13.3.0-6ubuntu2~24.04) 13.3.0 cppcheck: head 2.17.0 head-info: ebc80c0 (2025-05-07 18:59:31 +0200) count: 377 377 elapsed-time: 6.6 6.7 head-timing-info: old-timing-info: head results: tenmado-0.10/chain.c:55:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/chain.c:138:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/chain.c:152:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/chain.c:224:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/balloon.c:41:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/balloon.c:131:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable r [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/balloon.c:175:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/balloon.c:68:15: style: Condition 'count!=NULL' is always true [knownConditionTrueFalse] tenmado-0.10/happy-L/close-system.c:66:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/close-system.c:270:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/close-system.c:409:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/close-system.c:429:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/ending.c:18:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SCHEDULER_SUCCESS [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/explosion.c:43:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/disconnection.c:67:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/disconnection.c:117:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/disconnection.c:193:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable WINDOW_WIDTH [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/disconnection.c:296:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/disconnection.c:313:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ATTR_PLAYER_SHOT [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/disconnection.c:424:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable COLOR_PURPLE [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/disconnection.c:493:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/disconnection.c:519:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable WINDOW_WIDTH [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/disconnection.c:693:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/disconnection.c:710:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ATTR_PLAYER_SHOT [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/disconnection.c:873:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/disconnection.c:888:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable WINDOW_WIDTH [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/disconnection.c:1009:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/disconnection.c:1050:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable COLOR_GREEN [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/disconnection.c:1287:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/fud.c:57:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/fud.c:108:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable WINDOW_WIDTH [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/fud.c:204:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/fud.c:343:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable WINDOW_WIDTH [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/fud.c:379:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ATTR_PLAYER_SHOT [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/fud.c:491:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/fud.c:554:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable WINDOW_WIDTH [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/fud.c:626:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/fud.c:729:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable WINDOW_WIDTH [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/fud.c:766:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable COLOR_GREEN [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/close-system.c:124:15: style: Condition 'count!=NULL' is always true [knownConditionTrueFalse] tenmado-0.10/happy-L/close-system.c:173:3: warning:inconclusive: Either the condition 'count!=NULL' is redundant or there is possible null pointer dereference: count. [nullPointerRedundantCheck] tenmado-0.10/happy-L/close-system.c:196:15: note: Assuming that condition 'count!=NULL' is not redundant tenmado-0.10/happy-L/close-system.c:173:3: note: Null pointer dereference tenmado-0.10/happy-L/close-system.c:174:3: warning:inconclusive: Either the condition 'count!=NULL' is redundant or there is possible null pointer dereference: count. [nullPointerRedundantCheck] tenmado-0.10/happy-L/close-system.c:196:15: note: Assuming that condition 'count!=NULL' is not redundant tenmado-0.10/happy-L/close-system.c:174:3: note: Null pointer dereference tenmado-0.10/happy-L/close-system.c:176:3: warning:inconclusive: Either the condition 'count_d!=NULL' is redundant or there is possible null pointer dereference: count_d. [nullPointerRedundantCheck] tenmado-0.10/happy-L/close-system.c:194:17: note: Assuming that condition 'count_d!=NULL' is not redundant tenmado-0.10/happy-L/close-system.c:176:3: note: Null pointer dereference tenmado-0.10/happy-L/close-system.c:177:3: warning:inconclusive: Either the condition 'count_d!=NULL' is redundant or there is possible null pointer dereference: count_d. [nullPointerRedundantCheck] tenmado-0.10/happy-L/close-system.c:194:17: note: Assuming that condition 'count_d!=NULL' is not redundant tenmado-0.10/happy-L/close-system.c:177:3: note: Null pointer dereference tenmado-0.10/happy-L/close-system.c:180:3: warning:inconclusive: Either the condition 'count_d!=NULL' is redundant or there is possible null pointer dereference: count_d. [nullPointerRedundantCheck] tenmado-0.10/happy-L/close-system.c:194:17: note: Assuming that condition 'count_d!=NULL' is not redundant tenmado-0.10/happy-L/close-system.c:180:3: note: Null pointer dereference tenmado-0.10/happy-L/high-score.c:116:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/high-score.c:158:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/high-score.c:188:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/high-score.c:214:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/high-score.c:250:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BAC_LOAD_FLAG_NO_DELETE [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/high-score.c:464:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/high-score.c:522:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable n [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/high-score.c:559:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BAC_LOAD_FLAG_NO_SORT [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/high-score.c:648:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/high-score.c:681:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable DATADIR [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/fud.c:231:15: style: Condition 'count!=NULL' is always true [knownConditionTrueFalse] tenmado-0.10/happy-L/fud.c:662:15: style: Condition 'count!=NULL' is always true [knownConditionTrueFalse] tenmado-0.10/happy-L/fud.c:288:3: warning:inconclusive: Either the condition 'count!=NULL' is redundant or there is possible null pointer dereference: count. [nullPointerRedundantCheck] tenmado-0.10/happy-L/fud.c:310:15: note: Assuming that condition 'count!=NULL' is not redundant tenmado-0.10/happy-L/fud.c:288:3: note: Null pointer dereference tenmado-0.10/happy-L/fud.c:289:3: warning:inconclusive: Either the condition 'count!=NULL' is redundant or there is possible null pointer dereference: count. [nullPointerRedundantCheck] tenmado-0.10/happy-L/fud.c:310:15: note: Assuming that condition 'count!=NULL' is not redundant tenmado-0.10/happy-L/fud.c:289:3: note: Null pointer dereference tenmado-0.10/happy-L/fud.c:291:3: warning:inconclusive: Either the condition 'count!=NULL' is redundant or there is possible null pointer dereference: count. [nullPointerRedundantCheck] tenmado-0.10/happy-L/fud.c:310:15: note: Assuming that condition 'count!=NULL' is not redundant tenmado-0.10/happy-L/fud.c:291:3: note: Null pointer dereference tenmado-0.10/happy-L/fud.c:292:3: warning:inconclusive: Either the condition 'count!=NULL' is redundant or there is possible null pointer dereference: count. [nullPointerRedundantCheck] tenmado-0.10/happy-L/fud.c:310:15: note: Assuming that condition 'count!=NULL' is not redundant tenmado-0.10/happy-L/fud.c:292:3: note: Null pointer dereference tenmado-0.10/happy-L/fud.c:293:3: warning:inconclusive: Either the condition 'count!=NULL' is redundant or there is possible null pointer dereference: count. [nullPointerRedundantCheck] tenmado-0.10/happy-L/fud.c:310:15: note: Assuming that condition 'count!=NULL' is not redundant tenmado-0.10/happy-L/fud.c:293:3: note: Null pointer dereference tenmado-0.10/happy-L/fud.c:499:3: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] tenmado-0.10/happy-L/high-score.c:91:8: portability: Non reentrant function 'getpwuid' called. For threadsafe applications it is recommended to use the reentrant replacement function 'getpwuid_r'. [prohibitedgetpwuidCalled] tenmado-0.10/happy-L/high-score.c:417:23: portability: Non reentrant function 'localtime' called. For threadsafe applications it is recommended to use the reentrant replacement function 'localtime_r'. [prohibitedlocaltimeCalled] tenmado-0.10/happy-L/high-score.c:267:12: style: Same expression on both sides of '=='. [duplicateExpression] tenmado-0.10/happy-L/high-score.c:78:18: style: Variable 'pw' can be declared as pointer to const [constVariablePointer] tenmado-0.10/happy-L/high-score.c:243:14: style: Variable 'broken_time' can be declared as pointer to const [constVariablePointer] tenmado-0.10/happy-L/high-score.c:71:18: style: Variable 'score_sort' is assigned a value that is never used. [unreadVariable] tenmado-0.10/happy-L/image.c:44:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable DATADIR [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/intuition.c:47:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable WINDOW_WIDTH [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/intuition.c:168:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ATTR_PLAYER_SHOT [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/intuition.c:417:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable COLOR_PURPLE [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/intuition.c:456:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/intuition.c:501:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/intuition.c:605:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ATTR_OPAQUE [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/laser.c:32:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/laser.c:75:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/laser.c:129:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/laser.c:203:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/laser.c:230:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/laser.c:250:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/disconnection.c:226:15: style: Condition 'count!=NULL' is always true [knownConditionTrueFalse] tenmado-0.10/happy-L/disconnection.c:592:15: style: Condition 'count!=NULL' is always true [knownConditionTrueFalse] tenmado-0.10/happy-L/disconnection.c:935:15: style: Condition 'count!=NULL' is always true [knownConditionTrueFalse] tenmado-0.10/happy-L/disconnection.c:531:7: style: Redundant initialization for 'x'. The initialized value is overwritten before it is read. [redundantInitialization] tenmado-0.10/happy-L/disconnection.c:519:12: note: x is initialized tenmado-0.10/happy-L/disconnection.c:531:7: note: x is overwritten tenmado-0.10/happy-L/disconnection.c:899:7: style: Redundant initialization for 'x'. The initialized value is overwritten before it is read. [redundantInitialization] tenmado-0.10/happy-L/disconnection.c:888:12: note: x is initialized tenmado-0.10/happy-L/disconnection.c:899:7: note: x is overwritten tenmado-0.10/happy-L/disconnection.c:502:3: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] tenmado-0.10/happy-L/disconnection.c:1293:3: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] tenmado-0.10/happy-L/last-boss.c:80:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable WINDOW_WIDTH [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/last-boss.c:188:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/last-boss.c:208:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ATTR_PLAYER_SHOT [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/last-boss.c:356:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/last-boss.c:365:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable WINDOW_WIDTH [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/last-boss.c:401:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable WINDOW_WIDTH [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/last-boss.c:470:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable WINDOW_WIDTH [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/last-boss.c:515:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable WINDOW_WIDTH [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/last-boss.c:568:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable COLOR_PURPLE [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/last-boss.c:652:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/last-boss.c:741:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/last-boss.c:784:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable COLOR_GREEN [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/last-boss.c:839:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/last-boss.c:882:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable COLOR_PURPLE [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/last-boss.c:925:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/last-boss.c:1106:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/last-boss.c:1255:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/message.c:37:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/message.c:104:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable WINDOW_WIDTH [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/midnight.c:51:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable WINDOW_WIDTH [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/midnight.c:176:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/midnight.c:194:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ATTR_PLAYER_SHOT [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/midnight.c:297:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable WINDOW_WIDTH [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/midnight.c:434:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/midnight.c:471:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/midnight.c:623:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/midnight.c:641:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ATTR_PLAYER_SHOT [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/midnight.c:739:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable COLOR_BLUE [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/midnight.c:793:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable WINDOW_HEIGHT [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/midnight.c:918:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/last-boss.c:113:15: style: Condition 'count!=NULL' is always true [knownConditionTrueFalse] tenmado-0.10/happy-L/last-boss.c:1294:34: style: Parameter 'my' can be declared as pointer to const. However it seems that 'last_boss_demo_draw' is a callback function, if 'my' is declared with const you might also need to cast function pointer(s). [constParameterCallback] tenmado-0.10/happy-L/last-boss.c:1273:55: note: You might need to cast the function pointer here tenmado-0.10/happy-L/last-boss.c:1294:34: note: Parameter 'my' can be declared as pointer to const tenmado-0.10/happy-L/normal-enemy.c:65:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ATTR_ENEMY [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/normal-enemy.c:505:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/normal-enemy.c:552:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ATTR_OBSTACLE [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/normal-enemy.c:678:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/normal-enemy.c:868:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/normal-enemy.c:993:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/normal-enemy.c:1047:3: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] tenmado-0.10/happy-L/midnight.c:101:15: style: Condition 'count!=NULL' is always true [knownConditionTrueFalse] tenmado-0.10/happy-L/midnight.c:503:15: style: Condition 'count!=NULL' is always true [knownConditionTrueFalse] tenmado-0.10/happy-L/midnight.c:526:17: style: Condition 'count_d!=NULL' is always true [knownConditionTrueFalse] tenmado-0.10/happy-L/midnight.c:548:3: warning: Either the condition 'count!=NULL' is redundant or there is possible null pointer dereference: count. [nullPointerRedundantCheck] tenmado-0.10/happy-L/midnight.c:571:15: note: Assuming that condition 'count!=NULL' is not redundant tenmado-0.10/happy-L/midnight.c:548:3: note: Null pointer dereference tenmado-0.10/happy-L/midnight.c:549:3: warning: Either the condition 'count!=NULL' is redundant or there is possible null pointer dereference: count. [nullPointerRedundantCheck] tenmado-0.10/happy-L/midnight.c:571:15: note: Assuming that condition 'count!=NULL' is not redundant tenmado-0.10/happy-L/midnight.c:549:3: note: Null pointer dereference tenmado-0.10/happy-L/midnight.c:550:3: warning: Either the condition 'count!=NULL' is redundant or there is possible null pointer dereference: count. [nullPointerRedundantCheck] tenmado-0.10/happy-L/midnight.c:571:15: note: Assuming that condition 'count!=NULL' is not redundant tenmado-0.10/happy-L/midnight.c:550:3: note: Null pointer dereference tenmado-0.10/happy-L/midnight.c:551:3: warning: Either the condition 'count!=NULL' is redundant or there is possible null pointer dereference: count. [nullPointerRedundantCheck] tenmado-0.10/happy-L/midnight.c:571:15: note: Assuming that condition 'count!=NULL' is not redundant tenmado-0.10/happy-L/midnight.c:551:3: note: Null pointer dereference tenmado-0.10/happy-L/midnight.c:552:3: warning: Either the condition 'count!=NULL' is redundant or there is possible null pointer dereference: count. [nullPointerRedundantCheck] tenmado-0.10/happy-L/midnight.c:571:15: note: Assuming that condition 'count!=NULL' is not redundant tenmado-0.10/happy-L/midnight.c:552:3: note: Null pointer dereference tenmado-0.10/happy-L/midnight.c:553:3: warning: Either the condition 'count!=NULL' is redundant or there is possible null pointer dereference: count. [nullPointerRedundantCheck] tenmado-0.10/happy-L/midnight.c:571:15: note: Assuming that condition 'count!=NULL' is not redundant tenmado-0.10/happy-L/midnight.c:553:3: note: Null pointer dereference tenmado-0.10/happy-L/midnight.c:555:3: warning: Either the condition 'count_d!=NULL' is redundant or there is possible null pointer dereference: count_d. [nullPointerRedundantCheck] tenmado-0.10/happy-L/midnight.c:569:17: note: Assuming that condition 'count_d!=NULL' is not redundant tenmado-0.10/happy-L/midnight.c:555:3: note: Null pointer dereference tenmado-0.10/happy-L/midnight.c:556:3: warning: Either the condition 'count_d!=NULL' is redundant or there is possible null pointer dereference: count_d. [nullPointerRedundantCheck] tenmado-0.10/happy-L/midnight.c:569:17: note: Assuming that condition 'count_d!=NULL' is not redundant tenmado-0.10/happy-L/midnight.c:556:3: note: Null pointer dereference tenmado-0.10/happy-L/midnight.c:444:3: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] tenmado-0.10/happy-L/midnight.c:928:3: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] tenmado-0.10/happy-L/normal-shot.c:33:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/normal-shot.c:68:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/normal-shot.c:117:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/normal-shot.c:193:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/normal-shot.c:220:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/normal-shot.c:241:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/normal-shot.c:261:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/normal-shot.c:215:30: style: Parameter 'my' can be declared as pointer to const. However it seems that 'normal_shot_hit' is a callback function, if 'my' is declared with const you might also need to cast function pointer(s). [constParameterCallback] tenmado-0.10/happy-L/normal-shot.c:165:25: note: You might need to cast the function pointer here tenmado-0.10/happy-L/normal-shot.c:215:30: note: Parameter 'my' can be declared as pointer to const tenmado-0.10/happy-L/normal-shot.c:215:47: style: Parameter 'your' can be declared as pointer to const. However it seems that 'normal_shot_hit' is a callback function, if 'your' is declared with const you might also need to cast function pointer(s). [constParameterCallback] tenmado-0.10/happy-L/normal-shot.c:165:25: note: You might need to cast the function pointer here tenmado-0.10/happy-L/normal-shot.c:215:47: note: Parameter 'your' can be declared as pointer to const tenmado-0.10/happy-L/player-shot.c:31:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/player-shot.c:129:47: style: Parameter 'your' can be declared as pointer to const. However it seems that 'player_shot_hit' is a callback function, if 'your' is declared with const you might also need to cast function pointer(s). [constParameterCallback] tenmado-0.10/happy-L/player-shot.c:74:64: note: You might need to cast the function pointer here tenmado-0.10/happy-L/player-shot.c:129:47: note: Parameter 'your' can be declared as pointer to const tenmado-0.10/happy-L/overrun.c:53:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable WINDOW_WIDTH [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/overrun.c:160:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/overrun.c:178:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ATTR_PLAYER_SHOT [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/overrun.c:281:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable WINDOW_WIDTH [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/overrun.c:360:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/overrun.c:395:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/overrun.c:537:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/overrun.c:552:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ATTR_PLAYER_SHOT [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/overrun.c:641:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable WINDOW_WIDTH [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/overrun.c:709:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/player.c:44:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/player.c:194:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable WINDOW_WIDTH [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/player.c:286:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable WINDOW_WIDTH [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/player.c:381:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable WINDOW_WIDTH [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/overrun.c:91:15: style: Condition 'count!=NULL' is always true [knownConditionTrueFalse] tenmado-0.10/happy-L/overrun.c:426:15: style: Condition 'count!=NULL' is always true [knownConditionTrueFalse] tenmado-0.10/happy-L/overrun.c:484:3: warning:inconclusive: Either the condition 'count!=NULL' is redundant or there is possible null pointer dereference: count. [nullPointerRedundantCheck] tenmado-0.10/happy-L/overrun.c:506:15: note: Assuming that condition 'count!=NULL' is not redundant tenmado-0.10/happy-L/overrun.c:484:3: note: Null pointer dereference tenmado-0.10/happy-L/overrun.c:485:3: warning:inconclusive: Either the condition 'count!=NULL' is redundant or there is possible null pointer dereference: count. [nullPointerRedundantCheck] tenmado-0.10/happy-L/overrun.c:506:15: note: Assuming that condition 'count!=NULL' is not redundant tenmado-0.10/happy-L/overrun.c:485:3: note: Null pointer dereference tenmado-0.10/happy-L/overrun.c:486:3: warning:inconclusive: Either the condition 'count!=NULL' is redundant or there is possible null pointer dereference: count. [nullPointerRedundantCheck] tenmado-0.10/happy-L/overrun.c:506:15: note: Assuming that condition 'count!=NULL' is not redundant tenmado-0.10/happy-L/overrun.c:486:3: note: Null pointer dereference tenmado-0.10/happy-L/overrun.c:487:3: warning:inconclusive: Either the condition 'count!=NULL' is redundant or there is possible null pointer dereference: count. [nullPointerRedundantCheck] tenmado-0.10/happy-L/overrun.c:506:15: note: Assuming that condition 'count!=NULL' is not redundant tenmado-0.10/happy-L/overrun.c:487:3: note: Null pointer dereference tenmado-0.10/happy-L/overrun.c:370:3: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] tenmado-0.10/happy-L/overrun.c:728:3: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] tenmado-0.10/happy-L/result.c:49:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/result.c:229:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable n [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/result.c:163:12: style: Same expression on both sides of '=='. [duplicateExpression] tenmado-0.10/happy-L/rotate-laser.c:49:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/rotate-laser.c:157:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable v [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/player.c:89:15: style: Condition 'count!=NULL' is always true [knownConditionTrueFalse] tenmado-0.10/happy-L/player.c:301:42: style: Parameter 'your' can be declared as pointer to const. However it seems that 'player_hit' is a callback function, if 'your' is declared with const you might also need to cast function pointer(s). [constParameterCallback] tenmado-0.10/happy-L/player.c:124:68: note: You might need to cast the function pointer here tenmado-0.10/happy-L/player.c:301:42: note: Parameter 'your' can be declared as pointer to const tenmado-0.10/happy-L/rotate-laser.c:34:27: warning: Logical conjunction always evaluates to false: speed_theta > 0.1 && speed_theta < 0.1. [incorrectLogicOperator] tenmado-0.10/happy-L/scheduler.c:26:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SCHEDULER_SUCCESS [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/solution.c:45:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable WINDOW_WIDTH [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/solution.c:165:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ATTR_PLAYER_SHOT [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/solution.c:221:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable WINDOW_WIDTH [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/solution.c:292:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/solution.c:321:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/stage-1.c:33:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SCHEDULER_SUCCESS [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/stage-1.c:558:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/stage-1.c:614:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable COLOR_PURPLE [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/stage-1.c:784:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/stage-1.c:837:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable COLOR_PURPLE [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/stage-1.c:929:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/stage-1.c:981:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable COLOR_BLUE [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/stage-1.c:1060:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/stage-1.c:1115:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable COLOR_RED [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/stage-1.c:1231:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/stage-1.c:1277:61: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable COLOR_BLUE [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/solution.c:81:27: style: Condition 'count!=NULL' is always true [knownConditionTrueFalse] tenmado-0.10/happy-L/solution.c:301:3: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] tenmado-0.10/happy-L/solution.c:323:5: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] tenmado-0.10/happy-L/stage-2.c:28:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SCHEDULER_SUCCESS [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/stage-2.c:1430:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/stage-2.c:1483:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/stage-2.c:1237:11: style: Variable 'color' is assigned a value that is never used. [unreadVariable] tenmado-0.10/happy-L/stage-1.c:30:9: style: Variable 'i' is assigned a value that is never used. [unreadVariable] tenmado-0.10/happy-L/stage-4.c:22:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SCHEDULER_SUCCESS [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/stage-3.c:35:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SCHEDULER_SUCCESS [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/stage-3.c:1340:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/stage-3.c:1390:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable COLOR_PURPLE [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/stage-3.c:1494:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/stage-3.c:1541:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable WINDOW_WIDTH [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/stage-3.c:1595:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/stage-3.c:1650:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable COLOR_BLUE [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/stage-3.c:1706:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/stage-3.c:1765:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable COLOR_PURPLE [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/stage-3.c:1883:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/stage-3.c:1938:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable WINDOW_WIDTH [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/stage-5.c:25:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SCHEDULER_SUCCESS [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/stage-5.c:464:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/stage-5.c:521:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable COLOR_BLUE [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/stage-5.c:699:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/stage-5.c:761:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/stage-5.c:707:15: style: Condition 'count!=NULL' is always true [knownConditionTrueFalse] tenmado-0.10/happy-L/stage-clear.c:29:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/stage-clear.c:106:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/title.c:135:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/stage-3.c:852:9: style: Variable 'y' is assigned a value that is never used. [unreadVariable] tenmado-0.10/happy-L/stage-3.c:854:9: style: Variable 'y' is assigned a value that is never used. [unreadVariable] tenmado-0.10/happy-L/stage-3.c:912:9: style: Variable 'y' is assigned a value that is never used. [unreadVariable] tenmado-0.10/happy-L/stage-3.c:914:9: style: Variable 'y' is assigned a value that is never used. [unreadVariable] tenmado-0.10/happy-L/title.c:43:12: style: Same expression on both sides of '=='. [duplicateExpression] tenmado-0.10/happy-L/wall.c:43:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/wall.c:128:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/tutorial.c:19:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SCHEDULER_SUCCESS [valueFlowBailoutIncompleteVar] tenmado-0.10/hit-status.c:37:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libbac/bac_array.c:17:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libbac/bac_array.c:55:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libbac/bac_array.c:112:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/tutorial.c:23:14: style: Variable 'length' is assigned a value that is never used. [unreadVariable] tenmado-0.10/libbac/bac_dump.c:37:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libbac/bac_dump.c:97:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libbac/bac_entry.c:33:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libbac/bac_entry.c:101:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libbac/bac_entry.c:132:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libbac/bac_entry_to_string.c:31:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libbac/bac_entry_to_string.c:58:14: style: Condition 'isprint('\n')' is always false [knownConditionTrueFalse] tenmado-0.10/libbac/bac_entry_to_string.c:63:14: style: Condition 'isprint('\t')' is always false [knownConditionTrueFalse] bac_lexical.c:1425:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdin [valueFlowBailoutIncompleteVar] bac_lexical.c:1874:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar] bac_lexical.c:2140:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar] bac_lexical.c:2374:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libbac/bac_load.c:239:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] bac_lexical.c:1840:27: warning: Possible null pointer dereference: b [nullPointer] bac_lexical.c:1837:24: note: Assignment 'b=(yy_buffer_stack)?(yy_buffer_stack)[yy_buffer_stack_top]:NULL', assigned value is 0 bac_lexical.c:1840:27: note: Null pointer dereference bac_lexical.c:1842:9: warning: Possible null pointer dereference: b [nullPointer] bac_lexical.c:1837:24: note: Assignment 'b=(yy_buffer_stack)?(yy_buffer_stack)[yy_buffer_stack_top]:NULL', assigned value is 0 bac_lexical.c:1842:9: note: Null pointer dereference bac_lexical.c:2144:2: warning: Possible null pointer dereference: b [nullPointer] bac_lexical.c:2033:19: note: Calling function 'bac__init_buffer', 1st argument '(yy_buffer_stack)?(yy_buffer_stack)[yy_buffer_stack_top]:NULL' value is 0 bac_lexical.c:2144:2: note: Null pointer dereference bac_lexical.c:2145:2: warning: Possible null pointer dereference: b [nullPointer] bac_lexical.c:2033:19: note: Calling function 'bac__init_buffer', 1st argument '(yy_buffer_stack)?(yy_buffer_stack)[yy_buffer_stack_top]:NULL' value is 0 bac_lexical.c:2145:2: note: Null pointer dereference bac_lexical.c:1874:3: style: Redundant initialization for 'c'. The initialized value is overwritten before it is read. [redundantInitialization] bac_lexical.c:1874:3: note: c is initialized bac_lexical.c:1874:3: note: c is overwritten bac_lexical.l:51:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] bac_lexical.l:59:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] bac_lexical.l:67:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] bac_lexical.l:75:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] bac_lexical.l:83:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] bac_lexical.l:91:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] bac_lexical.l:99:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] bac_lexical.l:107:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] bac_lexical.l:115:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] bac_lexical.l:123:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] bac_lexical.l:144:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] bac_lexical.l:160:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] bac_lexical.l:169:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] bac_lexical.l:181:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] bac_lexical.l:189:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] bac_lexical.l:196:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] bac_lexical.l:203:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] bac_lexical.c:1930:59: style:inconclusive: Function 'yy_try_NUL_trans' argument 1 names different: declaration 'current_state' definition 'yy_current_state'. [funcArgNamesDifferent] bac_lexical.c:1141:54: note: Function 'yy_try_NUL_trans' argument 1 names different: declaration 'current_state' definition 'yy_current_state'. bac_lexical.c:1930:59: note: Function 'yy_try_NUL_trans' argument 1 names different: declaration 'current_state' definition 'yy_current_state'. bac_lexical.c:2325:50: style:inconclusive: Function 'bac__scan_string' argument 1 names different: declaration 'yy_str' definition 'yystr'. [funcArgNamesDifferent] bac_lexical.c:319:49: note: Function 'bac__scan_string' argument 1 names different: declaration 'yy_str' definition 'yystr'. bac_lexical.c:2325:50: note: Function 'bac__scan_string' argument 1 names different: declaration 'yy_str' definition 'yystr'. bac_lexical.c:2338:50: style:inconclusive: Function 'bac__scan_bytes' argument 1 names different: declaration 'bytes' definition 'yybytes'. [funcArgNamesDifferent] bac_lexical.c:320:48: note: Function 'bac__scan_bytes' argument 1 names different: declaration 'bytes' definition 'yybytes'. bac_lexical.c:2338:50: note: Function 'bac__scan_bytes' argument 1 names different: declaration 'bytes' definition 'yybytes'. bac_lexical.c:2338:64: style:inconclusive: Function 'bac__scan_bytes' argument 2 names different: declaration 'len' definition '_yybytes_len'. [funcArgNamesDifferent] bac_lexical.c:320:58: note: Function 'bac__scan_bytes' argument 2 names different: declaration 'len' definition '_yybytes_len'. bac_lexical.c:2338:64: note: Function 'bac__scan_bytes' argument 2 names different: declaration 'len' definition '_yybytes_len'. bac_lexical.c:1787:17: style: Variable 'source' can be declared as pointer to const [constVariablePointer] bac_lexical.c:2338:50: style: Parameter 'yybytes' can be declared as pointer to const [constParameterPointer] bac_lexical.c:2372:43: style: Parameter 'msg' can be declared as pointer to const [constParameterPointer] bac_parser.y:293:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] bac_parser.y:326:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libbac/bac_save.c:152:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] bac_parser.c:1127:5: warning: Assignment of function parameter has no effect outside the function. Did you forget dereferencing it? [uselessAssignmentPtrArg] bac_parser.c:1380:15: style: Condition 'yyn==0' is always true [knownConditionTrueFalse] bac_parser.c:1377:16: note: Assignment 'yyn=yytable[yyn]', assigned value is greater than -1 bac_parser.c:1378:11: note: Assuming that condition 'yyn<=0' is not redundant bac_parser.c:1380:15: note: Condition 'yyn==0' is always true tenmado-0.10/libbac/bac_string_to_array.c:20:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libbac/bac_string_to_array.c:57:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libbac/bac_string_to_array.c:24:14: style: Condition 'isprint('\n')' is always false [knownConditionTrueFalse] tenmado-0.10/libbac/bac_string_to_array.c:29:14: style: Condition 'isprint('\t')' is always false [knownConditionTrueFalse] tenmado-0.10/libbac/bac_string_to_array.c:61:14: style: Condition 'isprint('\n')' is always false [knownConditionTrueFalse] tenmado-0.10/libbac/bac_string_to_array.c:66:14: style: Condition 'isprint('\t')' is always false [knownConditionTrueFalse] tenmado-0.10/libbac/bac_truncate.c:214:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_collision.c:70:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_collision.c:106:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_collision.c:144:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_collision.c:185:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_collision.c:222:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_collision.c:415:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_graphic.c:39:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_graphic.c:105:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_graphic.c:164:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_graphic.c:294:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_graphic.c:316:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_graphic.c:329:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_graphic.c:346:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_graphic.c:410:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_graphic.c:465:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_graphic.c:658:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_graphic.c:687:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_graphic.c:735:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_graphic.c:807:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_graphic.c:1134:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_input.c:58:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_input.c:131:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_input.c:276:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_input.c:302:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_input.c:333:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SDL_QUIT [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_input.c:513:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SDL_INIT_JOYSTICK [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_math.c:36:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_object.c:20:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_object.c:45:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_object.c:87:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_object.c:151:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_object.c:176:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_object.c:222:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_object.c:168:31: style: Parameter 'p' can be declared as pointer to const [constParameterPointer] tenmado-0.10/libtenm/tenm_object.c:168:45: style: Parameter 'q' can be declared as pointer to const [constParameterPointer] tenmado-0.10/libtenm/tenm_primitive.c:19:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_primitive.c:36:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_primitive.c:51:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_primitive.c:80:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_primitive.c:100:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_primitive.c:130:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_primitive.c:163:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_primitive.c:212:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_primitive.c:247:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_sdl_init.c:21:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SDL_INIT_EVERYTHING [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_table.c:32:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_table.c:102:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_table.c:161:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_table.c:208:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_table.c:320:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_table.c:364:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_table.c:396:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_table.c:425:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_timer.c:34:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_timer.c:79:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_timer.c:111:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/loop.c:46:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/libtenm/tenm_table.c:188:5: warning: Assignment of function parameter has no effect outside the function. Did you forget dereferencing it? [uselessAssignmentPtrArg] tenmado-0.10/libtenm/tenm_table.c:278:9: warning: Either the condition 'player!=NULL' is redundant or there is possible null pointer dereference: player. [nullPointerRedundantCheck] tenmado-0.10/libtenm/tenm_table.c:286:46: note: Assuming that condition 'player!=NULL' is not redundant tenmado-0.10/libtenm/tenm_table.c:278:9: note: Null pointer dereference tenmado-0.10/libtenm/tenm_table.c:281:53: warning: Either the condition 'player!=NULL' is redundant or there is possible null pointer dereference: player. [nullPointerRedundantCheck] tenmado-0.10/libtenm/tenm_table.c:286:46: note: Assuming that condition 'player!=NULL' is not redundant tenmado-0.10/libtenm/tenm_table.c:281:53: note: Null pointer dereference tenmado-0.10/loop.c:81:12: style: Same expression on both sides of '=='. [duplicateExpression] tenmado-0.10/main.c:39:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/option.c:37:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/option.c:199:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable VERSION [valueFlowBailoutIncompleteVar] tenmado-0.10/option.c:225:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/pause.c:43:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/pause.c:69:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/pause.c:82:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/score.c:44:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/score.c:85:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/ship.c:50:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/stage.c:27:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/util.c:39:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable DATADIR [valueFlowBailoutIncompleteVar] tenmado-0.10/util.c:96:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/util.c:127:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/util.c:157:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/util.c:188:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/util.c:253:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] tenmado-0.10/happy-L/intuition.c:83:15: style: Condition 'count!=NULL' is always true [knownConditionTrueFalse] tenmado-0.10/happy-L/intuition.c:465:3: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] tenmado-0.10/happy-L/intuition.c:597:28: style: Parameter 'my' can be declared as pointer to const. However it seems that 'wave_shot_hit' is a callback function, if 'my' is declared with const you might also need to cast function pointer(s). [constParameterCallback] tenmado-0.10/happy-L/intuition.c:554:25: note: You might need to cast the function pointer here tenmado-0.10/happy-L/intuition.c:597:28: note: Parameter 'my' can be declared as pointer to const tenmado-0.10/happy-L/intuition.c:597:45: style: Parameter 'your' can be declared as pointer to const. However it seems that 'wave_shot_hit' is a callback function, if 'your' is declared with const you might also need to cast function pointer(s). [constParameterCallback] tenmado-0.10/happy-L/intuition.c:554:25: note: You might need to cast the function pointer here tenmado-0.10/happy-L/intuition.c:597:45: note: Parameter 'your' can be declared as pointer to const diff: DONE