2024-04-24 14:16 ftp://ftp.de.debian.org/debian/pool/main/f/faucc/faucc_20180503.orig.tar.xz cppcheck-options: --library=posix --library=gnu --check-library --inconclusive --enable=style,information --inline-suppr --disable=missingInclude --suppress=unmatchedSuppression --template=daca2 --debug-warnings --suppress=autoNoType --suppress=valueFlowBailout --suppress=bailoutUninitVar --suppress=symbolDatabaseWarning -D__GNUC__ --platform=unix64 -j2 platform: Linux-6.6.15-amd64-x86_64-with-glibc2.37 python: 3.11.8 client-version: 1.3.53 compiler: g++ (Debian 13.2.0-23) 13.2.0 cppcheck: head 2.14.0 head-info: 9fab9b9 (2024-04-24 10:46:48 +0200) count: 348 348 elapsed-time: 89.1 88.6 head-timing-info: old-timing-info: head results: faucc/arch_i386_gen.c:853:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CLASS_NONE [valueFlowBailoutIncompleteVar] faucc/arch_i386_gen.c:871:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CLASS_f [valueFlowBailoutIncompleteVar] faucc/arch_i386_gen.c:966:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TYPE_INT64 [valueFlowBailoutIncompleteVar] faucc/arch_i386_gen.c:1038:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CLASS_a [valueFlowBailoutIncompleteVar] faucc/arch_i386_gen.c:1097:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CLASS_a [valueFlowBailoutIncompleteVar] faucc/arch_i386_gen.c:1414:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_INTEGER [valueFlowBailoutIncompleteVar] faucc/arch_i386_gen.c:1641:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STORAGE_STATIC [valueFlowBailoutIncompleteVar] faucc/arch_i386_gen.c:1694:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STORAGE_AUTO [valueFlowBailoutIncompleteVar] faucc/arch_i386_gen.c:1711:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_FUNC [valueFlowBailoutIncompleteVar] faucc/arch_i386_gen.c:1750:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_FUNC [valueFlowBailoutIncompleteVar] faucc/arch_i386_gen.c:3120:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_FUNC [valueFlowBailoutIncompleteVar] faucc/arch_i386_gen.c:4537:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_INTEGER [valueFlowBailoutIncompleteVar] faucc/arch_i386_gen.c:5113:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_IDENTIFIER [valueFlowBailoutIncompleteVar] faucc/arch_i386_gen.c:5508:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STMT_RETURN [valueFlowBailoutIncompleteVar] faucc/arch_i386_gen.c:5714:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STORAGE_TYPEDEF [valueFlowBailoutIncompleteVar] faucc/arch_i386_gen.c:5764:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CLASS_NONE [valueFlowBailoutIncompleteVar] faucc/arch_i286_gen.c:784:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CLASS_NONE [valueFlowBailoutIncompleteVar] faucc/arch_i286_gen.c:802:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CLASS_r [valueFlowBailoutIncompleteVar] faucc/arch_i286_gen.c:839:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CLASS_a [valueFlowBailoutIncompleteVar] faucc/arch_i286_gen.c:979:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TYPE_INT32 [valueFlowBailoutIncompleteVar] faucc/arch_i286_gen.c:1129:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CLASS_a [valueFlowBailoutIncompleteVar] faucc/arch_i286_gen.c:1512:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_INTEGER [valueFlowBailoutIncompleteVar] faucc/arch_i286_gen.c:1759:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STORAGE_STATIC [valueFlowBailoutIncompleteVar] faucc/arch_i286_gen.c:1814:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STORAGE_AUTO [valueFlowBailoutIncompleteVar] faucc/arch_i286_gen.c:1831:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_FUNC [valueFlowBailoutIncompleteVar] faucc/arch_i286_gen.c:1867:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_FUNC [valueFlowBailoutIncompleteVar] faucc/arch_i286_gen.c:3339:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_FUNC [valueFlowBailoutIncompleteVar] faucc/arch_i286_gen.c:5103:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_INTEGER [valueFlowBailoutIncompleteVar] faucc/arch_i286_gen.c:5881:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_IDENTIFIER [valueFlowBailoutIncompleteVar] faucc/arch_i286_gen.c:6314:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STMT_RETURN [valueFlowBailoutIncompleteVar] faucc/arch_i286_gen.c:6556:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STORAGE_TYPEDEF [valueFlowBailoutIncompleteVar] faucc/arch_i286_gen.c:6606:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CLASS_NONE [valueFlowBailoutIncompleteVar] faucc/arch_i286_gen.c:5893:5: warning: %lld in format string (no. 1) requires 'long long' but the argument type is 'unsigned long long'. [invalidPrintfArgType_sint] faucc/arch_i286_gen.c:5902:5: warning: %lld in format string (no. 1) requires 'long long' but the argument type is 'unsigned long long'. [invalidPrintfArgType_sint] faucc/arch_i286_gen.c:6145:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] faucc/arch_i286_gen.c:6174:6: warning: %u in format string (no. 1) requires 'unsigned int' but the argument type is 'signed int'. [invalidPrintfArgType_uint] faucc/arch_i286_gen.c:6267:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] faucc/arch_i286_gen.c:6270:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] faucc/arch_i286_gen.c:6524:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] faucc/arch_i286_gen.c:6542:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] faucc/arch_i286_gen.c:6330:6: style: Variable 't' is reassigned a value before the old one has been used. [redundantAssignment] faucc/arch_i286_gen.c:6328:6: note: t is assigned faucc/arch_i286_gen.c:6330:6: note: t is overwritten faucc/arch_i286_gen.c:2236:5: style:inconclusive: Found duplicate branches for 'if' and 'else'. [duplicateBranch] faucc/arch_i286_gen.c:2245:7: note: Found duplicate branches for 'if' and 'else'. faucc/arch_i286_gen.c:2236:5: note: Found duplicate branches for 'if' and 'else'. faucc/arch_i286_gen.c:3667:12: style:inconclusive: Found duplicate branches for 'if' and 'else'. [duplicateBranch] faucc/arch_i286_gen.c:3673:7: note: Found duplicate branches for 'if' and 'else'. faucc/arch_i286_gen.c:3667:12: note: Found duplicate branches for 'if' and 'else'. faucc/arch_i286_gen.c:4618:5: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] faucc/arch_i286_gen.c:702:15: style:inconclusive: Function 'arch_i286_align_size' argument 2 names different: declaration 'type' definition 't'. [funcArgNamesDifferent] faucc/arch_i286_gen.h:23:15: note: Function 'arch_i286_align_size' argument 2 names different: declaration 'type' definition 't'. faucc/arch_i286_gen.c:702:15: note: Function 'arch_i286_align_size' argument 2 names different: declaration 'type' definition 't'. faucc/arch_i286_gen.c:830:55: style:inconclusive: Function 'arch_i286_color_add' argument 2 names different: declaration 'set' definition 'class'. [funcArgNamesDifferent] faucc/arch_i286_gen.h:38:55: note: Function 'arch_i286_color_add' argument 2 names different: declaration 'set' definition 'class'. faucc/arch_i286_gen.c:830:55: note: Function 'arch_i286_color_add' argument 2 names different: declaration 'set' definition 'class'. faucc/arch_i286_gen.c:973:55: style:inconclusive: Function 'arch_i286_color_sub' argument 2 names different: declaration 'set' definition 'class'. [funcArgNamesDifferent] faucc/arch_i286_gen.h:40:55: note: Function 'arch_i286_color_sub' argument 2 names different: declaration 'set' definition 'class'. faucc/arch_i286_gen.c:973:55: note: Function 'arch_i286_color_sub' argument 2 names different: declaration 'set' definition 'class'. faucc/arch_i286_gen.c:1121:57: style:inconclusive: Function 'arch_i286_color_check' argument 2 names different: declaration 'set' definition 'class'. [funcArgNamesDifferent] faucc/arch_i286_gen.h:42:57: note: Function 'arch_i286_color_check' argument 2 names different: declaration 'set' definition 'class'. faucc/arch_i286_gen.c:1121:57: note: Function 'arch_i286_color_check' argument 2 names different: declaration 'set' definition 'class'. faucc/arch_i286_gen.c:702:15: style: Parameter 't' can be declared as pointer to const [constParameterPointer] faucc/arch_i286_gen.c:1859:22: style: Variable 'dion' can be declared as pointer to const [constVariablePointer] faucc/arch_i286_gen.c:3321:15: style: Parameter 's' can be declared as pointer to const [constParameterPointer] faucc/arch_i386_gen.c:751:17: style: Condition 'seg_enabled()' is always false [knownConditionTrueFalse] faucc/arch_i386_gen.c:751:17: note: Calling function 'seg_enabled' returns 0 faucc/arch_i386_gen.c:751:17: note: Condition 'seg_enabled()' is always false faucc/arch_i386_gen.c:761:17: style: Condition 'seg_enabled()' is always false [knownConditionTrueFalse] faucc/arch_i386_gen.c:761:17: note: Calling function 'seg_enabled' returns 0 faucc/arch_i386_gen.c:761:17: note: Condition 'seg_enabled()' is always false faucc/arch_i386_gen.c:1318:17: style: Condition 'seg_enabled()' is always false [knownConditionTrueFalse] faucc/arch_i386_gen.c:1318:17: note: Calling function 'seg_enabled' returns 0 faucc/arch_i386_gen.c:1318:17: note: Condition 'seg_enabled()' is always false faucc/arch_i386_gen.c:1354:17: style: Condition 'seg_enabled()' is always false [knownConditionTrueFalse] faucc/arch_i386_gen.c:1354:17: note: Calling function 'seg_enabled' returns 0 faucc/arch_i386_gen.c:1354:17: note: Condition 'seg_enabled()' is always false faucc/arch_i386_gen.c:1384:17: style: Condition 'seg_enabled()' is always false [knownConditionTrueFalse] faucc/arch_i386_gen.c:1384:17: note: Calling function 'seg_enabled' returns 0 faucc/arch_i386_gen.c:1384:17: note: Condition 'seg_enabled()' is always false faucc/arch_i386_gen.c:5125:5: warning: %lld in format string (no. 1) requires 'long long' but the argument type is 'unsigned long long'. [invalidPrintfArgType_sint] faucc/arch_i386_gen.c:5134:5: warning: %lld in format string (no. 1) requires 'long long' but the argument type is 'unsigned long long'. [invalidPrintfArgType_sint] faucc/arch_i386_gen.c:5143:5: warning: %lld in format string (no. 1) requires 'long long' but the argument type is 'unsigned long long'. [invalidPrintfArgType_sint] faucc/arch_i386_gen.c:5354:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] faucc/arch_i386_gen.c:5380:6: warning: %u in format string (no. 1) requires 'unsigned int' but the argument type is 'signed int'. [invalidPrintfArgType_uint] faucc/arch_i386_gen.c:5461:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] faucc/arch_i386_gen.c:5464:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] faucc/arch_i386_gen.c:2019:5: style:inconclusive: Found duplicate branches for 'if' and 'else'. [duplicateBranch] faucc/arch_i386_gen.c:2027:7: note: Found duplicate branches for 'if' and 'else'. faucc/arch_i386_gen.c:2019:5: note: Found duplicate branches for 'if' and 'else'. faucc/arch_i386_gen.c:3391:12: style:inconclusive: Found duplicate branches for 'if' and 'else'. [duplicateBranch] faucc/arch_i386_gen.c:3397:7: note: Found duplicate branches for 'if' and 'else'. faucc/arch_i386_gen.c:3391:12: note: Found duplicate branches for 'if' and 'else'. faucc/arch_i386_gen.c:771:15: style:inconclusive: Function 'arch_i386_align_size' argument 2 names different: declaration 'type' definition 't'. [funcArgNamesDifferent] faucc/arch_i386_gen.h:22:15: note: Function 'arch_i386_align_size' argument 2 names different: declaration 'type' definition 't'. faucc/arch_i386_gen.c:771:15: note: Function 'arch_i386_align_size' argument 2 names different: declaration 'type' definition 't'. faucc/arch_i386_gen.c:960:55: style:inconclusive: Function 'arch_i386_color_add' argument 2 names different: declaration 'set' definition 'class'. [funcArgNamesDifferent] faucc/arch_i386_gen.h:37:55: note: Function 'arch_i386_color_add' argument 2 names different: declaration 'set' definition 'class'. faucc/arch_i386_gen.c:960:55: note: Function 'arch_i386_color_add' argument 2 names different: declaration 'set' definition 'class'. faucc/arch_i386_gen.c:1032:55: style:inconclusive: Function 'arch_i386_color_sub' argument 2 names different: declaration 'set' definition 'class'. [funcArgNamesDifferent] faucc/arch_i386_gen.h:39:55: note: Function 'arch_i386_color_sub' argument 2 names different: declaration 'set' definition 'class'. faucc/arch_i386_gen.c:1032:55: note: Function 'arch_i386_color_sub' argument 2 names different: declaration 'set' definition 'class'. faucc/arch_i386_gen.c:1089:57: style:inconclusive: Function 'arch_i386_color_check' argument 2 names different: declaration 'set' definition 'class'. [funcArgNamesDifferent] faucc/arch_i386_gen.h:41:57: note: Function 'arch_i386_color_check' argument 2 names different: declaration 'set' definition 'class'. faucc/arch_i386_gen.c:1089:57: note: Function 'arch_i386_color_check' argument 2 names different: declaration 'set' definition 'class'. faucc/arch_i386_gen.c:771:15: style: Parameter 't' can be declared as pointer to const [constParameterPointer] faucc/arch_i386_gen.c:1742:22: style: Variable 'dion' can be declared as pointer to const [constVariablePointer] faucc/arch_i386_gen.c:3103:15: style: Parameter 's' can be declared as pointer to const [constParameterPointer] faucc/cc1.c:47:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] faucc/cc1.c:71:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable optarg [valueFlowBailoutIncompleteVar] faucc/cc1.c:198:3: warning: Assignment of function parameter has no effect outside the function. Did you forget dereferencing it? [uselessAssignmentPtrArg] faucc/cc1.c:199:3: style: Assignment of function parameter has no effect outside the function. [uselessAssignmentArg] faucc/constraint.c:45:36: style: Parameter 'c' can be declared as pointer to const [constParameterPointer] faucc/constraint.c:92:46: style: Parameter 'cl' can be declared as pointer to const [constParameterPointer] faucc/declaration.c:70:42: style:inconclusive: Function 'declaration_name_get' argument 1 names different: declaration 'dor' definition 'd'. [funcArgNamesDifferent] faucc/declaration.h:114:42: note: Function 'declaration_name_get' argument 1 names different: declaration 'dor' definition 'd'. faucc/declaration.c:70:42: note: Function 'declaration_name_get' argument 1 names different: declaration 'dor' definition 'd'. faucc/declaration.c:70:42: style: Parameter 'd' can be declared as pointer to const [constParameterPointer] faucc/declaration.c:88:49: style: Parameter 'dor' can be declared as pointer to const [constParameterPointer] faucc/declaration.c:110:38: style: Parameter 'dor' can be declared as pointer to const [constParameterPointer] faucc/expr.c:120:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_ADD [valueFlowBailoutIncompleteVar] faucc/expr.c:197:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_AMPHERSAND [valueFlowBailoutIncompleteVar] faucc/expr.c:242:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_INTEGER [valueFlowBailoutIncompleteVar] faucc/expr.c:256:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_IDENTIFIER [valueFlowBailoutIncompleteVar] faucc/expr.c:269:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_SIZEOF_EXPR [valueFlowBailoutIncompleteVar] faucc/expr.c:282:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_SIZEOF_TYPE [valueFlowBailoutIncompleteVar] faucc/expr.c:295:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_BUILTIN_OFFSETOF [valueFlowBailoutIncompleteVar] faucc/expr.c:311:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_AMPHERSAND [valueFlowBailoutIncompleteVar] faucc/expr.c:324:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_STAR [valueFlowBailoutIncompleteVar] faucc/expr.c:339:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_ARROW [valueFlowBailoutIncompleteVar] faucc/expr.c:353:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_NOT [valueFlowBailoutIncompleteVar] faucc/expr.c:366:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_LEFT [valueFlowBailoutIncompleteVar] faucc/expr.c:380:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_RIGHT [valueFlowBailoutIncompleteVar] faucc/expr.c:394:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_ADD [valueFlowBailoutIncompleteVar] faucc/expr.c:408:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_SUB [valueFlowBailoutIncompleteVar] faucc/expr.c:422:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_MUL [valueFlowBailoutIncompleteVar] faucc/expr.c:436:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_DIV [valueFlowBailoutIncompleteVar] faucc/expr.c:450:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_MOD [valueFlowBailoutIncompleteVar] faucc/expr.c:464:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_AND [valueFlowBailoutIncompleteVar] faucc/expr.c:478:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_OR [valueFlowBailoutIncompleteVar] faucc/expr.c:492:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_XOR [valueFlowBailoutIncompleteVar] faucc/expr.c:506:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_SHORT_AND [valueFlowBailoutIncompleteVar] faucc/expr.c:520:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_SHORT_OR [valueFlowBailoutIncompleteVar] faucc/expr.c:534:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_EQUAL [valueFlowBailoutIncompleteVar] faucc/expr.c:548:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_NOT_EQUAL [valueFlowBailoutIncompleteVar] faucc/expr.c:562:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_LESS [valueFlowBailoutIncompleteVar] faucc/expr.c:576:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_LESS_EQUAL [valueFlowBailoutIncompleteVar] faucc/expr.c:590:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_GREATER [valueFlowBailoutIncompleteVar] faucc/expr.c:604:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_GREATER_EQUAL [valueFlowBailoutIncompleteVar] faucc/expr.c:618:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_ASSIGN [valueFlowBailoutIncompleteVar] faucc/expr.c:632:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_ADD_ASSIGN [valueFlowBailoutIncompleteVar] faucc/expr.c:646:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_TYPE_CONVERSION [valueFlowBailoutIncompleteVar] faucc/expr.c:803:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TYPE_STRUCT [valueFlowBailoutIncompleteVar] faucc/expr.c:985:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_IDENTIFIER [valueFlowBailoutIncompleteVar] faucc/expr.c:1089:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_IDENTIFIER [valueFlowBailoutIncompleteVar] faucc/expr.c:1976:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_PRE_INC [valueFlowBailoutIncompleteVar] faucc/expr.c:2729:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STMT_BLOCK [valueFlowBailoutIncompleteVar] faucc/expr.c:2830:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_IDENTIFIER [valueFlowBailoutIncompleteVar] faucc/expr.c:2936:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_IDENTIFIER [valueFlowBailoutIncompleteVar] faucc/expr.c:3002:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STORAGE_PARAM [valueFlowBailoutIncompleteVar] faucc/expr.c:3091:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_IDENTIFIER [valueFlowBailoutIncompleteVar] faucc/expr.c:3120:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_FUNC [valueFlowBailoutIncompleteVar] faucc/expr.c:4548:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STORAGE_PARAM [valueFlowBailoutIncompleteVar] faucc/expr.c:4634:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STMT_BLOCK [valueFlowBailoutIncompleteVar] faucc/expr.c:289:28: style:inconclusive: Function 'expr_offsetof' argument 1 names different: declaration 'ts' definition 't'. [funcArgNamesDifferent] faucc/expr.h:121:28: note: Function 'expr_offsetof' argument 1 names different: declaration 'ts' definition 't'. faucc/expr.c:289:28: note: Function 'expr_offsetof' argument 1 names different: declaration 'ts' definition 't'. faucc/expr.c:289:43: style:inconclusive: Function 'expr_offsetof' argument 2 names different: declaration 'mem' definition 'name'. [funcArgNamesDifferent] faucc/expr.h:121:44: note: Function 'expr_offsetof' argument 2 names different: declaration 'mem' definition 'name'. faucc/expr.c:289:43: note: Function 'expr_offsetof' argument 2 names different: declaration 'mem' definition 'name'. faucc/expr.c:189:31: style: Parameter 'e' can be declared as pointer to const [constParameterPointer] faucc/expr.c:709:39: style: Parameter 'ne' can be declared as pointer to const [constParameterPointer] faucc/expr.c:724:24: style: Parameter 'e' can be declared as pointer to const [constParameterPointer] faucc/expr.c:4435:22: style: Variable 'dion' can be declared as pointer to const [constVariablePointer] faucc/expr.c:2201:10: style: Variable 't1' is assigned a value that is never used. [unreadVariable] faucc/identifier.c:29:29: style:inconclusive: Function 'identifier_hash' argument 1 names different: declaration 'name' definition '_n'. [funcArgNamesDifferent] faucc/identifier.h:15:29: note: Function 'identifier_hash' argument 1 names different: declaration 'name' definition '_n'. faucc/identifier.c:29:29: note: Function 'identifier_hash' argument 1 names different: declaration 'name' definition '_n'. faucc/identifier.c:55:28: style:inconclusive: Function 'identifier_new' argument 1 names different: declaration 'name' definition 'n'. [funcArgNamesDifferent] faucc/identifier.h:18:28: note: Function 'identifier_new' argument 1 names different: declaration 'name' definition 'n'. faucc/identifier.c:55:28: note: Function 'identifier_new' argument 1 names different: declaration 'name' definition 'n'. faucc/identifier.c:115:28: style:inconclusive: Function 'identifier_dup' argument 1 names different: declaration 'name' definition 'n'. [funcArgNamesDifferent] faucc/identifier.h:26:28: note: Function 'identifier_dup' argument 1 names different: declaration 'name' definition 'n'. faucc/identifier.c:115:28: note: Function 'identifier_dup' argument 1 names different: declaration 'name' definition 'n'. faucc/identifier.c:121:29: style:inconclusive: Function 'identifier_free' argument 1 names different: declaration 'name' definition 'n'. [funcArgNamesDifferent] faucc/identifier.h:29:29: note: Function 'identifier_free' argument 1 names different: declaration 'name' definition 'n'. faucc/identifier.c:121:29: note: Function 'identifier_free' argument 1 names different: declaration 'name' definition 'n'. faucc/label.c:33:26: style: Parameter 'label' can be declared as pointer to const [constParameterPointer] faucc/libfaucc/libfaucc.c:101:17: style: Variable 'A' is assigned a value that is never used. [unreadVariable] faucc/print.c:132:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] faucc/print.c:1179:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STORAGE_ASM [valueFlowBailoutIncompleteVar] faucc/print.c:1108:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] faucc/print.c:797:3: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] faucc/print.c:1121:46: style:inconclusive: Function 'print_type' argument 3 names different: declaration 't' definition 'ad'. [funcArgNamesDifferent] faucc/print.c:23:46: note: Function 'print_type' argument 3 names different: declaration 't' definition 'ad'. faucc/print.c:1121:46: note: Function 'print_type' argument 3 names different: declaration 't' definition 'ad'. faucc/print.c:1130:28: style: Parameter 'd' can be declared as pointer to const [constParameterPointer] faucc/print.c:814:7: style: Variable 'sol' is assigned a value that is never used. [unreadVariable] faucc/print.c:822:7: style: Variable 'sol' is assigned a value that is never used. [unreadVariable] faucc/print.c:829:7: style: Variable 'sol' is assigned a value that is never used. [unreadVariable] faucc/print.c:840:7: style: Variable 'sol' is assigned a value that is never used. [unreadVariable] faucc/print.c:851:7: style: Variable 'sol' is assigned a value that is never used. [unreadVariable] faucc/print.c:864:7: style: Variable 'sol' is assigned a value that is never used. [unreadVariable] faucc/print.c:877:7: style: Variable 'sol' is assigned a value that is never used. [unreadVariable] faucc/print.c:890:7: style: Variable 'sol' is assigned a value that is never used. [unreadVariable] faucc/print.c:903:7: style: Variable 'sol' is assigned a value that is never used. [unreadVariable] faucc/print.c:914:7: style: Variable 'sol' is assigned a value that is never used. [unreadVariable] faucc/print.c:925:7: style: Variable 'sol' is assigned a value that is never used. [unreadVariable] faucc/print.c:932:7: style: Variable 'sol' is assigned a value that is never used. [unreadVariable] faucc/print.c:939:7: style: Variable 'sol' is assigned a value that is never used. [unreadVariable] faucc/print.c:946:7: style: Variable 'sol' is assigned a value that is never used. [unreadVariable] faucc/print.c:953:7: style: Variable 'sol' is assigned a value that is never used. [unreadVariable] faucc/print.c:967:8: style: Variable 'sol' is assigned a value that is never used. [unreadVariable] faucc/print.c:976:7: style: Variable 'sol' is assigned a value that is never used. [unreadVariable] faucc/print.c:990:8: style: Variable 'sol' is assigned a value that is never used. [unreadVariable] faucc/print.c:999:7: style: Variable 'sol' is assigned a value that is never used. [unreadVariable] faucc/print.c:1015:8: style: Variable 'sol' is assigned a value that is never used. [unreadVariable] faucc/regalloc.c:378:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_IDENTIFIER [valueFlowBailoutIncompleteVar] faucc/regalloc.c:451:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_IDENTIFIER [valueFlowBailoutIncompleteVar] faucc/regalloc.c:470:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_ASSIGN [valueFlowBailoutIncompleteVar] faucc/regalloc.c:495:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_IDENTIFIER [valueFlowBailoutIncompleteVar] faucc/regalloc.c:562:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] faucc/regalloc.c:651:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_STAR [valueFlowBailoutIncompleteVar] faucc/regalloc.c:707:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TYPE_FLOAT32 [valueFlowBailoutIncompleteVar] faucc/regalloc.c:1035:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STORAGE_REGISTER [valueFlowBailoutIncompleteVar] faucc/regalloc.c:1664:3: warning: %u in format string (no. 4) requires 'unsigned int' but the argument type is 'signed int'. [invalidPrintfArgType_uint] faucc/regalloc.c:199:79: style: Parameter 'd' can be declared as pointer to const [constParameterPointer] faucc/regalloc.c:226:62: style: Parameter 'd' can be declared as pointer to const [constParameterPointer] faucc/regalloc.c:316:56: style: Parameter 's1' can be declared as pointer to const [constParameterPointer] faucc/regalloc.c:510:16: style: Parameter 'classinfo' can be declared as pointer to const [constParameterPointer] faucc/regalloc.c:596:15: style: Parameter 'old' can be declared as pointer to const [constParameterPointer] faucc/regalloc.c:980:27: style: Parameter 'reginfo' can be declared as pointer to const [constParameterPointer] faucc/regalloc.c:982:16: style: Parameter 'typeinfo' can be declared as pointer to const [constParameterPointer] faucc/regalloc.c:988:22: style: Variable 'stack_first' can be declared as pointer to const [constVariablePointer] faucc/regalloc.c:1697:16: style: Variable 'stack_first' is assigned a value that is never used. [unreadVariable] faucc/scope.c:33:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SCOPE_ENUM [valueFlowBailoutIncompleteVar] faucc/scope.c:76:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SCOPE_ENUM [valueFlowBailoutIncompleteVar] faucc/scope.c:95:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TYPE_STRUCT [valueFlowBailoutIncompleteVar] faucc/scope.c:219:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SCOPE_BLOCK [valueFlowBailoutIncompleteVar] faucc/scope.c:257:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TYPE_STRUCT [valueFlowBailoutIncompleteVar] faucc/scope.c:387:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SCOPE_PARAMETER [valueFlowBailoutIncompleteVar] faucc/scope.c:407:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SCOPE_BLOCK [valueFlowBailoutIncompleteVar] faucc/scope.c:429:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SCOPE_FUNCTION [valueFlowBailoutIncompleteVar] faucc/scope.c:439:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SCOPE_BLOCK [valueFlowBailoutIncompleteVar] faucc/scope.c:521:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable type_int8 [valueFlowBailoutIncompleteVar] faucc/scope.c:576:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STORAGE_ASM [valueFlowBailoutIncompleteVar] faucc/scope.c:590:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SCOPE_GLOBAL [valueFlowBailoutIncompleteVar] faucc/scope.c:419:59: style:inconclusive: Function 'scope_function_begin' argument 2 names different: declaration 'dor' definition 'dion'. [funcArgNamesDifferent] faucc/scope.h:86:59: note: Function 'scope_function_begin' argument 2 names different: declaration 'dor' definition 'dion'. faucc/scope.c:419:59: note: Function 'scope_function_begin' argument 2 names different: declaration 'dor' definition 'dion'. faucc/scope.c:594:31: style:inconclusive: Function 'scope_file_end' argument 1 names different: declaration 'scopep' definition 'sp'. [funcArgNamesDifferent] faucc/scope.h:103:31: note: Function 'scope_file_end' argument 1 names different: declaration 'scopep' definition 'sp'. faucc/scope.c:594:31: note: Function 'scope_file_end' argument 1 names different: declaration 'scopep' definition 'sp'. faucc/simplify.c:41:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STMT_BLOCK [valueFlowBailoutIncompleteVar] faucc/simplify.c:128:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SCOPE_GLOBAL [valueFlowBailoutIncompleteVar] faucc/simplify.c:176:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STMT_BLOCK [valueFlowBailoutIncompleteVar] faucc/simplify.c:217:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STMT_BLOCK [valueFlowBailoutIncompleteVar] faucc/simplify.c:252:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SCOPE_FUNCTION [valueFlowBailoutIncompleteVar] faucc/simplify.c:349:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_BRACES [valueFlowBailoutIncompleteVar] faucc/simplify.c:478:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STORAGE_STATIC [valueFlowBailoutIncompleteVar] faucc/simplify.c:596:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_IDENTIFIER [valueFlowBailoutIncompleteVar] faucc/simplify.c:836:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STMT_BLOCK [valueFlowBailoutIncompleteVar] faucc/simplify.c:866:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EXPR_STRING [valueFlowBailoutIncompleteVar] faucc/simplify.c:1332:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STMT_LABEL [valueFlowBailoutIncompleteVar] faucc/simplify.c:1402:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] faucc/simplify.c:1572:24: style:inconclusive: Function 'simplify' argument 1 names different: declaration 's' definition 'scope'. [funcArgNamesDifferent] faucc/simplify.h:22:24: note: Function 'simplify' argument 1 names different: declaration 's' definition 'scope'. faucc/simplify.c:1572:24: note: Function 'simplify' argument 1 names different: declaration 's' definition 'scope'. faucc/simplify.c:213:58: style: Parameter 's' can be declared as pointer to const [constParameterPointer] faucc/simplify.c:1259:48: style: Parameter 'fs' can be declared as pointer to const [constParameterPointer] faucc/stmt.c:85:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STMT_BLOCK [valueFlowBailoutIncompleteVar] faucc/stmt.c:333:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STMT_LABEL [valueFlowBailoutIncompleteVar] faucc/stmt.c:767:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STMT_LABEL [valueFlowBailoutIncompleteVar] faucc/stmt.c:809:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STMT_NULL [valueFlowBailoutIncompleteVar] faucc/stmt.c:821:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STMT_LABEL [valueFlowBailoutIncompleteVar] faucc/stmt.c:839:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STMT_EXPR [valueFlowBailoutIncompleteVar] faucc/stmt.c:856:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STMT_IF [valueFlowBailoutIncompleteVar] faucc/stmt.c:871:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STMT_GOTO [valueFlowBailoutIncompleteVar] faucc/stmt.c:886:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STMT_RETURN [valueFlowBailoutIncompleteVar] faucc/stmt.c:938:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STORAGE_PARAM [valueFlowBailoutIncompleteVar] faucc/stmt.c:1002:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STMT_BLOCK [valueFlowBailoutIncompleteVar] faucc/stmt.c:1189:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STMT_CASE [valueFlowBailoutIncompleteVar] faucc/stmt.c:1245:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STMT_NULL [valueFlowBailoutIncompleteVar] faucc/stmt.c:1734:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STMT_NULL [valueFlowBailoutIncompleteVar] faucc/stmt.c:1965:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STMT_BLOCK [valueFlowBailoutIncompleteVar] faucc/stmt.c:2065:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STMT_BLOCK [valueFlowBailoutIncompleteVar] faucc/stmt.c:2081:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable STMT_LABEL [valueFlowBailoutIncompleteVar] faucc/stmt.c:1179:49: style: Parameter 's' can be declared as pointer to const [constParameterPointer] faucc/stmt.c:1684:38: style: Parameter 'fs' can be declared as pointer to const [constParameterPointer] faucc/faucc.c:60:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar] faucc/faucc.c:83:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] faucc/faucc.c:115:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable O_CREAT [valueFlowBailoutIncompleteVar] faucc/faucc.c:188:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable O_RDONLY [valueFlowBailoutIncompleteVar] faucc/faucc.c:255:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] faucc/faucc.c:419:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] faucc/test/chip_intel_80386_inline.c:901:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] faucc/test/chip_intel_80386_inline.c:927:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] faucc/test/chip_intel_80386_inline.c:959:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] faucc/test/chip_intel_80386_inline.c:977:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] faucc/test/chip_intel_80386_inline.c:996:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] faucc/test/chip_intel_80386_inline.c:1021:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] faucc/test/chip_intel_80386_inline.c:5504:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] faucc/test/chip_intel_80386_inline.c:5488:21: error: Array 'parity_table[256]' accessed at index 65535, which is out of bounds. [arrayIndexOutOfBounds] faucc/test/chip_intel_80386_inline.c:9372:13: note: Assignment 'result=0xffff', assigned value is 65535 faucc/test/chip_intel_80386_inline.c:9385:17: note: Calling function 'parity', 1st argument 'result' value is 65535 faucc/test/chip_intel_80386_inline.c:5488:21: note: Array index out of bounds faucc/test/chip_intel_80386_inline.c:738:3: style: Operator '|' with one operand equal to zero is redundant. [badBitmaskCheck] faucc/test/chip_intel_80386_inline.c:768:3: style: Operator '|' with one operand equal to zero is redundant. [badBitmaskCheck] faucc/test/chip_intel_80386_inline.c:831:17: style: Operator '|' with one operand equal to zero is redundant. [badBitmaskCheck] faucc/test/chip_intel_80386_inline.c:837:17: style: Operator '|' with one operand equal to zero is redundant. [badBitmaskCheck] faucc/test/chip_intel_80386_inline.c:1649:18: error: Shifting signed 32-bit value by 31 bits is undefined behaviour [shiftTooManyBitsSigned] faucc/test/chip_intel_80386_inline.c:9158:33: error: Shifting signed 32-bit value by 31 bits is undefined behaviour [shiftTooManyBitsSigned] faucc/test/chip_intel_80386_inline.c:13735:29: error: Signed integer overflow for expression '4*i'. [integerOverflow] faucc/test/chip_intel_80386_inline.c:13732:12: note: Assignment 'i=-16', assigned value is -16 faucc/test/chip_intel_80386_inline.c:13735:29: note: Integer overflow faucc/test/chip_intel_80386_inline.c:13736:29: error: Signed integer overflow for expression '4*i'. [integerOverflow] faucc/test/chip_intel_80386_inline.c:13732:12: note: Assignment 'i=-16', assigned value is -16 faucc/test/chip_intel_80386_inline.c:13736:29: note: Integer overflow faucc/test/test-i386-noinline.c:1356:13: error: Syntax Error: AST broken, binary operator '||' doesn't have two operands. [internalAstError] faucc/test/test-i386.c:1356:13: error: Syntax Error: AST broken, binary operator '||' doesn't have two operands. [internalAstError] faucc/test/test13.c:11:7: style: struct member 'y::y' is never used. [unusedStructMember] faucc/test/test15.c:15:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable y [valueFlowBailoutIncompleteVar] faucc/test/test18.c:9:44: style: Parameter 'addr' can be declared as pointer to const [constParameterPointer] faucc/test/test19.c:11:2: style:inconclusive: Found duplicate branches for 'if' and 'else'. [duplicateBranch] faucc/test/test19.c:13:4: note: Found duplicate branches for 'if' and 'else'. faucc/test/test19.c:11:2: note: Found duplicate branches for 'if' and 'else'. i386.c:686:12: style: Local variable 'immediate' shadows outer variable [shadowVariable] i386.c:673:28: note: Shadowed declaration i386.c:686:12: note: Shadow variable faucc/test/test4.c:22:6: style: Condition 'y' is always true [knownConditionTrueFalse] faucc/test/test4.c:16:6: note: Assignment 'y=1', assigned value is 1 faucc/test/test4.c:22:6: note: Condition 'y' is always true faucc/test/test5.c:27:2: style: Condition 'a' is always false [knownConditionTrueFalse] faucc/test/test5.c:20:6: note: Assignment 'a=0', assigned value is 0 faucc/test/test5.c:27:2: note: Condition 'a' is always false faucc/test/test6.c:28:6: style: Variable 'a.r' is reassigned a value before the old one has been used. [redundantAssignment] faucc/test/test6.c:27:6: note: a.r is assigned faucc/test/test6.c:28:6: note: a.r is overwritten faucc/test/test6.c:29:6: style: Variable 'a.r' is reassigned a value before the old one has been used. [redundantAssignment] faucc/test/test6.c:28:6: note: a.r is assigned faucc/test/test6.c:29:6: note: a.r is overwritten faucc/test/test6.c:35:13: style: Variable 'b.i' is reassigned a value before the old one has been used. [redundantAssignment] faucc/test/test6.c:31:6: note: b.i is assigned faucc/test/test6.c:35:13: note: b.i is overwritten faucc/test/test6.c:37:6: style: Variable 'a.i' is reassigned a value before the old one has been used. [redundantAssignment] faucc/test/test6.c:35:6: note: a.i is assigned faucc/test/test6.c:37:6: note: a.i is overwritten faucc/test/test6.c:27:10: error: Uninitialized variable: b.i [uninitvar] faucc/test/test6.c:28:8: error: Uninitialized variable: array [uninitvar] faucc/test/test6.c:27:8: error: Uninitialized struct member: b.i [uninitStructMember] faucc/test/test6.c:32:13: style: Variable 'array[2].i' is assigned a value that is never used. [unreadVariable] faucc/test/test6.c:37:11: style: Variable 'b.i' is assigned a value that is never used. [unreadVariable] faucc/test/test8.c:17:8: style: Condition 'i