2026-05-01 21:15 ftp://ftp.de.debian.org/debian/pool/main/f/firmware-microbit-micropython/firmware-microbit-micropython_1.0.1.orig.tar.xz cppcheck-options: --library=posix --library=gnu --library=bsd --inconclusive --enable=style,information --inline-suppr --template=daca2 --disable=missingInclude --suppress=unmatchedSuppression --check-library --debug-warnings --suppress=autoNoType --suppress=valueFlowBailout --suppress=bailoutUninitVar --suppress=symbolDatabaseWarning --suppress=normalCheckLevelConditionExpressions -D__GNUC__ --platform=unix64 -j1 platform: Linux-6.8.0-1047-aws-aarch64-with-glibc2.35 python: 3.10.12 client-version: 1.4.0 compiler: g++ (Ubuntu 11.4.0-1ubuntu1~22.04.3) 11.4.0 cppcheck: head 2.20.0 head-info: e5c4a73 (2026-05-01 11:10:43 +0200) count: 627 627 elapsed-time: 4.6 4.0 head-timing-info: old-timing-info: head results: micropython-1.0.1/source/lib/iters.c:43:77: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_SENTINEL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/lib/mp-readline/readline.c:48:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable readline_hist [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/lib/mp-readline/readline.c:107:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CHAR_CTRL_A [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/lib/mp-readline/readline.c:435:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable readline_hist [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/lib/pwm.c:200:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MICROSECONDS_PER_TICK [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/lib/pwm.c:205:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MICROSECONDS_PER_TICK [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/lib/pwm.c:258:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable pin [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/lib/sam/debug.c:16:17: style: Array index 'i' is used before limits check. [arrayIndexThenCheck] micropython-1.0.1/source/lib/sam/debug.c:47:3: warning: %i in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] micropython-1.0.1/source/lib/sam/debug.c:47:3: warning: %i in format string (no. 3) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] micropython-1.0.1/source/lib/sam/debug.c:47:3: warning: %i in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] micropython-1.0.1/source/lib/sam/debug.c:47:3: warning: %i in format string (no. 5) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] micropython-1.0.1/source/lib/sam/debug.c:47:3: warning: %i in format string (no. 6) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] micropython-1.0.1/source/lib/sam/debug.c:47:3: warning: %i in format string (no. 7) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] micropython-1.0.1/source/lib/sam/debug.c:7:26: style: Parameter 'title' can be declared as pointer to const [constParameterPointer] micropython-1.0.1/source/lib/sam/debug.c:7:44: style: Parameter 'phonemes' can be declared as pointer to const [constParameterPointer] micropython-1.0.1/source/lib/sam/debug.c:37:33: style: Parameter 'flags' can be declared as pointer to const [constParameterPointer] micropython-1.0.1/source/lib/sam/debug.c:37:59: style: Parameter 'frames' can be declared as pointer to const [constParameterPointer] micropython-1.0.1/source/lib/sam/debug.c:37:82: style: Parameter 'pitches' can be declared as pointer to const [constParameterPointer] micropython-1.0.1/source/lib/sam/reciter.c:153:2: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] micropython-1.0.1/source/lib/sam/reciter.c:147:11: style: Variable 'mem36653' is assigned a value that is never used. [unreadVariable] micropython-1.0.1/source/lib/sam/render.c:172:18: warning: Either the condition 'X>=sizeof(tab48426)' is redundant or the array 'tab48426[5]' is accessed at index 5, which is out of bounds. [arrayIndexOutOfBoundsCond] micropython-1.0.1/source/lib/sam/render.c:170:11: note: Assuming that condition 'X>=sizeof(tab48426)' is not redundant micropython-1.0.1/source/lib/sam/render.c:172:18: note: Array index out of bounds micropython-1.0.1/source/lib/sam/render.c:51:13: style: Comparing expression of type 'unsigned char' against value 256. Condition is always false. [compareValueOutOfTypeRangeError] micropython-1.0.1/source/lib/sam/render.c:71:13: style: Comparing expression of type 'unsigned char' against value 256. Condition is always false. [compareValueOutOfTypeRangeError] micropython-1.0.1/source/lib/sam/render.c:180:3: style: Variable 'pos' is assigned an expression that holds the same value. [redundantAssignment] micropython-1.0.1/source/lib/sam/render.c:150:25: note: mem49 is assigned 'pos' here. micropython-1.0.1/source/lib/sam/render.c:180:3: note: Variable 'pos' is assigned an expression that holds the same value. micropython-1.0.1/source/lib/sam/render.c:555:5: style: Variable 'X' is reassigned a value before the old one has been used. [redundantAssignment] micropython-1.0.1/source/lib/sam/render.c:549:4: note: X is assigned micropython-1.0.1/source/lib/sam/render.c:555:5: note: X is overwritten micropython-1.0.1/source/lib/sam/render.c:648:6: style: Variable 'Y' is reassigned a value before the old one has been used. [redundantAssignment] micropython-1.0.1/source/lib/sam/render.c:628:7: note: Y is assigned micropython-1.0.1/source/lib/sam/render.c:648:6: note: Y is overwritten micropython-1.0.1/source/lib/sam/render.c:648:6: style: Variable 'Y' is reassigned a value before the old one has been used. [redundantAssignment] micropython-1.0.1/source/lib/sam/render.c:635:7: note: Y is assigned micropython-1.0.1/source/lib/sam/render.c:648:6: note: Y is overwritten micropython-1.0.1/source/lib/sam/render.c:876:9: style: Variable 'A' is assigned an expression that holds the same value. [redundantAssignment] micropython-1.0.1/source/lib/sam/render.c:864:16: note: phase1 is assigned 'A' here. micropython-1.0.1/source/lib/sam/render.c:874:19: note: Assuming condition is false micropython-1.0.1/source/lib/sam/render.c:876:9: note: Variable 'A' is assigned an expression that holds the same value. micropython-1.0.1/source/lib/sam/render.c:238:11: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] micropython-1.0.1/source/lib/sam/render.c:294:4: style: Variable 'A' is assigned a value that is never used. [unreadVariable] micropython-1.0.1/source/lib/sam/render.c:540:4: style: Variable 'A' is assigned a value that is never used. [unreadVariable] micropython-1.0.1/source/lib/sam/render.c:579:5: style: Variable 'Y' is assigned a value that is never used. [unreadVariable] micropython-1.0.1/source/lib/sam/sam.c:205:60: warning: Either the condition 'phoneme_idprepare.phoneme_input[X].index' micropython-1.0.1/source/lib/sam/sam.c:1153:10: note: index is assigned 'sam->prepare.phoneme_input[X].index' here. micropython-1.0.1/source/lib/sam/sam.c:1162:14: note: Array index out of bounds micropython-1.0.1/source/lib/sam/sam.c:1335:30: style: Condition '(65&2)==0' is always true [knownConditionTrueFalse] micropython-1.0.1/source/lib/sam/sam.c:165:4: style: Variable 'X' is assigned an expression that holds the same value. [redundantAssignment] micropython-1.0.1/source/lib/sam/sam.c:160:13: note: temp is assigned 'X' here. micropython-1.0.1/source/lib/sam/sam.c:165:4: note: Variable 'X' is assigned an expression that holds the same value. micropython-1.0.1/source/lib/sam/sam.c:1397:10: style: 'continue' is redundant since it is the last statement in a loop. [redundantContinue] micropython-1.0.1/source/lib/sam/sam.c:17:27: style:inconclusive: Function 'SetInput' argument 1 names different: declaration 'mem' definition 'sam'. [funcArgNamesDifferent] micropython-1.0.1/source/lib/sam/sam.h:65:27: note: Function 'SetInput' argument 1 names different: declaration 'mem' definition 'sam'. micropython-1.0.1/source/lib/sam/sam.c:17:27: note: Function 'SetInput' argument 1 names different: declaration 'mem' definition 'sam'. micropython-1.0.1/source/lib/sam/sam.c:17:65: style:inconclusive: Function 'SetInput' argument 3 names different: declaration 'len' definition 'l'. [funcArgNamesDifferent] micropython-1.0.1/source/lib/sam/sam.h:65:65: note: Function 'SetInput' argument 3 names different: declaration 'len' definition 'l'. micropython-1.0.1/source/lib/sam/sam.c:17:65: note: Function 'SetInput' argument 3 names different: declaration 'len' definition 'l'. micropython-1.0.1/source/lib/sam/sam.c:95:25: style:inconclusive: Function 'SAMMain' argument 1 names different: declaration 'mem' definition 'sam'. [funcArgNamesDifferent] micropython-1.0.1/source/lib/sam/sam.h:67:25: note: Function 'SAMMain' argument 1 names different: declaration 'mem' definition 'sam'. micropython-1.0.1/source/lib/sam/sam.c:95:25: note: Function 'SAMMain' argument 1 names different: declaration 'mem' definition 'sam'. micropython-1.0.1/source/lib/sam/sam.c:143:18: style: Variable 'A' is assigned a value that is never used. [unreadVariable] micropython-1.0.1/source/lib/ticker.c:49:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable NRF_TIMER0 [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/lib/ticker.c:71:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TIMER0_IRQn [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/lib/ticker.c:77:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TIMER0_IRQn [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/lib/ticker.c:89:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable NRF_TIMER0 [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/lib/ticker.c:121:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable NRF_TIMER0 [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/lib/ticker.c:140:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable INTENCLR [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/lib/ticker.c:168:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SWI4_IRQn [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/lib/ticker.c:122:14: warning: Either the condition 'index>3' is redundant or the array 'callbacks[3]' is accessed at index 3, which is out of bounds. [arrayIndexOutOfBoundsCond] micropython-1.0.1/source/lib/ticker.c:119:15: note: Assuming that condition 'index>3' is not redundant micropython-1.0.1/source/lib/ticker.c:122:14: note: Array index out of bounds micropython-1.0.1/source/lib/ticker.c:123:29: warning: Either the condition 'index>3' is redundant or the array 'masks[3]' is accessed at index 3, which is out of bounds. [arrayIndexOutOfBoundsCond] micropython-1.0.1/source/lib/ticker.c:119:15: note: Assuming that condition 'index>3' is not redundant micropython-1.0.1/source/lib/ticker.c:123:29: note: Array index out of bounds micropython-1.0.1/source/lib/ticker.c:131:14: warning: Either the condition 'index>3' is redundant or the array 'callbacks[3]' is accessed at index 3, which is out of bounds. [arrayIndexOutOfBoundsCond] micropython-1.0.1/source/lib/ticker.c:119:15: note: Assuming that condition 'index>3' is not redundant micropython-1.0.1/source/lib/ticker.c:131:14: note: Array index out of bounds micropython-1.0.1/source/lib/ticker.c:132:29: warning: Either the condition 'index>3' is redundant or the array 'masks[3]' is accessed at index 3, which is out of bounds. [arrayIndexOutOfBoundsCond] micropython-1.0.1/source/lib/ticker.c:119:15: note: Assuming that condition 'index>3' is not redundant micropython-1.0.1/source/lib/ticker.c:132:29: note: Array index out of bounds micropython-1.0.1/source/lib/ticker.c:140:33: warning: Either the condition 'index>3' is redundant or the array 'masks[3]' is accessed at index 3, which is out of bounds. [arrayIndexOutOfBoundsCond] micropython-1.0.1/source/lib/ticker.c:138:15: note: Assuming that condition 'index>3' is not redundant micropython-1.0.1/source/lib/ticker.c:140:33: note: Array index out of bounds micropython-1.0.1/source/lib/ticker.c:141:14: warning: Either the condition 'index>3' is redundant or the array 'callbacks[3]' is accessed at index 3, which is out of bounds. [arrayIndexOutOfBoundsCond] micropython-1.0.1/source/lib/ticker.c:138:15: note: Assuming that condition 'index>3' is not redundant micropython-1.0.1/source/lib/ticker.c:141:14: note: Array index out of bounds micropython-1.0.1/source/lib/utils/pyexec.c:93:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_RuntimeError [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/lib/utils/pyexec.c:477:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_PARSE_FILE_INPUT [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/microbit/events.cpp:47:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable defaultEventBus [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/microbit/events.cpp:58:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MICROBIT_COMPASS_EVT_CALIBRATE [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/microbit/fileobj.c:41:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_const_none [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/microbit/fileobj.c:139:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_OSError [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/microbit/filesystem.c:93:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CHUNK_SIZE [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/microbit/filesystem.c:103:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TASKS_START [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/microbit/filesystem.c:118:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PERSISTENT_DATA_MARKER [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/microbit/filesystem.c:133:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LOG_CHUNK_SIZE [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/microbit/filesystem.c:158:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable marker [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/microbit/filesystem.c:182:59: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable data [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/microbit/filesystem.c:188:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FILE_START [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/microbit/filesystem.c:215:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UNUSED_CHUNK [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/microbit/filesystem.c:258:72: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable filename [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/microbit/filesystem.c:265:69: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable marker [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/microbit/filesystem.c:272:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MAX_FILENAME_LENGTH [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/microbit/filesystem.c:297:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable file_descriptor_obj [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/microbit/filesystem.c:317:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_OSError [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/microbit/filesystem.c:332:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable DATA_PER_CHUNK [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/microbit/filesystem.c:354:65: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable marker [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/microbit/filesystem.c:384:66: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable marker [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/microbit/filesystem.c:406:86: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable end_offset [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/microbit/filesystem.c:414:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable marker [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/microbit/filesystem.c:427:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_OSError [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/microbit/filesystem.c:443:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable next_chunk [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/microbit/filesystem.c:90:11: style: Variable 'end' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/microbit/filesystem.c:181:55: style: Parameter 'self' can be declared as pointer to const [constParameterPointer] micropython-1.0.1/source/microbit/filesystem.c:323:50: style: Parameter 'self' can be declared as pointer to const [constParameterPointer] micropython-1.0.1/source/microbit/gccollect.c:64:60: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stack_top [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/microbit/help.c:190:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable obj [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/microbit/help.c:186:20: style: Variable 'args0_type' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/microbit/main.cpp:72:39: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/main.cpp:190:24: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/main.cpp:190:61: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/main.cpp:192:25: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/main.cpp:192:47: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/main.cpp:161:26: warning: Potentially invalid type conversion in old-style C cast, clarify/fix with C++ cast [dangerousTypeCast] micropython-1.0.1/source/microbit/microbitaccelerometer.cpp:100:29: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitaccelerometer.cpp:135:42: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitaccelerometer.cpp:142:42: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitaccelerometer.cpp:150:42: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitaccelerometer.cpp:161:42: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitaccelerometer.cpp:166:25: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitbutton.cpp:45:35: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitbutton.cpp:53:35: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitbutton.cpp:61:35: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitbutton.cpp:53:28: style: Variable 'self' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/microbit/microbitbutton.cpp:61:28: style: Variable 'self' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/microbit/microbitcompass.cpp:44:25: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitcompass.cpp:75:25: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitcompass.cpp:116:36: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitdisplay.cpp:105:36: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitdisplay.cpp:150:33: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitdisplay.cpp:373:39: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitdisplay.cpp:382:40: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitdisplay.cpp:421:63: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitdisplay.cpp:508:36: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitdisplay.cpp:524:36: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitdisplay.cpp:542:36: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitdisplay.cpp:563:36: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitdisplay.cpp:607:36: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitdisplay.cpp:621:36: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitdisplay.cpp:563:29: style: Variable 'self' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/microbit/microbiti2c.cpp:47:32: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbiti2c.cpp:89:32: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbiti2c.cpp:110:32: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbiti2c.cpp:134:32: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbiti2c.cpp:141:52: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitimage.cpp:47:34: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitimage.cpp:254:39: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitimage.cpp:341:34: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitimage.cpp:347:34: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitimage.cpp:353:34: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitimage.cpp:376:34: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitimage.cpp:396:34: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitimage.cpp:408:34: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitimage.cpp:434:16: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitimage.cpp:441:34: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitimage.cpp:451:34: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitimage.cpp:458:34: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitimage.cpp:465:34: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitimage.cpp:472:34: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitimage.cpp:479:34: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitimage.cpp:485:34: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitimage.cpp:648:33: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitimage.cpp:663:36: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitimage.cpp:760:31: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitimage.cpp:774:41: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitimage.cpp:870:39: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitimage.cpp:882:35: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitimage.cpp:927:31: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitimage.cpp:959:39: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitimage.cpp:204:12: warning: Potentially invalid type conversion in old-style C cast, clarify/fix with C++ cast [dangerousTypeCast] micropython-1.0.1/source/microbit/microbitimage.cpp:337:12: warning: Potentially invalid type conversion in old-style C cast, clarify/fix with C++ cast [dangerousTypeCast] micropython-1.0.1/source/microbit/microbitimage.cpp:606:12: warning: Potentially invalid type conversion in old-style C cast, clarify/fix with C++ cast [dangerousTypeCast] micropython-1.0.1/source/microbit/microbitimage.cpp:619:12: warning: Potentially invalid type conversion in old-style C cast, clarify/fix with C++ cast [dangerousTypeCast] micropython-1.0.1/source/microbit/microbitimage.cpp:641:12: warning: Potentially invalid type conversion in old-style C cast, clarify/fix with C++ cast [dangerousTypeCast] micropython-1.0.1/source/microbit/microbitimage.cpp:958:33: warning: Potentially invalid type conversion in old-style C cast, clarify/fix with C++ cast [dangerousTypeCast] micropython-1.0.1/source/microbit/microbitimage.cpp:367:52: style: Parameter 'self' can be declared as pointer to const [constParameterPointer] micropython-1.0.1/source/microbit/microbitimage.cpp:760:25: style: Variable 'str' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/microbit/microbitpin.cpp:59:32: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitpin.cpp:65:32: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitpin.cpp:82:32: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitpin.cpp:94:32: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitpin.cpp:109:32: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitpin.cpp:121:32: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitpin.cpp:143:32: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitpin.cpp:181:32: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitpin.cpp:304:20: style: Variable 'type' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/microbit/microbitpinmode.c:47:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable microbit_pinmodes [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/microbit/microbitpinmode.c:51:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable microbit_pinmodes [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/microbit/microbitpinmode.c:58:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable microbit_pin_mode_unused [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/microbit/microbitpinmode.c:71:65: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable microbit_pin_mode_read_digital [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/microbit/microbitpinmode.c:90:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_ValueError [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/microbit/microbitspi.cpp:56:32: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitspi.cpp:94:32: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitspi.cpp:98:23: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitspi.cpp:107:32: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitspi.cpp:123:32: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitspi.cpp:127:26: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitspi.cpp:130:20: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbitspi.cpp:61:52: warning: Potentially invalid type conversion in old-style C cast, clarify/fix with C++ cast [dangerousTypeCast] micropython-1.0.1/source/microbit/microbitspi.cpp:38:64: style: Parameter 'self' can be declared as pointer to const [constParameterPointer] micropython-1.0.1/source/microbit/microbituart.cpp:156:17: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/microbituart.cpp:183:23: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/modantigravity.cpp:40:24: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/modantigravity.cpp:50:10: style: The scope of the variable 'reps' can be reduced. [variableScope] micropython-1.0.1/source/microbit/modaudio.cpp:114:6: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/modaudio.cpp:123:6: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/modaudio.cpp:206:55: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/modaudio.cpp:210:38: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/modaudio.cpp:212:28: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/modaudio.cpp:221:40: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/modaudio.cpp:233:42: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/modaudio.cpp:234:27: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/modaudio.cpp:305:41: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/modaudio.cpp:485:40: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/modaudio.cpp:516:40: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/modaudio.cpp:544:40: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/modaudio.cpp:549:26: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/modaudio.cpp:597:39: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/modaudio.cpp:607:23: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/modaudio.cpp:363:35: style: Local variable 'pin1' shadows outer variable [shadowVariable] micropython-1.0.1/source/microbit/modaudio.cpp:135:34: note: Shadowed declaration micropython-1.0.1/source/microbit/modaudio.cpp:363:35: note: Shadow variable micropython-1.0.1/source/microbit/modaudio.cpp:458:14: style: Local variable 'pin1' shadows outer variable [shadowVariable] micropython-1.0.1/source/microbit/modaudio.cpp:135:34: note: Shadowed declaration micropython-1.0.1/source/microbit/modaudio.cpp:458:14: note: Shadow variable micropython-1.0.1/source/microbit/modaudio.cpp:233:33: style: Variable 'buffer' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/microbit/modaudio.cpp:516:33: style: Variable 'self' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/microbit/modaudio.cpp:576:32: portability: Shifting signed 32-bit value by 31 bits is implementation-defined behaviour. See condition at line 573. [shiftTooManyBitsSigned] micropython-1.0.1/source/microbit/modaudio.cpp:573:22: note: Assuming that condition 'shift<-31' is not redundant micropython-1.0.1/source/microbit/modaudio.cpp:576:32: note: Shift micropython-1.0.1/source/microbit/modmusic.cpp:108:21: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/modneopixel.cpp:86:28: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/modneopixel.cpp:94:28: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/modneopixel.cpp:126:28: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/modneopixel.cpp:134:28: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/modos.c:39:40: error: There is an unknown macro here somewhere. Configuration is required. If MICROBIT_RELEASE is a macro then please configure it. [unknownMacro] micropython-1.0.1/source/microbit/modradio.cpp:122:39: style: Condition 'NRF_RADIO->EVENTS_DISABLED==0' is always true [knownConditionTrueFalse] micropython-1.0.1/source/microbit/modradio.cpp:120:34: note: Assignment 'NRF_RADIO->EVENTS_DISABLED=0', assigned value is 0 micropython-1.0.1/source/microbit/modradio.cpp:122:39: note: Condition 'NRF_RADIO->EVENTS_DISABLED==0' is always true micropython-1.0.1/source/microbit/modradio.cpp:144:43: style: Condition 'NRF_CLOCK->EVENTS_HFCLKSTARTED==0' is always true [knownConditionTrueFalse] micropython-1.0.1/source/microbit/modradio.cpp:142:38: note: Assignment 'NRF_CLOCK->EVENTS_HFCLKSTARTED=0', assigned value is 0 micropython-1.0.1/source/microbit/modradio.cpp:144:43: note: Condition 'NRF_CLOCK->EVENTS_HFCLKSTARTED==0' is always true micropython-1.0.1/source/microbit/modradio.cpp:192:36: style: Condition 'NRF_RADIO->EVENTS_READY==0' is always true [knownConditionTrueFalse] micropython-1.0.1/source/microbit/modradio.cpp:190:31: note: Assignment 'NRF_RADIO->EVENTS_READY=0', assigned value is 0 micropython-1.0.1/source/microbit/modradio.cpp:192:36: note: Condition 'NRF_RADIO->EVENTS_READY==0' is always true micropython-1.0.1/source/microbit/modradio.cpp:207:39: style: Condition 'NRF_RADIO->EVENTS_DISABLED==0' is always true [knownConditionTrueFalse] micropython-1.0.1/source/microbit/modradio.cpp:205:34: note: Assignment 'NRF_RADIO->EVENTS_DISABLED=0', assigned value is 0 micropython-1.0.1/source/microbit/modradio.cpp:207:39: note: Condition 'NRF_RADIO->EVENTS_DISABLED==0' is always true micropython-1.0.1/source/microbit/modradio.cpp:229:36: style: Condition 'NRF_RADIO->EVENTS_READY==0' is always true [knownConditionTrueFalse] micropython-1.0.1/source/microbit/modradio.cpp:227:31: note: Assignment 'NRF_RADIO->EVENTS_READY=0', assigned value is 0 micropython-1.0.1/source/microbit/modradio.cpp:229:36: note: Condition 'NRF_RADIO->EVENTS_READY==0' is always true micropython-1.0.1/source/microbit/modradio.cpp:234:34: style: Condition 'NRF_RADIO->EVENTS_END==0' is always true [knownConditionTrueFalse] micropython-1.0.1/source/microbit/modradio.cpp:233:29: note: Assignment 'NRF_RADIO->EVENTS_END=0', assigned value is 0 micropython-1.0.1/source/microbit/modradio.cpp:234:34: note: Condition 'NRF_RADIO->EVENTS_END==0' is always true micropython-1.0.1/source/microbit/modradio.cpp:239:39: style: Condition 'NRF_RADIO->EVENTS_DISABLED==0' is always true [knownConditionTrueFalse] micropython-1.0.1/source/microbit/modradio.cpp:237:34: note: Assignment 'NRF_RADIO->EVENTS_DISABLED=0', assigned value is 0 micropython-1.0.1/source/microbit/modradio.cpp:239:39: note: Condition 'NRF_RADIO->EVENTS_DISABLED==0' is always true micropython-1.0.1/source/microbit/modradio.cpp:244:36: style: Condition 'NRF_RADIO->EVENTS_READY==0' is always true [knownConditionTrueFalse] micropython-1.0.1/source/microbit/modradio.cpp:242:31: note: Assignment 'NRF_RADIO->EVENTS_READY=0', assigned value is 0 micropython-1.0.1/source/microbit/modradio.cpp:244:36: note: Condition 'NRF_RADIO->EVENTS_READY==0' is always true micropython-1.0.1/source/microbit/modradio.cpp:415:47: style: Condition 'NRF_RADIO->EVENTS_DISABLED==0' is always true [knownConditionTrueFalse] micropython-1.0.1/source/microbit/modradio.cpp:413:42: note: Assignment 'NRF_RADIO->EVENTS_DISABLED=0', assigned value is 0 micropython-1.0.1/source/microbit/modradio.cpp:415:47: note: Condition 'NRF_RADIO->EVENTS_DISABLED==0' is always true micropython-1.0.1/source/microbit/modradio.cpp:428:44: style: Condition 'NRF_RADIO->EVENTS_READY==0' is always true [knownConditionTrueFalse] micropython-1.0.1/source/microbit/modradio.cpp:426:39: note: Assignment 'NRF_RADIO->EVENTS_READY=0', assigned value is 0 micropython-1.0.1/source/microbit/modradio.cpp:428:44: note: Condition 'NRF_RADIO->EVENTS_READY==0' is always true micropython-1.0.1/source/microbit/modradio.cpp:287:34: style: C-style pointer casting [cstyleCast] micropython-1.0.1/source/microbit/modradio.cpp:364:35: style: Variable 'power_dbm_table' can be declared as const array [constVariable] micropython-1.0.1/source/microbit/modspeech.c:80:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_STOP_ITERATION [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/microbit/modspeech.c:125:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable reciter_memory [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/microbit/modspeech.c:151:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_ARG_INT [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/microbit/modspeech.c:197:9: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] micropython-1.0.1/source/microbit/persistent.c:82:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable READY [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/microbit/persistent.c:116:33: portability: 'src' is of type 'const void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer] micropython-1.0.1/source/py/argcheck.c:37:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MICROPY_ERROR_REPORTING [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/argcheck.c:80:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable flags [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/argcheck.c:86:28: style: Variable 'kw' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/py/bc.c:147:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_SCOPE_FLAG_VARARGS [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/bc.c:245:32: style: Variable 'elem' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/py/binary.c:219:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_SMALL_INT_MIN [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/binary.c:234:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_ENDIANNESS_LITTLE [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/binary.c:260:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_ENDIANNESS_LITTLE [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/builtinimport.c:52:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_QSTR___path__ [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/builtinimport.c:70:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_IMPORT_STAT_FILE [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/builtinimport.c:88:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_IMPORT_STAT_DIR [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/builtinimport.c:232:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_ImportError [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/builtinimport.c:258:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_const_none [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/builtinimport.c:321:25: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled] micropython-1.0.1/source/py/builtinimport.c:291:24: style: Variable 'elem' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/py/builtinimport.c:341:15: style: Variable 'p' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/py/emitglue.c:53:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_raw_code_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/emitglue.c:66:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_CODE_BYTECODE [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/emitglue.c:122:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/map.c:79:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_map_elem_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/map.c:97:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_map_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/map.c:105:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_map_elem_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/map.c:112:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_map_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/map.c:117:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_map_elem_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/map.c:130:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_map_elem_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/map.c:152:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_MAP_LOOKUP [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/modbuiltins.c:69:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_type [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/modbuiltins.c:121:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_STOP_ITERATION [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/modbuiltins.c:134:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_STOP_ITERATION [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/modbuiltins.c:144:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_QSTR__brace_open__colon__hash_b_brace_close_ [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/modbuiltins.c:151:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_const_true [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/modbuiltins.c:206:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_module [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/modbuiltins.c:245:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_BINARY_OP_DIVMOD [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/modbuiltins.c:251:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_UNARY_OP_HASH [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/modbuiltins.c:256:62: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_QSTR__percent__hash_x [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/modbuiltins.c:352:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_STOP_ITERATION [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/modbuiltins.c:361:62: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_QSTR__percent__hash_o [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/modbuiltins.c:398:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MICROPY_ERROR_REPORTING [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/modbuiltins.c:409:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_BINARY_OP_POWER [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/modbuiltins.c:423:69: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_QSTR_sep [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/modbuiltins.c:468:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_const_none [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/modbuiltins.c:485:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRINT_REPR [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/modbuiltins.c:524:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_STOP_ITERATION [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/modbuiltins.c:535:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_list [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/modbuiltins.c:546:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/modbuiltins.c:559:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/modbuiltins.c:569:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_const_none [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/modbuiltins.c:590:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/modbuiltins.c:209:28: style: Variable 'type' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/py/modbuiltins.c:546:83: error: Uninitialized variable: dest [uninitvar] micropython-1.0.1/source/py/modmicropython.c:41:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_optimise_value [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/mpprint.c:82:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PF_FLAG_CENTER_ADJUST [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/mpprint.c:136:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PF_FLAG_SHOW_SIGN [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/mpprint.c:216:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PF_FLAG_LEFT_ADJUST [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/mpprint.c:414:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PF_FLAG_LEFT_ADJUST [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/mpprint.c:262:11: style: Variable 'str' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/py/mpz.c:67:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpz_dbl_dig_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/mpz.c:81:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPZ_DIG_SIZE [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/mpz.c:120:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPZ_DIG_SIZE [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/mpz.c:158:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpz_dbl_dig_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/mpz.c:188:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpz_dbl_dig_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/mpz.c:233:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPZ_LONG_1 [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/mpz.c:324:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPZ_LONG_1 [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/mpz.c:385:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPZ_LONG_1 [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/mpz.c:410:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpz_dbl_dig_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/mpz.c:437:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpz_dbl_dig_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/mpz.c:487:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPZ_LONG_1 [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/mpz.c:672:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpz_dig_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/mpz.c:714:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpz_dig_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/mpz.c:728:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpz_dig_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/mpz.c:734:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpz_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/mpz.c:755:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpz_dig_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/mpz.c:764:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPZ_NUM_DIG_FOR_INT [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/mpz.c:783:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPZ_NUM_DIG_FOR_LL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/mpz.c:879:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPZ_DIG_SIZE [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/mpz.c:916:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPZ_DIG_SIZE [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/mpz.c:1124:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPZ_DIG_SIZE [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/mpz.c:1142:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPZ_DIG_SIZE [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/mpz.c:1343:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpz_dig_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/mpz.c:1517:54: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpz_dig_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/mpz.c:1566:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPZ_DIG_SIZE [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/mpz.c:1581:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable WORD_MSBIT_HIGH [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/mpz.c:1606:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable WORD_MSBIT_HIGH [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/mpz.c:1628:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPZ_DIG_SIZE [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/mpz.c:1702:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mpz_dig_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/mpz.c:52:52: style: Parameter 'oidig' can be declared as pointer to const [constParameterPointer] micropython-1.0.1/source/py/mpz.c:428:16: style: Variable 'oidig' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/py/mpz.c:1623:16: style: Variable 'zdig' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/py/mpz.c:1706:11: style: Variable 'last_comma' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/py/obj.c:44:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_int [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/obj.c:65:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/obj.c:79:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_PYTHON_PRINTER [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/obj.c:98:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_QSTR_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/obj.c:111:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_const_false [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/obj.c:145:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_obj_instance_call [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/obj.c:168:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_const_none [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/obj.c:222:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_const_false [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/obj.c:252:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_const_false [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/obj.c:325:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_tuple [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/obj.c:344:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MICROPY_ERROR_REPORTING [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/obj.c:359:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MICROPY_ERROR_REPORTING [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/obj.c:413:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/obj.c:432:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_bytes [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/obj.c:449:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/obj.c:511:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objbool.c:40:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRINT_JSON [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objbool.c:60:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_const_false [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objbool.c:67:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_UNARY_OP_LEN [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objbool.c:39:20: style: Variable 'self' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/py/objboundmeth.c:43:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRINT_REPR [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objboundmeth.c:57:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_obj_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objboundmeth.c:62:17: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled] micropython-1.0.1/source/py/objcell.c:49:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objcell.c:35:20: style: Variable 'self' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/py/objclosure.c:48:61: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_obj_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objclosure.c:67:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRINT_REPR [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objclosure.c:95:54: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_obj_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objdict.c:61:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRINT_JSON [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objdict.c:114:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objdict.c:122:66: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_MAP_LOOKUP [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objdict.c:169:60: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_MAP_LOOKUP [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objdict.c:178:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objdict.c:213:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_STOP_ITERATION [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objdict.c:220:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_obj_iter_buf_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objdict.c:233:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable make_new [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objdict.c:243:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable make_new [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objdict.c:260:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_const_none [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objdict.c:288:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable make_new [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objdict.c:315:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_MAP_LOOKUP [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objdict.c:320:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_MAP_LOOKUP_REMOVE_IF_FOUND [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objdict.c:325:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_MAP_LOOKUP_ADD_IF_NOT_FOUND [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objdict.c:330:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable make_new [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objdict.c:348:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable make_new [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objdict.c:430:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_STOP_ITERATION [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objdict.c:454:52: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_obj_iter_buf_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objdict.c:474:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objdict.c:489:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objdict.c:514:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable make_new [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objdict.c:588:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_obj_dict_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objdict.c:599:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable make_new [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objdict.c:607:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_MAP_LOOKUP_REMOVE_IF_FOUND [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objdict.c:612:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable make_new [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objdict.c:95:18: style: Variable 'args2' can be declared as const array [constVariable] micropython-1.0.1/source/py/objdict.c:122:28: style: Variable 'elem' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/py/objdict.c:169:20: style: Variable 'elem' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/py/objdict.c:185:24: style: Variable 'elem' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/py/objdict.c:210:20: style: Variable 'next' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/py/objdict.c:456:25: style: Variable 'view' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/py/objdict.c:606:14: style: Variable 'args' can be declared as const array [constVariable] micropython-1.0.1/source/py/objexcept.c:96:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRINT_EXC_SUBCLASS [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objexcept.c:133:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_emergency_exception_obj [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objexcept.c:148:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_const_none [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objexcept.c:156:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objexcept.c:181:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_const_none [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objexcept.c:318:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_emergency_exception_obj [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objexcept.c:394:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_type [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objexcept.c:433:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable subobj [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objexcept.c:440:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable subobj [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objexcept.c:470:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable subobj [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objexcept.c:396:24: style: Variable 'self' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/py/objexcept.c:470:5: style: Variable 'self' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/py/objfun.c:55:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_fun_builtin_0 [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objfun.c:69:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_fun_builtin_1 [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objfun.c:83:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_fun_builtin_2 [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objfun.c:97:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_fun_builtin_3 [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objfun.c:111:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_fun_builtin_var [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objfun.c:252:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_obj_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objfun.c:350:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objfun.c:258:22: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled] micropython-1.0.1/source/py/objfun.c:349:21: style: Variable 'def_args' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/py/objgenerator.c:55:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_fun_bc [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objgenerator.c:97:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_gen_instance [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objgenerator.c:152:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_const_none [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objgenerator.c:180:62: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objgenerator.c:194:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_const_none [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objgenerator.c:206:72: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_const_GeneratorExit_obj [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objgetitemiter.c:51:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_StopIteration [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objgetitemiter.c:70:52: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_obj_iter_buf_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objgetitemiter.c:50:24: style: Variable 't' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/py/objgetitemiter.c:69:44: style: Parameter 'args' can be declared as pointer to const [constParameterPointer] micropython-1.0.1/source/py/objint.c:329:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objint.c:339:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_OverflowError [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objint.c:345:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_OverflowError [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objint.c:351:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_OverflowError [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objint.c:358:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_SMALL_INT_POSITIVE_MASK [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objint.c:369:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_OverflowError [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objint.c:386:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_const_false [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objint.c:408:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_BUFFER_READ [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objint.c:442:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_QSTR_little [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objint_longlong.c:63:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_int [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objint_longlong.c:100:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_int [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objint_longlong.c:133:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objint_longlong.c:143:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_int [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objint_longlong.c:241:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_SMALL_INT_POSITIVE_MASK [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objint_longlong.c:248:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_obj_int_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objint_longlong.c:257:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_OverflowError [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objint_longlong.c:268:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_obj_int_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objint_longlong.c:64:19: style: Variable 'self' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/py/objint_longlong.c:85:23: style: Variable 'self' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/py/objint_mpz.c:78:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_obj_int_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objint_mpz.c:95:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_int [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objint_mpz.c:117:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_int [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objint_mpz.c:147:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_int [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objint_mpz.c:173:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objint_mpz.c:181:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPZ_NUM_DIG_FOR_INT [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objint_mpz.c:392:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_SMALL_INT_POSITIVE_MASK [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objint_mpz.c:425:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_OverflowError [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objint_mpz.c:134:19: style: Variable 'self' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/py/objlist.c:49:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRINT_JSON [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objlist.c:65:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_STOP_ITERATION [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objlist.c:92:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_list [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objlist.c:113:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objlist.c:121:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_list [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objlist.c:158:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objlist.c:239:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_list [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objlist.c:251:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_list [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objlist.c:272:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_list [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objlist.c:295:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objlist.c:321:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_ARG_OBJ [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objlist.c:345:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_list [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objlist.c:355:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_list [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objlist.c:361:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_list [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objlist.c:367:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_list [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objlist.c:373:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_list [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objlist.c:398:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_list [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objlist.c:407:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_list [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objlist.c:464:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_obj_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objlist.c:469:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_obj_list_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objlist.c:521:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_STOP_ITERATION [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objlist.c:526:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_obj_iter_buf_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objlist.c:178:18: style: Variable 'args' can be declared as const array [constVariable] micropython-1.0.1/source/py/objlist.c:254:24: style: Variable 'arg' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/py/objlist.c:474:46: style: Parameter 'items' can be declared as pointer to const [constParameterPointer] micropython-1.0.1/source/py/objlist.c:485:20: style: Variable 'self' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/py/objmap.c:52:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_map [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objmodule.c:41:78: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_QSTR___name__ [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objmodule.c:61:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objmodule.c:104:52: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_loaded_modules_dict [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objmodule.c:242:52: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_loaded_modules_dict [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objmodule.c:270:52: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_loaded_modules_dict [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objmodule.c:63:24: style: Variable 'elem' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/py/objmodule.c:129:22: style: Variable 'self' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/py/objnone.c:39:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRINT_JSON [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objrange.c:86:31: error: There is an unknown macro here somewhere. Configuration is required. If INT_FMT is a macro then please configure it. [unknownMacro] micropython-1.0.1/source/py/objstr.c:51:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable top [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:121:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_bytes [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:146:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_QSTR_ [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:188:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_const_empty_bytes [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:285:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_BINARY_OP_MODULO [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:401:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_SENTINEL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:435:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_list [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:478:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_const_none [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:620:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_const_none [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:677:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable haystack [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:730:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable str [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:748:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable suffix_len [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:773:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable s [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:884:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_bool [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:925:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MICROPY_ERROR_REPORTING [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:1358:57: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable str [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:1367:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable str [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:1595:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable old_len [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:1679:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable haystack [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:1766:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable self_len [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:1775:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable unichar_tolower [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:1780:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable unichar_toupper [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:1787:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable self_len [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:1818:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable unichar_isspace [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:1823:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable unichar_isalpha [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:1828:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable unichar_isdigit [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:1833:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable unichar_isupper [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:1838:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable unichar_islower [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:1873:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_BUFFER_READ [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:1971:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_obj_str_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:1991:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_QSTR_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:2020:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_QSTR_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:2043:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable h1 [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:2059:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MICROPY_ERROR_REPORTING [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:2087:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable l [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:2097:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable l [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:2129:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable len [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:2139:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_obj_iter_buf_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:2152:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable len [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:2162:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_obj_iter_buf_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objstr.c:1044:23: warning: Either the condition 'key_elem==NULL' is redundant or there is possible null pointer dereference: key_elem. [nullPointerRedundantCheck] micropython-1.0.1/source/py/objstr.c:1041:30: note: Assuming that condition 'key_elem==NULL' is not redundant micropython-1.0.1/source/py/objstr.c:1044:23: note: Null pointer dereference micropython-1.0.1/source/py/objstr.c:299:20: style: Variable 'lhs_type' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/py/objstr.c:1040:32: style: Variable 'key_elem' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/py/objtuple.c:40:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRINT_JSON [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objtuple.c:70:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_const_empty_tuple [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objtuple.c:111:83: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_tuple [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objtuple.c:127:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_const_empty_tuple [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objtuple.c:143:98: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_tuple [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objtuple.c:177:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_SENTINEL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objtuple.c:199:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_tuple [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objtuple.c:206:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_tuple [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objtuple.c:236:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_const_empty_tuple [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objtuple.c:279:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_STOP_ITERATION [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objtuple.c:284:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_obj_iter_buf_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objtuple.c:107:20: style: Variable 'another_type' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/py/objtype.c:62:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_object [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objtype.c:113:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objtype.c:205:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRINT_STR [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objtype.c:258:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_SENTINEL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objtype.c:369:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objtype.c:465:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objtype.c:489:80: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_MAP_LOOKUP [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objtype.c:659:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objtype.c:696:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objtype.c:707:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objtype.c:751:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_QSTR___call__ [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objtype.c:762:57: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objtype.c:768:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objtype.c:786:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objtype.c:807:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objtype.c:862:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MICROPY_ERROR_REPORTING [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objtype.c:878:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_type [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objtype.c:936:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_tuple [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objtype.c:1021:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRINT_STR [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objtype.c:1038:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objtype.c:1117:61: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_tuple [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objtype.c:1145:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_tuple [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objtype.c:1178:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objtype.c:1188:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_staticmethod [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/objtype.c:1187:67: style:inconclusive: Function 'static_class_method_make_new' argument 1 names different: declaration 'self_in' definition 'self'. [funcArgNamesDifferent] micropython-1.0.1/source/py/objtype.c:46:67: note: Function 'static_class_method_make_new' argument 1 names different: declaration 'self_in' definition 'self'. micropython-1.0.1/source/py/objtype.c:1187:67: note: Function 'static_class_method_make_new' argument 1 names different: declaration 'self_in' definition 'self'. micropython-1.0.1/source/py/objtype.c:179:32: style: Variable 'bt' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/py/objtype.c:489:20: style: Variable 'elem' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/py/objtype.c:673:24: style: Variable 'elem' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/py/objtype.c:907:32: style: Variable 'elem' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/py/objtype.c:1048:20: style: Variable 'type' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/py/objzip.c:52:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_zip [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/opmethods.c:32:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_SENTINEL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/opmethods.c:44:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/opmethods.c:50:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_BINARY_OP_IN [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/parsenum.c:43:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable type [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/parsenum.c:145:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MICROPY_ERROR_REPORTING [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/parsenum.c:304:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_ValueError [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/qstr.c:61:6: error: #error unimplemented qstr hash decoding [preprocessorErrorDirective] micropython-1.0.1/source/py/reader.c:46:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_READER_EOF [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/runtime.c:65:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_pending_exception [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/runtime.c:141:90: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_MAP_LOOKUP [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/runtime.c:152:87: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_MAP_LOOKUP [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/runtime.c:187:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_builtin___build_class___obj [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/runtime.c:215:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_UNARY_OP_NOT [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/runtime.c:277:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_BINARY_OP_IS [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/runtime.c:603:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MICROPY_ERROR_REPORTING [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/runtime.c:615:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/runtime.c:625:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/runtime.c:795:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_obj_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/runtime.c:803:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_tuple [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/runtime.c:853:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_tuple [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/runtime.c:909:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/runtime.c:967:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_staticmethod [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/runtime.c:1016:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/runtime.c:1055:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/runtime.c:1078:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_SENTINEL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/runtime.c:1100:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_identity_getiter [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/runtime.c:1143:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_QSTR___next__ [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/runtime.c:1168:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_QSTR___next__ [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/runtime.c:1196:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/runtime.c:1291:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_TypeError [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/runtime.c:1301:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_const_none [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/runtime.c:1317:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_NULL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/runtime.c:1361:57: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable key [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/runtime.c:1418:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_MemoryError [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/runtime.c:1431:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_ValueError [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/runtime.c:1435:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_TypeError [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/runtime.c:1443:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_type_NotImplementedError [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/runtime.c:1337:22: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled] micropython-1.0.1/source/py/runtime.c:173:12: warning: Either the condition 'elem==NULL' is redundant or there is possible null pointer dereference: elem. [nullPointerRedundantCheck] micropython-1.0.1/source/py/runtime.c:164:18: note: Assuming that condition 'elem==NULL' is not redundant micropython-1.0.1/source/py/runtime.c:173:12: note: Null pointer dereference micropython-1.0.1/source/py/runtime.c:141:24: style: Variable 'elem' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/py/runtime.c:152:20: style: Variable 'elem' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/py/scheduler.c:110:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_pending_exception [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/sequence.c:159:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_BINARY_OP_LESS [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/sequence.c:203:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_BINARY_OP_LESS [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/sequence.c:129:82: style: Parameter 'indexes' can be declared as pointer to const [constParameterPointer] micropython-1.0.1/source/py/smallint.c:33:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_SMALL_INT_MAX [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/stackctrl.c:35:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stack_top [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/stackctrl.c:39:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stack_top [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/stackctrl.c:45:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stack_top [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/stream.c:62:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_STREAM_RW_WRITE [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/stream.c:100:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_STREAM_OP_READ [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/stream.c:112:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_QSTR_close [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/stream.c:117:66: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_STREAM_OP_READ [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/stream.c:238:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_STREAM_RW_READ [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/stream.c:243:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_STREAM_RW_READ [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/stream.c:248:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_STREAM_OP_WRITE [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/stream.c:267:54: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_STREAM_RW_WRITE [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/stream.c:272:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_BUFFER_READ [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/stream.c:291:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_BUFFER_READ [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/stream.c:297:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_STREAM_OP_READ [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/stream.c:326:66: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_STREAM_OP_READ [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/stream.c:367:66: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_STREAM_OP_READ [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/stream.c:442:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_OBJ_STOP_ITERATION [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/stream.c:446:66: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_STREAM_OP_IOCTL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/stream.c:481:63: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_STREAM_OP_IOCTL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/stream.c:492:66: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MP_STREAM_OP_IOCTL [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/stream.c:97:20: style: Variable 'type' can be declared as pointer to const [constVariablePointer] micropython-1.0.1/source/py/vm.c:1096:21: error: There is an unknown macro here somewhere. Configuration is required. If MICROPY_VM_HOOK_RETURN is a macro then please configure it. [unknownMacro] micropython-1.0.1/source/py/vstr.c:78:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable vstr_t [valueFlowBailoutIncompleteVar] micropython-1.0.1/source/py/vstr.c:88:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable vstr_t [valueFlowBailoutIncompleteVar] diff: DONE