2026-05-01 06:41
ftp://ftp.de.debian.org/debian/pool/main/b/buddy/buddy_2.4+dfsg.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 -j8
platform: Linux-6.18.15+deb14-amd64-x86_64-with-glibc2.42
python: 3.13.12
client-version: 1.4.0
compiler: g++ (Debian 15.2.0-17) 15.2.0
cppcheck: head 2.20.0
head-info: 0fda84ef (2026-05-01 02:32:52 +0200)
count: 625 304
elapsed-time: 0.5 0.4
head-timing-info:

old-timing-info:

head results:
buddy-2.4/examples/fdd/fdd.cxx:27:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable bddfalse [valueFlowBailoutIncompleteVar]
buddy-2.4/examples/fdd/fdd.cxx:59:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable bddfalse [valueFlowBailoutIncompleteVar]
buddy-2.4/examples/bddtest/bddtest.cxx:16:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar]
buddy-2.4/examples/bddtest/bddtest.cxx:31:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable bddtrue [valueFlowBailoutIncompleteVar]
buddy-2.4/examples/bddtest/bddtest.cxx:51:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar]
buddy-2.4/examples/bddtest/bddtest.cxx:82:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable bddtrue [valueFlowBailoutIncompleteVar]
buddy-2.4/examples/adder/adder.cxx:48:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BDD_REORDER_NONE [valueFlowBailoutIncompleteVar]
buddy-2.4/examples/adder/adder.cxx:146:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable bddtrue [valueFlowBailoutIncompleteVar]
buddy-2.4/examples/adder/adder.cxx:180:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable bddfalse [valueFlowBailoutIncompleteVar]
buddy-2.4/examples/bddtest/bddtest.cxx:88:18: style:inconclusive: Boolean expression '!a' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/cmilner/cmilner.c:15:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable bddtrue [valueFlowBailoutIncompleteVar]
buddy-2.4/examples/cmilner/cmilner.c:36:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable bddfalse [valueFlowBailoutIncompleteVar]
buddy-2.4/examples/cmilner/cmilner.c:137:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable bddop_and [valueFlowBailoutIncompleteVar]
buddy-2.4/examples/cmilner/cmilner.c:176:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable bddfalse [valueFlowBailoutIncompleteVar]
buddy-2.4/examples/cmilner/cmilner.c:249:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable bdd [valueFlowBailoutIncompleteVar]
buddy-2.4/examples/money/money.cxx:71:4: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar]
buddy-2.4/examples/bddtest/bddtest.cxx:88:18: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/bddtest/bddtest.cxx:94:9: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/bddtest/bddtest.cxx:94:18: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/bddtest/bddtest.cxx:94:31: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/money/money.cxx:47:42: style:inconclusive: Boolean expression 'd+e==y+m1*10' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/money/money.cxx:47:50: style:inconclusive: Boolean expression 'e<c10' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/money/money.cxx:47:58: style:inconclusive: Boolean expression 'y<c10' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/money/money.cxx:47:66: style:inconclusive: Boolean expression 'm1<c2' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/money/money.cxx:53:42: style:inconclusive: Boolean expression 'n+r+m1==e+m2*10' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/money/money.cxx:53:50: style:inconclusive: Boolean expression 'r<c10' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/money/money.cxx:53:58: style:inconclusive: Boolean expression 'm2<c2' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/money/money.cxx:54:42: style:inconclusive: Boolean expression 'e+o+m2==n+m3*10' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/money/money.cxx:54:50: style:inconclusive: Boolean expression 'm3<c2' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/money/money.cxx:55:42: style:inconclusive: Boolean expression 's+m+m3==o+m*10' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/money/money.cxx:55:50: style:inconclusive: Boolean expression 'm<c2' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/money/money.cxx:56:23: style:inconclusive: Boolean expression 'm>c0' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/money/money.cxx:59:21: style:inconclusive: Boolean expression 's!=e' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/money/money.cxx:59:30: style:inconclusive: Boolean expression 's!=d' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/money/money.cxx:59:39: style:inconclusive: Boolean expression 's!=m' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/money/money.cxx:59:48: style:inconclusive: Boolean expression 's!=o' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/money/money.cxx:59:57: style:inconclusive: Boolean expression 's!=r' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/money/money.cxx:59:66: style:inconclusive: Boolean expression 's!=y' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/money/money.cxx:60:21: style:inconclusive: Boolean expression 'e!=n' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/money/money.cxx:60:30: style:inconclusive: Boolean expression 'e!=m' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/money/money.cxx:60:39: style:inconclusive: Boolean expression 'e!=o' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/money/money.cxx:60:48: style:inconclusive: Boolean expression 'e!=r' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/money/money.cxx:60:57: style:inconclusive: Boolean expression 'e!=y' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/money/money.cxx:61:21: style:inconclusive: Boolean expression 'n!=d' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/money/money.cxx:61:30: style:inconclusive: Boolean expression 'n!=o' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/money/money.cxx:61:39: style:inconclusive: Boolean expression 'n!=r' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/money/money.cxx:61:48: style:inconclusive: Boolean expression 'n!=y' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/money/money.cxx:62:21: style:inconclusive: Boolean expression 'd!=m' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/money/money.cxx:62:30: style:inconclusive: Boolean expression 'd!=r' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/money/money.cxx:62:39: style:inconclusive: Boolean expression 'd!=y' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/bddtest/bddtest.cxx:11:31: style: Parameter 'varset' can be declared as pointer to const [constParameterPointer]
buddy-2.4/examples/money/money.cxx:63:21: style:inconclusive: Boolean expression 'm!=o' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/bddtest/bddtest.cxx:29:26: style: Parameter 'varset' can be declared as pointer to const. However it seems that 'allsatHandler' is a callback function, if 'varset' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
buddy-2.4/examples/bddtest/bddtest.cxx:58:17: note: You might need to cast the function pointer here
buddy-2.4/examples/bddtest/bddtest.cxx:29:26: note: Parameter 'varset' can be declared as pointer to const
buddy-2.4/examples/money/money.cxx:63:30: style:inconclusive: Boolean expression 'm!=y' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/money/money.cxx:64:21: style:inconclusive: Boolean expression 'o!=r' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/milner/milner.cxx:16:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable bddtrue [valueFlowBailoutIncompleteVar]
buddy-2.4/examples/milner/milner.cxx:35:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable bddfalse [valueFlowBailoutIncompleteVar]
buddy-2.4/examples/milner/milner.cxx:85:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable bddop_and [valueFlowBailoutIncompleteVar]
buddy-2.4/examples/milner/milner.cxx:102:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
buddy-2.4/examples/money/money.cxx:47:42: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/money/money.cxx:47:50: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/money/money.cxx:47:58: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/money/money.cxx:47:66: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/money/money.cxx:53:42: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/money/money.cxx:53:50: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/money/money.cxx:53:58: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/money/money.cxx:54:42: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/money/money.cxx:54:50: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/money/money.cxx:55:42: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/money/money.cxx:55:50: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/money/money.cxx:56:23: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/money/money.cxx:59:21: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/money/money.cxx:59:30: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/money/money.cxx:59:39: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/money/money.cxx:59:48: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/money/money.cxx:59:57: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/money/money.cxx:59:66: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/money/money.cxx:60:21: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/money/money.cxx:60:30: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/money/money.cxx:60:39: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/money/money.cxx:60:48: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/money/money.cxx:60:57: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/money/money.cxx:61:21: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/money/money.cxx:61:30: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/money/money.cxx:61:39: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/money/money.cxx:61:48: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/money/money.cxx:62:21: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/money/money.cxx:62:30: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/money/money.cxx:62:39: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/money/money.cxx:63:21: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/money/money.cxx:63:30: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/money/money.cxx:64:21: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/bddcalc/hashtbl.cxx:43:16: style:inconclusive: Technically the member function 'hashTable::exists' can be const. [functionConst]
buddy-2.4/examples/bddcalc/hashtbl.h:40:8: note: Technically the member function 'hashTable::exists' can be const.
buddy-2.4/examples/bddcalc/hashtbl.cxx:43:16: note: Technically the member function 'hashTable::exists' can be const.
buddy-2.4/examples/queen/queen.cxx:40:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable bddtrue [valueFlowBailoutIncompleteVar]
buddy-2.4/examples/queen/queen.cxx:82:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
buddy-2.4/examples/bddcalc/hashtbl.cxx:28:31: style:inconclusive: Function 'add' argument 1 names different: declaration '<unnamed>' definition 'd'. [funcArgNamesDifferentUnnamed]
buddy-2.4/examples/bddcalc/hashtbl.cxx:43:35: style:inconclusive: Function 'exists' argument 1 names different: declaration '<unnamed>' definition 'id'. [funcArgNamesDifferentUnnamed]
buddy-2.4/examples/bddcalc/hashtbl.cxx:61:35: style:inconclusive: Function 'lookup' argument 1 names different: declaration '<unnamed>' definition 'id'. [funcArgNamesDifferentUnnamed]
buddy-2.4/examples/bddcalc/hashtbl.cxx:61:49: style:inconclusive: Function 'lookup' argument 2 names different: declaration '<unnamed>' definition 'd'. [funcArgNamesDifferentUnnamed]
buddy-2.4/examples/bddcalc/hashtbl.cxx:82:35: style:inconclusive: Function 'remove' argument 1 names different: declaration '<unnamed>' definition 'id'. [funcArgNamesDifferentUnnamed]
buddy-2.4/examples/bddcalc/hashtbl.cxx:163:45: style:inconclusive: Function 'hashval' argument 1 names different: declaration '<unnamed>' definition 's'. [funcArgNamesDifferentUnnamed]
buddy-2.4/examples/bddcalc/hashtbl.cxx:132:16: style: Local variable 'n' shadows outer variable [shadowVariable]
buddy-2.4/examples/bddcalc/hashtbl.cxx:126:8: note: Shadowed declaration
buddy-2.4/examples/bddcalc/hashtbl.cxx:132:16: note: Shadow variable
buddy-2.4/examples/bddcalc/hashtbl.cxx:28:31: style: Parameter 'd' can be declared as reference to const [constParameterReference]
buddy-2.4/examples/cmilner/cmilner.c:43:36: warning: If memory allocation fails, then there is a possible null pointer dereference: c [nullPointerOutOfMemory]
buddy-2.4/examples/cmilner/cmilner.c:249:22: note: Assuming allocation function fails
buddy-2.4/examples/cmilner/cmilner.c:249:9: note: Assignment 'c=(bdd*)malloc(sizeof(bdd)*N)', assigned value is 0
buddy-2.4/examples/cmilner/cmilner.c:279:42: note: Calling function 'transitions', 5th argument 'c' value is 0
buddy-2.4/examples/cmilner/cmilner.c:43:36: note: Null pointer dereference
buddy-2.4/examples/cmilner/cmilner.c:43:42: warning: If memory allocation fails, then there is a possible null pointer dereference: cp [nullPointerOutOfMemory]
buddy-2.4/examples/cmilner/cmilner.c:250:22: note: Assuming allocation function fails
buddy-2.4/examples/cmilner/cmilner.c:250:9: note: Assignment 'cp=(bdd*)malloc(sizeof(bdd)*N)', assigned value is 0
buddy-2.4/examples/cmilner/cmilner.c:279:44: note: Calling function 'transitions', 6th argument 'cp' value is 0
buddy-2.4/examples/cmilner/cmilner.c:43:42: note: Null pointer dereference
buddy-2.4/examples/cmilner/cmilner.c:44:36: warning: If memory allocation fails, then there is a possible null pointer dereference: tp [nullPointerOutOfMemory]
buddy-2.4/examples/cmilner/cmilner.c:252:22: note: Assuming allocation function fails
buddy-2.4/examples/cmilner/cmilner.c:252:9: note: Assignment 'tp=(bdd*)malloc(sizeof(bdd)*N)', assigned value is 0
buddy-2.4/examples/cmilner/cmilner.c:279:34: note: Calling function 'transitions', 2nd argument 'tp' value is 0
buddy-2.4/examples/cmilner/cmilner.c:44:36: note: Null pointer dereference
buddy-2.4/examples/cmilner/cmilner.c:44:43: warning: If memory allocation fails, then there is a possible null pointer dereference: t [nullPointerOutOfMemory]
buddy-2.4/examples/cmilner/cmilner.c:251:22: note: Assuming allocation function fails
buddy-2.4/examples/cmilner/cmilner.c:251:9: note: Assignment 't=(bdd*)malloc(sizeof(bdd)*N)', assigned value is 0
buddy-2.4/examples/cmilner/cmilner.c:279:32: note: Calling function 'transitions', 1st argument 't' value is 0
buddy-2.4/examples/cmilner/cmilner.c:44:43: note: Null pointer dereference
buddy-2.4/examples/cmilner/cmilner.c:53:42: warning: If memory allocation fails, then there is a possible null pointer dereference: hp [nullPointerOutOfMemory]
buddy-2.4/examples/cmilner/cmilner.c:254:22: note: Assuming allocation function fails
buddy-2.4/examples/cmilner/cmilner.c:254:9: note: Assignment 'hp=(bdd*)malloc(sizeof(bdd)*N)', assigned value is 0
buddy-2.4/examples/cmilner/cmilner.c:279:39: note: Calling function 'transitions', 4th argument 'hp' value is 0
buddy-2.4/examples/cmilner/cmilner.c:53:42: note: Null pointer dereference
buddy-2.4/examples/cmilner/cmilner.c:69:36: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
buddy-2.4/examples/cmilner/cmilner.c:253:22: note: Assuming allocation function fails
buddy-2.4/examples/cmilner/cmilner.c:253:9: note: Assignment 'h=(bdd*)malloc(sizeof(bdd)*N)', assigned value is 0
buddy-2.4/examples/cmilner/cmilner.c:279:37: note: Calling function 'transitions', 3rd argument 'h' value is 0
buddy-2.4/examples/cmilner/cmilner.c:69:36: note: Null pointer dereference
buddy-2.4/examples/cmilner/cmilner.c:69:42: warning: If memory allocation fails, then there is a possible null pointer dereference: hp [nullPointerOutOfMemory]
buddy-2.4/examples/cmilner/cmilner.c:254:22: note: Assuming allocation function fails
buddy-2.4/examples/cmilner/cmilner.c:254:9: note: Assignment 'hp=(bdd*)malloc(sizeof(bdd)*N)', assigned value is 0
buddy-2.4/examples/cmilner/cmilner.c:279:39: note: Calling function 'transitions', 4th argument 'hp' value is 0
buddy-2.4/examples/cmilner/cmilner.c:69:42: note: Null pointer dereference
buddy-2.4/examples/cmilner/cmilner.c:71:42: warning: If memory allocation fails, then there is a possible null pointer dereference: cp [nullPointerOutOfMemory]
buddy-2.4/examples/cmilner/cmilner.c:250:22: note: Assuming allocation function fails
buddy-2.4/examples/cmilner/cmilner.c:250:9: note: Assignment 'cp=(bdd*)malloc(sizeof(bdd)*N)', assigned value is 0
buddy-2.4/examples/cmilner/cmilner.c:279:44: note: Calling function 'transitions', 6th argument 'cp' value is 0
buddy-2.4/examples/cmilner/cmilner.c:71:42: note: Null pointer dereference
buddy-2.4/examples/cmilner/cmilner.c:97:36: warning: If memory allocation fails, then there is a possible null pointer dereference: t [nullPointerOutOfMemory]
buddy-2.4/examples/cmilner/cmilner.c:251:22: note: Assuming allocation function fails
buddy-2.4/examples/cmilner/cmilner.c:251:9: note: Assignment 't=(bdd*)malloc(sizeof(bdd)*N)', assigned value is 0
buddy-2.4/examples/cmilner/cmilner.c:279:32: note: Calling function 'transitions', 1st argument 't' value is 0
buddy-2.4/examples/cmilner/cmilner.c:97:36: note: Null pointer dereference
buddy-2.4/examples/cmilner/cmilner.c:97:42: warning: If memory allocation fails, then there is a possible null pointer dereference: tp [nullPointerOutOfMemory]
buddy-2.4/examples/cmilner/cmilner.c:252:22: note: Assuming allocation function fails
buddy-2.4/examples/cmilner/cmilner.c:252:9: note: Assignment 'tp=(bdd*)malloc(sizeof(bdd)*N)', assigned value is 0
buddy-2.4/examples/cmilner/cmilner.c:279:34: note: Calling function 'transitions', 2nd argument 'tp' value is 0
buddy-2.4/examples/cmilner/cmilner.c:97:42: note: Null pointer dereference
buddy-2.4/examples/cmilner/cmilner.c:135:31: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
buddy-2.4/examples/cmilner/cmilner.c:253:22: note: Assuming allocation function fails
buddy-2.4/examples/cmilner/cmilner.c:253:9: note: Assignment 'h=(bdd*)malloc(sizeof(bdd)*N)', assigned value is 0
buddy-2.4/examples/cmilner/cmilner.c:278:36: note: Calling function 'initial_state', 2nd argument 'h' value is 0
buddy-2.4/examples/cmilner/cmilner.c:135:31: note: Null pointer dereference
buddy-2.4/examples/cmilner/cmilner.c:137:33: warning: If memory allocation fails, then there is a possible null pointer dereference: c [nullPointerOutOfMemory]
buddy-2.4/examples/cmilner/cmilner.c:249:22: note: Assuming allocation function fails
buddy-2.4/examples/cmilner/cmilner.c:249:9: note: Assignment 'c=(bdd*)malloc(sizeof(bdd)*N)', assigned value is 0
buddy-2.4/examples/cmilner/cmilner.c:278:38: note: Calling function 'initial_state', 3rd argument 'c' value is 0
buddy-2.4/examples/cmilner/cmilner.c:137:33: note: Null pointer dereference
buddy-2.4/examples/cmilner/cmilner.c:140:31: warning: If memory allocation fails, then there is a possible null pointer dereference: t [nullPointerOutOfMemory]
buddy-2.4/examples/cmilner/cmilner.c:251:22: note: Assuming allocation function fails
buddy-2.4/examples/cmilner/cmilner.c:251:9: note: Assignment 't=(bdd*)malloc(sizeof(bdd)*N)', assigned value is 0
buddy-2.4/examples/cmilner/cmilner.c:278:34: note: Calling function 'initial_state', 1st argument 't' value is 0
buddy-2.4/examples/cmilner/cmilner.c:140:31: note: Null pointer dereference
buddy-2.4/examples/cmilner/cmilner.c:151:34: warning: If memory allocation fails, then there is a possible null pointer dereference: c [nullPointerOutOfMemory]
buddy-2.4/examples/cmilner/cmilner.c:249:22: note: Assuming allocation function fails
buddy-2.4/examples/cmilner/cmilner.c:249:9: note: Assignment 'c=(bdd*)malloc(sizeof(bdd)*N)', assigned value is 0
buddy-2.4/examples/cmilner/cmilner.c:278:38: note: Calling function 'initial_state', 3rd argument 'c' value is 0
buddy-2.4/examples/cmilner/cmilner.c:151:34: note: Null pointer dereference
buddy-2.4/examples/cmilner/cmilner.c:152:34: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
buddy-2.4/examples/cmilner/cmilner.c:253:22: note: Assuming allocation function fails
buddy-2.4/examples/cmilner/cmilner.c:253:9: note: Assignment 'h=(bdd*)malloc(sizeof(bdd)*N)', assigned value is 0
buddy-2.4/examples/cmilner/cmilner.c:278:36: note: Calling function 'initial_state', 2nd argument 'h' value is 0
buddy-2.4/examples/cmilner/cmilner.c:152:34: note: Null pointer dereference
buddy-2.4/examples/cmilner/cmilner.c:158:34: warning: If memory allocation fails, then there is a possible null pointer dereference: t [nullPointerOutOfMemory]
buddy-2.4/examples/cmilner/cmilner.c:251:22: note: Assuming allocation function fails
buddy-2.4/examples/cmilner/cmilner.c:251:9: note: Assignment 't=(bdd*)malloc(sizeof(bdd)*N)', assigned value is 0
buddy-2.4/examples/cmilner/cmilner.c:278:34: note: Calling function 'initial_state', 1st argument 't' value is 0
buddy-2.4/examples/cmilner/cmilner.c:158:34: note: Null pointer dereference
buddy-2.4/examples/cmilner/cmilner.c:261:7: warning: If memory allocation fails, then there is a possible null pointer dereference: normvar [nullPointerOutOfMemory]
buddy-2.4/examples/cmilner/cmilner.c:256:27: note: Assuming allocation function fails
buddy-2.4/examples/cmilner/cmilner.c:256:14: note: Assignment 'normvar=(int*)malloc(sizeof(int)*N*3)', assigned value is 0
buddy-2.4/examples/cmilner/cmilner.c:261:7: note: Null pointer dereference
buddy-2.4/examples/cmilner/cmilner.c:262:7: warning: If memory allocation fails, then there is a possible null pointer dereference: primvar [nullPointerOutOfMemory]
buddy-2.4/examples/cmilner/cmilner.c:257:27: note: Assuming allocation function fails
buddy-2.4/examples/cmilner/cmilner.c:257:14: note: Assignment 'primvar=(int*)malloc(sizeof(int)*N*3)', assigned value is 0
buddy-2.4/examples/cmilner/cmilner.c:262:7: note: Null pointer dereference
buddy-2.4/examples/cmilner/cmilner.c:270:7: warning: If memory allocation fails, then there is a possible null pointer dereference: c [nullPointerOutOfMemory]
buddy-2.4/examples/cmilner/cmilner.c:249:22: note: Assuming allocation function fails
buddy-2.4/examples/cmilner/cmilner.c:249:9: note: Assignment 'c=(bdd*)malloc(sizeof(bdd)*N)', assigned value is 0
buddy-2.4/examples/cmilner/cmilner.c:270:7: note: Null pointer dereference
buddy-2.4/examples/cmilner/cmilner.c:271:7: warning: If memory allocation fails, then there is a possible null pointer dereference: cp [nullPointerOutOfMemory]
buddy-2.4/examples/cmilner/cmilner.c:250:22: note: Assuming allocation function fails
buddy-2.4/examples/cmilner/cmilner.c:250:9: note: Assignment 'cp=(bdd*)malloc(sizeof(bdd)*N)', assigned value is 0
buddy-2.4/examples/cmilner/cmilner.c:271:7: note: Null pointer dereference
buddy-2.4/examples/cmilner/cmilner.c:272:7: warning: If memory allocation fails, then there is a possible null pointer dereference: t [nullPointerOutOfMemory]
buddy-2.4/examples/cmilner/cmilner.c:251:22: note: Assuming allocation function fails
buddy-2.4/examples/cmilner/cmilner.c:251:9: note: Assignment 't=(bdd*)malloc(sizeof(bdd)*N)', assigned value is 0
buddy-2.4/examples/cmilner/cmilner.c:272:7: note: Null pointer dereference
buddy-2.4/examples/cmilner/cmilner.c:273:7: warning: If memory allocation fails, then there is a possible null pointer dereference: tp [nullPointerOutOfMemory]
buddy-2.4/examples/cmilner/cmilner.c:252:22: note: Assuming allocation function fails
buddy-2.4/examples/cmilner/cmilner.c:252:9: note: Assignment 'tp=(bdd*)malloc(sizeof(bdd)*N)', assigned value is 0
buddy-2.4/examples/cmilner/cmilner.c:273:7: note: Null pointer dereference
buddy-2.4/examples/cmilner/cmilner.c:274:7: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
buddy-2.4/examples/cmilner/cmilner.c:253:22: note: Assuming allocation function fails
buddy-2.4/examples/cmilner/cmilner.c:253:9: note: Assignment 'h=(bdd*)malloc(sizeof(bdd)*N)', assigned value is 0
buddy-2.4/examples/cmilner/cmilner.c:274:7: note: Null pointer dereference
buddy-2.4/examples/cmilner/cmilner.c:275:7: warning: If memory allocation fails, then there is a possible null pointer dereference: hp [nullPointerOutOfMemory]
buddy-2.4/examples/cmilner/cmilner.c:254:22: note: Assuming allocation function fails
buddy-2.4/examples/cmilner/cmilner.c:254:9: note: Assignment 'hp=(bdd*)malloc(sizeof(bdd)*N)', assigned value is 0
buddy-2.4/examples/cmilner/cmilner.c:275:7: note: Null pointer dereference
buddy-2.4/examples/milner/milner.cxx:39:25: style:inconclusive: Boolean expression 'c[i]>cp[i]' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/milner/milner.cxx:41:19: style:inconclusive: Boolean expression 'h[i]>hp[i]' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/milner/milner.cxx:44:16: style:inconclusive: Boolean expression '!tp[i]' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/milner/milner.cxx:58:17: style:inconclusive: Boolean expression '!h[0]' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/milner/milner.cxx:61:18: style:inconclusive: Boolean expression '!c[i]' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/milner/milner.cxx:61:26: style:inconclusive: Boolean expression '!t[i]' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
buddy-2.4/examples/solitare/solitare.cxx:79:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable bddtrue [valueFlowBailoutIncompleteVar]
buddy-2.4/examples/solitare/solitare.cxx:93:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable bddtrue [valueFlowBailoutIncompleteVar]
buddy-2.4/examples/solitare/solitare.cxx:120:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable bddfalse [valueFlowBailoutIncompleteVar]
buddy-2.4/examples/solitare/solitare.cxx:137:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable bddtrue [valueFlowBailoutIncompleteVar]
buddy-2.4/examples/solitare/solitare.cxx:155:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable bddop_and [valueFlowBailoutIncompleteVar]
buddy-2.4/examples/solitare/solitare.cxx:180:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable bddop_and [valueFlowBailoutIncompleteVar]
buddy-2.4/examples/milner/milner.cxx:44:16: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/milner/milner.cxx:58:17: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/milner/milner.cxx:58:25: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/milner/milner.cxx:61:18: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/milner/milner.cxx:61:26: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/milner/milner.cxx:55:24: style: Parameter 't' can be declared as pointer to const [constParameterPointer]
buddy-2.4/examples/milner/milner.cxx:55:32: style: Parameter 'h' can be declared as pointer to const [constParameterPointer]
parser.yxx:139:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable bddop_and [valueFlowBailoutIncompleteVar]
parser.yxx:101:4: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cerr [valueFlowBailoutIncompleteVar]
parser.yxx:112:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
parser.yxx:150:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
parser.yxx:190:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable bddtrue [valueFlowBailoutIncompleteVar]
parser.yxx:293:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar]
parser.yxx:309:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar]
parser.yxx:338:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable bddtrue [valueFlowBailoutIncompleteVar]
parser.yxx:354:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar]
buddy-2.4/examples/solitare/solitare.cxx:108:41: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/solitare/solitare.cxx:108:56: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
buddy-2.4/examples/solitare/solitare.cxx:109:28: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition]
lexer.cxx:650:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdin [valueFlowBailoutIncompleteVar]
lexer.cxx:1220:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
lexer.cxx:1411:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
lexer.cxx:1762:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
buddy-2.4/src/bddio.c:121:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
buddy-2.4/src/bddio.c:165:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
buddy-2.4/src/bddio.c:228:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
buddy-2.4/src/bddio.c:314:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
buddy-2.4/src/cache.c:45:29: style:inconclusive: Function 'BddCache_init' argument 1 names different: declaration '<unnamed>' definition 'cache'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/cache.c:45:40: style:inconclusive: Function 'BddCache_init' argument 2 names different: declaration '<unnamed>' definition 'size'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/cache.c:62:30: style:inconclusive: Function 'BddCache_done' argument 1 names different: declaration '<unnamed>' definition 'cache'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/cache.c:70:31: style:inconclusive: Function 'BddCache_resize' argument 1 names different: declaration '<unnamed>' definition 'cache'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/cache.c:70:42: style:inconclusive: Function 'BddCache_resize' argument 2 names different: declaration '<unnamed>' definition 'newsize'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/cache.c:89:31: style:inconclusive: Function 'BddCache_reset' argument 1 names different: declaration '<unnamed>' definition 'cache'. [funcArgNamesDifferentUnnamed]
parser.cxx:1026:36: warning: Obsolete function 'alloca' called. [allocaCalled]
parser.yxx:25:56: performance: Variable 'val' is assigned in constructor body. Consider performing initialization in initialization list. [useInitializationList]
parser.cxx:1097:15: style: Condition 'yyn==0' is always true [knownConditionTrueFalse]
parser.cxx:1094:16: note: Assignment 'yyn=yytable[yyn]', assigned value is greater than -1
parser.cxx:1095:11: note: Assuming that condition 'yyn<=0' is not redundant
parser.cxx:1097:15: note: Condition 'yyn==0' is always true
parser.cxx:1026:4: style: C-style pointer casting [cstyleCast]
parser.yxx:228:29: style: C-style pointer casting [cstyleCast]
parser.yxx:260:18: style: C-style pointer casting [cstyleCast]
parser.yxx:277:25: style: C-style pointer casting [cstyleCast]
parser.yxx:294:23: style: C-style pointer casting [cstyleCast]
parser.yxx:308:39: style: C-style pointer casting [cstyleCast]
parser.yxx:338:12: style: C-style pointer casting [cstyleCast]
parser.yxx:354:45: style: C-style pointer casting [cstyleCast]
parser.yxx:251:49: style: Parameter 'list' can be declared as pointer to const [constParameterPointer]
parser.cxx:1024:9: style: Variable 'yyss1' can be declared as pointer to const [constVariablePointer]
buddy-2.4/src/bddio.c:133:3: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
buddy-2.4/src/bddio.c:95:45: style:inconclusive: Function 'bdd_file_hook' argument 1 names different: declaration '<unnamed>' definition 'handler'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddio.c:125:26: style:inconclusive: Function 'bdd_fprintall' argument 1 names different: declaration '<unnamed>' definition 'ofile'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddio.c:163:25: style:inconclusive: Function 'bdd_printtable' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddio.c:169:28: style:inconclusive: Function 'bdd_fprinttable' argument 1 names different: declaration '<unnamed>' definition 'ofile'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddio.c:169:39: style:inconclusive: Function 'bdd_fprinttable' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddio.c:226:23: style:inconclusive: Function 'bdd_printset' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddio.c:232:26: style:inconclusive: Function 'bdd_fprintset' argument 1 names different: declaration '<unnamed>' definition 'ofile'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddio.c:232:37: style:inconclusive: Function 'bdd_fprintset' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddio.c:254:36: style:inconclusive: Function 'bdd_printset_rec' argument 1 names different: declaration '<unnamed>' definition 'ofile'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddio.c:254:47: style:inconclusive: Function 'bdd_printset_rec' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddio.c:254:55: style:inconclusive: Function 'bdd_printset_rec' argument 3 names different: declaration '<unnamed>' definition 'set'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddio.c:312:23: style:inconclusive: Function 'bdd_printdot' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddio.c:318:26: style:inconclusive: Function 'bdd_fnprintdot' argument 1 names different: declaration '<unnamed>' definition 'fname'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddio.c:318:37: style:inconclusive: Function 'bdd_fnprintdot' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddio.c:329:26: style:inconclusive: Function 'bdd_fprintdot' argument 1 names different: declaration '<unnamed>' definition 'ofile'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddio.c:329:37: style:inconclusive: Function 'bdd_fprintdot' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddio.c:343:37: style:inconclusive: Function 'bdd_fprintdot_rec' argument 1 names different: declaration '<unnamed>' definition 'ofile'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddio.c:343:48: style:inconclusive: Function 'bdd_fprintdot_rec' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddio.c:381:22: style:inconclusive: Function 'bdd_fnsave' argument 1 names different: declaration '<unnamed>' definition 'fname'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddio.c:381:33: style:inconclusive: Function 'bdd_fnsave' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddio.c:395:20: style:inconclusive: Function 'bdd_save' argument 1 names different: declaration '<unnamed>' definition 'ofile'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddio.c:395:31: style:inconclusive: Function 'bdd_save' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddio.c:420:31: style:inconclusive: Function 'bdd_save_rec' argument 1 names different: declaration '<unnamed>' definition 'ofile'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddio.c:420:42: style:inconclusive: Function 'bdd_save_rec' argument 2 names different: declaration '<unnamed>' definition 'root'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddio.c:475:22: style:inconclusive: Function 'bdd_fnload' argument 1 names different: declaration '<unnamed>' definition 'fname'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddio.c:475:34: style:inconclusive: Function 'bdd_fnload' argument 2 names different: declaration '<unnamed>' definition 'root'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddio.c:489:32: style:inconclusive: Function 'bdd_load' argument 2 names different: declaration '<unnamed>' definition 'root'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddio.c:540:31: style:inconclusive: Function 'bdd_loaddata' argument 1 names different: declaration '<unnamed>' definition 'ifile'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddio.c:566:30: style:inconclusive: Function 'loadhash_add' argument 1 names different: declaration '<unnamed>' definition 'key'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddio.c:566:39: style:inconclusive: Function 'loadhash_add' argument 2 names different: declaration '<unnamed>' definition 'data'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddio.c:580:29: style:inconclusive: Function 'loadhash_get' argument 1 names different: declaration '<unnamed>' definition 'key'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddio.c:318:26: style: Parameter 'fname' can be declared as pointer to const [constParameterPointer]
buddy-2.4/src/bddio.c:381:22: style: Parameter 'fname' can be declared as pointer to const [constParameterPointer]
buddy-2.4/src/bddio.c:475:22: style: Parameter 'fname' can be declared as pointer to const [constParameterPointer]
buddy-2.4/src/imatrix.c:112:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
buddy-2.4/src/imatrix.c:45:25: style:inconclusive: Function 'imatrixNew' argument 1 names different: declaration '<unnamed>' definition 'size'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/imatrix.c:78:29: style:inconclusive: Function 'imatrixDelete' argument 1 names different: declaration '<unnamed>' definition 'mtx'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/imatrix.c:91:29: style:inconclusive: Function 'imatrixFPrint' argument 1 names different: declaration '<unnamed>' definition 'mtx'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/imatrix.c:91:40: style:inconclusive: Function 'imatrixFPrint' argument 2 names different: declaration '<unnamed>' definition 'ofile'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/imatrix.c:110:28: style:inconclusive: Function 'imatrixPrint' argument 1 names different: declaration '<unnamed>' definition 'mtx'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/imatrix.c:116:26: style:inconclusive: Function 'imatrixSet' argument 1 names different: declaration '<unnamed>' definition 'mtx'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/imatrix.c:116:35: style:inconclusive: Function 'imatrixSet' argument 2 names different: declaration '<unnamed>' definition 'a'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/imatrix.c:116:42: style:inconclusive: Function 'imatrixSet' argument 3 names different: declaration '<unnamed>' definition 'b'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/imatrix.c:122:26: style:inconclusive: Function 'imatrixClr' argument 1 names different: declaration '<unnamed>' definition 'mtx'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/imatrix.c:122:35: style:inconclusive: Function 'imatrixClr' argument 2 names different: declaration '<unnamed>' definition 'a'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/imatrix.c:122:42: style:inconclusive: Function 'imatrixClr' argument 3 names different: declaration '<unnamed>' definition 'b'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/imatrix.c:128:29: style:inconclusive: Function 'imatrixDepends' argument 1 names different: declaration '<unnamed>' definition 'mtx'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/imatrix.c:128:38: style:inconclusive: Function 'imatrixDepends' argument 2 names different: declaration '<unnamed>' definition 'a'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/imatrix.c:128:45: style:inconclusive: Function 'imatrixDepends' argument 3 names different: declaration '<unnamed>' definition 'b'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddtest.cxx:41:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar]
lexer.cxx:1196:20: style: C-style pointer casting [cstyleCast]
buddy-2.4/src/bddtest.cxx:51:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar]
lexer.cxx:1198:23: style: C-style pointer casting [cstyleCast]
buddy-2.4/src/bddtest.cxx:78:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar]
lexer.cxx:1429:7: style: C-style pointer casting [cstyleCast]
lexer.cxx:1506:6: style: C-style pointer casting [cstyleCast]
lexer.cxx:1515:17: style: C-style pointer casting [cstyleCast]
lexer.cxx:1541:17: style: C-style pointer casting [cstyleCast]
lexer.cxx:1543:16: style: C-style pointer casting [cstyleCast]
lexer.cxx:1622:6: style: C-style pointer casting [cstyleCast]
lexer.cxx:1676:8: style: C-style pointer casting [cstyleCast]
lexer.cxx:1844:27: style: C-style pointer casting [cstyleCast]
buddy-2.4/src/fdd.c:700:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
lexer.cxx:1220:3: style: Redundant initialization for 'c'. The initialized value is overwritten before it is read. [redundantInitialization]
lexer.cxx:1220:3: note: c is initialized
lexer.cxx:1220:3: note: c is overwritten
lexer.lxx:226:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak]
lexer.lxx:231:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak]
lexer.lxx:238:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak]
lexer.cxx:1292:54: style:inconclusive: Function 'yy_try_NUL_trans' argument 1 names different: declaration 'current_state' definition 'yy_current_state'. [funcArgNamesDifferent]
buddy-2.4/examples/bddcalc/lexer.cxx:271:39: note: Function 'yy_try_NUL_trans' argument 1 names different: declaration 'current_state' definition 'yy_current_state'.
lexer.cxx:1292:54: note: Function 'yy_try_NUL_trans' argument 1 names different: declaration 'current_state' definition 'yy_current_state'.
lexer.cxx:1322:44: style:inconclusive: Function 'yyunput' argument 2 names different: declaration 'buf_ptr' definition 'yy_bp'. [funcArgNamesDifferent]
lexer.cxx:491:21: note: Function 'yyunput' argument 2 names different: declaration 'buf_ptr' definition 'yy_bp'.
lexer.cxx:1322:44: note: Function 'yyunput' argument 2 names different: declaration 'buf_ptr' definition 'yy_bp'.
lexer.cxx:1820:39: style:inconclusive: Function 'yy_flex_alloc' argument 1 names different: declaration '<unnamed>' definition 'size'. [funcArgNamesDifferentUnnamed]
lexer.cxx:1830:37: style:inconclusive: Function 'yy_flex_realloc' argument 1 names different: declaration '<unnamed>' definition 'ptr'. [funcArgNamesDifferentUnnamed]
lexer.cxx:1830:52: style:inconclusive: Function 'yy_flex_realloc' argument 2 names different: declaration '<unnamed>' definition 'size'. [funcArgNamesDifferentUnnamed]
lexer.cxx:1848:33: style:inconclusive: Function 'yy_flex_free' argument 1 names different: declaration '<unnamed>' definition 'ptr'. [funcArgNamesDifferentUnnamed]
lexer.cxx:1128:17: style: Variable 'source' can be declared as pointer to const [constVariablePointer]
lexer.cxx:1340:18: style: Variable 'source' can be declared as pointer to const [constVariablePointer]
buddy-2.4/src/bdd.h:808:4: warning:inconclusive: Member variable 'bdd_ioformat::format' is not initialized in the constructor. [uninitMemberVarPrivate]
buddy-2.4/src/bvec.h:129:32: performance: Variable 'roots' is assigned in constructor body. Consider performing initialization in initialization list. [useInitializationList]
buddy-2.4/src/bvec.h:130:32: performance: Variable 'roots' is assigned in constructor body. Consider performing initialization in initialization list. [useInitializationList]
buddy-2.4/src/bvec.h:131:32: performance: Variable 'roots' is assigned in constructor body. Consider performing initialization in initialization list. [useInitializationList]
buddy-2.4/src/bvec.h:143:26: performance: Variable 'roots' is assigned in constructor body. Consider performing initialization in initialization list. [useInitializationList]
buddy-2.4/src/bdd.h:458:4: style: Class 'bdd' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
buddy-2.4/src/bdd.h:806:4: style: Class 'bdd_ioformat' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
buddy-2.4/src/bvec.h:129:4: style: Class 'bvec' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
buddy-2.4/src/bvec.h:143:4: style: Class 'bvec' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
buddy-2.4/src/bddtest.cxx:39:31: performance: Function parameter 'msg' should be passed by const reference. [passedByValue]
buddy-2.4/src/prime.c:150:9: error: Shifting signed 32-bit value by 31 bits is undefined behaviour [shiftTooManyBitsSigned]
buddy-2.4/src/prime.c:149:34: note: Assignment 'b=(sizeof(unsigned int)*8)-1', assigned value is 31
buddy-2.4/src/prime.c:150:9: note: Shift
buddy-2.4/src/pairs.c:91:33: style:inconclusive: Function 'bdd_register_pair' argument 1 names different: declaration '<unnamed>' definition 'p'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/pairs.c:98:28: style:inconclusive: Function 'bdd_pairs_vardown' argument 1 names different: declaration '<unnamed>' definition 'level'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/pairs.c:116:26: style:inconclusive: Function 'bdd_pairs_resize' argument 1 names different: declaration '<unnamed>' definition 'oldsize'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/pairs.c:116:39: style:inconclusive: Function 'bdd_pairs_resize' argument 2 names different: declaration '<unnamed>' definition 'newsize'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/pairs.c:196:26: style:inconclusive: Function 'bdd_setpair' argument 1 names different: declaration '<unnamed>' definition 'pair'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/pairs.c:196:36: style:inconclusive: Function 'bdd_setpair' argument 2 names different: declaration '<unnamed>' definition 'oldvar'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/pairs.c:196:48: style:inconclusive: Function 'bdd_setpair' argument 3 names different: declaration '<unnamed>' definition 'newvar'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/pairs.c:217:29: style:inconclusive: Function 'bdd_setbddpair' argument 1 names different: declaration '<unnamed>' definition 'pair'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/pairs.c:217:39: style:inconclusive: Function 'bdd_setbddpair' argument 2 names different: declaration '<unnamed>' definition 'oldvar'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/pairs.c:217:51: style:inconclusive: Function 'bdd_setbddpair' argument 3 names different: declaration '<unnamed>' definition 'newvar'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/pairs.c:252:27: style:inconclusive: Function 'bdd_setpairs' argument 1 names different: declaration '<unnamed>' definition 'pair'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/pairs.c:252:38: style:inconclusive: Function 'bdd_setpairs' argument 2 names different: declaration '<unnamed>' definition 'oldvar'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/pairs.c:252:51: style:inconclusive: Function 'bdd_setpairs' argument 3 names different: declaration '<unnamed>' definition 'newvar'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/pairs.c:252:63: style:inconclusive: Function 'bdd_setpairs' argument 4 names different: declaration '<unnamed>' definition 'size'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/pairs.c:266:30: style:inconclusive: Function 'bdd_setbddpairs' argument 1 names different: declaration '<unnamed>' definition 'pair'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/pairs.c:266:41: style:inconclusive: Function 'bdd_setbddpairs' argument 2 names different: declaration '<unnamed>' definition 'oldvar'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/pairs.c:266:54: style:inconclusive: Function 'bdd_setbddpairs' argument 3 names different: declaration '<unnamed>' definition 'newvar'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/pairs.c:266:66: style:inconclusive: Function 'bdd_setbddpairs' argument 4 names different: declaration '<unnamed>' definition 'size'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/pairs.c:289:28: style:inconclusive: Function 'bdd_freepair' argument 1 names different: declaration '<unnamed>' definition 'p'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/pairs.c:324:29: style:inconclusive: Function 'bdd_resetpair' argument 1 names different: declaration '<unnamed>' definition 'p'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/pairs.c:252:38: style: Parameter 'oldvar' can be declared as pointer to const [constParameterPointer]
buddy-2.4/src/pairs.c:252:51: style: Parameter 'newvar' can be declared as pointer to const [constParameterPointer]
buddy-2.4/src/pairs.c:266:41: style: Parameter 'oldvar' can be declared as pointer to const [constParameterPointer]
buddy-2.4/src/pairs.c:266:54: style: Parameter 'newvar' can be declared as pointer to const [constParameterPointer]
buddy-2.4/src/kernel.c:689:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MAJOR_VERSION [valueFlowBailoutIncompleteVar]
buddy-2.4/src/kernel.c:776:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
buddy-2.4/src/kernel.c:805:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
buddy-2.4/src/tree.c:64:26: style:inconclusive: Function 'bddtree_new' argument 1 names different: declaration '<unnamed>' definition 'id'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/tree.c:79:27: style:inconclusive: Function 'bddtree_del' argument 1 names different: declaration '<unnamed>' definition 't'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/tree.c:92:40: style:inconclusive: Function 'bddtree_addrange_rec' argument 1 names different: declaration '<unnamed>' definition 't'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/tree.c:92:52: style:inconclusive: Function 'bddtree_addrange_rec' argument 2 names different: declaration '<unnamed>' definition 'prev'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/tree.c:93:14: style:inconclusive: Function 'bddtree_addrange_rec' argument 3 names different: declaration '<unnamed>' definition 'first'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/tree.c:93:25: style:inconclusive: Function 'bddtree_addrange_rec' argument 4 names different: declaration '<unnamed>' definition 'last'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/tree.c:93:35: style:inconclusive: Function 'bddtree_addrange_rec' argument 5 names different: declaration '<unnamed>' definition 'fixed'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/tree.c:93:46: style:inconclusive: Function 'bddtree_addrange_rec' argument 6 names different: declaration '<unnamed>' definition 'id'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/tree.c:189:36: style:inconclusive: Function 'bddtree_addrange' argument 1 names different: declaration '<unnamed>' definition 't'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/tree.c:189:43: style:inconclusive: Function 'bddtree_addrange' argument 2 names different: declaration '<unnamed>' definition 'first'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/tree.c:189:54: style:inconclusive: Function 'bddtree_addrange' argument 3 names different: declaration '<unnamed>' definition 'last'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/tree.c:189:64: style:inconclusive: Function 'bddtree_addrange' argument 4 names different: declaration '<unnamed>' definition 'fixed'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/tree.c:189:74: style:inconclusive: Function 'bddtree_addrange' argument 5 names different: declaration '<unnamed>' definition 'id'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bvec.c:93:21: style:inconclusive: Function 'bvec_copy' argument 1 names different: declaration 'v' definition 'src'. [funcArgNamesDifferent]
buddy-2.4/src/bvec.h:77:28: note: Function 'bvec_copy' argument 1 names different: declaration 'v' definition 'src'.
buddy-2.4/src/bvec.c:93:21: note: Function 'bvec_copy' argument 1 names different: declaration 'v' definition 'src'.
buddy-2.4/src/bvec.c:518:20: style:inconclusive: Function 'bvec_add' argument 1 names different: declaration 'left' definition 'l'. [funcArgNamesDifferent]
buddy-2.4/src/bvec.h:93:27: note: Function 'bvec_add' argument 1 names different: declaration 'left' definition 'l'.
buddy-2.4/src/bvec.c:518:20: note: Function 'bvec_add' argument 1 names different: declaration 'left' definition 'l'.
buddy-2.4/src/bvec.c:518:28: style:inconclusive: Function 'bvec_add' argument 2 names different: declaration 'right' definition 'r'. [funcArgNamesDifferent]
buddy-2.4/src/bvec.h:93:38: note: Function 'bvec_add' argument 2 names different: declaration 'right' definition 'r'.
buddy-2.4/src/bvec.c:518:28: note: Function 'bvec_add' argument 2 names different: declaration 'right' definition 'r'.
buddy-2.4/src/bvec.c:588:20: style:inconclusive: Function 'bvec_sub' argument 1 names different: declaration 'left' definition 'l'. [funcArgNamesDifferent]
buddy-2.4/src/bvec.h:94:27: note: Function 'bvec_sub' argument 1 names different: declaration 'left' definition 'l'.
buddy-2.4/src/bvec.c:588:20: note: Function 'bvec_sub' argument 1 names different: declaration 'left' definition 'l'.
buddy-2.4/src/bvec.c:588:28: style:inconclusive: Function 'bvec_sub' argument 2 names different: declaration 'right' definition 'r'. [funcArgNamesDifferent]
buddy-2.4/src/bvec.h:94:38: note: Function 'bvec_sub' argument 2 names different: declaration 'right' definition 'r'.
buddy-2.4/src/bvec.c:588:28: note: Function 'bvec_sub' argument 2 names different: declaration 'right' definition 'r'.
buddy-2.4/src/bvec.c:843:43: style:inconclusive: Function 'bvec_div' argument 3 names different: declaration 'res' definition 'result'. [funcArgNamesDifferent]
buddy-2.4/src/bvec.h:98:51: note: Function 'bvec_div' argument 3 names different: declaration 'res' definition 'result'.
buddy-2.4/src/bvec.c:843:43: note: Function 'bvec_div' argument 3 names different: declaration 'res' definition 'result'.
buddy-2.4/src/bvec.c:843:57: style:inconclusive: Function 'bvec_div' argument 4 names different: declaration 'rem' definition 'remainder'. [funcArgNamesDifferent]
buddy-2.4/src/bvec.h:98:62: note: Function 'bvec_div' argument 4 names different: declaration 'rem' definition 'remainder'.
buddy-2.4/src/bvec.c:843:57: note: Function 'bvec_div' argument 4 names different: declaration 'rem' definition 'remainder'.
buddy-2.4/src/bvec.c:1179:19: style:inconclusive: Function 'bvec_lth' argument 1 names different: declaration 'left' definition 'l'. [funcArgNamesDifferent]
buddy-2.4/src/bvec.h:104:27: note: Function 'bvec_lth' argument 1 names different: declaration 'left' definition 'l'.
buddy-2.4/src/bvec.c:1179:19: note: Function 'bvec_lth' argument 1 names different: declaration 'left' definition 'l'.
buddy-2.4/src/bvec.c:1179:27: style:inconclusive: Function 'bvec_lth' argument 2 names different: declaration 'right' definition 'r'. [funcArgNamesDifferent]
buddy-2.4/src/bvec.h:104:38: note: Function 'bvec_lth' argument 2 names different: declaration 'right' definition 'r'.
buddy-2.4/src/bvec.c:1179:27: note: Function 'bvec_lth' argument 2 names different: declaration 'right' definition 'r'.
buddy-2.4/src/bvec.c:1223:19: style:inconclusive: Function 'bvec_lte' argument 1 names different: declaration 'left' definition 'l'. [funcArgNamesDifferent]
buddy-2.4/src/bvec.h:105:27: note: Function 'bvec_lte' argument 1 names different: declaration 'left' definition 'l'.
buddy-2.4/src/bvec.c:1223:19: note: Function 'bvec_lte' argument 1 names different: declaration 'left' definition 'l'.
buddy-2.4/src/bvec.c:1223:27: style:inconclusive: Function 'bvec_lte' argument 2 names different: declaration 'right' definition 'r'. [funcArgNamesDifferent]
buddy-2.4/src/bvec.h:105:38: note: Function 'bvec_lte' argument 2 names different: declaration 'right' definition 'r'.
buddy-2.4/src/bvec.c:1223:27: note: Function 'bvec_lte' argument 2 names different: declaration 'right' definition 'r'.
buddy-2.4/src/bvec.c:1267:19: style:inconclusive: Function 'bvec_gth' argument 1 names different: declaration 'left' definition 'l'. [funcArgNamesDifferent]
buddy-2.4/src/bvec.h:106:27: note: Function 'bvec_gth' argument 1 names different: declaration 'left' definition 'l'.
buddy-2.4/src/bvec.c:1267:19: note: Function 'bvec_gth' argument 1 names different: declaration 'left' definition 'l'.
buddy-2.4/src/bvec.c:1267:27: style:inconclusive: Function 'bvec_gth' argument 2 names different: declaration 'right' definition 'r'. [funcArgNamesDifferent]
buddy-2.4/src/bvec.h:106:38: note: Function 'bvec_gth' argument 2 names different: declaration 'right' definition 'r'.
buddy-2.4/src/bvec.c:1267:27: note: Function 'bvec_gth' argument 2 names different: declaration 'right' definition 'r'.
buddy-2.4/src/bvec.c:1286:19: style:inconclusive: Function 'bvec_gte' argument 1 names different: declaration 'left' definition 'l'. [funcArgNamesDifferent]
buddy-2.4/src/bvec.h:107:27: note: Function 'bvec_gte' argument 1 names different: declaration 'left' definition 'l'.
buddy-2.4/src/bvec.c:1286:19: note: Function 'bvec_gte' argument 1 names different: declaration 'left' definition 'l'.
buddy-2.4/src/bvec.c:1286:27: style:inconclusive: Function 'bvec_gte' argument 2 names different: declaration 'right' definition 'r'. [funcArgNamesDifferent]
buddy-2.4/src/bvec.h:107:38: note: Function 'bvec_gte' argument 2 names different: declaration 'right' definition 'r'.
buddy-2.4/src/bvec.c:1286:27: note: Function 'bvec_gte' argument 2 names different: declaration 'right' definition 'r'.
buddy-2.4/src/bvec.c:1305:19: style:inconclusive: Function 'bvec_equ' argument 1 names different: declaration 'left' definition 'l'. [funcArgNamesDifferent]
buddy-2.4/src/bvec.h:108:27: note: Function 'bvec_equ' argument 1 names different: declaration 'left' definition 'l'.
buddy-2.4/src/bvec.c:1305:19: note: Function 'bvec_equ' argument 1 names different: declaration 'left' definition 'l'.
buddy-2.4/src/bvec.c:1305:27: style:inconclusive: Function 'bvec_equ' argument 2 names different: declaration 'right' definition 'r'. [funcArgNamesDifferent]
buddy-2.4/src/bvec.h:108:38: note: Function 'bvec_equ' argument 2 names different: declaration 'right' definition 'r'.
buddy-2.4/src/bvec.c:1305:27: note: Function 'bvec_equ' argument 2 names different: declaration 'right' definition 'r'.
buddy-2.4/src/bvec.c:1343:19: style:inconclusive: Function 'bvec_neq' argument 1 names different: declaration 'left' definition 'l'. [funcArgNamesDifferent]
buddy-2.4/src/bvec.h:109:27: note: Function 'bvec_neq' argument 1 names different: declaration 'left' definition 'l'.
buddy-2.4/src/bvec.c:1343:19: note: Function 'bvec_neq' argument 1 names different: declaration 'left' definition 'l'.
buddy-2.4/src/bvec.c:1343:27: style:inconclusive: Function 'bvec_neq' argument 2 names different: declaration 'right' definition 'r'. [funcArgNamesDifferent]
buddy-2.4/src/bvec.h:109:38: note: Function 'bvec_neq' argument 2 names different: declaration 'right' definition 'r'.
buddy-2.4/src/bvec.c:1343:27: note: Function 'bvec_neq' argument 2 names different: declaration 'right' definition 'r'.
buddy-2.4/src/bvec.c:216:9: style: Variable 'bddvar' can be declared as pointer to const [constVariablePointer]
buddy-2.4/src/bvec.c:245:35: style: Parameter 'var' can be declared as pointer to const [constParameterPointer]
buddy-2.4/src/fdd.c:475:7: warning: If memory allocation fails, then there is a possible null pointer dereference: store [nullPointerOutOfMemory]
buddy-2.4/src/fdd.c:473:12: note: Assuming allocation function fails
buddy-2.4/src/fdd.c:473:12: note: Assignment 'store=(char*)malloc(sizeof(char)*(bddvarnum))', assigned value is 0
buddy-2.4/src/fdd.c:475:7: note: Null pointer dereference
buddy-2.4/src/fdd.c:504:7: warning: If memory allocation fails, then there is a possible null pointer dereference: res [nullPointerOutOfMemory]
buddy-2.4/src/fdd.c:491:10: note: Assuming allocation function fails
buddy-2.4/src/fdd.c:491:10: note: Assignment 'res=(int*)malloc(sizeof(int)*(fdvarnum))', assigned value is 0
buddy-2.4/src/fdd.c:504:7: note: Null pointer dereference
buddy-2.4/src/fdd.c:1063:11: warning: If memory allocation fails, then there is a possible null pointer dereference: res [nullPointerOutOfMemory]
buddy-2.4/src/fdd.c:1062:23: note: Assuming allocation function fails
buddy-2.4/src/fdd.c:1062:10: note: Assignment 'res=(int*)malloc(sizeof(int)*domain[var].binsize)', assigned value is 0
buddy-2.4/src/fdd.c:1063:11: note: Null pointer dereference
buddy-2.4/src/fdd.c:1068:3: warning: If memory allocation fails, then there is a possible null pointer dereference: res [nullPointerOutOfMemory]
buddy-2.4/src/fdd.c:1062:23: note: Assuming allocation function fails
buddy-2.4/src/fdd.c:1062:10: note: Assignment 'res=(int*)malloc(sizeof(int)*domain[var].binsize)', assigned value is 0
buddy-2.4/src/fdd.c:1068:3: note: Null pointer dereference
buddy-2.4/src/fdd.c:123:24: style:inconclusive: Function 'fdd_extdomain' argument 1 names different: declaration '<unnamed>' definition 'dom'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:123:33: style:inconclusive: Function 'fdd_extdomain' argument 2 names different: declaration '<unnamed>' definition 'num'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:207:27: style:inconclusive: Function 'fdd_overlapdomain' argument 1 names different: declaration '<unnamed>' definition 'v1'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:207:35: style:inconclusive: Function 'fdd_overlapdomain' argument 2 names different: declaration '<unnamed>' definition 'v2'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:293:24: style:inconclusive: Function 'fdd_domainsize' argument 1 names different: declaration '<unnamed>' definition 'v'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:314:20: style:inconclusive: Function 'fdd_varnum' argument 1 names different: declaration '<unnamed>' definition 'v'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:339:19: style:inconclusive: Function 'fdd_vars' argument 1 names different: declaration '<unnamed>' definition 'v'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:377:20: style:inconclusive: Function 'fdd_ithvar' argument 1 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:377:29: style:inconclusive: Function 'fdd_ithvar' argument 2 names different: declaration '<unnamed>' definition 'val'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:429:21: style:inconclusive: Function 'fdd_scanvar' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:429:28: style:inconclusive: Function 'fdd_scanvar' argument 2 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:462:25: style:inconclusive: Function 'fdd_scanallvar' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:522:20: style:inconclusive: Function 'fdd_ithset' argument 1 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:551:20: style:inconclusive: Function 'fdd_domain' argument 1 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:606:20: style:inconclusive: Function 'fdd_equals' argument 1 names different: declaration '<unnamed>' definition 'left'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:606:30: style:inconclusive: Function 'fdd_equals' argument 2 names different: declaration '<unnamed>' definition 'right'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:675:45: style:inconclusive: Function 'fdd_file_hook' argument 1 names different: declaration '<unnamed>' definition 'h'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:697:23: style:inconclusive: Function 'fdd_printset' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:704:26: style:inconclusive: Function 'fdd_fprintset' argument 1 names different: declaration '<unnamed>' definition 'ofile'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:704:37: style:inconclusive: Function 'fdd_fprintset' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:733:36: style:inconclusive: Function 'fdd_printset_rec' argument 1 names different: declaration '<unnamed>' definition 'ofile'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:733:47: style:inconclusive: Function 'fdd_printset_rec' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:733:55: style:inconclusive: Function 'fdd_printset_rec' argument 3 names different: declaration '<unnamed>' definition 'set'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:827:21: style:inconclusive: Function 'fdd_scanset' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:827:30: style:inconclusive: Function 'fdd_scanset' argument 2 names different: declaration '<unnamed>' definition 'varset'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:827:43: style:inconclusive: Function 'fdd_scanset' argument 3 names different: declaration '<unnamed>' definition 'varnum'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:890:22: style:inconclusive: Function 'fdd_makeset' argument 1 names different: declaration '<unnamed>' definition 'varset'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:890:34: style:inconclusive: Function 'fdd_makeset' argument 2 names different: declaration '<unnamed>' definition 'varnum'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:931:28: style:inconclusive: Function 'fdd_intaddvarblock' argument 1 names different: declaration '<unnamed>' definition 'first'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:931:39: style:inconclusive: Function 'fdd_intaddvarblock' argument 2 names different: declaration '<unnamed>' definition 'last'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:931:49: style:inconclusive: Function 'fdd_intaddvarblock' argument 3 names different: declaration '<unnamed>' definition 'fixed'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:969:26: style:inconclusive: Function 'fdd_setpair' argument 1 names different: declaration '<unnamed>' definition 'pair'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:969:36: style:inconclusive: Function 'fdd_setpair' argument 2 names different: declaration '<unnamed>' definition 'p1'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:969:44: style:inconclusive: Function 'fdd_setpair' argument 3 names different: declaration '<unnamed>' definition 'p2'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:1003:27: style:inconclusive: Function 'fdd_setpairs' argument 1 names different: declaration '<unnamed>' definition 'pair'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:1003:38: style:inconclusive: Function 'fdd_setpairs' argument 2 names different: declaration '<unnamed>' definition 'p1'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:1003:47: style:inconclusive: Function 'fdd_setpairs' argument 3 names different: declaration '<unnamed>' definition 'p2'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:1003:55: style:inconclusive: Function 'fdd_setpairs' argument 4 names different: declaration '<unnamed>' definition 'size'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:1026:33: style:inconclusive: Function 'Domain_done' argument 1 names different: declaration '<unnamed>' definition 'd'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:1033:37: style:inconclusive: Function 'Domain_allocate' argument 1 names different: declaration '<unnamed>' definition 'd'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:1033:44: style:inconclusive: Function 'Domain_allocate' argument 2 names different: declaration '<unnamed>' definition 'range'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:1057:21: style:inconclusive: Function 'fdddec2bin' argument 1 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:1057:30: style:inconclusive: Function 'fdddec2bin' argument 2 names different: declaration '<unnamed>' definition 'val'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/fdd.c:123:24: style: Parameter 'dom' can be declared as pointer to const [constParameterPointer]
buddy-2.4/src/fdd.c:554:12: style: Variable 'dom' can be declared as pointer to const [constVariablePointer]
buddy-2.4/src/fdd.c:737:9: style: Variable 'var' can be declared as pointer to const [constVariablePointer]
buddy-2.4/src/fdd.c:890:22: style: Parameter 'varset' can be declared as pointer to const [constParameterPointer]
buddy-2.4/src/fdd.c:1003:38: style: Parameter 'p1' can be declared as pointer to const [constParameterPointer]
buddy-2.4/src/fdd.c:1003:47: style: Parameter 'p2' can be declared as pointer to const [constParameterPointer]
buddy-2.4/src/fdd.c:736:13: style: Variable 'used' is assigned a value that is never used. [unreadVariable]
buddy-2.4/src/cppext.cxx:104:7: warning: If memory allocation fails, then there is a possible null pointer dereference: var [nullPointerOutOfMemory]
buddy-2.4/src/cppext.cxx:98:15: note: Assuming allocation function fails
buddy-2.4/src/cppext.cxx:98:15: note: Assignment 'var=(BDD*)std::malloc(sizeof(BDD)*(width))', assigned value is 0
buddy-2.4/src/cppext.cxx:104:7: note: Null pointer dereference
buddy-2.4/src/cppext.cxx:135:7: warning: If memory allocation fails, then there is a possible null pointer dereference: cpr [nullPointerOutOfMemory]
buddy-2.4/src/cppext.cxx:129:15: note: Assuming allocation function fails
buddy-2.4/src/cppext.cxx:129:15: note: Assignment 'cpr=(BDD*)std::malloc(sizeof(BDD)*(num))', assigned value is 0
buddy-2.4/src/cppext.cxx:135:7: note: Null pointer dereference
buddy-2.4/src/cppext.cxx:98:15: style: C-style pointer casting [cstyleCast]
buddy-2.4/src/cppext.cxx:129:15: style: C-style pointer casting [cstyleCast]
buddy-2.4/src/cppext.cxx:357:8: style: The scope of the variable 'n' can be reduced. [variableScope]
buddy-2.4/src/cppext.cxx:358:8: style: The scope of the variable 'first' can be reduced. [variableScope]
buddy-2.4/src/cppext.cxx:421:8: style: The scope of the variable 'n' can be reduced. [variableScope]
buddy-2.4/src/cppext.cxx:421:10: style: The scope of the variable 'm' can be reduced. [variableScope]
buddy-2.4/src/cppext.cxx:421:12: style: The scope of the variable 'i' can be reduced. [variableScope]
buddy-2.4/src/cppext.cxx:422:8: style: The scope of the variable 'used' can be reduced. [variableScope]
buddy-2.4/src/cppext.cxx:423:9: style: The scope of the variable 'binval' can be reduced. [variableScope]
buddy-2.4/src/cppext.cxx:424:8: style: The scope of the variable 'ok' can be reduced. [variableScope]
buddy-2.4/src/cppext.cxx:424:12: style: The scope of the variable 'first' can be reduced. [variableScope]
buddy-2.4/src/cppext.cxx:437:7: style: The scope of the variable 'firstval' can be reduced. [variableScope]
buddy-2.4/src/cppext.cxx:81:22: style:inconclusive: Function 'bdd_cpp_init' argument 1 names different: declaration '<unnamed>' definition 'n'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/cppext.cxx:81:29: style:inconclusive: Function 'bdd_cpp_init' argument 2 names different: declaration '<unnamed>' definition 'c'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/cppext.cxx:355:39: style:inconclusive: Function 'bdd_printset_rec' argument 1 names different: declaration '<unnamed>' definition 'o'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/cppext.cxx:355:46: style:inconclusive: Function 'bdd_printset_rec' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/cppext.cxx:355:54: style:inconclusive: Function 'bdd_printset_rec' argument 3 names different: declaration '<unnamed>' definition 'set'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/cppext.cxx:398:39: style:inconclusive: Function 'bdd_printdot_rec' argument 1 names different: declaration '<unnamed>' definition 'o'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/cppext.cxx:398:46: style:inconclusive: Function 'bdd_printdot_rec' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/cppext.cxx:419:39: style:inconclusive: Function 'fdd_printset_rec' argument 1 names different: declaration '<unnamed>' definition 'o'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/cppext.cxx:419:46: style:inconclusive: Function 'fdd_printset_rec' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/cppext.cxx:419:54: style:inconclusive: Function 'fdd_printset_rec' argument 3 names different: declaration '<unnamed>' definition 'set'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/cppext.cxx:549:20: style:inconclusive: Function 'set' argument 1 names different: declaration 'i' definition 'bitnum'. [funcArgNamesDifferent]
buddy-2.4/src/bvec.h:134:17: note: Function 'set' argument 1 names different: declaration 'i' definition 'bitnum'.
buddy-2.4/src/cppext.cxx:549:20: note: Function 'set' argument 1 names different: declaration 'i' definition 'bitnum'.
buddy-2.4/src/cppext.cxx:114:41: style: Parameter 'oldvar' can be declared as pointer to const [constParameterPointer]
buddy-2.4/src/cppext.cxx:440:8: style: Variable 'vars' can be declared as pointer to const [constVariablePointer]
buddy-2.4/src/cppext.cxx:422:13: style: Variable 'used' is assigned a value that is never used. [unreadVariable]
buddy-2.4/src/kernel.c:758:4: warning: %ld in format string (no. 1) requires 'long' but the argument type is 'unsigned long'. [invalidPrintfArgType_sint]
buddy-2.4/src/kernel.c:759:4: warning: %ld in format string (no. 1) requires 'long' but the argument type is 'unsigned long'. [invalidPrintfArgType_sint]
buddy-2.4/src/kernel.c:760:4: warning: %ld in format string (no. 1) requires 'long' but the argument type is 'unsigned long'. [invalidPrintfArgType_sint]
buddy-2.4/src/kernel.c:761:4: warning: %ld in format string (no. 1) requires 'long' but the argument type is 'unsigned long'. [invalidPrintfArgType_sint]
buddy-2.4/src/kernel.c:765:4: warning: %ld in format string (no. 1) requires 'long' but the argument type is 'unsigned long'. [invalidPrintfArgType_sint]
buddy-2.4/src/kernel.c:766:4: warning: %ld in format string (no. 1) requires 'long' but the argument type is 'unsigned long'. [invalidPrintfArgType_sint]
buddy-2.4/src/kernel.c:770:4: warning: %ld in format string (no. 1) requires 'long' but the argument type is 'unsigned long'. [invalidPrintfArgType_sint]
buddy-2.4/src/kernel.c:330:12: error: Common realloc mistake: 'bddvarset' nulled but not freed upon failure [memleakOnRealloc]
buddy-2.4/src/kernel.c:332:12: error: Common realloc mistake: 'bddlevel2var' nulled but not freed upon failure [memleakOnRealloc]
buddy-2.4/src/kernel.c:337:12: error: Common realloc mistake: 'bddvar2level' nulled but not freed upon failure [memleakOnRealloc]
buddy-2.4/src/kernel.c:174:18: style:inconclusive: Function 'bdd_init' argument 1 names different: declaration '<unnamed>' definition 'initnodesize'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:174:36: style:inconclusive: Function 'bdd_init' argument 2 names different: declaration '<unnamed>' definition 'cs'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:294:23: style:inconclusive: Function 'bdd_setvarnum' argument 1 names different: declaration '<unnamed>' definition 'num'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:391:23: style:inconclusive: Function 'bdd_extvarnum' argument 1 names different: declaration '<unnamed>' definition 'num'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:430:44: style:inconclusive: Function 'bdd_error_hook' argument 1 names different: declaration '<unnamed>' definition 'handler'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:488:42: style:inconclusive: Function 'bdd_gbc_hook' argument 1 names different: declaration '<unnamed>' definition 'handler'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:521:47: style:inconclusive: Function 'bdd_resize_hook' argument 1 names different: declaration '<unnamed>' definition 'handler'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:541:28: style:inconclusive: Function 'bdd_setmaxincrease' argument 1 names different: declaration '<unnamed>' definition 'size'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:569:27: style:inconclusive: Function 'bdd_setmaxnodenum' argument 1 names different: declaration '<unnamed>' definition 'size'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:600:29: style:inconclusive: Function 'bdd_setminfreenodes' argument 1 names different: declaration '<unnamed>' definition 'mf'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:703:25: style:inconclusive: Function 'bdd_stats' argument 1 names different: declaration '<unnamed>' definition 's'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:729:35: style:inconclusive: Function 'bdd_cachestats' argument 1 names different: declaration '<unnamed>' definition 's'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:750:27: style:inconclusive: Function 'bdd_fprintstat' argument 1 names different: declaration '<unnamed>' definition 'ofile'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:794:31: style:inconclusive: Function 'bdd_errstring' argument 1 names different: declaration '<unnamed>' definition 'e'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:803:33: style:inconclusive: Function 'bdd_default_errhandler' argument 1 names different: declaration '<unnamed>' definition 'e'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:810:19: style:inconclusive: Function 'bdd_error' argument 1 names different: declaration '<unnamed>' definition 'e'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:874:20: style:inconclusive: Function 'bdd_ithvar' argument 1 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:900:21: style:inconclusive: Function 'bdd_nithvar' argument 1 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:936:17: style:inconclusive: Function 'bdd_var' argument 1 names different: declaration '<unnamed>' definition 'root'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:955:17: style:inconclusive: Function 'bdd_low' argument 1 names different: declaration '<unnamed>' definition 'root'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:974:18: style:inconclusive: Function 'bdd_high' argument 1 names different: declaration '<unnamed>' definition 'root'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:989:33: style:inconclusive: Function 'bdd_default_gbchandler' argument 1 names different: declaration '<unnamed>' definition 'pre'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:989:50: style:inconclusive: Function 'bdd_default_gbchandler' argument 2 names different: declaration '<unnamed>' definition 's'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:1114:20: style:inconclusive: Function 'bdd_addref' argument 1 names different: declaration '<unnamed>' definition 'root'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:1140:20: style:inconclusive: Function 'bdd_delref' argument 1 names different: declaration '<unnamed>' definition 'root'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:1159:19: style:inconclusive: Function 'bdd_mark' argument 1 names different: declaration '<unnamed>' definition 'i'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:1177:24: style:inconclusive: Function 'bdd_mark_upto' argument 1 names different: declaration '<unnamed>' definition 'i'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:1177:31: style:inconclusive: Function 'bdd_mark_upto' argument 2 names different: declaration '<unnamed>' definition 'level'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:1197:24: style:inconclusive: Function 'bdd_markcount' argument 1 names different: declaration '<unnamed>' definition 'i'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:1197:32: style:inconclusive: Function 'bdd_markcount' argument 2 names different: declaration '<unnamed>' definition 'cou'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:1216:21: style:inconclusive: Function 'bdd_unmark' argument 1 names different: declaration '<unnamed>' definition 'i'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:1234:26: style:inconclusive: Function 'bdd_unmark_upto' argument 1 names different: declaration '<unnamed>' definition 'i'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:1234:33: style:inconclusive: Function 'bdd_unmark_upto' argument 2 names different: declaration '<unnamed>' definition 'level'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:1258:31: style:inconclusive: Function 'bdd_makenode' argument 1 names different: declaration '<unnamed>' definition 'level'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:1258:42: style:inconclusive: Function 'bdd_makenode' argument 2 names different: declaration '<unnamed>' definition 'low'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:1258:51: style:inconclusive: Function 'bdd_makenode' argument 3 names different: declaration '<unnamed>' definition 'high'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:1346:24: style:inconclusive: Function 'bdd_noderesize' argument 1 names different: declaration '<unnamed>' definition 'doRehash'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:1432:21: style:inconclusive: Function 'bdd_scanset' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:1432:30: style:inconclusive: Function 'bdd_scanset' argument 2 names different: declaration '<unnamed>' definition 'varset'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:1432:43: style:inconclusive: Function 'bdd_scanset' argument 3 names different: declaration '<unnamed>' definition 'varnum'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:1475:22: style:inconclusive: Function 'bdd_makeset' argument 1 names different: declaration '<unnamed>' definition 'varset'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:1475:34: style:inconclusive: Function 'bdd_makeset' argument 2 names different: declaration '<unnamed>' definition 'varnum'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/kernel.c:989:50: style: Parameter 's' can be declared as pointer to const. However it seems that 'bdd_default_gbchandler' is a callback function, if 's' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
buddy-2.4/src/kernel.c:228:17: note: You might need to cast the function pointer here
buddy-2.4/src/kernel.c:989:50: note: Parameter 's' can be declared as pointer to const
buddy-2.4/src/kernel.c:1033:9: style: Variable 'r' can be declared as pointer to const [constVariablePointer]
buddy-2.4/src/kernel.c:1475:22: style: Parameter 'varset' can be declared as pointer to const [constParameterPointer]
buddy-2.4/src/reorder.c:178:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
buddy-2.4/src/reorder.c:243:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
buddy-2.4/src/reorder.c:403:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
buddy-2.4/src/reorder.c:447:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
buddy-2.4/src/reorder.c:502:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
buddy-2.4/src/reorder.c:589:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
buddy-2.4/src/reorder.c:2232:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
buddy-2.4/src/reorder.c:716:7: warning: If memory allocation fails, then there is a possible null pointer dereference: seq [nullPointerOutOfMemory]
buddy-2.4/src/reorder.c:714:10: note: Assuming allocation function fails
buddy-2.4/src/reorder.c:714:10: note: Assignment 'seq=(struct BddTree**)malloc(sizeof(struct BddTree*)*(num))', assigned value is 0
buddy-2.4/src/reorder.c:716:7: note: Null pointer dereference
buddy-2.4/src/reorder.c:721:11: warning: If memory allocation fails, then there is a possible null pointer dereference: seq [nullPointerOutOfMemory]
buddy-2.4/src/reorder.c:714:10: note: Assuming allocation function fails
buddy-2.4/src/reorder.c:714:10: note: Assignment 'seq=(struct BddTree**)malloc(sizeof(struct BddTree*)*(num))', assigned value is 0
buddy-2.4/src/reorder.c:721:11: note: Null pointer dereference
buddy-2.4/src/reorder.c:277:3: style: Variable 'next' is assigned an expression that holds the same value. [redundantAssignment]
buddy-2.4/src/reorder.c:263:18: note: next is assigned 'this' here.
buddy-2.4/src/reorder.c:277:3: note: Variable 'next' is assigned an expression that holds the same value.
buddy-2.4/src/reorder.c:741:32: style:inconclusive: Function 'blockdown' argument 1 names different: declaration '<unnamed>' definition 'left'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/reorder.c:810:28: style:inconclusive: Function 'addref_rec' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/reorder.c:810:37: style:inconclusive: Function 'addref_rec' argument 2 names different: declaration '<unnamed>' definition 'dep'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/reorder.c:1019:33: style:inconclusive: Function 'reorder_makenode' argument 1 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/reorder.c:1019:42: style:inconclusive: Function 'reorder_makenode' argument 2 names different: declaration '<unnamed>' definition 'low'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/reorder.c:1019:51: style:inconclusive: Function 'reorder_makenode' argument 3 names different: declaration '<unnamed>' definition 'high'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/reorder.c:1401:30: style:inconclusive: Function 'reorder_varup' argument 1 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/reorder.c:1451:32: style:inconclusive: Function 'reorder_vardown' argument 1 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/reorder.c:1567:33: style:inconclusive: Function 'bdd_default_reohandler' argument 1 names different: declaration '<unnamed>' definition 'prestate'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/reorder.c:1801:22: style:inconclusive: Function 'bdd_reorder' argument 1 names different: declaration '<unnamed>' definition 'method'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/reorder.c:1883:46: style:inconclusive: Function 'bdd_reorder_hook' argument 1 names different: declaration '<unnamed>' definition 'handler'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/reorder.c:1916:50: style:inconclusive: Function 'bdd_blockfile_hook' argument 1 names different: declaration '<unnamed>' definition 'handler'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/reorder.c:1947:25: style:inconclusive: Function 'bdd_autoreorder' argument 1 names different: declaration '<unnamed>' definition 'method'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/reorder.c:1956:31: style:inconclusive: Function 'bdd_autoreorder_times' argument 1 names different: declaration '<unnamed>' definition 'method'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/reorder.c:1956:43: style:inconclusive: Function 'bdd_autoreorder_times' argument 2 names different: declaration '<unnamed>' definition 'num'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/reorder.c:1974:23: style:inconclusive: Function 'bdd_var2level' argument 1 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/reorder.c:1992:23: style:inconclusive: Function 'bdd_level2var' argument 1 names different: declaration '<unnamed>' definition 'level'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/reorder.c:2044:29: style:inconclusive: Function 'bdd_reorder_verbose' argument 1 names different: declaration '<unnamed>' definition 'v'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/reorder.c:2077:49: style:inconclusive: Function 'bdd_reorder_probe' argument 1 names different: declaration '<unnamed>' definition 'handler'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/reorder.c:2139:25: style:inconclusive: Function 'bdd_addvarblock' argument 1 names different: declaration '<unnamed>' definition 'b'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/reorder.c:2139:32: style:inconclusive: Function 'bdd_addvarblock' argument 2 names different: declaration '<unnamed>' definition 'fixed'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/reorder.c:2168:28: style:inconclusive: Function 'bdd_intaddvarblock' argument 1 names different: declaration '<unnamed>' definition 'first'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/reorder.c:2168:39: style:inconclusive: Function 'bdd_intaddvarblock' argument 2 names different: declaration '<unnamed>' definition 'last'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/reorder.c:2168:49: style:inconclusive: Function 'bdd_intaddvarblock' argument 3 names different: declaration '<unnamed>' definition 'fixed'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/reorder.c:2250:27: style:inconclusive: Function 'bdd_setvarorder' argument 1 names different: declaration '<unnamed>' definition 'neworder'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/reorder.c:2315:28: style:inconclusive: Function 'bdd_fprintorder' argument 1 names different: declaration '<unnamed>' definition 'ofile'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/reorder.c:748:9: style: Variable 'lseq' can be declared as pointer to const [constVariablePointer]
buddy-2.4/src/reorder.c:749:9: style: Variable 'rseq' can be declared as pointer to const [constVariablePointer]
buddy-2.4/src/reorder.c:842:35: style: Parameter 'dep' can be declared as pointer to const [constParameterPointer]
buddy-2.4/src/reorder.c:2250:27: style: Parameter 'neworder' can be declared as pointer to const [constParameterPointer]
buddy-2.4/src/reorder.c:335:8: style: Variable 'best' is assigned a value that is never used. [unreadVariable]
buddy-2.4/src/reorder.c:426:17: style: Variable 'this' is assigned a value that is never used. [unreadVariable]
buddy-2.4/src/bddop.c:2608:19: style: Expression 'log(1 + x)' can be replaced by 'log1p(x)' to avoid loss of precision. [unpreciseMathCall]
buddy-2.4/src/bddop.c:2610:19: style: Expression 'log(1 + x)' can be replaced by 'log1p(x)' to avoid loss of precision. [unpreciseMathCall]
buddy-2.4/src/bddop.c:174:27: style:inconclusive: Function 'bdd_operator_init' argument 1 names different: declaration '<unnamed>' definition 'cachesize'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:280:27: style:inconclusive: Function 'bdd_setcacheratio' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:330:23: style:inconclusive: Function 'bdd_buildcube' argument 1 names different: declaration '<unnamed>' definition 'value'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:330:34: style:inconclusive: Function 'bdd_buildcube' argument 2 names different: declaration '<unnamed>' definition 'width'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:330:46: style:inconclusive: Function 'bdd_buildcube' argument 3 names different: declaration '<unnamed>' definition 'variables'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:357:24: style:inconclusive: Function 'bdd_ibuildcube' argument 1 names different: declaration '<unnamed>' definition 'value'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:357:35: style:inconclusive: Function 'bdd_ibuildcube' argument 2 names different: declaration '<unnamed>' definition 'width'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:357:47: style:inconclusive: Function 'bdd_ibuildcube' argument 3 names different: declaration '<unnamed>' definition 'variables'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:395:17: style:inconclusive: Function 'bdd_not' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:425:24: style:inconclusive: Function 'not_rec' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:499:19: style:inconclusive: Function 'bdd_apply' argument 1 names different: declaration '<unnamed>' definition 'l'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:499:26: style:inconclusive: Function 'bdd_apply' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:499:33: style:inconclusive: Function 'bdd_apply' argument 3 names different: declaration '<unnamed>' definition 'op'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:539:26: style:inconclusive: Function 'apply_rec' argument 1 names different: declaration '<unnamed>' definition 'l'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:539:33: style:inconclusive: Function 'apply_rec' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:650:17: style:inconclusive: Function 'bdd_and' argument 1 names different: declaration '<unnamed>' definition 'l'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:650:24: style:inconclusive: Function 'bdd_and' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:665:16: style:inconclusive: Function 'bdd_or' argument 1 names different: declaration '<unnamed>' definition 'l'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:665:23: style:inconclusive: Function 'bdd_or' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:680:17: style:inconclusive: Function 'bdd_xor' argument 1 names different: declaration '<unnamed>' definition 'l'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:680:24: style:inconclusive: Function 'bdd_xor' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:695:17: style:inconclusive: Function 'bdd_imp' argument 1 names different: declaration '<unnamed>' definition 'l'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:695:24: style:inconclusive: Function 'bdd_imp' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:710:19: style:inconclusive: Function 'bdd_biimp' argument 1 names different: declaration '<unnamed>' definition 'l'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:710:26: style:inconclusive: Function 'bdd_biimp' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:731:17: style:inconclusive: Function 'bdd_ite' argument 1 names different: declaration '<unnamed>' definition 'f'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:731:24: style:inconclusive: Function 'bdd_ite' argument 2 names different: declaration '<unnamed>' definition 'g'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:731:31: style:inconclusive: Function 'bdd_ite' argument 3 names different: declaration '<unnamed>' definition 'h'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:765:24: style:inconclusive: Function 'ite_rec' argument 1 names different: declaration '<unnamed>' definition 'f'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:765:31: style:inconclusive: Function 'ite_rec' argument 2 names different: declaration '<unnamed>' definition 'g'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:765:38: style:inconclusive: Function 'ite_rec' argument 3 names different: declaration '<unnamed>' definition 'h'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:900:22: style:inconclusive: Function 'bdd_restrict' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:900:29: style:inconclusive: Function 'bdd_restrict' argument 2 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:940:29: style:inconclusive: Function 'restrict_rec' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:995:23: style:inconclusive: Function 'bdd_constrain' argument 1 names different: declaration '<unnamed>' definition 'f'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:995:30: style:inconclusive: Function 'bdd_constrain' argument 2 names different: declaration '<unnamed>' definition 'c'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1029:30: style:inconclusive: Function 'constrain_rec' argument 1 names different: declaration '<unnamed>' definition 'f'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1029:37: style:inconclusive: Function 'constrain_rec' argument 2 names different: declaration '<unnamed>' definition 'c'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1116:21: style:inconclusive: Function 'bdd_replace' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1116:33: style:inconclusive: Function 'bdd_replace' argument 2 names different: declaration '<unnamed>' definition 'pair'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1151:28: style:inconclusive: Function 'replace_rec' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1185:31: style:inconclusive: Function 'bdd_correctify' argument 1 names different: declaration '<unnamed>' definition 'level'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1185:42: style:inconclusive: Function 'bdd_correctify' argument 2 names different: declaration '<unnamed>' definition 'l'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1185:49: style:inconclusive: Function 'bdd_correctify' argument 3 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1235:21: style:inconclusive: Function 'bdd_compose' argument 1 names different: declaration '<unnamed>' definition 'f'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1235:28: style:inconclusive: Function 'bdd_compose' argument 2 names different: declaration '<unnamed>' definition 'g'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1235:35: style:inconclusive: Function 'bdd_compose' argument 3 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1275:28: style:inconclusive: Function 'compose_rec' argument 1 names different: declaration '<unnamed>' definition 'f'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1275:35: style:inconclusive: Function 'compose_rec' argument 2 names different: declaration '<unnamed>' definition 'g'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1353:24: style:inconclusive: Function 'bdd_veccompose' argument 1 names different: declaration '<unnamed>' definition 'f'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1353:36: style:inconclusive: Function 'bdd_veccompose' argument 2 names different: declaration '<unnamed>' definition 'pair'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1388:31: style:inconclusive: Function 'veccompose_rec' argument 1 names different: declaration '<unnamed>' definition 'f'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1435:22: style:inconclusive: Function 'bdd_simplify' argument 1 names different: declaration '<unnamed>' definition 'f'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1435:29: style:inconclusive: Function 'bdd_simplify' argument 2 names different: declaration '<unnamed>' definition 'd'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1469:29: style:inconclusive: Function 'simplify_rec' argument 1 names different: declaration '<unnamed>' definition 'f'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1469:36: style:inconclusive: Function 'simplify_rec' argument 2 names different: declaration '<unnamed>' definition 'd'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1545:19: style:inconclusive: Function 'bdd_exist' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1545:26: style:inconclusive: Function 'bdd_exist' argument 2 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1596:20: style:inconclusive: Function 'bdd_forall' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1596:27: style:inconclusive: Function 'bdd_forall' argument 2 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1650:20: style:inconclusive: Function 'bdd_unique' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1650:27: style:inconclusive: Function 'bdd_unique' argument 2 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1691:26: style:inconclusive: Function 'quant_rec' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1749:19: style:inconclusive: Function 'bdd_appex' argument 1 names different: declaration '<unnamed>' definition 'l'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1749:26: style:inconclusive: Function 'bdd_appex' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1749:33: style:inconclusive: Function 'bdd_appex' argument 3 names different: declaration '<unnamed>' definition 'opr'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1749:42: style:inconclusive: Function 'bdd_appex' argument 4 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1815:20: style:inconclusive: Function 'bdd_appall' argument 1 names different: declaration '<unnamed>' definition 'l'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1815:27: style:inconclusive: Function 'bdd_appall' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1815:34: style:inconclusive: Function 'bdd_appall' argument 3 names different: declaration '<unnamed>' definition 'opr'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1815:43: style:inconclusive: Function 'bdd_appall' argument 4 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1881:20: style:inconclusive: Function 'bdd_appuni' argument 1 names different: declaration '<unnamed>' definition 'l'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1881:27: style:inconclusive: Function 'bdd_appuni' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1881:34: style:inconclusive: Function 'bdd_appuni' argument 3 names different: declaration '<unnamed>' definition 'opr'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1881:43: style:inconclusive: Function 'bdd_appuni' argument 4 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1931:29: style:inconclusive: Function 'appquant_rec' argument 1 names different: declaration '<unnamed>' definition 'l'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:1931:36: style:inconclusive: Function 'appquant_rec' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:2057:21: style:inconclusive: Function 'bdd_support' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:2118:29: style:inconclusive: Function 'support_rec' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:2118:37: style:inconclusive: Function 'support_rec' argument 2 names different: declaration '<unnamed>' definition 'support'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:2154:20: style:inconclusive: Function 'bdd_satone' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:2174:27: style:inconclusive: Function 'satone_rec' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:2207:23: style:inconclusive: Function 'bdd_satoneset' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:2207:30: style:inconclusive: Function 'bdd_satoneset' argument 2 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:2207:39: style:inconclusive: Function 'bdd_satoneset' argument 3 names different: declaration '<unnamed>' definition 'pol'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:2233:30: style:inconclusive: Function 'satoneset_rec' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:2233:37: style:inconclusive: Function 'satoneset_rec' argument 2 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:2289:24: style:inconclusive: Function 'bdd_fullsatone' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:2315:31: style:inconclusive: Function 'fullsatone_rec' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:2464:25: style:inconclusive: Function 'bdd_satcount' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:2477:28: style:inconclusive: Function 'bdd_satcountset' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:2477:35: style:inconclusive: Function 'bdd_satcountset' argument 2 names different: declaration '<unnamed>' definition 'varset'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:2494:32: style:inconclusive: Function 'satcount_rec' argument 1 names different: declaration '<unnamed>' definition 'root'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:2545:27: style:inconclusive: Function 'bdd_satcountln' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:2561:30: style:inconclusive: Function 'bdd_satcountlnset' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:2561:37: style:inconclusive: Function 'bdd_satcountlnset' argument 2 names different: declaration '<unnamed>' definition 'varset'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:2578:34: style:inconclusive: Function 'satcountln_rec' argument 1 names different: declaration '<unnamed>' definition 'root'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:2632:23: style:inconclusive: Function 'bdd_nodecount' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:2657:25: style:inconclusive: Function 'bdd_anodecount' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:2657:32: style:inconclusive: Function 'bdd_anodecount' argument 2 names different: declaration '<unnamed>' definition 'num'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:2687:25: style:inconclusive: Function 'bdd_varprofile' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:2704:32: style:inconclusive: Function 'varprofile_rec' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:2735:26: style:inconclusive: Function 'bdd_pathcount' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:2745:37: style:inconclusive: Function 'bdd_pathcount_rec' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:2773:32: style:inconclusive: Function 'varset2vartable' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:2798:33: style:inconclusive: Function 'varset2svartable' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
buddy-2.4/src/bddop.c:330:46: style: Parameter 'variables' can be declared as pointer to const [constParameterPointer]
buddy-2.4/src/bddop.c:357:47: style: Parameter 'variables' can be declared as pointer to const [constParameterPointer]
buddy-2.4/src/bddop.c:2497:13: style: Variable 'node' can be declared as pointer to const [constVariablePointer]
buddy-2.4/src/bddop.c:2581:13: style: Variable 'node' can be declared as pointer to const [constVariablePointer]
buddy-2.4/src/bddop.c:2657:25: style: Parameter 'r' can be declared as pointer to const [constParameterPointer]
diff:
head buddy-2.4/examples/bddcalc/hashtbl.cxx:163:45: style:inconclusive: Function 'hashval' argument 1 names different: declaration '<unnamed>' definition 's'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/examples/bddcalc/hashtbl.cxx:28:31: style:inconclusive: Function 'add' argument 1 names different: declaration '<unnamed>' definition 'd'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/examples/bddcalc/hashtbl.cxx:43:35: style:inconclusive: Function 'exists' argument 1 names different: declaration '<unnamed>' definition 'id'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/examples/bddcalc/hashtbl.cxx:61:35: style:inconclusive: Function 'lookup' argument 1 names different: declaration '<unnamed>' definition 'id'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/examples/bddcalc/hashtbl.cxx:61:49: style:inconclusive: Function 'lookup' argument 2 names different: declaration '<unnamed>' definition 'd'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/examples/bddcalc/hashtbl.cxx:82:35: style:inconclusive: Function 'remove' argument 1 names different: declaration '<unnamed>' definition 'id'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddio.c:125:26: style:inconclusive: Function 'bdd_fprintall' argument 1 names different: declaration '<unnamed>' definition 'ofile'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddio.c:163:25: style:inconclusive: Function 'bdd_printtable' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddio.c:169:28: style:inconclusive: Function 'bdd_fprinttable' argument 1 names different: declaration '<unnamed>' definition 'ofile'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddio.c:169:39: style:inconclusive: Function 'bdd_fprinttable' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddio.c:226:23: style:inconclusive: Function 'bdd_printset' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddio.c:232:26: style:inconclusive: Function 'bdd_fprintset' argument 1 names different: declaration '<unnamed>' definition 'ofile'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddio.c:232:37: style:inconclusive: Function 'bdd_fprintset' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddio.c:254:36: style:inconclusive: Function 'bdd_printset_rec' argument 1 names different: declaration '<unnamed>' definition 'ofile'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddio.c:254:47: style:inconclusive: Function 'bdd_printset_rec' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddio.c:254:55: style:inconclusive: Function 'bdd_printset_rec' argument 3 names different: declaration '<unnamed>' definition 'set'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddio.c:312:23: style:inconclusive: Function 'bdd_printdot' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddio.c:318:26: style:inconclusive: Function 'bdd_fnprintdot' argument 1 names different: declaration '<unnamed>' definition 'fname'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddio.c:318:37: style:inconclusive: Function 'bdd_fnprintdot' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddio.c:329:26: style:inconclusive: Function 'bdd_fprintdot' argument 1 names different: declaration '<unnamed>' definition 'ofile'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddio.c:329:37: style:inconclusive: Function 'bdd_fprintdot' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddio.c:343:37: style:inconclusive: Function 'bdd_fprintdot_rec' argument 1 names different: declaration '<unnamed>' definition 'ofile'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddio.c:343:48: style:inconclusive: Function 'bdd_fprintdot_rec' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddio.c:381:22: style:inconclusive: Function 'bdd_fnsave' argument 1 names different: declaration '<unnamed>' definition 'fname'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddio.c:381:33: style:inconclusive: Function 'bdd_fnsave' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddio.c:395:20: style:inconclusive: Function 'bdd_save' argument 1 names different: declaration '<unnamed>' definition 'ofile'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddio.c:395:31: style:inconclusive: Function 'bdd_save' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddio.c:420:31: style:inconclusive: Function 'bdd_save_rec' argument 1 names different: declaration '<unnamed>' definition 'ofile'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddio.c:420:42: style:inconclusive: Function 'bdd_save_rec' argument 2 names different: declaration '<unnamed>' definition 'root'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddio.c:475:22: style:inconclusive: Function 'bdd_fnload' argument 1 names different: declaration '<unnamed>' definition 'fname'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddio.c:475:34: style:inconclusive: Function 'bdd_fnload' argument 2 names different: declaration '<unnamed>' definition 'root'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddio.c:489:32: style:inconclusive: Function 'bdd_load' argument 2 names different: declaration '<unnamed>' definition 'root'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddio.c:540:31: style:inconclusive: Function 'bdd_loaddata' argument 1 names different: declaration '<unnamed>' definition 'ifile'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddio.c:566:30: style:inconclusive: Function 'loadhash_add' argument 1 names different: declaration '<unnamed>' definition 'key'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddio.c:566:39: style:inconclusive: Function 'loadhash_add' argument 2 names different: declaration '<unnamed>' definition 'data'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddio.c:580:29: style:inconclusive: Function 'loadhash_get' argument 1 names different: declaration '<unnamed>' definition 'key'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddio.c:95:45: style:inconclusive: Function 'bdd_file_hook' argument 1 names different: declaration '<unnamed>' definition 'handler'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1029:30: style:inconclusive: Function 'constrain_rec' argument 1 names different: declaration '<unnamed>' definition 'f'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1029:37: style:inconclusive: Function 'constrain_rec' argument 2 names different: declaration '<unnamed>' definition 'c'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1116:21: style:inconclusive: Function 'bdd_replace' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1116:33: style:inconclusive: Function 'bdd_replace' argument 2 names different: declaration '<unnamed>' definition 'pair'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1151:28: style:inconclusive: Function 'replace_rec' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1185:31: style:inconclusive: Function 'bdd_correctify' argument 1 names different: declaration '<unnamed>' definition 'level'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1185:42: style:inconclusive: Function 'bdd_correctify' argument 2 names different: declaration '<unnamed>' definition 'l'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1185:49: style:inconclusive: Function 'bdd_correctify' argument 3 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1235:21: style:inconclusive: Function 'bdd_compose' argument 1 names different: declaration '<unnamed>' definition 'f'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1235:28: style:inconclusive: Function 'bdd_compose' argument 2 names different: declaration '<unnamed>' definition 'g'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1235:35: style:inconclusive: Function 'bdd_compose' argument 3 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1275:28: style:inconclusive: Function 'compose_rec' argument 1 names different: declaration '<unnamed>' definition 'f'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1275:35: style:inconclusive: Function 'compose_rec' argument 2 names different: declaration '<unnamed>' definition 'g'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1353:24: style:inconclusive: Function 'bdd_veccompose' argument 1 names different: declaration '<unnamed>' definition 'f'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1353:36: style:inconclusive: Function 'bdd_veccompose' argument 2 names different: declaration '<unnamed>' definition 'pair'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1388:31: style:inconclusive: Function 'veccompose_rec' argument 1 names different: declaration '<unnamed>' definition 'f'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1435:22: style:inconclusive: Function 'bdd_simplify' argument 1 names different: declaration '<unnamed>' definition 'f'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1435:29: style:inconclusive: Function 'bdd_simplify' argument 2 names different: declaration '<unnamed>' definition 'd'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1469:29: style:inconclusive: Function 'simplify_rec' argument 1 names different: declaration '<unnamed>' definition 'f'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1469:36: style:inconclusive: Function 'simplify_rec' argument 2 names different: declaration '<unnamed>' definition 'd'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1545:19: style:inconclusive: Function 'bdd_exist' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1545:26: style:inconclusive: Function 'bdd_exist' argument 2 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1596:20: style:inconclusive: Function 'bdd_forall' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1596:27: style:inconclusive: Function 'bdd_forall' argument 2 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1650:20: style:inconclusive: Function 'bdd_unique' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1650:27: style:inconclusive: Function 'bdd_unique' argument 2 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1691:26: style:inconclusive: Function 'quant_rec' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1749:19: style:inconclusive: Function 'bdd_appex' argument 1 names different: declaration '<unnamed>' definition 'l'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1749:26: style:inconclusive: Function 'bdd_appex' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1749:33: style:inconclusive: Function 'bdd_appex' argument 3 names different: declaration '<unnamed>' definition 'opr'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1749:42: style:inconclusive: Function 'bdd_appex' argument 4 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:174:27: style:inconclusive: Function 'bdd_operator_init' argument 1 names different: declaration '<unnamed>' definition 'cachesize'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1815:20: style:inconclusive: Function 'bdd_appall' argument 1 names different: declaration '<unnamed>' definition 'l'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1815:27: style:inconclusive: Function 'bdd_appall' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1815:34: style:inconclusive: Function 'bdd_appall' argument 3 names different: declaration '<unnamed>' definition 'opr'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1815:43: style:inconclusive: Function 'bdd_appall' argument 4 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1881:20: style:inconclusive: Function 'bdd_appuni' argument 1 names different: declaration '<unnamed>' definition 'l'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1881:27: style:inconclusive: Function 'bdd_appuni' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1881:34: style:inconclusive: Function 'bdd_appuni' argument 3 names different: declaration '<unnamed>' definition 'opr'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1881:43: style:inconclusive: Function 'bdd_appuni' argument 4 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1931:29: style:inconclusive: Function 'appquant_rec' argument 1 names different: declaration '<unnamed>' definition 'l'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:1931:36: style:inconclusive: Function 'appquant_rec' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:2057:21: style:inconclusive: Function 'bdd_support' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:2118:29: style:inconclusive: Function 'support_rec' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:2118:37: style:inconclusive: Function 'support_rec' argument 2 names different: declaration '<unnamed>' definition 'support'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:2154:20: style:inconclusive: Function 'bdd_satone' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:2174:27: style:inconclusive: Function 'satone_rec' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:2207:23: style:inconclusive: Function 'bdd_satoneset' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:2207:30: style:inconclusive: Function 'bdd_satoneset' argument 2 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:2207:39: style:inconclusive: Function 'bdd_satoneset' argument 3 names different: declaration '<unnamed>' definition 'pol'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:2233:30: style:inconclusive: Function 'satoneset_rec' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:2233:37: style:inconclusive: Function 'satoneset_rec' argument 2 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:2289:24: style:inconclusive: Function 'bdd_fullsatone' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:2315:31: style:inconclusive: Function 'fullsatone_rec' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:2464:25: style:inconclusive: Function 'bdd_satcount' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:2477:28: style:inconclusive: Function 'bdd_satcountset' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:2477:35: style:inconclusive: Function 'bdd_satcountset' argument 2 names different: declaration '<unnamed>' definition 'varset'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:2494:32: style:inconclusive: Function 'satcount_rec' argument 1 names different: declaration '<unnamed>' definition 'root'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:2545:27: style:inconclusive: Function 'bdd_satcountln' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:2561:30: style:inconclusive: Function 'bdd_satcountlnset' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:2561:37: style:inconclusive: Function 'bdd_satcountlnset' argument 2 names different: declaration '<unnamed>' definition 'varset'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:2578:34: style:inconclusive: Function 'satcountln_rec' argument 1 names different: declaration '<unnamed>' definition 'root'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:2632:23: style:inconclusive: Function 'bdd_nodecount' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:2657:25: style:inconclusive: Function 'bdd_anodecount' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:2657:32: style:inconclusive: Function 'bdd_anodecount' argument 2 names different: declaration '<unnamed>' definition 'num'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:2687:25: style:inconclusive: Function 'bdd_varprofile' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:2704:32: style:inconclusive: Function 'varprofile_rec' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:2735:26: style:inconclusive: Function 'bdd_pathcount' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:2745:37: style:inconclusive: Function 'bdd_pathcount_rec' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:2773:32: style:inconclusive: Function 'varset2vartable' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:2798:33: style:inconclusive: Function 'varset2svartable' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:280:27: style:inconclusive: Function 'bdd_setcacheratio' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:330:23: style:inconclusive: Function 'bdd_buildcube' argument 1 names different: declaration '<unnamed>' definition 'value'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:330:34: style:inconclusive: Function 'bdd_buildcube' argument 2 names different: declaration '<unnamed>' definition 'width'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:330:46: style:inconclusive: Function 'bdd_buildcube' argument 3 names different: declaration '<unnamed>' definition 'variables'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:357:24: style:inconclusive: Function 'bdd_ibuildcube' argument 1 names different: declaration '<unnamed>' definition 'value'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:357:35: style:inconclusive: Function 'bdd_ibuildcube' argument 2 names different: declaration '<unnamed>' definition 'width'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:357:47: style:inconclusive: Function 'bdd_ibuildcube' argument 3 names different: declaration '<unnamed>' definition 'variables'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:395:17: style:inconclusive: Function 'bdd_not' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:425:24: style:inconclusive: Function 'not_rec' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:499:19: style:inconclusive: Function 'bdd_apply' argument 1 names different: declaration '<unnamed>' definition 'l'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:499:26: style:inconclusive: Function 'bdd_apply' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:499:33: style:inconclusive: Function 'bdd_apply' argument 3 names different: declaration '<unnamed>' definition 'op'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:539:26: style:inconclusive: Function 'apply_rec' argument 1 names different: declaration '<unnamed>' definition 'l'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:539:33: style:inconclusive: Function 'apply_rec' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:650:17: style:inconclusive: Function 'bdd_and' argument 1 names different: declaration '<unnamed>' definition 'l'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:650:24: style:inconclusive: Function 'bdd_and' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:665:16: style:inconclusive: Function 'bdd_or' argument 1 names different: declaration '<unnamed>' definition 'l'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:665:23: style:inconclusive: Function 'bdd_or' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:680:17: style:inconclusive: Function 'bdd_xor' argument 1 names different: declaration '<unnamed>' definition 'l'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:680:24: style:inconclusive: Function 'bdd_xor' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:695:17: style:inconclusive: Function 'bdd_imp' argument 1 names different: declaration '<unnamed>' definition 'l'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:695:24: style:inconclusive: Function 'bdd_imp' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:710:19: style:inconclusive: Function 'bdd_biimp' argument 1 names different: declaration '<unnamed>' definition 'l'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:710:26: style:inconclusive: Function 'bdd_biimp' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:731:17: style:inconclusive: Function 'bdd_ite' argument 1 names different: declaration '<unnamed>' definition 'f'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:731:24: style:inconclusive: Function 'bdd_ite' argument 2 names different: declaration '<unnamed>' definition 'g'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:731:31: style:inconclusive: Function 'bdd_ite' argument 3 names different: declaration '<unnamed>' definition 'h'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:765:24: style:inconclusive: Function 'ite_rec' argument 1 names different: declaration '<unnamed>' definition 'f'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:765:31: style:inconclusive: Function 'ite_rec' argument 2 names different: declaration '<unnamed>' definition 'g'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:765:38: style:inconclusive: Function 'ite_rec' argument 3 names different: declaration '<unnamed>' definition 'h'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:900:22: style:inconclusive: Function 'bdd_restrict' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:900:29: style:inconclusive: Function 'bdd_restrict' argument 2 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:940:29: style:inconclusive: Function 'restrict_rec' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:995:23: style:inconclusive: Function 'bdd_constrain' argument 1 names different: declaration '<unnamed>' definition 'f'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/bddop.c:995:30: style:inconclusive: Function 'bdd_constrain' argument 2 names different: declaration '<unnamed>' definition 'c'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/cache.c:45:29: style:inconclusive: Function 'BddCache_init' argument 1 names different: declaration '<unnamed>' definition 'cache'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/cache.c:45:40: style:inconclusive: Function 'BddCache_init' argument 2 names different: declaration '<unnamed>' definition 'size'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/cache.c:62:30: style:inconclusive: Function 'BddCache_done' argument 1 names different: declaration '<unnamed>' definition 'cache'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/cache.c:70:31: style:inconclusive: Function 'BddCache_resize' argument 1 names different: declaration '<unnamed>' definition 'cache'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/cache.c:70:42: style:inconclusive: Function 'BddCache_resize' argument 2 names different: declaration '<unnamed>' definition 'newsize'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/cache.c:89:31: style:inconclusive: Function 'BddCache_reset' argument 1 names different: declaration '<unnamed>' definition 'cache'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/cppext.cxx:355:39: style:inconclusive: Function 'bdd_printset_rec' argument 1 names different: declaration '<unnamed>' definition 'o'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/cppext.cxx:355:46: style:inconclusive: Function 'bdd_printset_rec' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/cppext.cxx:355:54: style:inconclusive: Function 'bdd_printset_rec' argument 3 names different: declaration '<unnamed>' definition 'set'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/cppext.cxx:398:39: style:inconclusive: Function 'bdd_printdot_rec' argument 1 names different: declaration '<unnamed>' definition 'o'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/cppext.cxx:398:46: style:inconclusive: Function 'bdd_printdot_rec' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/cppext.cxx:419:39: style:inconclusive: Function 'fdd_printset_rec' argument 1 names different: declaration '<unnamed>' definition 'o'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/cppext.cxx:419:46: style:inconclusive: Function 'fdd_printset_rec' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/cppext.cxx:419:54: style:inconclusive: Function 'fdd_printset_rec' argument 3 names different: declaration '<unnamed>' definition 'set'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/cppext.cxx:81:22: style:inconclusive: Function 'bdd_cpp_init' argument 1 names different: declaration '<unnamed>' definition 'n'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/cppext.cxx:81:29: style:inconclusive: Function 'bdd_cpp_init' argument 2 names different: declaration '<unnamed>' definition 'c'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:1003:27: style:inconclusive: Function 'fdd_setpairs' argument 1 names different: declaration '<unnamed>' definition 'pair'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:1003:38: style:inconclusive: Function 'fdd_setpairs' argument 2 names different: declaration '<unnamed>' definition 'p1'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:1003:47: style:inconclusive: Function 'fdd_setpairs' argument 3 names different: declaration '<unnamed>' definition 'p2'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:1003:55: style:inconclusive: Function 'fdd_setpairs' argument 4 names different: declaration '<unnamed>' definition 'size'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:1026:33: style:inconclusive: Function 'Domain_done' argument 1 names different: declaration '<unnamed>' definition 'd'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:1033:37: style:inconclusive: Function 'Domain_allocate' argument 1 names different: declaration '<unnamed>' definition 'd'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:1033:44: style:inconclusive: Function 'Domain_allocate' argument 2 names different: declaration '<unnamed>' definition 'range'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:1057:21: style:inconclusive: Function 'fdddec2bin' argument 1 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:1057:30: style:inconclusive: Function 'fdddec2bin' argument 2 names different: declaration '<unnamed>' definition 'val'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:123:24: style:inconclusive: Function 'fdd_extdomain' argument 1 names different: declaration '<unnamed>' definition 'dom'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:123:33: style:inconclusive: Function 'fdd_extdomain' argument 2 names different: declaration '<unnamed>' definition 'num'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:207:27: style:inconclusive: Function 'fdd_overlapdomain' argument 1 names different: declaration '<unnamed>' definition 'v1'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:207:35: style:inconclusive: Function 'fdd_overlapdomain' argument 2 names different: declaration '<unnamed>' definition 'v2'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:293:24: style:inconclusive: Function 'fdd_domainsize' argument 1 names different: declaration '<unnamed>' definition 'v'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:314:20: style:inconclusive: Function 'fdd_varnum' argument 1 names different: declaration '<unnamed>' definition 'v'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:339:19: style:inconclusive: Function 'fdd_vars' argument 1 names different: declaration '<unnamed>' definition 'v'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:377:20: style:inconclusive: Function 'fdd_ithvar' argument 1 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:377:29: style:inconclusive: Function 'fdd_ithvar' argument 2 names different: declaration '<unnamed>' definition 'val'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:429:21: style:inconclusive: Function 'fdd_scanvar' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:429:28: style:inconclusive: Function 'fdd_scanvar' argument 2 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:462:25: style:inconclusive: Function 'fdd_scanallvar' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:522:20: style:inconclusive: Function 'fdd_ithset' argument 1 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:551:20: style:inconclusive: Function 'fdd_domain' argument 1 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:606:20: style:inconclusive: Function 'fdd_equals' argument 1 names different: declaration '<unnamed>' definition 'left'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:606:30: style:inconclusive: Function 'fdd_equals' argument 2 names different: declaration '<unnamed>' definition 'right'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:675:45: style:inconclusive: Function 'fdd_file_hook' argument 1 names different: declaration '<unnamed>' definition 'h'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:697:23: style:inconclusive: Function 'fdd_printset' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:704:26: style:inconclusive: Function 'fdd_fprintset' argument 1 names different: declaration '<unnamed>' definition 'ofile'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:704:37: style:inconclusive: Function 'fdd_fprintset' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:733:36: style:inconclusive: Function 'fdd_printset_rec' argument 1 names different: declaration '<unnamed>' definition 'ofile'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:733:47: style:inconclusive: Function 'fdd_printset_rec' argument 2 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:733:55: style:inconclusive: Function 'fdd_printset_rec' argument 3 names different: declaration '<unnamed>' definition 'set'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:827:21: style:inconclusive: Function 'fdd_scanset' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:827:30: style:inconclusive: Function 'fdd_scanset' argument 2 names different: declaration '<unnamed>' definition 'varset'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:827:43: style:inconclusive: Function 'fdd_scanset' argument 3 names different: declaration '<unnamed>' definition 'varnum'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:890:22: style:inconclusive: Function 'fdd_makeset' argument 1 names different: declaration '<unnamed>' definition 'varset'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:890:34: style:inconclusive: Function 'fdd_makeset' argument 2 names different: declaration '<unnamed>' definition 'varnum'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:931:28: style:inconclusive: Function 'fdd_intaddvarblock' argument 1 names different: declaration '<unnamed>' definition 'first'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:931:39: style:inconclusive: Function 'fdd_intaddvarblock' argument 2 names different: declaration '<unnamed>' definition 'last'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:931:49: style:inconclusive: Function 'fdd_intaddvarblock' argument 3 names different: declaration '<unnamed>' definition 'fixed'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:969:26: style:inconclusive: Function 'fdd_setpair' argument 1 names different: declaration '<unnamed>' definition 'pair'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:969:36: style:inconclusive: Function 'fdd_setpair' argument 2 names different: declaration '<unnamed>' definition 'p1'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/fdd.c:969:44: style:inconclusive: Function 'fdd_setpair' argument 3 names different: declaration '<unnamed>' definition 'p2'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/imatrix.c:110:28: style:inconclusive: Function 'imatrixPrint' argument 1 names different: declaration '<unnamed>' definition 'mtx'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/imatrix.c:116:26: style:inconclusive: Function 'imatrixSet' argument 1 names different: declaration '<unnamed>' definition 'mtx'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/imatrix.c:116:35: style:inconclusive: Function 'imatrixSet' argument 2 names different: declaration '<unnamed>' definition 'a'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/imatrix.c:116:42: style:inconclusive: Function 'imatrixSet' argument 3 names different: declaration '<unnamed>' definition 'b'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/imatrix.c:122:26: style:inconclusive: Function 'imatrixClr' argument 1 names different: declaration '<unnamed>' definition 'mtx'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/imatrix.c:122:35: style:inconclusive: Function 'imatrixClr' argument 2 names different: declaration '<unnamed>' definition 'a'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/imatrix.c:122:42: style:inconclusive: Function 'imatrixClr' argument 3 names different: declaration '<unnamed>' definition 'b'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/imatrix.c:128:29: style:inconclusive: Function 'imatrixDepends' argument 1 names different: declaration '<unnamed>' definition 'mtx'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/imatrix.c:128:38: style:inconclusive: Function 'imatrixDepends' argument 2 names different: declaration '<unnamed>' definition 'a'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/imatrix.c:128:45: style:inconclusive: Function 'imatrixDepends' argument 3 names different: declaration '<unnamed>' definition 'b'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/imatrix.c:45:25: style:inconclusive: Function 'imatrixNew' argument 1 names different: declaration '<unnamed>' definition 'size'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/imatrix.c:78:29: style:inconclusive: Function 'imatrixDelete' argument 1 names different: declaration '<unnamed>' definition 'mtx'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/imatrix.c:91:29: style:inconclusive: Function 'imatrixFPrint' argument 1 names different: declaration '<unnamed>' definition 'mtx'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/imatrix.c:91:40: style:inconclusive: Function 'imatrixFPrint' argument 2 names different: declaration '<unnamed>' definition 'ofile'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:1114:20: style:inconclusive: Function 'bdd_addref' argument 1 names different: declaration '<unnamed>' definition 'root'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:1140:20: style:inconclusive: Function 'bdd_delref' argument 1 names different: declaration '<unnamed>' definition 'root'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:1159:19: style:inconclusive: Function 'bdd_mark' argument 1 names different: declaration '<unnamed>' definition 'i'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:1177:24: style:inconclusive: Function 'bdd_mark_upto' argument 1 names different: declaration '<unnamed>' definition 'i'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:1177:31: style:inconclusive: Function 'bdd_mark_upto' argument 2 names different: declaration '<unnamed>' definition 'level'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:1197:24: style:inconclusive: Function 'bdd_markcount' argument 1 names different: declaration '<unnamed>' definition 'i'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:1197:32: style:inconclusive: Function 'bdd_markcount' argument 2 names different: declaration '<unnamed>' definition 'cou'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:1216:21: style:inconclusive: Function 'bdd_unmark' argument 1 names different: declaration '<unnamed>' definition 'i'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:1234:26: style:inconclusive: Function 'bdd_unmark_upto' argument 1 names different: declaration '<unnamed>' definition 'i'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:1234:33: style:inconclusive: Function 'bdd_unmark_upto' argument 2 names different: declaration '<unnamed>' definition 'level'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:1258:31: style:inconclusive: Function 'bdd_makenode' argument 1 names different: declaration '<unnamed>' definition 'level'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:1258:42: style:inconclusive: Function 'bdd_makenode' argument 2 names different: declaration '<unnamed>' definition 'low'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:1258:51: style:inconclusive: Function 'bdd_makenode' argument 3 names different: declaration '<unnamed>' definition 'high'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:1346:24: style:inconclusive: Function 'bdd_noderesize' argument 1 names different: declaration '<unnamed>' definition 'doRehash'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:1432:21: style:inconclusive: Function 'bdd_scanset' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:1432:30: style:inconclusive: Function 'bdd_scanset' argument 2 names different: declaration '<unnamed>' definition 'varset'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:1432:43: style:inconclusive: Function 'bdd_scanset' argument 3 names different: declaration '<unnamed>' definition 'varnum'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:1475:22: style:inconclusive: Function 'bdd_makeset' argument 1 names different: declaration '<unnamed>' definition 'varset'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:1475:34: style:inconclusive: Function 'bdd_makeset' argument 2 names different: declaration '<unnamed>' definition 'varnum'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:174:18: style:inconclusive: Function 'bdd_init' argument 1 names different: declaration '<unnamed>' definition 'initnodesize'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:174:36: style:inconclusive: Function 'bdd_init' argument 2 names different: declaration '<unnamed>' definition 'cs'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:294:23: style:inconclusive: Function 'bdd_setvarnum' argument 1 names different: declaration '<unnamed>' definition 'num'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:391:23: style:inconclusive: Function 'bdd_extvarnum' argument 1 names different: declaration '<unnamed>' definition 'num'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:430:44: style:inconclusive: Function 'bdd_error_hook' argument 1 names different: declaration '<unnamed>' definition 'handler'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:488:42: style:inconclusive: Function 'bdd_gbc_hook' argument 1 names different: declaration '<unnamed>' definition 'handler'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:521:47: style:inconclusive: Function 'bdd_resize_hook' argument 1 names different: declaration '<unnamed>' definition 'handler'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:541:28: style:inconclusive: Function 'bdd_setmaxincrease' argument 1 names different: declaration '<unnamed>' definition 'size'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:569:27: style:inconclusive: Function 'bdd_setmaxnodenum' argument 1 names different: declaration '<unnamed>' definition 'size'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:600:29: style:inconclusive: Function 'bdd_setminfreenodes' argument 1 names different: declaration '<unnamed>' definition 'mf'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:703:25: style:inconclusive: Function 'bdd_stats' argument 1 names different: declaration '<unnamed>' definition 's'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:729:35: style:inconclusive: Function 'bdd_cachestats' argument 1 names different: declaration '<unnamed>' definition 's'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:750:27: style:inconclusive: Function 'bdd_fprintstat' argument 1 names different: declaration '<unnamed>' definition 'ofile'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:794:31: style:inconclusive: Function 'bdd_errstring' argument 1 names different: declaration '<unnamed>' definition 'e'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:803:33: style:inconclusive: Function 'bdd_default_errhandler' argument 1 names different: declaration '<unnamed>' definition 'e'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:810:19: style:inconclusive: Function 'bdd_error' argument 1 names different: declaration '<unnamed>' definition 'e'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:874:20: style:inconclusive: Function 'bdd_ithvar' argument 1 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:900:21: style:inconclusive: Function 'bdd_nithvar' argument 1 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:936:17: style:inconclusive: Function 'bdd_var' argument 1 names different: declaration '<unnamed>' definition 'root'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:955:17: style:inconclusive: Function 'bdd_low' argument 1 names different: declaration '<unnamed>' definition 'root'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:974:18: style:inconclusive: Function 'bdd_high' argument 1 names different: declaration '<unnamed>' definition 'root'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:989:33: style:inconclusive: Function 'bdd_default_gbchandler' argument 1 names different: declaration '<unnamed>' definition 'pre'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/kernel.c:989:50: style:inconclusive: Function 'bdd_default_gbchandler' argument 2 names different: declaration '<unnamed>' definition 's'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/pairs.c:116:26: style:inconclusive: Function 'bdd_pairs_resize' argument 1 names different: declaration '<unnamed>' definition 'oldsize'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/pairs.c:116:39: style:inconclusive: Function 'bdd_pairs_resize' argument 2 names different: declaration '<unnamed>' definition 'newsize'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/pairs.c:196:26: style:inconclusive: Function 'bdd_setpair' argument 1 names different: declaration '<unnamed>' definition 'pair'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/pairs.c:196:36: style:inconclusive: Function 'bdd_setpair' argument 2 names different: declaration '<unnamed>' definition 'oldvar'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/pairs.c:196:48: style:inconclusive: Function 'bdd_setpair' argument 3 names different: declaration '<unnamed>' definition 'newvar'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/pairs.c:217:29: style:inconclusive: Function 'bdd_setbddpair' argument 1 names different: declaration '<unnamed>' definition 'pair'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/pairs.c:217:39: style:inconclusive: Function 'bdd_setbddpair' argument 2 names different: declaration '<unnamed>' definition 'oldvar'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/pairs.c:217:51: style:inconclusive: Function 'bdd_setbddpair' argument 3 names different: declaration '<unnamed>' definition 'newvar'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/pairs.c:252:27: style:inconclusive: Function 'bdd_setpairs' argument 1 names different: declaration '<unnamed>' definition 'pair'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/pairs.c:252:38: style:inconclusive: Function 'bdd_setpairs' argument 2 names different: declaration '<unnamed>' definition 'oldvar'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/pairs.c:252:51: style:inconclusive: Function 'bdd_setpairs' argument 3 names different: declaration '<unnamed>' definition 'newvar'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/pairs.c:252:63: style:inconclusive: Function 'bdd_setpairs' argument 4 names different: declaration '<unnamed>' definition 'size'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/pairs.c:266:30: style:inconclusive: Function 'bdd_setbddpairs' argument 1 names different: declaration '<unnamed>' definition 'pair'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/pairs.c:266:41: style:inconclusive: Function 'bdd_setbddpairs' argument 2 names different: declaration '<unnamed>' definition 'oldvar'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/pairs.c:266:54: style:inconclusive: Function 'bdd_setbddpairs' argument 3 names different: declaration '<unnamed>' definition 'newvar'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/pairs.c:266:66: style:inconclusive: Function 'bdd_setbddpairs' argument 4 names different: declaration '<unnamed>' definition 'size'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/pairs.c:289:28: style:inconclusive: Function 'bdd_freepair' argument 1 names different: declaration '<unnamed>' definition 'p'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/pairs.c:324:29: style:inconclusive: Function 'bdd_resetpair' argument 1 names different: declaration '<unnamed>' definition 'p'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/pairs.c:91:33: style:inconclusive: Function 'bdd_register_pair' argument 1 names different: declaration '<unnamed>' definition 'p'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/pairs.c:98:28: style:inconclusive: Function 'bdd_pairs_vardown' argument 1 names different: declaration '<unnamed>' definition 'level'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/reorder.c:1019:33: style:inconclusive: Function 'reorder_makenode' argument 1 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/reorder.c:1019:42: style:inconclusive: Function 'reorder_makenode' argument 2 names different: declaration '<unnamed>' definition 'low'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/reorder.c:1019:51: style:inconclusive: Function 'reorder_makenode' argument 3 names different: declaration '<unnamed>' definition 'high'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/reorder.c:1401:30: style:inconclusive: Function 'reorder_varup' argument 1 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/reorder.c:1451:32: style:inconclusive: Function 'reorder_vardown' argument 1 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/reorder.c:1567:33: style:inconclusive: Function 'bdd_default_reohandler' argument 1 names different: declaration '<unnamed>' definition 'prestate'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/reorder.c:1801:22: style:inconclusive: Function 'bdd_reorder' argument 1 names different: declaration '<unnamed>' definition 'method'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/reorder.c:1883:46: style:inconclusive: Function 'bdd_reorder_hook' argument 1 names different: declaration '<unnamed>' definition 'handler'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/reorder.c:1916:50: style:inconclusive: Function 'bdd_blockfile_hook' argument 1 names different: declaration '<unnamed>' definition 'handler'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/reorder.c:1947:25: style:inconclusive: Function 'bdd_autoreorder' argument 1 names different: declaration '<unnamed>' definition 'method'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/reorder.c:1956:31: style:inconclusive: Function 'bdd_autoreorder_times' argument 1 names different: declaration '<unnamed>' definition 'method'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/reorder.c:1956:43: style:inconclusive: Function 'bdd_autoreorder_times' argument 2 names different: declaration '<unnamed>' definition 'num'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/reorder.c:1974:23: style:inconclusive: Function 'bdd_var2level' argument 1 names different: declaration '<unnamed>' definition 'var'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/reorder.c:1992:23: style:inconclusive: Function 'bdd_level2var' argument 1 names different: declaration '<unnamed>' definition 'level'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/reorder.c:2044:29: style:inconclusive: Function 'bdd_reorder_verbose' argument 1 names different: declaration '<unnamed>' definition 'v'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/reorder.c:2077:49: style:inconclusive: Function 'bdd_reorder_probe' argument 1 names different: declaration '<unnamed>' definition 'handler'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/reorder.c:2139:25: style:inconclusive: Function 'bdd_addvarblock' argument 1 names different: declaration '<unnamed>' definition 'b'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/reorder.c:2139:32: style:inconclusive: Function 'bdd_addvarblock' argument 2 names different: declaration '<unnamed>' definition 'fixed'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/reorder.c:2168:28: style:inconclusive: Function 'bdd_intaddvarblock' argument 1 names different: declaration '<unnamed>' definition 'first'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/reorder.c:2168:39: style:inconclusive: Function 'bdd_intaddvarblock' argument 2 names different: declaration '<unnamed>' definition 'last'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/reorder.c:2168:49: style:inconclusive: Function 'bdd_intaddvarblock' argument 3 names different: declaration '<unnamed>' definition 'fixed'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/reorder.c:2250:27: style:inconclusive: Function 'bdd_setvarorder' argument 1 names different: declaration '<unnamed>' definition 'neworder'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/reorder.c:2315:28: style:inconclusive: Function 'bdd_fprintorder' argument 1 names different: declaration '<unnamed>' definition 'ofile'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/reorder.c:741:32: style:inconclusive: Function 'blockdown' argument 1 names different: declaration '<unnamed>' definition 'left'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/reorder.c:810:28: style:inconclusive: Function 'addref_rec' argument 1 names different: declaration '<unnamed>' definition 'r'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/reorder.c:810:37: style:inconclusive: Function 'addref_rec' argument 2 names different: declaration '<unnamed>' definition 'dep'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/tree.c:189:36: style:inconclusive: Function 'bddtree_addrange' argument 1 names different: declaration '<unnamed>' definition 't'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/tree.c:189:43: style:inconclusive: Function 'bddtree_addrange' argument 2 names different: declaration '<unnamed>' definition 'first'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/tree.c:189:54: style:inconclusive: Function 'bddtree_addrange' argument 3 names different: declaration '<unnamed>' definition 'last'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/tree.c:189:64: style:inconclusive: Function 'bddtree_addrange' argument 4 names different: declaration '<unnamed>' definition 'fixed'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/tree.c:189:74: style:inconclusive: Function 'bddtree_addrange' argument 5 names different: declaration '<unnamed>' definition 'id'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/tree.c:64:26: style:inconclusive: Function 'bddtree_new' argument 1 names different: declaration '<unnamed>' definition 'id'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/tree.c:79:27: style:inconclusive: Function 'bddtree_del' argument 1 names different: declaration '<unnamed>' definition 't'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/tree.c:92:40: style:inconclusive: Function 'bddtree_addrange_rec' argument 1 names different: declaration '<unnamed>' definition 't'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/tree.c:92:52: style:inconclusive: Function 'bddtree_addrange_rec' argument 2 names different: declaration '<unnamed>' definition 'prev'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/tree.c:93:14: style:inconclusive: Function 'bddtree_addrange_rec' argument 3 names different: declaration '<unnamed>' definition 'first'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/tree.c:93:25: style:inconclusive: Function 'bddtree_addrange_rec' argument 4 names different: declaration '<unnamed>' definition 'last'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/tree.c:93:35: style:inconclusive: Function 'bddtree_addrange_rec' argument 5 names different: declaration '<unnamed>' definition 'fixed'. [funcArgNamesDifferentUnnamed]
head buddy-2.4/src/tree.c:93:46: style:inconclusive: Function 'bddtree_addrange_rec' argument 6 names different: declaration '<unnamed>' definition 'id'. [funcArgNamesDifferentUnnamed]
head lexer.cxx:1820:39: style:inconclusive: Function 'yy_flex_alloc' argument 1 names different: declaration '<unnamed>' definition 'size'. [funcArgNamesDifferentUnnamed]
head lexer.cxx:1830:37: style:inconclusive: Function 'yy_flex_realloc' argument 1 names different: declaration '<unnamed>' definition 'ptr'. [funcArgNamesDifferentUnnamed]
head lexer.cxx:1830:52: style:inconclusive: Function 'yy_flex_realloc' argument 2 names different: declaration '<unnamed>' definition 'size'. [funcArgNamesDifferentUnnamed]
head lexer.cxx:1848:33: style:inconclusive: Function 'yy_flex_free' argument 1 names different: declaration '<unnamed>' definition 'ptr'. [funcArgNamesDifferentUnnamed]


DONE