2025-11-27 18:04 ftp://ftp.de.debian.org/debian/pool/main/l/lp-solve/lp-solve_5.5.2.14.orig.tar.gz cppcheck-options: --library=posix --library=gnu --library=bsd --inconclusive --enable=style,information --inline-suppr --template=daca2 --disable=missingInclude --suppress=unmatchedSuppression --check-library --debug-warnings --suppress=autoNoType --suppress=valueFlowBailout --suppress=bailoutUninitVar --suppress=symbolDatabaseWarning --suppress=normalCheckLevelConditionExpressions -D__GNUC__ --platform=unix64 -j4 platform: Linux-6.12.57+deb13-amd64-x86_64-with-glibc2.41 python: 3.13.5 client-version: 1.3.67 compiler: g++ (Debian 14.2.0-19) 14.2.0 cppcheck: head 2.18.0 head-info: d1e4660 (2025-11-27 16:20:04 +0100) count: 975 967 elapsed-time: 13.2 15.2 head-timing-info: old-timing-info: head results: lp_solve/bfp/bfp_LUSOL/LUSOL/lusol6a.c:200:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LUSOL_IP_PRINTLEVEL [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol6l0.c:8:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FALSE [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol6l0.c:121:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LUSOL_IP_ROWCOUNT_L0 [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol6a.c:367:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LUSOL_IP_COLCOUNT_L0 [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol6a.c:463:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LUSOL_IP_COLCOUNT_L0 [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol6a.c:524:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LUSOL_IP_COLCOUNT_L0 [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol6a.c:604:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LUSOL_IP_COLCOUNT_L0 [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol6u.c:8:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FALSE [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol6u.c:110:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LUSOL_IP_RANK_U [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol6a.c:646:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LUSOL_IP_FTRANCOUNT [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol6a.c:734:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LUSOL_IP_RANK_U [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol6a.c:838:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LUSOL_SOLVE_Lv_v [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/hbio.c:254:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/hbio.c:299:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BUFSIZ [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/hbio.c:393:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BUFSIZ [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/hbio.c:574:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BUFSIZ [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/hbio.c:714:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/hbio.c:769:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/hbio.c:942:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BUFSIZ [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/hbio.c:1072:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/hbio.c:1139:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BUFSIZ [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/hbio.c:1288:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/hbio.c:1356:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/hbio.c:1562:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/hbio.c:1605:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol1.c:59:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ZERO [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol1.c:251:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LUSOL_ARRAYOFFSET [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol1.c:572:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LUSOL_IP_PRINTLEVEL [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol1.c:743:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ZERO [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol1.c:908:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ZERO [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol1.c:1162:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ZERO [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol1.c:1274:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ZERO [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol1.c:1463:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ZERO [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol1.c:1580:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LUSOL_ARRAYOFFSET [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol1.c:1615:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ZERO [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol1.c:1686:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ZERO [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol1.c:1819:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ZERO [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol1.c:1941:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ZERO [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol1.c:2267:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LUSOL_IP_PRINTLEVEL [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol1.c:3376:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LUSOL_IP_PRINTLEVEL [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol6a.c:616:7: warning: If memory allocation fails, then there is a possible null pointer dereference: denseL0 [nullPointerOutOfMemory] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol6a.c:602:33: note: Assuming allocation function fails lp_solve/bfp/bfp_LUSOL/LUSOL/lusol6a.c:602:19: note: Assignment 'denseL0=(REAL*)calloc(LUSOL->m+1,(LUSOL->n+1)*sizeof(*denseL0))', assigned value is 0 lp_solve/bfp/bfp_LUSOL/LUSOL/lusol6a.c:616:7: note: Null pointer dereference lp_solve/bfp/bfp_LUSOL/LUSOL/lusol6a.c:622:31: warning: If memory allocation fails, then there is a possible null pointer dereference: denseL0 [nullPointerOutOfMemory] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol6a.c:602:33: note: Assuming allocation function fails lp_solve/bfp/bfp_LUSOL/LUSOL/lusol6a.c:602:19: note: Assignment 'denseL0=(REAL*)calloc(LUSOL->m+1,(LUSOL->n+1)*sizeof(*denseL0))', assigned value is 0 lp_solve/bfp/bfp_LUSOL/LUSOL/lusol6a.c:622:31: note: Null pointer dereference lp_solve/bfp/bfp_LUSOL/LUSOL/lusol7a.c:30:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LUSOL_RP_ZEROTOLERANCE [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol7a.c:159:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LUSOL_RP_ZEROTOLERANCE [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol7a.c:274:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LUSOL_RP_UPDATEMAX_Lij [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol7a.c:580:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LUSOL_RP_SMALLDIAG_U [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol7a.c:21:45: style: Parameter 'V' can be declared as const array [constParameter] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol7a.c:149:45: style: Parameter 'V' can be declared as const array [constParameter] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol7a.c:569:46: style: Parameter 'LENU' can be declared as pointer to const [constParameterPointer] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol.c:632:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol6a.c:622:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol8a.c:55:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LUSOL_IP_PRINTLEVEL [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/lusolio.c:37:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/lusolio.c:90:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/hbio.c:255:8: error: Memory leak: mat_type [memleak] lp_solve/bfp/bfp_LUSOL/LUSOL/hbio.c:1498:11: style: Variable 'tmp' can be declared as pointer to const [constVariablePointer] lp_solve/bfp/bfp_LUSOL/LUSOL/hbio.c:1519:11: style: Variable 'tmp' can be declared as pointer to const [constVariablePointer] lp_solve/bfp/bfp_LUSOL/LUSOL/hbio.c:1603:26: style: Parameter 'message' can be declared as pointer to const [constParameterPointer] lp_solve/bfp/bfp_LUSOL/LUSOL/hbio.c:1381:26: warning: Uninitialized variable: Valperline [uninitvar] lp_solve/bfp/bfp_LUSOL/LUSOL/hbio.c:1369:18: note: Assuming condition is false lp_solve/bfp/bfp_LUSOL/LUSOL/hbio.c:1381:26: note: Uninitialized variable: Valperline lp_solve/bfp/bfp_LUSOL/LUSOL/lusolio.c:36:11: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf] lp_solve/bfp/bfp_LUSOL/LUSOL/lusolio.c:89:11: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf] lp_solve/bfp/bfp_LUSOL/LUSOL/lusolio.c:10:25: style: Parameter 'filename' can be declared as pointer to const [constParameterPointer] lp_solve/bfp/bfp_LUSOL/LUSOL/lusolio.c:73:25: style: Parameter 'filename' can be declared as pointer to const [constParameterPointer] lp_solve/bfp/bfp_LUSOL/LUSOL/lusolio.c:108:25: style: Parameter 'filename' can be declared as pointer to const [constParameterPointer] lp_solve/bfp/bfp_LUSOL/LUSOL/lusolio.c:287:25: style: Parameter 'filename' can be declared as pointer to const [constParameterPointer] lp_solve/bfp/bfp_LUSOL/LUSOL/lusolio.c:295:25: style: Parameter 'filename' can be declared as pointer to const [constParameterPointer] lp_solve/bfp/bfp_LUSOL/LUSOL/lusolmain.c:53:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/mmio.c:43:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/mmio.c:211:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/mmio.c:240:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/mmio.c:337:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdin [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/mmio.c:404:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/mmio.c:112:9: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf] lp_solve/bfp/bfp_LUSOL/LUSOL/mmio.c:297:31: style:inconclusive: Function 'mm_read_mtx_crd_entry' argument 5 names different: declaration 'img' definition 'imag'. [funcArgNamesDifferent] lp_solve/bfp/bfp_LUSOL/LUSOL/mmio.h:125:74: note: Function 'mm_read_mtx_crd_entry' argument 5 names different: declaration 'img' definition 'imag'. lp_solve/bfp/bfp_LUSOL/LUSOL/mmio.c:297:31: note: Function 'mm_read_mtx_crd_entry' argument 5 names different: declaration 'img' definition 'imag'. lp_solve/bfp/bfp_LUSOL/LUSOL/mmio.c:331:27: style: Parameter 'fname' can be declared as pointer to const [constParameterPointer] lp_solve/bfp/bfp_LUSOL/LUSOL/mmio.c:386:11: style: Variable 'str' can be declared as pointer to const [constVariablePointer] lp_solve/bfp/bfp_LUSOL/LUSOL/mmio.c:397:27: style: Parameter 'fname' can be declared as const array [constParameter] lp_solve/bfp/bfp_LUSOL/LUSOL/mmio.c:397:62: style: Parameter 'I' can be declared as const array [constParameter] lp_solve/bfp/bfp_LUSOL/LUSOL/mmio.c:397:71: style: Parameter 'J' can be declared as const array [constParameter] lp_solve/bfp/bfp_LUSOL/LUSOL/mmio.c:398:16: style: Parameter 'val' can be declared as const array [constParameter] lp_solve/bfp/bfp_LUSOL/LUSOL/myblas.c:672:16: error: syntax error [syntaxError] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol1.c:2293:3: style:inconclusive: Found duplicate branches for 'if' and 'else'. [duplicateBranch] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol1.c:2295:3: note: Found duplicate branches for 'if' and 'else'. lp_solve/bfp/bfp_LUSOL/LUSOL/lusol1.c:2293:3: note: Found duplicate branches for 'if' and 'else'. lp_solve/bfp/bfp_LUSOL/LUSOL/lusol1.c:786:5: style: Variable 'L2' is assigned an expression that holds the same value. [redundantAssignment] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol1.c:774:11: note: *LCOL is assigned 'L2' here. lp_solve/bfp/bfp_LUSOL/LUSOL/lusol1.c:786:5: note: Variable 'L2' is assigned an expression that holds the same value. lp_solve/bfp/bfp_LUSOL/LUSOL/lusol1.c:354:48: style: Parameter 'LEN' can be declared as const array [constParameter] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol1.c:411:28: style: Parameter 'LENOLD' can be declared as const array [constParameter] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol1.c:411:42: style: Parameter 'LENNEW' can be declared as const array [constParameter] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol1.c:468:42: style: Parameter 'LEN' can be declared as const array [constParameter] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol1.c:666:17: style: Parameter 'MARK' can be declared as const array [constParameter] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol1.c:666:31: style: Parameter 'AL' can be declared as const array [constParameter] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol1.c:666:55: style: Parameter 'AU' can be declared as const array [constParameter] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol1.c:1153:28: style: Parameter 'HA' can be declared as const array [constParameter] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol1.c:1153:38: style: Parameter 'HJ' can be declared as const array [constParameter] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol1.c:1264:44: style: Parameter 'AMAXR' can be declared as const array [constParameter] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol1.c:1567:50: style: Parameter 'IX' can be declared as const array [constParameter] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol1.c:1603:50: style: Parameter 'IX' can be declared as const array [constParameter] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol1.c:2018:28: style: Parameter 'IFILL' can be declared as const array [constParameter] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol1.c:2018:41: style: Parameter 'JFILL' can be declared as const array [constParameter] lp_solve/bfp/bfp_LUSOL/LUSOL/sparselib.c:241:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TRUE [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/sparselib.c:300:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TRUE [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/sparselib.c:365:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MACHINEPREC [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/sparselib.c:417:6: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FALSE [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/sparselib.c:818:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FALSE [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/sparselib.c:861:54: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TRUE [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/bfp_LUSOL.c:19:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TRUE [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/lp_LUSOL.c:61:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FALSE [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/lp_LUSOL.c:155:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TRUE [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/lp_LUSOL.c:171:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable REAL [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/lp_LUSOL.c:189:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AUTOMATIC [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/lp_LUSOL.c:224:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TRUE [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/lp_LUSOL.c:264:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TRUE [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/lp_LUSOL.c:318:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable DETAILED [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/lp_LUSOL.c:355:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FALSE [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/lp_LUSOL.c:483:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FALSE [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/lp_LUSOL.c:590:61: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FALSE [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/lp_LUSOL.c:608:61: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TRUE [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/lp_LUSOL.c:627:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LUSOL_INFORM_LUSUCCESS [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/lp_LUSOL.c:662:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FALSE [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/lp_LUSOL.c:65:20: style: Condition 'newsize>0||1' is always true [knownConditionTrueFalse] lp_solve/bfp/bfp_LUSOL/lp_LUSOL.c:72:23: style: Condition 'newsize>0||1' is always true [knownConditionTrueFalse] lp_solve/bfp/bfp_LUSOL/lp_LUSOL.c:287:11: style: Variable 'i' is reassigned a value before the old one has been used. [redundantAssignment] lp_solve/bfp/bfp_LUSOL/lp_LUSOL.c:283:7: note: i is assigned lp_solve/bfp/bfp_LUSOL/lp_LUSOL.c:287:11: note: i is overwritten lp_solve/bfp/bfp_LUSOL/lp_LUSOL.c:150:39: style: Parameter 'lp' can be declared as pointer to const [constParameterPointer] lp_solve/bfp/bfp_LUSOL/lp_LUSOL.c:169:13: style: Variable 'LUSOL' can be declared as pointer to const [constVariablePointer] lp_solve/bfp/bfp_LUSOL/lp_LUSOL.c:242:70: style: Parameter 'singular' can be declared as pointer to const [constParameterPointer] lp_solve/bfp/bfp_LUSOL/lp_LUSOL.c:582:54: style: Parameter 'pcol' can be declared as pointer to const [constParameterPointer] lp_solve/bfp/bfp_LUSOL/lp_LUSOL.c:600:55: style: Parameter 'pcol' can be declared as pointer to const [constParameterPointer] lp_solve/bfp/bfp_LUSOL/lp_LUSOL.c:618:54: style: Parameter 'prow' can be declared as pointer to const [constParameterPointer] lp_solve/bfp/bfp_LUSOL/lp_LUSOL.c:211:6: style: Variable 'nz' is assigned a value that is never used. [unreadVariable] lp_solve/bfp/bfp_LUSOL/lp_LUSOL.c:494:8: style: Variable 'kcol' is assigned a value that is never used. [unreadVariable] lp_solve/bfp/bfp_LUSOL/LUSOL/sparselib.c:103:3: style: Assignment of function parameter has no effect outside the function. [uselessAssignmentArg] lp_solve/bfp/bfp_LUSOL/LUSOL/sparselib.c:180:33: style: Parameter 'sparse' can be declared as pointer to const [constParameterPointer] lp_solve/bfp/bfp_LUSOL/LUSOL/sparselib.c:607:44: style: Parameter 'dense' can be declared as pointer to const [constParameterPointer] lp_solve/bfp/lp_BFP1.c:17:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FALSE [valueFlowBailoutIncompleteVar] lp_solve/bfp/lp_BFP1.c:37:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MATINDEXBASE [valueFlowBailoutIncompleteVar] lp_solve/bfp/lp_BFP1.c:55:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable DEF_MAXPIVOT [valueFlowBailoutIncompleteVar] lp_solve/bfp/lp_BFP1.c:69:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AUTOMATIC [valueFlowBailoutIncompleteVar] lp_solve/bfp/lp_BFP1.c:87:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BFP_STAT_REFACT_TOTAL [valueFlowBailoutIncompleteVar] lp_solve/bfp/lp_BFP1.c:100:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ACTION_REINVERT [valueFlowBailoutIncompleteVar] lp_solve/bfp/lp_BFP1.c:160:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TRUE [valueFlowBailoutIncompleteVar] lp_solve/bfp/lp_BFP1.c:185:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AUTOMATIC [valueFlowBailoutIncompleteVar] lp_solve/bfp/bfp_LUSOL/LUSOL/sparselib.c:103:12: style: Variable 'initSize' is assigned a value that is never used. [unreadVariable] lp_solve/bfp/bfp_LUSOL/LUSOL/sparselib.c:242:6: style: Variable 'k1' is assigned a value that is never used. [unreadVariable] lp_solve/bfp/bfp_LUSOL/LUSOL/sparselib.c:819:5: style: Variable 'd' is assigned a value that is never used. [unreadVariable] lp_solve/bfp/bfp_LUSOL/LUSOL/sparselib.c:881:10: style: Variable 'xmax' is assigned a value that is never used. [unreadVariable] lp_solve/bfp/lp_BFP2.c:18:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FALSE [valueFlowBailoutIncompleteVar] lp_solve/bfp/lp_BFP2.c:41:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FALSE [valueFlowBailoutIncompleteVar] lp_solve/bfp/lp_BFP2.c:60:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FALSE [valueFlowBailoutIncompleteVar] lp_solve/bfp/lp_BFP2.c:73:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FALSE [valueFlowBailoutIncompleteVar] lp_solve/bfp/lp_BFP2.c:81:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TRUE [valueFlowBailoutIncompleteVar] lp_solve/bfp/lp_BFP2.c:93:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FALSE [valueFlowBailoutIncompleteVar] lp_solve/bfp/lp_BFP2.c:129:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AUTOMATIC [valueFlowBailoutIncompleteVar] lp_solve/bfp/lp_BFP1.c:165:3: warning: If memory allocation fails, then there is a possible null pointer dereference: mdo [nullPointerOutOfMemory] lp_solve/bfp/lp_BFP1.c:153:23: note: Assuming allocation function fails lp_solve/bfp/lp_BFP1.c:153:9: note: Assignment 'mdo=(int*)malloc((count+1)*sizeof(*mdo))', assigned value is 0 lp_solve/bfp/lp_BFP1.c:165:3: note: Null pointer dereference lp_solve/bfp/lp_BFP1.c:15:44: style: Parameter 'lp' can be declared as pointer to const [constParameterPointer] lp_solve/bfp/lp_BFP1.c:35:40: style: Parameter 'lp' can be declared as pointer to const [constParameterPointer] lp_solve/bfp/lp_BFP1.c:41:40: style: Parameter 'lp' can be declared as pointer to const [constParameterPointer] lp_solve/bfp/lp_BFP2.c:9:69: style: Parameter 'options' can be declared as pointer to const [constParameterPointer] lp_solve/bfp/lp_BFP2.c:35:41: style: Parameter 'lp' can be declared as pointer to const [constParameterPointer] lp_solve/bfp/lp_BFP2.c:58:47: style: Parameter 'lp' can be declared as pointer to const [constParameterPointer] lp_solve/bfp/lp_BFP2.c:71:47: style: Parameter 'lp' can be declared as pointer to const [constParameterPointer] lp_solve/bfp/lp_BFP2.c:78:44: style: Parameter 'lp' can be declared as pointer to const [constParameterPointer] lp_solve/demo/demo.c:47:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] lp_solve/ini.c:9:24: style: Parameter 'filename' can be declared as pointer to const [constParameterPointer] lp_solve/ini.c:18:22: style: Parameter 'filename' can be declared as pointer to const [constParameterPointer] lp_solve/ini.c:27:39: style: Parameter 'comment' can be declared as pointer to const [constParameterPointer] lp_solve/ini.c:32:38: style: Parameter 'header' can be declared as pointer to const [constParameterPointer] lp_solve/ini.c:39:36: style: Parameter 'name' can be declared as pointer to const [constParameterPointer] lp_solve/ini.c:39:48: style: Parameter 'data' can be declared as pointer to const [constParameterPointer] lp_solve/colamd/colamd.c:2154:14: style: Array index 'min_score' is used before limits check. [arrayIndexThenCheck] lp_solve/colamd/colamd.c:1131:9: style: Condition '!mark' is always false [knownConditionTrueFalse] lp_solve/colamd/colamd.c:1021:9: style: Parameter 'A' can be declared as const array [constParameter] lp_solve/colamd/colamd.c:1022:9: style: Parameter 'p' can be declared as const array [constParameter] lp_solve/colamd/colamd.c:1024:12: style: Parameter 'knobs' can be declared as const array [constParameter] lp_solve/colamd/colamd.c:1580:10: style: Variable 'cp' can be declared as pointer to const [constVariablePointer] lp_solve/colamd/colamd.c:1581:10: style: Variable 'cp_end' can be declared as pointer to const [constVariablePointer] lp_solve/colamd/colamd.c:1583:10: style: Variable 'rp_end' can be declared as pointer to const [constVariablePointer] lp_solve/colamd/colamd.c:1810:12: style: Parameter 'knobs' can be declared as const array [constParameter] lp_solve/colamd/colamd.c:1822:10: style: Variable 'cp_end' can be declared as pointer to const [constVariablePointer] lp_solve/colamd/colamd.c:2086:10: style: Variable 'cp_end' can be declared as pointer to const [constVariablePointer] lp_solve/colamd/colamd.c:2087:10: style: Variable 'rp_end' can be declared as pointer to const [constVariablePointer] lp_solve/colamd/colamd.c:2744:10: style: Variable 'cp1' can be declared as pointer to const [constVariablePointer] lp_solve/colamd/colamd.c:2745:10: style: Variable 'cp2' can be declared as pointer to const [constVariablePointer] lp_solve/colamd/colamd.c:2749:10: style: Variable 'rp_end' can be declared as pointer to const [constVariablePointer] lp_solve/colamd/colamd.c:2887:10: style: Parameter 'pfree' can be declared as pointer to const [constParameterPointer] lp_solve/colamd/colamd.c:3043:11: style: Parameter 'method' can be declared as pointer to const [constParameterPointer] lp_solve/colamd/colamd.c:3044:9: style: Parameter 'stats' can be declared as const array [constParameter] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol.c:623:3: warning: Assignment of function parameter has no effect outside the function. Did you forget dereferencing it? [uselessAssignmentPtrArg] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol6a.c:616:7: warning: If memory allocation fails, then there is a possible null pointer dereference: denseL0 [nullPointerOutOfMemory] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol6a.c:602:33: note: Assuming allocation function fails lp_solve/bfp/bfp_LUSOL/LUSOL/lusol6a.c:602:19: note: Assignment 'denseL0=(double*)calloc(LUSOL->m+1,(LUSOL->n+1)*sizeof(*denseL0))', assigned value is 0 lp_solve/bfp/bfp_LUSOL/LUSOL/lusol6a.c:616:7: note: Null pointer dereference lp_solve/bfp/bfp_LUSOL/LUSOL/lusol6a.c:622:31: warning: If memory allocation fails, then there is a possible null pointer dereference: denseL0 [nullPointerOutOfMemory] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol6a.c:602:33: note: Assuming allocation function fails lp_solve/bfp/bfp_LUSOL/LUSOL/lusol6a.c:602:19: note: Assignment 'denseL0=(double*)calloc(LUSOL->m+1,(LUSOL->n+1)*sizeof(*denseL0))', assigned value is 0 lp_solve/bfp/bfp_LUSOL/LUSOL/lusol6a.c:622:31: note: Null pointer dereference lp_solve/bfp/bfp_LUSOL/LUSOL/lusol.c:776:12: warning:inconclusive: If resource allocation fails, then there is a possible null pointer dereference: output [nullPointerOutOfResources] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol.c:756:19: note: Assuming allocation function fails lp_solve/bfp/bfp_LUSOL/LUSOL/lusol.c:756:19: note: Assignment 'output=fopen("LUSOL.dbg","w")', assigned value is 0 lp_solve/bfp/bfp_LUSOL/LUSOL/lusol.c:776:12: note: Null pointer dereference lp_solve/bfp/bfp_LUSOL/LUSOL/lusol.c:680:17: warning:inconclusive: Either the condition 'vector!=0' is redundant or there is pointer arithmetic with NULL pointer. [nullPointerArithmeticRedundantCheck] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol.c:681:14: note: Assuming that condition 'vector!=0' is not redundant lp_solve/bfp/bfp_LUSOL/LUSOL/lusol.c:680:17: note: Null pointer addition lp_solve/lp_Hash.c:44:3: error: Memory leak: ht.table [memleak] lp_solve/lp_Hash.c:39:3: warning: If memory allocation fails, then there is a possible null pointer dereference: ht [nullPointerOutOfMemory] lp_solve/lp_Hash.c:38:28: note: Assuming allocation function fails lp_solve/lp_Hash.c:38:8: note: Assignment 'ht=(struct hashtable*)calloc(1,sizeof(*ht))', assigned value is 0 lp_solve/lp_Hash.c:39:3: note: Null pointer dereference lp_solve/lp_Hash.c:40:3: warning: If memory allocation fails, then there is a possible null pointer dereference: ht [nullPointerOutOfMemory] lp_solve/lp_Hash.c:38:28: note: Assuming allocation function fails lp_solve/lp_Hash.c:38:8: note: Assignment 'ht=(struct hashtable*)calloc(1,sizeof(*ht))', assigned value is 0 lp_solve/lp_Hash.c:40:3: note: Null pointer dereference lp_solve/lp_Hash.c:41:3: warning: If memory allocation fails, then there is a possible null pointer dereference: ht [nullPointerOutOfMemory] lp_solve/lp_Hash.c:38:28: note: Assuming allocation function fails lp_solve/lp_Hash.c:38:8: note: Assignment 'ht=(struct hashtable*)calloc(1,sizeof(*ht))', assigned value is 0 lp_solve/lp_Hash.c:41:3: note: Null pointer dereference lp_solve/lp_Hash.c:42:3: warning: If memory allocation fails, then there is a possible null pointer dereference: ht [nullPointerOutOfMemory] lp_solve/lp_Hash.c:38:28: note: Assuming allocation function fails lp_solve/lp_Hash.c:38:8: note: Assignment 'ht=(struct hashtable*)calloc(1,sizeof(*ht))', assigned value is 0 lp_solve/lp_Hash.c:42:3: note: Null pointer dereference lp_solve/lp_Hash.c:119:12: warning: If memory allocation fails, then there is a possible null pointer dereference: hp [nullPointerOutOfMemory] lp_solve/lp_Hash.c:117:29: note: Assuming allocation function fails lp_solve/lp_Hash.c:117:10: note: Assignment 'hp=(struct hashelem*)calloc(1,sizeof(*hp))', assigned value is 0 lp_solve/lp_Hash.c:119:12: note: Null pointer dereference lp_solve/lp_Hash.c:120:5: warning: If memory allocation fails, then there is a possible null pointer dereference: hp [nullPointerOutOfMemory] lp_solve/lp_Hash.c:117:29: note: Assuming allocation function fails lp_solve/lp_Hash.c:117:10: note: Assignment 'hp=(struct hashelem*)calloc(1,sizeof(*hp))', assigned value is 0 lp_solve/lp_Hash.c:120:5: note: Null pointer dereference lp_solve/lp_Hash.c:125:5: warning: If memory allocation fails, then there is a possible null pointer dereference: hp [nullPointerOutOfMemory] lp_solve/lp_Hash.c:117:29: note: Assuming allocation function fails lp_solve/lp_Hash.c:117:10: note: Assignment 'hp=(struct hashelem*)calloc(1,sizeof(*hp))', assigned value is 0 lp_solve/lp_Hash.c:125:5: note: Null pointer dereference lp_solve/lp_Hash.c:212:5: style:inconclusive: Found duplicate branches for 'if' and 'else'. [duplicateBranch] lp_solve/lp_Hash.c:215:5: note: Found duplicate branches for 'if' and 'else'. lp_solve/lp_Hash.c:212:5: note: Found duplicate branches for 'if' and 'else'. lp_solve/lp_Hash.c:20:7: style: Variable 'HashPrimes' can be declared as const array [constVariable] lp_solve/lp_Hash.c:91:56: style: Parameter 'ht' can be declared as pointer to const [constParameterPointer] lp_solve/lp_Hash.c:182:14: style: Variable 'elem' can be declared as pointer to const [constVariablePointer] lp_solve/lp_Hash.c:182:21: style: Variable 'new_elem' can be declared as pointer to const [constVariablePointer] lp_solve/lp_Hash.c:202:38: style: Parameter 'name' can be declared as pointer to const [constParameterPointer] lp_solve/lp_Hash.c:204:13: style: Variable 'hp' can be declared as pointer to const [constVariablePointer] lp_solve/lp_Hash.c:224:13: style: Variable 'hp' can be declared as pointer to const [constVariablePointer] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol.c:302:26: style: Variable 'pivotText' can be declared as const array [constVariable] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol.c:461:16: style: Variable 'informText' can be declared as const array [constVariable] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol.c:532:42: style: Parameter 'iA' can be declared as const array [constParameter] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol.c:532:52: style: Parameter 'jA' can be declared as const array [constParameter] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol.c:532:63: style: Parameter 'Aij' can be declared as const array [constParameter] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol.c:581:62: style: Parameter 'Aij' can be declared as const array [constParameter] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol.c:722:33: style: Parameter 'LUSOL' can be declared as pointer to const [constParameterPointer] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol.c:722:45: style: Parameter 'V' can be declared as const array [constParameter] lp_solve/lp_Hash.c:191:20: style: Variable 'new_elem' is assigned a value that is never used. [unreadVariable] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol.c:623:3: style: Variable 'LUSOL' is assigned a value that is never used. [unreadVariable] lp_solve/bfp/bfp_LUSOL/LUSOL/lusol6a.c:625:3: style: Variable 'denseL0' is assigned a value that is never used. [unreadVariable] lp_solve/lp_MDO.c:164:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable COLAMD_STATS [valueFlowBailoutIncompleteVar] lp_solve/lp_MDO.c:31:34: style: Parameter 'usedpos' can be declared as pointer to const [constParameterPointer] lp_solve/lp_MDO.c:54:56: style: Parameter 'colorder' can be declared as pointer to const [constParameterPointer] lp_solve/lp_MDO.c:54:82: style: Parameter 'rowmap' can be declared as pointer to const [constParameterPointer] lp_solve/lp_MDO.c:128:41: style: Parameter 'col_end' can be declared as pointer to const [constParameterPointer] lp_solve/lp_MDO.c:128:55: style: Parameter 'row_nr' can be declared as pointer to const [constParameterPointer] lp_solve/bfp/bfp_LUSOL/LUSOL/lusolmain.c:109:12: style: Condition 'n==0' is always true [knownConditionTrueFalse] lp_solve/bfp/bfp_LUSOL/LUSOL/lusolmain.c:106:7: note: Assignment 'n=0', assigned value is 0 lp_solve/bfp/bfp_LUSOL/LUSOL/lusolmain.c:109:12: note: Condition 'n==0' is always true lp_solve/bfp/bfp_LUSOL/LUSOL/lusolmain.c:387:14: style: The comparison 'randcol > 0' is always false. [knownConditionTrueFalse] lp_solve/bfp/bfp_LUSOL/LUSOL/lusolmain.c:57:33: note: 'randcol' is assigned value '0' here. lp_solve/bfp/bfp_LUSOL/LUSOL/lusolmain.c:387:14: note: The comparison 'randcol > 0' is always false. lp_solve/bfp/bfp_LUSOL/LUSOL/lusolmain.c:35:42: style: Parameter 'test' can be declared as pointer to const [constParameterPointer] lp_solve/bfp/bfp_LUSOL/LUSOL/lusolmain.c:467:3: style: Variable 'Aij' is assigned a value that is never used. [unreadVariable] lp_solve/bfp/bfp_LUSOL/LUSOL/lusolmain.c:468:3: style: Variable 'b' is assigned a value that is never used. [unreadVariable] lp_solve/bfp/bfp_LUSOL/LUSOL/lusolmain.c:469:3: style: Variable 'xexact' is assigned a value that is never used. [unreadVariable] lp_solve/bfp/bfp_LUSOL/LUSOL/lusolmain.c:470:3: style: Variable 'iA' is assigned a value that is never used. [unreadVariable] lp_solve/bfp/bfp_LUSOL/LUSOL/lusolmain.c:471:3: style: Variable 'jA' is assigned a value that is never used. [unreadVariable] lp_solve/bfp/bfp_LUSOL/LUSOL/lusolmain.c:473:3: style: Variable 'rhs' is assigned a value that is never used. [unreadVariable] lp_solve/bfp/bfp_LUSOL/LUSOL/lusolmain.c:474:3: style: Variable 'r' is assigned a value that is never used. [unreadVariable] lp_solve/bfp/bfp_LUSOL/LUSOL/lusolmain.c:475:3: style: Variable 'x' is assigned a value that is never used. [unreadVariable] lp_solve/lp_MPS.c:545:81: debug: Function::addArguments found argument 'read_modeldata' with varid 0. [varid0] lp_solve/lp_MPS.c:1300:96: debug: Function::addArguments found argument 'write_modeldata' with varid 0. [varid0] lp_solve/lp_MPS.c:1289:63: debug: Function::addArguments found argument 'write_modeldata' with varid 0. [varid0] lp_solve/lp_SOS.c:266:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable compareREAL [valueFlowBailoutIncompleteVar] lp_solve/lp_MPS.c:547:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BUFSIZ [valueFlowBailoutIncompleteVar] lp_solve/lp_MPS.c:1347:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable write_modeldata [valueFlowBailoutIncompleteVar] lp_solve/lp_MPS.c:1591:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] lp_solve/lp_MPS.c:1679:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BUFSIZ [valueFlowBailoutIncompleteVar] lp_solve/lp_MPS.c:1802:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] lp_solve/lp_crash.c:802:12: portability: Casting from double * to signed int * is not portable due to different binary data representations on different platforms. [invalidPointerCast] lp_solve/lp_SOS.c:154:5: style: Assignment of function parameter has no effect outside the function. [uselessAssignmentArg] lp_solve/lp_SOS.c:164:5: style: Assignment of function parameter has no effect outside the function. [uselessAssignmentArg] lp_solve/lp_SOS.c:44:3: error: Memory leak: group.sos_list [memleak] lp_solve/lp_SOS.c:41:3: warning: If memory allocation fails, then there is a possible null pointer dereference: group [nullPointerOutOfMemory] lp_solve/lp_SOS.c:40:30: note: Assuming allocation function fails lp_solve/lp_SOS.c:40:11: note: Assignment 'group=(struct SOSgroup*)calloc(1,sizeof(*group))', assigned value is 0 lp_solve/lp_SOS.c:41:3: note: Null pointer dereference lp_solve/lp_SOS.c:42:3: warning: If memory allocation fails, then there is a possible null pointer dereference: group [nullPointerOutOfMemory] lp_solve/lp_SOS.c:40:30: note: Assuming allocation function fails lp_solve/lp_SOS.c:40:11: note: Assignment 'group=(struct SOSgroup*)calloc(1,sizeof(*group))', assigned value is 0 lp_solve/lp_SOS.c:42:3: note: Null pointer dereference lp_solve/lp_SOS.c:43:3: warning: If memory allocation fails, then there is a possible null pointer dereference: group [nullPointerOutOfMemory] lp_solve/lp_SOS.c:40:30: note: Assuming allocation function fails lp_solve/lp_SOS.c:40:11: note: Assignment 'group=(struct SOSgroup*)calloc(1,sizeof(*group))', assigned value is 0 lp_solve/lp_SOS.c:43:3: note: Null pointer dereference lp_solve/lp_SOS.c:43:41: warning: If memory allocation fails, then there is a possible null pointer dereference: group [nullPointerOutOfMemory] lp_solve/lp_SOS.c:40:30: note: Assuming allocation function fails lp_solve/lp_SOS.c:40:11: note: Assignment 'group=(struct SOSgroup*)calloc(1,sizeof(*group))', assigned value is 0 lp_solve/lp_SOS.c:43:41: note: Null pointer dereference lp_solve/lp_SOS.c:144:3: warning: If memory allocation fails, then there is a possible null pointer dereference: SOS [nullPointerOutOfMemory] lp_solve/lp_SOS.c:143:26: note: Assuming allocation function fails lp_solve/lp_SOS.c:143:9: note: Assignment 'SOS=(struct SOSrec*)calloc(1,sizeof(*SOS))', assigned value is 0 lp_solve/lp_SOS.c:144:3: note: Null pointer dereference lp_solve/lp_SOS.c:145:3: warning: If memory allocation fails, then there is a possible null pointer dereference: SOS [nullPointerOutOfMemory] lp_solve/lp_SOS.c:143:26: note: Assuming allocation function fails lp_solve/lp_SOS.c:143:9: note: Assignment 'SOS=(struct SOSrec*)calloc(1,sizeof(*SOS))', assigned value is 0 lp_solve/lp_SOS.c:145:3: note: Null pointer dereference lp_solve/lp_SOS.c:155:3: warning: If memory allocation fails, then there is a possible null pointer dereference: SOS [nullPointerOutOfMemory] lp_solve/lp_SOS.c:143:26: note: Assuming allocation function fails lp_solve/lp_SOS.c:143:9: note: Assignment 'SOS=(struct SOSrec*)calloc(1,sizeof(*SOS))', assigned value is 0 lp_solve/lp_SOS.c:155:3: note: Null pointer dereference lp_solve/lp_SOS.c:156:3: warning: If memory allocation fails, then there is a possible null pointer dereference: SOS [nullPointerOutOfMemory] lp_solve/lp_SOS.c:143:26: note: Assuming allocation function fails lp_solve/lp_SOS.c:143:9: note: Assignment 'SOS=(struct SOSrec*)calloc(1,sizeof(*SOS))', assigned value is 0 lp_solve/lp_SOS.c:156:3: note: Null pointer dereference lp_solve/lp_SOS.c:157:3: warning: If memory allocation fails, then there is a possible null pointer dereference: SOS [nullPointerOutOfMemory] lp_solve/lp_SOS.c:143:26: note: Assuming allocation function fails lp_solve/lp_SOS.c:143:9: note: Assignment 'SOS=(struct SOSrec*)calloc(1,sizeof(*SOS))', assigned value is 0 lp_solve/lp_SOS.c:157:3: note: Null pointer dereference lp_solve/lp_SOS.c:158:3: warning: If memory allocation fails, then there is a possible null pointer dereference: SOS [nullPointerOutOfMemory] lp_solve/lp_SOS.c:143:26: note: Assuming allocation function fails lp_solve/lp_SOS.c:143:9: note: Assignment 'SOS=(struct SOSrec*)calloc(1,sizeof(*SOS))', assigned value is 0 lp_solve/lp_SOS.c:158:3: note: Null pointer dereference lp_solve/lp_SOS.c:159:3: warning: If memory allocation fails, then there is a possible null pointer dereference: SOS [nullPointerOutOfMemory] lp_solve/lp_SOS.c:143:26: note: Assuming allocation function fails lp_solve/lp_SOS.c:143:9: note: Assignment 'SOS=(struct SOSrec*)calloc(1,sizeof(*SOS))', assigned value is 0 lp_solve/lp_SOS.c:159:3: note: Null pointer dereference lp_solve/lp_SOS.c:160:3: warning: If memory allocation fails, then there is a possible null pointer dereference: SOS [nullPointerOutOfMemory] lp_solve/lp_SOS.c:143:26: note: Assuming allocation function fails lp_solve/lp_SOS.c:143:9: note: Assignment 'SOS=(struct SOSrec*)calloc(1,sizeof(*SOS))', assigned value is 0 lp_solve/lp_SOS.c:160:3: note: Null pointer dereference lp_solve/lp_SOS.c:161:3: warning: If memory allocation fails, then there is a possible null pointer dereference: SOS [nullPointerOutOfMemory] lp_solve/lp_SOS.c:143:26: note: Assuming allocation function fails lp_solve/lp_SOS.c:143:9: note: Assignment 'SOS=(struct SOSrec*)calloc(1,sizeof(*SOS))', assigned value is 0 lp_solve/lp_SOS.c:161:3: note: Null pointer dereference lp_solve/lp_SOS.c:1291:16: warning: Either the condition 'group==0' is redundant or there is possible null pointer dereference: group. [nullPointerRedundantCheck] lp_solve/lp_SOS.c:1293:12: note: Assuming that condition 'group==0' is not redundant lp_solve/lp_SOS.c:1291:16: note: Null pointer dereference lp_solve/lp_SOS.c:494:19: style: The comparison 'newidx == 0' is always true. [knownConditionTrueFalse] lp_solve/lp_SOS.c:491:23: note: 'newidx' is assigned value '0' here. lp_solve/lp_SOS.c:494:19: note: The comparison 'newidx == 0' is always true. lp_solve/lp_SOS.c:706:42: style:inconclusive: Function 'SOS_memberships' argument 2 names different: declaration 'column' definition 'varnr'. [funcArgNamesDifferent] lp_solve/lp_SOS.h:85:42: note: Function 'SOS_memberships' argument 2 names different: declaration 'column' definition 'varnr'. lp_solve/lp_SOS.c:706:42: note: Function 'SOS_memberships' argument 2 names different: declaration 'column' definition 'varnr'. lp_solve/lp_SOS.c:139:53: style: Parameter 'name' can be declared as pointer to const [constParameterPointer] lp_solve/lp_SOS.c:170:54: style: Parameter 'variables' can be declared as pointer to const [constParameterPointer] lp_solve/lp_SOS.c:170:71: style: Parameter 'weights' can be declared as pointer to const [constParameterPointer] lp_solve/lp_SOS.c:341:11: style: Variable 'list' can be declared as pointer to const [constVariablePointer] lp_solve/lp_SOS.c:384:13: style: Variable 'list' can be declared as pointer to const [constVariablePointer] lp_solve/lp_SOS.c:563:11: style: Variable 'lp' can be declared as pointer to const [constVariablePointer] lp_solve/lp_SOS.c:642:39: style: Variable 'list' can be declared as pointer to const [constVariablePointer] lp_solve/lp_SOS.c:709:10: style: Variable 'lp' can be declared as pointer to const [constVariablePointer] lp_solve/lp_SOS.c:736:25: style: Variable 'list' can be declared as pointer to const [constVariablePointer] lp_solve/lp_SOS.c:737:11: style: Variable 'lp' can be declared as pointer to const [constVariablePointer] lp_solve/lp_SOS.c:839:20: style: Variable 'list' can be declared as pointer to const [constVariablePointer] lp_solve/lp_SOS.c:840:11: style: Variable 'lp' can be declared as pointer to const [constVariablePointer] lp_solve/lp_SOS.c:880:21: style: Variable 'list' can be declared as pointer to const [constVariablePointer] lp_solve/lp_SOS.c:881:11: style: Variable 'lp' can be declared as pointer to const [constVariablePointer] lp_solve/lp_SOS.c:918:21: style: Variable 'list' can be declared as pointer to const [constVariablePointer] lp_solve/lp_SOS.c:919:11: style: Variable 'lp' can be declared as pointer to const [constVariablePointer] lp_solve/lp_SOS.c:968:25: style: Variable 'list' can be declared as pointer to const [constVariablePointer] lp_solve/lp_SOS.c:1211:47: style: Variable 'list' can be declared as pointer to const [constVariablePointer] lp_solve/lp_SOS.c:1212:11: style: Variable 'lp' can be declared as pointer to const [constVariablePointer] lp_solve/lp_SOS.c:1288:31: style: Parameter 'upbound' can be declared as pointer to const [constParameterPointer] lp_solve/lp_SOS.c:1288:46: style: Parameter 'lobound' can be declared as pointer to const [constParameterPointer] lp_solve/lp_SOS.c:1290:32: style: Variable 'list' can be declared as pointer to const [constVariablePointer] lp_solve/lp_SOS.c:1363:11: style: Variable 'lp' can be declared as pointer to const [constVariablePointer] lp_solve/lp_SOS.c:1429:28: style: Variable 'list' can be declared as pointer to const [constVariablePointer] lp_solve/lp_SOS.c:1431:11: style: Variable 'lp' can be declared as pointer to const [constVariablePointer] lp_solve/lp_SOS.c:1532:21: style: Variable 'list' can be declared as pointer to const [constVariablePointer] lp_solve/lp_SOS.c:1534:11: style: Variable 'lp' can be declared as pointer to const [constVariablePointer] lp_solve/lp_SOS.c:154:10: style: Variable 'type' is assigned a value that is never used. [unreadVariable] lp_solve/lp_SOS.c:164:10: style: Variable 'size' is assigned a value that is never used. [unreadVariable] lp_solve/lp_lib.c:188:62: debug: Function::addArguments found argument 'newnode' with varid 0. [varid0] lp_solve/lp_lib.c:193:64: debug: Function::addArguments found argument 'newbranch' with varid 0. [varid0] lp_solve/lp_lib.c:198:57: debug: Function::addArguments found argument 'newctrlc' with varid 0. [varid0] lp_solve/lp_lib.c:203:55: debug: Function::addArguments found argument 'newlog' with varid 0. [varid0] lp_solve/lp_lib.c:208:55: debug: Function::addArguments found argument 'newmsg' with varid 0. [varid0] lp_solve/lp_lib.c:246:67: debug: Function::addArguments found argument 'read_modeldata' with varid 0. [varid0] lp_solve/lp_lib.c:287:71: debug: Function::addArguments found argument 'read_modeldata' with varid 0. [varid0] lp_solve/lp_MPS.c:125:5: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf] lp_solve/lp_MPS.c:270:7: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf] lp_solve/lp_MPS.c:607:9: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf] lp_solve/lp_MPS.c:611:11: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf] lp_solve/lp_MPS.c:1721:7: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf] lp_solve/lp_MPS.c:92:39: style: Parameter 'from' can be declared as pointer to const [constParameterPointer] lp_solve/lp_MPS.c:223:9: style: Variable 'line1' can be declared as pointer to const [constVariablePointer] lp_solve/lp_MPS.c:236:9: style: Variable 'line1' can be declared as pointer to const [constVariablePointer] lp_solve/lp_MPS.c:522:42: style: Parameter 'filename' can be declared as pointer to const [constParameterPointer] lp_solve/lp_MPS.c:548:69: style: Variable 'ptr' can be declared as pointer to const [constVariablePointer] lp_solve/lp_MPS.c:1275:46: style: Parameter 'name' can be declared as pointer to const. However it seems that 'MPSnameFIXED' is a callback function, if 'name' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_MPS.c:1808:15: note: You might need to cast the function pointer here lp_solve/lp_MPS.c:1275:46: note: Parameter 'name' can be declared as pointer to const lp_solve/lp_MPS.c:1583:58: style: Parameter 'buf' can be declared as pointer to const. However it seems that 'write_lpdata' is a callback function, if 'buf' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_MPS.c:1619:54: note: You might need to cast the function pointer here lp_solve/lp_MPS.c:1583:58: note: Parameter 'buf' can be declared as pointer to const lp_solve/lp_MPS.c:1589:52: style: Parameter 'filename' can be declared as pointer to const [constParameterPointer] lp_solve/lp_MPS.c:1677:50: style: Parameter 'filename' can be declared as pointer to const [constParameterPointer] lp_solve/lp_MPS.c:1210:12: style: Variable 'i' is assigned a value that is never used. [unreadVariable] lp_solve/lp_MPS.c:1250:12: style: Variable 'i' is assigned a value that is never used. [unreadVariable] lp_solve/lp_matrix.c:427:62: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable compareINT [valueFlowBailoutIncompleteVar] lp_solve/lp_matrix.c:959:61: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable compareINT [valueFlowBailoutIncompleteVar] lp_solve/lp_params.c:438:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar] lp_solve/lp_lib.c:150:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] lp_solve/lp_lib.c:166:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] lp_solve/lp_lib.c:190:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable newnode [valueFlowBailoutIncompleteVar] lp_solve/lp_lib.c:195:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable newbranch [valueFlowBailoutIncompleteVar] lp_solve/lp_lib.c:200:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable newctrlc [valueFlowBailoutIncompleteVar] lp_solve/lp_lib.c:205:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable newlog [valueFlowBailoutIncompleteVar] lp_solve/lp_lib.c:210:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable newmsg [valueFlowBailoutIncompleteVar] lp_solve/lp_lib.c:254:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable read_modeldata [valueFlowBailoutIncompleteVar] lp_solve/lp_lib.c:295:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable read_modeldata [valueFlowBailoutIncompleteVar] lp_solve/lp_lib.c:5282:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable bfp_name [valueFlowBailoutIncompleteVar] lp_solve/lp_lib.c:6805:59: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable compareREAL [valueFlowBailoutIncompleteVar] lp_solve/lp_lib.c:7934:61: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable compareINT [valueFlowBailoutIncompleteVar] lp_solve/lp_lib.c:8550:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BFP_STAT_REFACT_TOTAL [valueFlowBailoutIncompleteVar] lp_solve/lp_lib.c:9709:52: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BFP_STAT_REFACT_TOTAL [valueFlowBailoutIncompleteVar] lp_solve/lp_params.c:204:19: warning: If memory allocation fails, then there is a possible null pointer dereference: ptr [nullPointerOutOfMemory] lp_solve/lp_params.c:473:24: note: Assuming allocation function fails lp_solve/lp_params.c:473:24: note: Assignment 'ptr2=strdup(header)', assigned value is 0 lp_solve/lp_params.c:474:18: note: Calling function 'STRUPR', 1st argument 'ptr2' value is 0 lp_solve/lp_params.c:204:13: note: Assignment 'ptr=str', assigned value is 0 lp_solve/lp_params.c:204:19: note: Null pointer dereference lp_solve/lp_params.c:430:10: warning: If memory allocation fails, then there is a possible null pointer dereference: filename0 [nullPointerOutOfMemory] lp_solve/lp_params.c:429:30: note: Assuming allocation function fails lp_solve/lp_params.c:429:15: note: Assignment 'filename0=(char*)malloc(k+1+1)', assigned value is 0 lp_solve/lp_params.c:430:10: note: Null pointer dereference lp_solve/lp_params.c:431:18: warning: If memory allocation fails, then there is a possible null pointer dereference: filename0 [nullPointerOutOfMemory] lp_solve/lp_params.c:429:30: note: Assuming allocation function fails lp_solve/lp_params.c:429:15: note: Assignment 'filename0=(char*)malloc(k+1+1)', assigned value is 0 lp_solve/lp_params.c:431:18: note: Null pointer dereference lp_solve/lp_params.c:432:18: warning: If memory allocation fails, then there is a possible null pointer dereference: filename0 [nullPointerOutOfMemory] lp_solve/lp_params.c:429:30: note: Assuming allocation function fails lp_solve/lp_params.c:429:15: note: Assignment 'filename0=(char*)malloc(k+1+1)', assigned value is 0 lp_solve/lp_params.c:432:18: note: Null pointer dereference lp_solve/lp_params.c:475:26: warning: If memory allocation fails, then there is a possible null pointer dereference: ptr2 [nullPointerOutOfMemory] lp_solve/lp_params.c:473:24: note: Assuming allocation function fails lp_solve/lp_params.c:473:24: note: Assignment 'ptr2=strdup(header)', assigned value is 0 lp_solve/lp_params.c:475:26: note: Null pointer dereference lp_solve/lp_params.c:397:9: style: Variable 'ptr1' can be declared as pointer to const [constVariablePointer] lp_solve/lp_params.c:523:13: style: Variable 'hp' can be declared as pointer to const [constVariablePointer] lp_solve/lp_mipbb.c:159:12: style: Condition '!initcuts_BB(lp)' is always false [knownConditionTrueFalse] lp_solve/lp_mipbb.c:159:24: note: Calling function 'initcuts_BB' returns 1 lp_solve/lp_mipbb.c:159:12: note: Condition '!initcuts_BB(lp)' is always false lp_solve/lp_mipbb.c:1261:42: style: Condition 'countnint==0' is always true [knownConditionTrueFalse] lp_solve/lp_mipbb.c:1259:19: note: Assuming that condition 'countnint==0' is not redundant lp_solve/lp_mipbb.c:1261:42: note: Condition 'countnint==0' is always true lp_solve/lp_mipbb.c:196:15: warning: Either the condition 'BB==0' is redundant or there is possible null pointer dereference: BB. [nullPointerRedundantCheck] lp_solve/lp_mipbb.c:198:9: note: Assuming that condition 'BB==0' is not redundant lp_solve/lp_mipbb.c:196:15: note: Null pointer dereference lp_solve/lp_mipbb.c:1311:10: style: Variable 'status' is reassigned a value before the old one has been used. [redundantAssignment] lp_solve/lp_mipbb.c:1286:10: note: status is assigned lp_solve/lp_mipbb.c:1311:10: note: status is overwritten lp_solve/lp_mipbb.c:101:14: style: Local variable 'isINT' shadows outer function [shadowFunction] lp_solve/lp_utils.h:79:15: note: Shadowed declaration lp_solve/lp_mipbb.c:101:14: note: Shadow variable lp_solve/lp_mipbb.c:1048:47: style: Local variable 'is_feasible' shadows outer function [shadowFunction] lp_solve/lp_lib.h:1919:32: note: Shadowed declaration lp_solve/lp_mipbb.c:1048:47: note: Shadow variable lp_solve/lp_mipbb.c:307:32: style: Parameter 'BB' can be declared as pointer to const [constParameterPointer] lp_solve/lp_mipbb.c:746:34: style: Parameter 'lp' can be declared as pointer to const [constParameterPointer] lp_solve/lp_mipbb.c:751:33: style: Parameter 'lp' can be declared as pointer to const [constParameterPointer] lp_solve/lp_mipbb.c:1373:29: style: Parameter 'lp' can be declared as pointer to const [constParameterPointer] lp_solve/lp_mipbb.c:1377:30: style: Parameter 'lp' can be declared as pointer to const [constParameterPointer] lp_solve/lp_mipbb.c:1080:14: style: Variable 'varsol' is assigned a value that is never used. [unreadVariable] lp_solve/lp_matrix.c:3178:5: style: Assignment of function parameter has no effect outside the function. [uselessAssignmentArg] lp_solve/lp_matrix.c:250:18: style: Condition 'mat_validate(mat)' is always true [knownConditionTrueFalse] lp_solve/lp_matrix.c:250:18: note: Calling function 'mat_validate' returns 1 lp_solve/lp_matrix.c:250:18: note: Condition 'mat_validate(mat)' is always true lp_solve/lp_matrix.c:274:27: style: Condition 'mat_validate(mat)' is always true [knownConditionTrueFalse] lp_solve/lp_matrix.c:274:27: note: Calling function 'mat_validate' returns 1 lp_solve/lp_matrix.c:274:27: note: Condition 'mat_validate(mat)' is always true lp_solve/lp_matrix.c:871:6: style: Condition '!inc_mat_space(mat,newnr)' is always false [knownConditionTrueFalse] lp_solve/lp_matrix.c:871:20: note: Calling function 'inc_mat_space' returns 1 lp_solve/lp_matrix.c:871:6: note: Condition '!inc_mat_space(mat,newnr)' is always false lp_solve/lp_matrix.c:1402:6: style: Condition '!mat_validate(mat)' is always false [knownConditionTrueFalse] lp_solve/lp_matrix.c:1402:19: note: Calling function 'mat_validate' returns 1 lp_solve/lp_matrix.c:1402:6: note: Condition '!mat_validate(mat)' is always false lp_solve/lp_matrix.c:1518:56: style: Condition '!inc_mat_space(mat,delta1)' is always false [knownConditionTrueFalse] lp_solve/lp_matrix.c:1518:70: note: Calling function 'inc_mat_space' returns 1 lp_solve/lp_matrix.c:1518:56: note: Condition '!inc_mat_space(mat,delta1)' is always false lp_solve/lp_matrix.c:1571:21: style: Condition 'colnr==colnr1' is always true [knownConditionTrueFalse] lp_solve/lp_matrix.c:1570:20: note: Assuming that condition 'colnr>colnr1' is not redundant lp_solve/lp_matrix.c:1560:15: note: Assuming that condition 'colnr1>colnr' is not redundant lp_solve/lp_matrix.c:1571:21: note: Condition 'colnr==colnr1' is always true lp_solve/lp_matrix.c:1702:6: style: Condition '!inc_mat_space(mat,newnr)' is always false [knownConditionTrueFalse] lp_solve/lp_matrix.c:1702:20: note: Calling function 'inc_mat_space' returns 1 lp_solve/lp_matrix.c:1702:6: note: Condition '!inc_mat_space(mat,newnr)' is always false lp_solve/lp_matrix.c:1788:35: style: Condition '!inc_mat_space(mat,i)' is always false [knownConditionTrueFalse] lp_solve/lp_matrix.c:1788:49: note: Calling function 'inc_mat_space' returns 1 lp_solve/lp_matrix.c:1788:35: note: Condition '!inc_mat_space(mat,i)' is always false lp_solve/lp_matrix.c:2229:18: style: Condition 'mat_validate(mat)' is always true [knownConditionTrueFalse] lp_solve/lp_matrix.c:2229:18: note: Calling function 'mat_validate' returns 1 lp_solve/lp_matrix.c:2229:18: note: Condition 'mat_validate(mat)' is always true lp_solve/lp_matrix.c:2372:8: style: Condition '!inc_mat_space(mat,1)' is always false [knownConditionTrueFalse] lp_solve/lp_matrix.c:2372:22: note: Calling function 'inc_mat_space' returns 1 lp_solve/lp_matrix.c:2372:8: note: Condition '!inc_mat_space(mat,1)' is always false lp_solve/lp_matrix.c:2427:6: style: Condition '!inc_mat_space(mat,1)' is always false [knownConditionTrueFalse] lp_solve/lp_matrix.c:2427:20: note: Calling function 'inc_mat_space' returns 1 lp_solve/lp_matrix.c:2427:6: note: Condition '!inc_mat_space(mat,1)' is always false lp_solve/lp_matrix.c:2453:18: style: Condition 'mat_validate(mat)' is always true [knownConditionTrueFalse] lp_solve/lp_matrix.c:2453:18: note: Calling function 'mat_validate' returns 1 lp_solve/lp_matrix.c:2453:18: note: Condition 'mat_validate(mat)' is always true lp_solve/lp_matrix.c:2579:6: style: Condition 'status' is always true [knownConditionTrueFalse] lp_solve/lp_matrix.c:2578:24: note: Calling function 'mat_validate' returns 1 lp_solve/lp_matrix.c:2578:24: note: Assignment 'status=mat_validate(mat)', assigned value is 1 lp_solve/lp_matrix.c:2579:6: note: Condition 'status' is always true lp_solve/lp_matrix.c:2958:6: style: Condition '!mat_validate(lp->matA)' is always false [knownConditionTrueFalse] lp_solve/lp_matrix.c:2958:19: note: Calling function 'mat_validate' returns 1 lp_solve/lp_matrix.c:2958:6: note: Condition '!mat_validate(lp->matA)' is always false lp_solve/lp_matrix.c:41:3: warning: If memory allocation fails, then there is a possible null pointer dereference: newmat [nullPointerOutOfMemory] lp_solve/lp_matrix.c:40:29: note: Assuming allocation function fails lp_solve/lp_matrix.c:40:12: note: Assignment 'newmat=(struct MATrec*)calloc(1,sizeof(*newmat))', assigned value is 0 lp_solve/lp_matrix.c:41:3: note: Null pointer dereference lp_solve/lp_matrix.c:43:3: warning: If memory allocation fails, then there is a possible null pointer dereference: newmat [nullPointerOutOfMemory] lp_solve/lp_matrix.c:40:29: note: Assuming allocation function fails lp_solve/lp_matrix.c:40:12: note: Assignment 'newmat=(struct MATrec*)calloc(1,sizeof(*newmat))', assigned value is 0 lp_solve/lp_matrix.c:43:3: note: Null pointer dereference lp_solve/lp_matrix.c:44:3: warning: If memory allocation fails, then there is a possible null pointer dereference: newmat [nullPointerOutOfMemory] lp_solve/lp_matrix.c:40:29: note: Assuming allocation function fails lp_solve/lp_matrix.c:40:12: note: Assignment 'newmat=(struct MATrec*)calloc(1,sizeof(*newmat))', assigned value is 0 lp_solve/lp_matrix.c:44:3: note: Null pointer dereference lp_solve/lp_matrix.c:45:3: warning: If memory allocation fails, then there is a possible null pointer dereference: newmat [nullPointerOutOfMemory] lp_solve/lp_matrix.c:40:29: note: Assuming allocation function fails lp_solve/lp_matrix.c:40:12: note: Assignment 'newmat=(struct MATrec*)calloc(1,sizeof(*newmat))', assigned value is 0 lp_solve/lp_matrix.c:45:3: note: Null pointer dereference lp_solve/lp_matrix.c:48:3: warning: If memory allocation fails, then there is a possible null pointer dereference: newmat [nullPointerOutOfMemory] lp_solve/lp_matrix.c:40:29: note: Assuming allocation function fails lp_solve/lp_matrix.c:40:12: note: Assignment 'newmat=(struct MATrec*)calloc(1,sizeof(*newmat))', assigned value is 0 lp_solve/lp_matrix.c:48:3: note: Null pointer dereference lp_solve/lp_matrix.c:50:3: warning: If memory allocation fails, then there is a possible null pointer dereference: newmat [nullPointerOutOfMemory] lp_solve/lp_matrix.c:40:29: note: Assuming allocation function fails lp_solve/lp_matrix.c:40:12: note: Assignment 'newmat=(struct MATrec*)calloc(1,sizeof(*newmat))', assigned value is 0 lp_solve/lp_matrix.c:50:3: note: Null pointer dereference lp_solve/lp_matrix.c:53:3: warning: If memory allocation fails, then there is a possible null pointer dereference: newmat [nullPointerOutOfMemory] lp_solve/lp_matrix.c:40:29: note: Assuming allocation function fails lp_solve/lp_matrix.c:40:12: note: Assignment 'newmat=(struct MATrec*)calloc(1,sizeof(*newmat))', assigned value is 0 lp_solve/lp_matrix.c:53:3: note: Null pointer dereference lp_solve/lp_matrix.c:156:20: warning: If memory allocation fails, then there is a possible null pointer dereference: mat [nullPointerOutOfMemory] lp_solve/lp_matrix.c:40:29: note: Assuming allocation function fails lp_solve/lp_matrix.c:40:12: note: Assignment 'newmat=(struct MATrec*)calloc(1,sizeof(*newmat))', assigned value is 0 lp_solve/lp_matrix.c:51:17: note: Calling function 'inc_mat_space', 1st argument 'newmat' value is 0 lp_solve/lp_matrix.c:156:20: note: Null pointer dereference lp_solve/lp_matrix.c:156:31: warning: If memory allocation fails, then there is a possible null pointer dereference: mat [nullPointerOutOfMemory] lp_solve/lp_matrix.c:40:29: note: Assuming allocation function fails lp_solve/lp_matrix.c:40:12: note: Assignment 'newmat=(struct MATrec*)calloc(1,sizeof(*newmat))', assigned value is 0 lp_solve/lp_matrix.c:51:17: note: Calling function 'inc_mat_space', 1st argument 'newmat' value is 0 lp_solve/lp_matrix.c:156:31: note: Null pointer dereference lp_solve/lp_matrix.c:201:6: warning: If memory allocation fails, then there is a possible null pointer dereference: mat [nullPointerOutOfMemory] lp_solve/lp_matrix.c:40:29: note: Assuming allocation function fails lp_solve/lp_matrix.c:40:12: note: Assignment 'newmat=(struct MATrec*)calloc(1,sizeof(*newmat))', assigned value is 0 lp_solve/lp_matrix.c:47:20: note: Calling function 'inc_matrow_space', 1st argument 'newmat' value is 0 lp_solve/lp_matrix.c:201:6: note: Null pointer dereference lp_solve/lp_matrix.c:201:29: warning: If memory allocation fails, then there is a possible null pointer dereference: mat [nullPointerOutOfMemory] lp_solve/lp_matrix.c:40:29: note: Assuming allocation function fails lp_solve/lp_matrix.c:40:12: note: Assignment 'newmat=(struct MATrec*)calloc(1,sizeof(*newmat))', assigned value is 0 lp_solve/lp_matrix.c:47:20: note: Calling function 'inc_matrow_space', 1st argument 'newmat' value is 0 lp_solve/lp_matrix.c:201:29: note: Null pointer dereference lp_solve/lp_matrix.c:262:11: warning: If memory allocation fails, then there is a possible null pointer dereference: mat [nullPointerOutOfMemory] lp_solve/lp_matrix.c:40:29: note: Assuming allocation function fails lp_solve/lp_matrix.c:40:12: note: Assignment 'newmat=(struct MATrec*)calloc(1,sizeof(*newmat))', assigned value is 0 lp_solve/lp_matrix.c:51:17: note: Calling function 'inc_mat_space', 1st argument 'newmat' value is 0 lp_solve/lp_matrix.c:153:38: note: Calling function 'mat_nonzeros', 1st argument 'mat' value is 0 lp_solve/lp_matrix.c:262:11: note: Null pointer dereference lp_solve/lp_matrix.c:262:24: warning: If memory allocation fails, then there is a possible null pointer dereference: mat [nullPointerOutOfMemory] lp_solve/lp_matrix.c:40:29: note: Assuming allocation function fails lp_solve/lp_matrix.c:40:12: note: Assignment 'newmat=(struct MATrec*)calloc(1,sizeof(*newmat))', assigned value is 0 lp_solve/lp_matrix.c:51:17: note: Calling function 'inc_mat_space', 1st argument 'newmat' value is 0 lp_solve/lp_matrix.c:153:38: note: Calling function 'mat_nonzeros', 1st argument 'mat' value is 0 lp_solve/lp_matrix.c:262:24: note: Null pointer dereference lp_solve/lp_matrix.c:2657:3: warning: If memory allocation fails, then there is a possible null pointer dereference: hold [nullPointerOutOfMemory] lp_solve/lp_matrix.c:2656:30: note: Assuming allocation function fails lp_solve/lp_matrix.c:2656:10: note: Assignment 'hold=(struct DeltaVrec*)malloc(sizeof(*hold))', assigned value is 0 lp_solve/lp_matrix.c:2657:3: note: Null pointer dereference lp_solve/lp_matrix.c:2658:3: warning: If memory allocation fails, then there is a possible null pointer dereference: hold [nullPointerOutOfMemory] lp_solve/lp_matrix.c:2656:30: note: Assuming allocation function fails lp_solve/lp_matrix.c:2656:10: note: Assignment 'hold=(struct DeltaVrec*)malloc(sizeof(*hold))', assigned value is 0 lp_solve/lp_matrix.c:2658:3: note: Null pointer dereference lp_solve/lp_matrix.c:2659:3: warning: If memory allocation fails, then there is a possible null pointer dereference: hold [nullPointerOutOfMemory] lp_solve/lp_matrix.c:2656:30: note: Assuming allocation function fails lp_solve/lp_matrix.c:2656:10: note: Assignment 'hold=(struct DeltaVrec*)malloc(sizeof(*hold))', assigned value is 0 lp_solve/lp_matrix.c:2659:3: note: Null pointer dereference lp_solve/lp_matrix.c:2660:20: warning: If memory allocation fails, then there is a possible null pointer dereference: hold [nullPointerOutOfMemory] lp_solve/lp_matrix.c:2656:30: note: Assuming allocation function fails lp_solve/lp_matrix.c:2656:10: note: Assignment 'hold=(struct DeltaVrec*)malloc(sizeof(*hold))', assigned value is 0 lp_solve/lp_matrix.c:2660:20: note: Null pointer dereference lp_solve/lp_matrix.c:1475:10: style: Variable 'colnr1' is reassigned a value before the old one has been used. [redundantAssignment] lp_solve/lp_matrix.c:1411:10: note: colnr1 is assigned lp_solve/lp_matrix.c:1475:10: note: colnr1 is overwritten lp_solve/lp_matrix.c:3356:10: style: Variable 'vb' is reassigned a value before the old one has been used. [redundantAssignment] lp_solve/lp_matrix.c:3354:6: note: vb is assigned lp_solve/lp_matrix.c:3356:10: note: vb is overwritten lp_solve/lp_matrix.c:410:78: style:inconclusive: Function 'mat_mapreplace' argument 4 names different: declaration 'insmat' definition 'mat2'. [funcArgNamesDifferent] lp_solve/lp_matrix.h:174:78: note: Function 'mat_mapreplace' argument 4 names different: declaration 'insmat' definition 'mat2'. lp_solve/lp_matrix.c:410:78: note: Function 'mat_mapreplace' argument 4 names different: declaration 'insmat' definition 'mat2'. lp_solve/lp_matrix.c:3602:69: style:inconclusive: Function 'prod_xA2' argument 5 names different: declaration 'pnzprow' definition 'nzprow'. [funcArgNamesDifferent] lp_solve/lp_matrix.h:222:85: note: Function 'prod_xA2' argument 5 names different: declaration 'pnzprow' definition 'nzprow'. lp_solve/lp_matrix.c:3602:69: note: Function 'prod_xA2' argument 5 names different: declaration 'pnzprow' definition 'nzprow'. lp_solve/lp_matrix.c:3603:69: style:inconclusive: Function 'prod_xA2' argument 8 names different: declaration 'dnzdrow' definition 'nzdrow'. [funcArgNamesDifferent] lp_solve/lp_matrix.h:223:85: note: Function 'prod_xA2' argument 8 names different: declaration 'dnzdrow' definition 'nzdrow'. lp_solve/lp_matrix.c:3603:69: note: Function 'prod_xA2' argument 8 names different: declaration 'dnzdrow' definition 'nzdrow'. lp_solve/lp_matrix.c:2483:35: style: Parameter 'mat' can be declared as pointer to const [constParameterPointer] lp_solve/lp_matrix.c:3214:32: style: Parameter 'nzvector' can be declared as pointer to const [constParameterPointer] lp_solve/lp_matrix.c:3214:47: style: Parameter 'nzindex' can be declared as pointer to const [constParameterPointer] lp_solve/lp_matrix.c:3388:37: style: Parameter 'input' can be declared as pointer to const [constParameterPointer] lp_solve/lp_matrix.c:3398:18: style: Variable 'rowin' can be declared as pointer to const [constVariablePointer] lp_solve/lp_matrix.c:204:18: style: Variable 'oldrowsalloc' is assigned a value that is never used. [unreadVariable] lp_solve/lp_matrix.c:291:26: style: Variable 'preparecompact' is assigned a value that is never used. [unreadVariable] lp_solve/lp_matrix.c:334:9: style: Variable 'k' is assigned a value that is never used. [unreadVariable] lp_solve/lp_matrix.c:547:18: style: Variable 'rownr2' is assigned a value that is never used. [unreadVariable] lp_solve/lp_matrix.c:548:18: style: Variable 'value2' is assigned a value that is never used. [unreadVariable] lp_solve/lp_matrix.c:1466:13: style: Variable 'newnz' is assigned a value that is never used. [unreadVariable] lp_solve/lp_matrix.c:2768:10: style: Variable 'jx' is assigned a value that is never used. [unreadVariable] lp_solve/lp_matrix.c:3178:12: style: Variable 'row_nr' is assigned a value that is never used. [unreadVariable] lp_solve/lp_matrix.c:3355:6: style: Variable 've' is assigned a value that is never used. [unreadVariable] lp_solve/lp_price.c:421:124: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ptr [valueFlowBailoutIncompleteVar] lp_solve/lp_price.c:1866:61: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ptr [valueFlowBailoutIncompleteVar] lp_solve/lp_price.c:1897:61: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable realval [valueFlowBailoutIncompleteVar] lp_solve/lp_price.c:2005:69: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ptr [valueFlowBailoutIncompleteVar] lp_solve/lp_price.c:2091:61: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ptr [valueFlowBailoutIncompleteVar] lp_solve/lp_presolve.c:3609:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] lp_solve/lp_presolve.c:3740:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable intval [valueFlowBailoutIncompleteVar] lp_solve/lp_presolve.c:4136:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable intval [valueFlowBailoutIncompleteVar] lp_solve/lp_presolve.c:4287:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable intval [valueFlowBailoutIncompleteVar] lp_solve/lp_presolve.c:4513:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable intval [valueFlowBailoutIncompleteVar] lp_solve/lp_report.c:62:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] lp_solve/lp_report.c:108:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] lp_solve/lp_report.c:298:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] lp_solve/lp_report.c:713:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] lp_solve/lp_price.c:1132:18: style: Array index 'i' is used before limits check. [arrayIndexThenCheck] lp_solve/lp_price.c:2030:23: style: Expression 'log(1 + x)' can be replaced by 'log1p(x)' to avoid loss of precision. [unpreciseMathCall] lp_solve/lp_price.c:334:15: warning: Identical inner 'if' condition is always true. [identicalInnerCondition] lp_solve/lp_price.c:331:13: note: outer condition: result==0 lp_solve/lp_price.c:334:15: note: identical inner condition: result==0 lp_solve/lp_price.c:748:10: style: Condition '!isdual' is always true [knownConditionTrueFalse] lp_solve/lp_price.c:731:6: note: Assuming that condition 'isdual' is not redundant lp_solve/lp_price.c:748:10: note: Condition '!isdual' is always true lp_solve/lp_price.c:1521:32: style: Condition 'findSubstitutionVar(¤t,&candidate,candidatecount)' is always false [knownConditionTrueFalse] lp_solve/lp_price.c:575:19: note: Assignment 'Action=0', assigned value is 0 lp_solve/lp_price.c:1521:32: note: Calling function 'findSubstitutionVar' returns 0 lp_solve/lp_price.c:1521:32: note: Condition 'findSubstitutionVar(¤t,&candidate,candidatecount)' is always false lp_solve/lp_price.c:607:3: warning: If memory allocation fails, then there is a possible null pointer dereference: blockdata [nullPointerOutOfMemory] lp_solve/lp_price.c:606:36: note: Assuming allocation function fails lp_solve/lp_price.c:606:15: note: Assignment 'blockdata=(struct partialrec*)calloc(1,sizeof(*blockdata))', assigned value is 0 lp_solve/lp_price.c:607:3: note: Null pointer dereference lp_solve/lp_price.c:608:3: warning: If memory allocation fails, then there is a possible null pointer dereference: blockdata [nullPointerOutOfMemory] lp_solve/lp_price.c:606:36: note: Assuming allocation function fails lp_solve/lp_price.c:606:15: note: Assignment 'blockdata=(struct partialrec*)calloc(1,sizeof(*blockdata))', assigned value is 0 lp_solve/lp_price.c:608:3: note: Null pointer dereference lp_solve/lp_price.c:609:3: warning: If memory allocation fails, then there is a possible null pointer dereference: blockdata [nullPointerOutOfMemory] lp_solve/lp_price.c:606:36: note: Assuming allocation function fails lp_solve/lp_price.c:606:15: note: Assignment 'blockdata=(struct partialrec*)calloc(1,sizeof(*blockdata))', assigned value is 0 lp_solve/lp_price.c:609:3: note: Null pointer dereference lp_solve/lp_price.c:610:3: warning: If memory allocation fails, then there is a possible null pointer dereference: blockdata [nullPointerOutOfMemory] lp_solve/lp_price.c:606:36: note: Assuming allocation function fails lp_solve/lp_price.c:606:15: note: Assignment 'blockdata=(struct partialrec*)calloc(1,sizeof(*blockdata))', assigned value is 0 lp_solve/lp_price.c:610:3: note: Null pointer dereference lp_solve/lp_price.c:1985:18: warning: Either the condition 'multi==0' is redundant or there is possible null pointer dereference: multi. [nullPointerRedundantCheck] lp_solve/lp_price.c:1993:13: note: Assuming that condition 'multi==0' is not redundant lp_solve/lp_price.c:1985:18: note: Null pointer dereference lp_solve/lp_price.c:1992:3: warning: Either the condition 'multi==0' is redundant or there is possible null pointer dereference: multi. [nullPointerRedundantCheck] lp_solve/lp_price.c:1993:13: note: Assuming that condition 'multi==0' is not redundant lp_solve/lp_price.c:1992:3: note: Null pointer dereference lp_solve/lp_price.c:1476:22: style: Variable 'current.epspivot' is reassigned a value before the old one has been used. [redundantAssignment] lp_solve/lp_price.c:1368:20: note: current.epspivot is assigned lp_solve/lp_price.c:1476:22: note: current.epspivot is overwritten lp_solve/lp_price.c:1477:22: style: Variable 'candidate.epspivot' is reassigned a value before the old one has been used. [redundantAssignment] lp_solve/lp_price.c:1371:22: note: candidate.epspivot is assigned lp_solve/lp_price.c:1477:22: note: candidate.epspivot is overwritten lp_solve/lp_price.c:1440:10: style: Variable 'ix' is reassigned a value before the old one has been used. [redundantAssignment] lp_solve/lp_price.c:1438:6: note: ix is assigned lp_solve/lp_price.c:1440:10: note: ix is overwritten lp_solve/lp_price.c:773:3: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] lp_solve/lp_price.c:386:19: style: Variable 'lp' can be declared as pointer to const [constVariablePointer] lp_solve/lp_price.c:661:50: style: Parameter 'bvector' can be declared as pointer to const [constParameterPointer] lp_solve/lp_price.c:699:93: style: Parameter 'prow' can be declared as pointer to const [constParameterPointer] lp_solve/lp_price.c:766:39: style: Parameter 'lp' can be declared as pointer to const [constParameterPointer] lp_solve/lp_price.c:960:62: style: Parameter 'pcol' can be declared as pointer to const [constParameterPointer] lp_solve/lp_price.c:1168:37: style: Parameter 'rhvec' can be declared as pointer to const [constParameterPointer] lp_solve/lp_price.c:1561:15: style: Variable 'blockdata' can be declared as pointer to const [constVariablePointer] lp_solve/lp_price.c:1746:42: style: Parameter 'multi' can be declared as pointer to const [constParameterPointer] lp_solve/lp_price.c:1848:40: style: Parameter 'multi' can be declared as pointer to const [constParameterPointer] lp_solve/lp_price.c:1874:13: style: Variable 'thisprice' can be declared as pointer to const [constVariablePointer] lp_solve/lp_price.c:2076:43: style: Parameter 'multi' can be declared as pointer to const [constParameterPointer] lp_solve/lp_price.c:923:17: style: Variable 'coltarget' is assigned a value that is never used. [unreadVariable] lp_solve/lp_price.c:1243:25: style: Variable 'current.pivot' is assigned a value that is never used. [unreadVariable] lp_solve/lp_price.c:1566:13: style: Variable 'blockdata' is assigned a value that is never used. [unreadVariable] lp_solve/lp_price.c:1598:8: style: Variable 'hold' is assigned a value that is never used. [unreadVariable] lp_solve/lp_price.c:1892:16: style: Variable 'thisprice' is assigned a value that is never used. [unreadVariable] lp_solve/lp_price.c:2048:25: style: Variable 'colnr' is assigned a value that is never used. [unreadVariable] lp_solve/lp_report.c:90:30: warning: Either the condition 'lp==0' is redundant or there is possible null pointer dereference: lp. [nullPointerRedundantCheck] lp_solve/lp_report.c:105:12: note: Assuming that condition 'lp==0' is not redundant lp_solve/lp_report.c:104:18: note: Calling function 'print_indent', 1st argument 'lp' value is 0 lp_solve/lp_report.c:90:30: note: Null pointer dereference lp_solve/lp_report.c:91:6: warning: Either the condition 'lp==0' is redundant or there is possible null pointer dereference: lp. [nullPointerRedundantCheck] lp_solve/lp_report.c:105:12: note: Assuming that condition 'lp==0' is not redundant lp_solve/lp_report.c:104:18: note: Calling function 'print_indent', 1st argument 'lp' value is 0 lp_solve/lp_report.c:91:6: note: Null pointer dereference lp_solve/lp_report.c:103:6: warning: Either the condition 'lp==0' is redundant or there is possible null pointer dereference: lp. [nullPointerRedundantCheck] lp_solve/lp_report.c:105:12: note: Assuming that condition 'lp==0' is not redundant lp_solve/lp_report.c:103:6: note: Null pointer dereference lp_solve/lp_report.c:163:42: style: Parameter 'label' can be declared as pointer to const [constParameterPointer] lp_solve/lp_report.c:163:56: style: Parameter 'vector' can be declared as pointer to const [constParameterPointer] lp_solve/lp_report.c:296:42: style: Parameter 'filename' can be declared as pointer to const [constParameterPointer] lp_solve/lp_report.c:370:20: style: Variable 'psundo' can be declared as pointer to const [constVariablePointer] lp_solve/lp_report.c:708:43: style: Parameter 'filename' can be declared as pointer to const [constParameterPointer] lp_solve/lp_report.c:708:90: style: Parameter 'infotext' can be declared as pointer to const [constParameterPointer] lp_solve/lp_rlp.c:2454:66: debug: Function::addArguments found argument 'read_modeldata' with varid 0. [varid0] lp_solve/lp_rlp.c:2424:66: debug: Function::addArguments found argument 'read_modeldata' with varid 0. [varid0] lp_solve/lp_rlp.h:853:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdin [valueFlowBailoutIncompleteVar] lp_solve/lp_rlp.h:1698:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar] lp_solve/lp_rlp.h:1857:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar] lp_solve/lp_rlp.h:2100:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] lp_solve/lp_rlp.h:2290:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar] lp_solve/lp_rlp.h:2323:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar] lp_solve/lp_rlp.c:2441:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable read_modeldata [valueFlowBailoutIncompleteVar] lp_solve/lp_rlp.c:2456:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable read_modeldata [valueFlowBailoutIncompleteVar] lp_solve/lp_scale.c:496:25: style: Condition 'transform_for_scale(lp,&value)' is always true [knownConditionTrueFalse] lp_solve/lp_scale.c:478:19: note: Assignment 'Accept=1', assigned value is 1 lp_solve/lp_scale.c:496:25: note: Calling function 'transform_for_scale' returns 1 lp_solve/lp_scale.c:496:25: note: Condition 'transform_for_scale(lp,&value)' is always true lp_solve/lp_scale.c:911:21: style: Return value 'scale_rows(lp,scaledelta)' is always true [knownConditionTrueFalse] lp_solve/lp_scale.c:911:21: note: Calling function 'scale_rows' returns 1 lp_solve/lp_scale.c:911:21: note: Return value 'scale_rows(lp,scaledelta)' is always true lp_solve/lp_scale.c:911:54: style: Return value 'scale_columns(lp,scaledelta)' is always true [knownConditionTrueFalse] lp_solve/lp_scale.c:911:54: note: Calling function 'scale_columns' returns 1 lp_solve/lp_scale.c:911:54: note: Return value 'scale_columns(lp,scaledelta)' is always true lp_solve/lp_scale.c:510:8: style: Local variable 'scale' shadows outer function [shadowFunction] lp_solve/lp_scale.h:16:13: note: Shadowed declaration lp_solve/lp_scale.c:510:8: note: Shadow variable lp_solve/lp_scale.c:81:59: style: Parameter 'FRowScale' can be declared as pointer to const [constParameterPointer] lp_solve/lp_scale.c:81:76: style: Parameter 'FColScale' can be declared as pointer to const [constParameterPointer] lp_solve/lp_scale.c:585:52: style: Parameter 'scalechange' can be declared as pointer to const [constParameterPointer] lp_solve/lp_scale.c:607:49: style: Parameter 'scalechange' can be declared as pointer to const [constParameterPointer] lp_solve/lp_scale.c:633:12: style: Variable 'scalechange' can be declared as pointer to const [constVariablePointer] lp_solve/lp_scale.c:682:12: style: Variable 'scalechange' can be declared as pointer to const [constVariablePointer] lp_solve/lp_scale.c:243:8: style: Variable 'skm1' is assigned a value that is never used. [unreadVariable] lp_solve/lp_scale.c:248:21: style: Variable 'qkm2' is assigned a value that is never used. [unreadVariable] lp_solve/lp_scale.c:249:21: style: Variable 'ekm2' is assigned a value that is never used. [unreadVariable] lp_solve/lp_scale.c:334:9: style: Variable 'ekm2' is assigned a value that is never used. [unreadVariable] lp_solve/lp_scale.c:338:9: style: Variable 'qkm2' is assigned a value that is never used. [unreadVariable] lp_solve/lp_scale.c:391:11: style: Variable 'error' is assigned a value that is never used. [unreadVariable] lp_solve/lp_scale.c:406:13: style: Variable 'error' is assigned a value that is never used. [unreadVariable] lp_solve/lp_scale.c:647:10: style: Variable 'colMax' is assigned a value that is never used. [unreadVariable] lp_solve/lp_scale.c:822:5: style: Variable 'i' is assigned a value that is never used. [unreadVariable] lp_solve/lp_scale.c:917:12: style: Variable 'n' is assigned a value that is never used. [unreadVariable] lp_solve/lp_rlp.h:2402:5: warning: Assignment of function parameter has no effect outside the function. Did you forget dereferencing it? [uselessAssignmentPtrArg] lp_solve/lp_rlp.c:1261:5: warning: Assignment of function parameter has no effect outside the function. Did you forget dereferencing it? [uselessAssignmentPtrArg] lp_solve/lp_rlp.c:1446:40: error: Allocation with lp_yyalloc, sizeof doesn't release it. [leakNoVarFunctionCall] lp_solve/lp_rlp.c:1449:2: error: Allocation with lp_yyalloc, sizeof doesn't release it. [leakNoVarFunctionCall] lp_solve/lp_rlp.c:1450:2: error: Allocation with lp_yyalloc, sizeof doesn't release it. [leakNoVarFunctionCall] lp_solve/lp_rlp.h:1810:2: warning: Either the condition '!b' is redundant or there is possible null pointer dereference: b. [nullPointerRedundantCheck] lp_solve/lp_rlp.h:1807:7: note: Assuming that condition '!b' is not redundant lp_solve/lp_rlp.h:1810:2: note: Null pointer dereference lp_solve/lp_rlp.h:1815:2: warning: Either the condition '!b' is redundant or there is possible null pointer dereference: b. [nullPointerRedundantCheck] lp_solve/lp_rlp.h:1807:7: note: Assuming that condition '!b' is not redundant lp_solve/lp_rlp.h:1815:2: note: Null pointer dereference lp_solve/lp_rlp.h:1815:40: warning: Either the condition '!b' is redundant or there is possible null pointer dereference: b. [nullPointerRedundantCheck] lp_solve/lp_rlp.h:1807:7: note: Assuming that condition '!b' is not redundant lp_solve/lp_rlp.h:1815:40: note: Null pointer dereference lp_solve/lp_rlp.h:1816:9: warning: Either the condition '!b' is redundant or there is possible null pointer dereference: b. [nullPointerRedundantCheck] lp_solve/lp_rlp.h:1807:7: note: Assuming that condition '!b' is not redundant lp_solve/lp_rlp.h:1816:9: note: Null pointer dereference lp_solve/lp_rlp.h:2028:2: warning: Either the condition '!b' is redundant or there is possible null pointer dereference: b. [nullPointerRedundantCheck] lp_solve/lp_rlp.h:2025:7: note: Assuming that condition '!b' is not redundant lp_solve/lp_rlp.h:2028:2: note: Null pointer dereference lp_solve/lp_rlp.h:2029:2: warning: Either the condition '!b' is redundant or there is possible null pointer dereference: b. [nullPointerRedundantCheck] lp_solve/lp_rlp.h:2025:7: note: Assuming that condition '!b' is not redundant lp_solve/lp_rlp.h:2029:2: note: Null pointer dereference lp_solve/lp_rlp.h:2029:21: warning: Either the condition '!b' is redundant or there is possible null pointer dereference: b. [nullPointerRedundantCheck] lp_solve/lp_rlp.h:2025:7: note: Assuming that condition '!b' is not redundant lp_solve/lp_rlp.h:2029:21: note: Null pointer dereference lp_solve/lp_rlp.h:2030:2: warning: Either the condition '!b' is redundant or there is possible null pointer dereference: b. [nullPointerRedundantCheck] lp_solve/lp_rlp.h:2025:7: note: Assuming that condition '!b' is not redundant lp_solve/lp_rlp.h:2030:2: note: Null pointer dereference lp_solve/lp_rlp.h:2031:2: warning: Either the condition '!b' is redundant or there is possible null pointer dereference: b. [nullPointerRedundantCheck] lp_solve/lp_rlp.h:2025:7: note: Assuming that condition '!b' is not redundant lp_solve/lp_rlp.h:2031:2: note: Null pointer dereference lp_solve/lp_rlp.h:2032:2: warning: Either the condition '!b' is redundant or there is possible null pointer dereference: b. [nullPointerRedundantCheck] lp_solve/lp_rlp.h:2025:7: note: Assuming that condition '!b' is not redundant lp_solve/lp_rlp.h:2032:2: note: Null pointer dereference lp_solve/lp_rlp.h:2032:21: warning: Either the condition '!b' is redundant or there is possible null pointer dereference: b. [nullPointerRedundantCheck] lp_solve/lp_rlp.h:2025:7: note: Assuming that condition '!b' is not redundant lp_solve/lp_rlp.h:2032:21: note: Null pointer dereference lp_solve/lp_rlp.h:2033:2: warning: Either the condition '!b' is redundant or there is possible null pointer dereference: b. [nullPointerRedundantCheck] lp_solve/lp_rlp.h:2025:7: note: Assuming that condition '!b' is not redundant lp_solve/lp_rlp.h:2033:2: note: Null pointer dereference lp_solve/lp_rlp.h:2034:2: warning: Either the condition '!b' is redundant or there is possible null pointer dereference: b. [nullPointerRedundantCheck] lp_solve/lp_rlp.h:2025:7: note: Assuming that condition '!b' is not redundant lp_solve/lp_rlp.h:2034:2: note: Null pointer dereference lp_solve/lp_rlp.h:2035:2: warning: Either the condition '!b' is redundant or there is possible null pointer dereference: b. [nullPointerRedundantCheck] lp_solve/lp_rlp.h:2025:7: note: Assuming that condition '!b' is not redundant lp_solve/lp_rlp.h:2035:2: note: Null pointer dereference lp_solve/lp_rlp.h:2036:2: warning: Either the condition '!b' is redundant or there is possible null pointer dereference: b. [nullPointerRedundantCheck] lp_solve/lp_rlp.h:2025:7: note: Assuming that condition '!b' is not redundant lp_solve/lp_rlp.h:2036:2: note: Null pointer dereference lp_solve/lp_rlp.h:2089:2: warning: Either the condition '!b' is redundant or there is possible null pointer dereference: b. [nullPointerRedundantCheck] lp_solve/lp_rlp.h:2083:7: note: Assuming that condition '!b' is not redundant lp_solve/lp_rlp.h:2089:2: note: Null pointer dereference lp_solve/lp_rlp.h:1177:22: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory] lp_solve/lp_rlp.h:1176:24: note: Assuming allocation function fails lp_solve/lp_rlp.h:1176:24: note: Assignment 'pv->Last_var=strdup((char*)lp_yyg->lp_yytext_r)', assigned value is 0 lp_solve/lp_rlp.h:1177:22: note: Null pointer addition lp_solve/lp_rlp.h:1001:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] lp_solve/lp_rlp.h:1010:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] lp_solve/lp_rlp.h:1019:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] lp_solve/lp_rlp.h:1030:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] lp_solve/lp_rlp.h:1041:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] lp_solve/lp_rlp.h:1064:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] lp_solve/lp_rlp.h:1083:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] lp_solve/lp_rlp.h:1097:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] lp_solve/lp_rlp.h:1111:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] lp_solve/lp_rlp.h:1125:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] lp_solve/lp_rlp.h:1139:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] lp_solve/lp_rlp.h:1152:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] lp_solve/lp_rlp.h:1166:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] lp_solve/lp_rlp.h:1183:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] lp_solve/lp_rlp.h:1195:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] lp_solve/lp_rlp.h:1204:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] lp_solve/lp_rlp.h:1213:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] lp_solve/lp_rlp.h:1224:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] lp_solve/lp_rlp.h:1235:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] lp_solve/lp_rlp.h:1246:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] lp_solve/lp_rlp.h:1258:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] lp_solve/lp_rlp.h:1268:2: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] lp_solve/lp_rlp.h:1583:68: style:inconclusive: Function 'lp_yy_try_NUL_trans' argument 1 names different: declaration 'current_state' definition 'lp_yy_current_state'. [funcArgNamesDifferent] lp_solve/lp_rlp.h:350:63: note: Function 'lp_yy_try_NUL_trans' argument 1 names different: declaration 'current_state' definition 'lp_yy_current_state'. lp_solve/lp_rlp.h:1583:68: note: Function 'lp_yy_try_NUL_trans' argument 1 names different: declaration 'current_state' definition 'lp_yy_current_state'. lp_solve/lp_rlp.h:1607:52: style:inconclusive: Function 'lp_yyunput' argument 2 names different: declaration 'buf_ptr' definition 'lp_yy_bp'. [funcArgNamesDifferent] lp_solve/lp_rlp.h:710:41: note: Function 'lp_yyunput' argument 2 names different: declaration 'buf_ptr' definition 'lp_yy_bp'. lp_solve/lp_rlp.h:1607:52: note: Function 'lp_yyunput' argument 2 names different: declaration 'buf_ptr' definition 'lp_yy_bp'. lp_solve/lp_rlp.h:2051:54: style:inconclusive: Function 'lp_yy_scan_string' argument 1 names different: declaration 'lp_yy_str' definition 'lp_yystr'. [funcArgNamesDifferent] lp_solve/lp_rlp.h:307:53: note: Function 'lp_yy_scan_string' argument 1 names different: declaration 'lp_yy_str' definition 'lp_yystr'. lp_solve/lp_rlp.h:2051:54: note: Function 'lp_yy_scan_string' argument 1 names different: declaration 'lp_yy_str' definition 'lp_yystr'. lp_solve/lp_rlp.h:2064:54: style:inconclusive: Function 'lp_yy_scan_bytes' argument 1 names different: declaration 'bytes' definition 'lp_yybytes'. [funcArgNamesDifferent] lp_solve/lp_rlp.h:308:52: note: Function 'lp_yy_scan_bytes' argument 1 names different: declaration 'bytes' definition 'lp_yybytes'. lp_solve/lp_rlp.h:2064:54: note: Function 'lp_yy_scan_bytes' argument 1 names different: declaration 'bytes' definition 'lp_yybytes'. lp_solve/lp_rlp.h:2064:71: style:inconclusive: Function 'lp_yy_scan_bytes' argument 2 names different: declaration 'len' definition '_lp_yybytes_len'. [funcArgNamesDifferent] lp_solve/lp_rlp.h:308:62: note: Function 'lp_yy_scan_bytes' argument 2 names different: declaration 'len' definition '_lp_yybytes_len'. lp_solve/lp_rlp.h:2064:71: note: Function 'lp_yy_scan_bytes' argument 2 names different: declaration 'len' definition '_lp_yybytes_len'. lp_solve/lp_rlp.h:2259:27: style:inconclusive: Function 'lp_yyset_debug' argument 1 names different: declaration 'debug_flag' definition 'bdebug'. [funcArgNamesDifferent] lp_solve/lp_rlp.h:672:26: note: Function 'lp_yyset_debug' argument 1 names different: declaration 'debug_flag' definition 'bdebug'. lp_solve/lp_rlp.h:2259:27: note: Function 'lp_yyset_debug' argument 1 names different: declaration 'debug_flag' definition 'bdebug'. lp_solve/lp_rlp.h:2286:32: style:inconclusive: Function 'lp_yylex_init' argument 1 names different: declaration 'lp_yyscanner' definition 'ptr_lp_yy_globals'. [funcArgNamesDifferent] lp_solve/lp_rlp.h:661:33: note: Function 'lp_yylex_init' argument 1 names different: declaration 'lp_yyscanner' definition 'ptr_lp_yy_globals'. lp_solve/lp_rlp.h:2286:32: note: Function 'lp_yylex_init' argument 1 names different: declaration 'lp_yyscanner' definition 'ptr_lp_yy_globals'. lp_solve/lp_rlp.h:2315:39: style:inconclusive: Function 'lp_yylex_init_extra' argument 1 names different: declaration 'user_defined' definition 'lp_yy_user_defined'. [funcArgNamesDifferent] lp_solve/lp_rlp.h:663:40: note: Function 'lp_yylex_init_extra' argument 1 names different: declaration 'user_defined' definition 'lp_yy_user_defined'. lp_solve/lp_rlp.h:2315:39: note: Function 'lp_yylex_init_extra' argument 1 names different: declaration 'user_defined' definition 'lp_yy_user_defined'. lp_solve/lp_rlp.h:2315:71: style:inconclusive: Function 'lp_yylex_init_extra' argument 2 names different: declaration 'lp_yyscanner' definition 'ptr_lp_yy_globals'. [funcArgNamesDifferent] lp_solve/lp_rlp.h:663:66: note: Function 'lp_yylex_init_extra' argument 2 names different: declaration 'lp_yyscanner' definition 'ptr_lp_yy_globals'. lp_solve/lp_rlp.h:2315:71: note: Function 'lp_yylex_init_extra' argument 2 names different: declaration 'lp_yyscanner' definition 'ptr_lp_yy_globals'. lp_solve/lp_rlp.c:2156:17: style: Local variable 'pp' shadows outer variable [shadowVariable] lp_solve/lp_rlp.c:2151:15: note: Shadowed declaration lp_solve/lp_rlp.c:2156:17: note: Shadow variable lp_solve/lp_rlp.c:2157:17: style: Local variable 'pv' shadows outer variable [shadowVariable] lp_solve/lp_rlp.c:2152:15: note: Shadowed declaration lp_solve/lp_rlp.c:2157:17: note: Shadow variable lp_solve/lp_rlp.c:1705:15: style: Variable 'pv' can be declared as pointer to const [constVariablePointer] lp_solve/lp_rlp.c:1743:15: style: Variable 'pv' can be declared as pointer to const [constVariablePointer] lp_solve/lp_rlp.c:1883:15: style: Variable 'pv' can be declared as pointer to const [constVariablePointer] lp_solve/lp_rlp.c:1998:15: style: Variable 'pv' can be declared as pointer to const [constVariablePointer] lp_solve/lp_rlp.c:2023:15: style: Variable 'pv' can be declared as pointer to const [constVariablePointer] lp_solve/lp_rlp.c:2054:15: style: Variable 'pv' can be declared as pointer to const [constVariablePointer] lp_solve/lp_rlp.c:2064:15: style: Variable 'pv' can be declared as pointer to const [constVariablePointer] lp_solve/lp_rlp.c:2152:15: style: Variable 'pv' can be declared as pointer to const [constVariablePointer] lp_solve/lp_rlp.c:2459:34: style: Parameter 'filename' can be declared as pointer to const [constParameterPointer] lp_solve/lp_rlp.h:832:1: style: Parameter 'lp_yylval_param' can be declared as pointer to const [constParameterPointer] lp_solve/lp_rlp.h:1048:9: style: Variable 'ptr' can be declared as pointer to const [constVariablePointer] lp_solve/lp_rlp.h:1418:17: style: Variable 'source' can be declared as pointer to const [constVariablePointer] lp_solve/lp_rlp.h:1623:18: style: Variable 'source' can be declared as pointer to const [constVariablePointer] lp_solve/lp_rlp.h:2064:54: style: Parameter 'lp_yybytes' can be declared as pointer to const [constParameterPointer] lp_solve/lp_rlp.h:2098:49: style: Parameter 'msg' can be declared as pointer to const [constParameterPointer] lp_solve/lp_rlp.h:2128:26: style: Variable 'lp_yyg' can be declared as pointer to const [constVariablePointer] lp_solve/lp_rlp.h:2163:26: style: Variable 'lp_yyg' can be declared as pointer to const [constVariablePointer] lp_solve/lp_rlp.h:2172:26: style: Variable 'lp_yyg' can be declared as pointer to const [constVariablePointer] lp_solve/lp_rlp.h:2181:26: style: Variable 'lp_yyg' can be declared as pointer to const [constVariablePointer] lp_solve/lp_rlp.h:2191:26: style: Variable 'lp_yyg' can be declared as pointer to const [constVariablePointer] lp_solve/lp_rlp.h:2255:26: style: Variable 'lp_yyg' can be declared as pointer to const [constVariablePointer] lp_solve/lp_rlp.h:2269:26: style: Variable 'lp_yyg' can be declared as pointer to const [constVariablePointer] lp_solve/lp_rlp.h:2402:18: style: Variable 'lp_yyscanner' is assigned a value that is never used. [unreadVariable] lp_solve/lp_simplex.c:2119:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BFP_STAT_REFACT_TOTAL [valueFlowBailoutIncompleteVar] lp_solve/lp_lib.c:1268:19: style: The if condition is the same as the previous if condition [duplicateCondition] lp_solve/lp_lib.c:1256:20: note: First condition lp_solve/lp_lib.c:1268:19: note: Second condition lp_solve/lp_lib.c:10092:8: style: The if condition is the same as the previous if condition [duplicateCondition] lp_solve/lp_lib.c:10083:8: note: First condition lp_solve/lp_lib.c:10092:8: note: Second condition lp_solve/lp_lib.c:1715:6: style: Condition '!set_lp_name(newlp,get_lp_name(lp))' is always false [knownConditionTrueFalse] lp_solve/lp_lib.c:1715:18: note: Calling function 'set_lp_name' returns 1 lp_solve/lp_lib.c:1715:6: note: Condition '!set_lp_name(newlp,get_lp_name(lp))' is always false lp_solve/lp_lib.c:4487:12: style: Condition 'rownr==0' is always false [knownConditionTrueFalse] lp_solve/lp_lib.c:4480:13: note: Assuming that condition 'rownr<1' is not redundant lp_solve/lp_lib.c:4487:12: note: Condition 'rownr==0' is always false lp_solve/lp_lib.c:4499:14: style: Condition 'rownr==0' is always false [knownConditionTrueFalse] lp_solve/lp_lib.c:4480:13: note: Assuming that condition 'rownr<1' is not redundant lp_solve/lp_lib.c:4499:14: note: Condition 'rownr==0' is always false lp_solve/lp_lib.c:5594:23: style: Return value 'is_nativeXLI(lp)' is always false [knownConditionTrueFalse] lp_solve/lp_lib.c:5594:23: note: Calling function 'is_nativeXLI' returns 0 lp_solve/lp_lib.c:5594:23: note: Return value 'is_nativeXLI(lp)' is always false lp_solve/lp_lib.c:5629:8: style: Condition '!is_nativeXLI(lp)' is always true [knownConditionTrueFalse] lp_solve/lp_lib.c:5629:21: note: Calling function 'is_nativeXLI' returns 0 lp_solve/lp_lib.c:5629:8: note: Condition '!is_nativeXLI(lp)' is always true lp_solve/lp_lib.c:6088:8: style: Condition '!init_rowcol_names(lp)' is always false [knownConditionTrueFalse] lp_solve/lp_lib.c:6088:26: note: Calling function 'init_rowcol_names' returns 1 lp_solve/lp_lib.c:6088:8: note: Condition '!init_rowcol_names(lp)' is always false lp_solve/lp_lib.c:8086:3: error: Memory leak: newitem.LOcost [memleak] lp_solve/lp_lib.c:8086:3: error: Memory leak: newitem.UPcost [memleak] lp_solve/lp_lib.c:8043:3: warning: If memory allocation fails, then there is a possible null pointer dereference: newitem [nullPointerOutOfMemory] lp_solve/lp_lib.c:8042:30: note: Assuming allocation function fails lp_solve/lp_lib.c:8042:13: note: Assignment 'newitem=(struct BBPSrec*)malloc(sizeof(*newitem))', assigned value is 0 lp_solve/lp_lib.c:8043:3: note: Null pointer dereference lp_solve/lp_lib.c:8044:3: warning: If memory allocation fails, then there is a possible null pointer dereference: newitem [nullPointerOutOfMemory] lp_solve/lp_lib.c:8042:30: note: Assuming allocation function fails lp_solve/lp_lib.c:8042:13: note: Assignment 'newitem=(struct BBPSrec*)malloc(sizeof(*newitem))', assigned value is 0 lp_solve/lp_lib.c:8044:3: note: Null pointer dereference lp_solve/lp_lib.c:8045:3: warning: If memory allocation fails, then there is a possible null pointer dereference: newitem [nullPointerOutOfMemory] lp_solve/lp_lib.c:8042:30: note: Assuming allocation function fails lp_solve/lp_lib.c:8042:13: note: Assignment 'newitem=(struct BBPSrec*)malloc(sizeof(*newitem))', assigned value is 0 lp_solve/lp_lib.c:8045:3: note: Null pointer dereference lp_solve/lp_lib.c:8046:3: warning: If memory allocation fails, then there is a possible null pointer dereference: newitem [nullPointerOutOfMemory] lp_solve/lp_lib.c:8042:30: note: Assuming allocation function fails lp_solve/lp_lib.c:8042:13: note: Assignment 'newitem=(struct BBPSrec*)malloc(sizeof(*newitem))', assigned value is 0 lp_solve/lp_lib.c:8046:3: note: Null pointer dereference lp_solve/lp_lib.c:8049:3: warning: If memory allocation fails, then there is a possible null pointer dereference: newitem [nullPointerOutOfMemory] lp_solve/lp_lib.c:8042:30: note: Assuming allocation function fails lp_solve/lp_lib.c:8042:13: note: Assignment 'newitem=(struct BBPSrec*)malloc(sizeof(*newitem))', assigned value is 0 lp_solve/lp_lib.c:8049:3: note: Null pointer dereference lp_solve/lp_lib.c:8052:5: warning: If memory allocation fails, then there is a possible null pointer dereference: newitem [nullPointerOutOfMemory] lp_solve/lp_lib.c:8042:30: note: Assuming allocation function fails lp_solve/lp_lib.c:8042:13: note: Assignment 'newitem=(struct BBPSrec*)malloc(sizeof(*newitem))', assigned value is 0 lp_solve/lp_lib.c:8052:5: note: Null pointer dereference lp_solve/lp_lib.c:8053:5: warning: If memory allocation fails, then there is a possible null pointer dereference: newitem [nullPointerOutOfMemory] lp_solve/lp_lib.c:8042:30: note: Assuming allocation function fails lp_solve/lp_lib.c:8042:13: note: Assignment 'newitem=(struct BBPSrec*)malloc(sizeof(*newitem))', assigned value is 0 lp_solve/lp_lib.c:8053:5: note: Null pointer dereference lp_solve/lp_lib.c:8054:5: warning: If memory allocation fails, then there is a possible null pointer dereference: newitem [nullPointerOutOfMemory] lp_solve/lp_lib.c:8042:30: note: Assuming allocation function fails lp_solve/lp_lib.c:8042:13: note: Assignment 'newitem=(struct BBPSrec*)malloc(sizeof(*newitem))', assigned value is 0 lp_solve/lp_lib.c:8054:5: note: Null pointer dereference lp_solve/lp_lib.c:8055:5: warning: If memory allocation fails, then there is a possible null pointer dereference: newitem [nullPointerOutOfMemory] lp_solve/lp_lib.c:8042:30: note: Assuming allocation function fails lp_solve/lp_lib.c:8042:13: note: Assignment 'newitem=(struct BBPSrec*)malloc(sizeof(*newitem))', assigned value is 0 lp_solve/lp_lib.c:8055:5: note: Null pointer dereference lp_solve/lp_lib.c:8075:5: warning: If memory allocation fails, then there is a possible null pointer dereference: newitem [nullPointerOutOfMemory] lp_solve/lp_lib.c:8042:30: note: Assuming allocation function fails lp_solve/lp_lib.c:8042:13: note: Assignment 'newitem=(struct BBPSrec*)malloc(sizeof(*newitem))', assigned value is 0 lp_solve/lp_lib.c:8075:5: note: Null pointer dereference lp_solve/lp_lib.c:8076:5: warning: If memory allocation fails, then there is a possible null pointer dereference: newitem [nullPointerOutOfMemory] lp_solve/lp_lib.c:8042:30: note: Assuming allocation function fails lp_solve/lp_lib.c:8042:13: note: Assignment 'newitem=(struct BBPSrec*)malloc(sizeof(*newitem))', assigned value is 0 lp_solve/lp_lib.c:8076:5: note: Null pointer dereference lp_solve/lp_lib.c:8078:3: warning: If memory allocation fails, then there is a possible null pointer dereference: newitem [nullPointerOutOfMemory] lp_solve/lp_lib.c:8042:30: note: Assuming allocation function fails lp_solve/lp_lib.c:8042:13: note: Assignment 'newitem=(struct BBPSrec*)malloc(sizeof(*newitem))', assigned value is 0 lp_solve/lp_lib.c:8078:3: note: Null pointer dereference lp_solve/lp_lib.c:8079:3: warning: If memory allocation fails, then there is a possible null pointer dereference: newitem [nullPointerOutOfMemory] lp_solve/lp_lib.c:8042:30: note: Assuming allocation function fails lp_solve/lp_lib.c:8042:13: note: Assignment 'newitem=(struct BBPSrec*)malloc(sizeof(*newitem))', assigned value is 0 lp_solve/lp_lib.c:8079:3: note: Null pointer dereference lp_solve/lp_lib.c:8080:3: warning: If memory allocation fails, then there is a possible null pointer dereference: newitem [nullPointerOutOfMemory] lp_solve/lp_lib.c:8042:30: note: Assuming allocation function fails lp_solve/lp_lib.c:8042:13: note: Assignment 'newitem=(struct BBPSrec*)malloc(sizeof(*newitem))', assigned value is 0 lp_solve/lp_lib.c:8080:3: note: Null pointer dereference lp_solve/lp_lib.c:5940:14: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] lp_solve/lp_lib.c:5959:41: portability:inconclusive: Casting from double * to char * is not portable due to different binary data representations on different platforms. [invalidPointerCast] lp_solve/lp_lib.c:5230:31: style: Variable 'lp->set_action' is reassigned a value before the old one has been used. [redundantAssignment] lp_solve/lp_lib.c:5131:31: note: lp->set_action is assigned lp_solve/lp_lib.c:5230:31: note: lp->set_action is overwritten lp_solve/lp_lib.c:5224:31: style: Variable 'lp->set_basisvar' is reassigned a value before the old one has been used. [redundantAssignment] lp_solve/lp_lib.c:5134:31: note: lp->set_basisvar is assigned lp_solve/lp_lib.c:5224:31: note: lp->set_basisvar is overwritten lp_solve/lp_lib.c:8446:11: style: Variable 'pivot' is reassigned a value before the old one has been used. [redundantAssignment] lp_solve/lp_lib.c:8409:11: note: pivot is assigned lp_solve/lp_lib.c:8446:11: note: pivot is overwritten lp_solve/lp_lib.c:598:43: style:inconclusive: Function 'set_maxpivot' argument 2 names different: declaration 'max_num_inv' definition 'maxpivot'. [funcArgNamesDifferent] lp_solve/lp_lib.h:2033:60: note: Function 'set_maxpivot' argument 2 names different: declaration 'max_num_inv' definition 'maxpivot'. lp_solve/lp_lib.c:598:43: note: Function 'set_maxpivot' argument 2 names different: declaration 'max_num_inv' definition 'maxpivot'. lp_solve/lp_lib.c:653:45: style:inconclusive: Function 'set_obj_bound' argument 2 names different: declaration 'obj_bound' definition 'bb_heuristicOF'. [funcArgNamesDifferent] lp_solve/lp_lib.h:2036:62: note: Function 'set_obj_bound' argument 2 names different: declaration 'obj_bound' definition 'bb_heuristicOF'. lp_solve/lp_lib.c:653:45: note: Function 'set_obj_bound' argument 2 names different: declaration 'obj_bound' definition 'bb_heuristicOF'. lp_solve/lp_lib.c:905:43: style:inconclusive: Function 'set_pivoting' argument 2 names different: declaration 'piv_rule' definition 'pivoting'. [funcArgNamesDifferent] lp_solve/lp_lib.h:2077:60: note: Function 'set_pivoting' argument 2 names different: declaration 'piv_rule' definition 'pivoting'. lp_solve/lp_lib.c:905:43: note: Function 'set_pivoting' argument 2 names different: declaration 'piv_rule' definition 'pivoting'. lp_solve/lp_lib.c:3755:54: style:inconclusive: Function 'set_int' argument 3 names different: declaration 'must_be_int' definition 'var_type'. [funcArgNamesDifferent] lp_solve/lp_lib.h:1870:69: note: Function 'set_int' argument 3 names different: declaration 'must_be_int' definition 'var_type'. lp_solve/lp_lib.c:3755:54: note: Function 'set_int' argument 3 names different: declaration 'must_be_int' definition 'var_type'. lp_solve/lp_lib.c:3828:73: style:inconclusive: Function 'add_GUB' argument 5 names different: declaration 'sosvars' definition 'gubvars'. [funcArgNamesDifferent] lp_solve/lp_lib.h:2239:73: note: Function 'add_GUB' argument 5 names different: declaration 'sosvars' definition 'gubvars'. lp_solve/lp_lib.c:3828:73: note: Function 'add_GUB' argument 5 names different: declaration 'sosvars' definition 'gubvars'. lp_solve/lp_lib.c:5964:44: style:inconclusive: Function 'column_in_lp' argument 2 names different: declaration 'column' definition 'testcolumn'. [funcArgNamesDifferent] lp_solve/lp_lib.h:1838:59: note: Function 'column_in_lp' argument 2 names different: declaration 'column' definition 'testcolumn'. lp_solve/lp_lib.c:5964:44: note: Function 'column_in_lp' argument 2 names different: declaration 'column' definition 'testcolumn'. lp_solve/lp_lib.c:6000:46: style:inconclusive: Function 'set_lp_name' argument 2 names different: declaration 'lpname' definition 'name'. [funcArgNamesDifferent] lp_solve/lp_lib.h:1754:61: note: Function 'set_lp_name' argument 2 names different: declaration 'lpname' definition 'name'. lp_solve/lp_lib.c:6000:46: note: Function 'set_lp_name' argument 2 names different: declaration 'lpname' definition 'name'. lp_solve/lp_lib.c:7052:56: style:inconclusive: Function 'isDualFeasible' argument 3 names different: declaration 'boundflips' definition 'boundflipcount'. [funcArgNamesDifferent] lp_solve/lp_lib.h:2260:56: note: Function 'isDualFeasible' argument 3 names different: declaration 'boundflips' definition 'boundflipcount'. lp_solve/lp_lib.c:7052:56: note: Function 'isDualFeasible' argument 3 names different: declaration 'boundflips' definition 'boundflipcount'. lp_solve/lp_lib.c:8574:35: style:inconclusive: Function 'is_fixedvar' argument 2 names different: declaration 'variable' definition 'varnr'. [funcArgNamesDifferent] lp_solve/lp_lib.h:2213:48: note: Function 'is_fixedvar' argument 2 names different: declaration 'variable' definition 'varnr'. lp_solve/lp_lib.c:8574:35: note: Function 'is_fixedvar' argument 2 names different: declaration 'variable' definition 'varnr'. lp_solve/lp_lib.c:7807:55: style: Local variable 'isINT' shadows outer function [shadowFunction] lp_solve/lp_utils.h:79:15: note: Shadowed declaration lp_solve/lp_lib.c:7807:55: note: Shadow variable lp_solve/lp_lib.c:163:49: style: Parameter 'filename' can be declared as pointer to const. However it seems that 'set_outputfile' is a callback function, if 'filename' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5175:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:163:49: note: Parameter 'filename' can be declared as pointer to const lp_solve/lp_lib.c:180:35: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'time_elapsed' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5208:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:180:35: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:328:49: style: Parameter 'filename' can be declared as pointer to const [constParameterPointer] lp_solve/lp_lib.c:328:78: style: Parameter 'lp_name' can be declared as pointer to const [constParameterPointer] lp_solve/lp_lib.c:332:32: style: Parameter 'filename' can be declared as pointer to const [constParameterPointer] lp_solve/lp_lib.c:332:61: style: Parameter 'lp_name' can be declared as pointer to const [constParameterPointer] lp_solve/lp_lib.c:336:32: style: Parameter 'filename' can be declared as pointer to const. However it seems that 'read_LP' is a callback function, if 'filename' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5123:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:336:32: note: Parameter 'filename' can be declared as pointer to const lp_solve/lp_lib.c:336:61: style: Parameter 'lp_name' can be declared as pointer to const. However it seems that 'read_LP' is a callback function, if 'lp_name' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5123:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:336:61: note: Parameter 'lp_name' can be declared as pointer to const lp_solve/lp_lib.c:511:34: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'get_timeout' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5069:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:511:34: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:521:33: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'get_verbose' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5078:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:521:33: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:531:35: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'get_print_sol' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5044:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:531:35: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:541:33: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'is_debug' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5087:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:541:33: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:551:33: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'is_trace' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5106:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:551:33: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:561:36: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'get_anti_degen' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:4994:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:561:36: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:566:38: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'is_anti_degen' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5083:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:566:38: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:578:34: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'get_presolve' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5041:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:578:34: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:593:36: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'is_presolve' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5101:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:593:36: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:613:33: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'get_bb_rule' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:4999:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:613:33: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:618:39: style: Parameter 'lp' can be declared as pointer to const [constParameterPointer] lp_solve/lp_lib.c:623:39: style: Parameter 'lp' can be declared as pointer to const [constParameterPointer] lp_solve/lp_lib.c:648:39: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'get_bb_depthlimit' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:4997:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:648:39: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:658:36: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'get_obj_bound' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5034:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:658:36: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:732:36: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'is_infinite' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5090:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:732:36: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:749:35: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'get_infinite' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5015:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:749:35: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:759:37: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'get_epsperturb' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5012:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:759:37: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:769:35: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'get_epspivot' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5013:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:769:35: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:779:33: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'get_epsint' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5011:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:779:33: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:789:31: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'get_epsb' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5008:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:789:31: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:799:31: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'get_epsd' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5009:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:799:31: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:809:32: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'get_epsel' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5010:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:809:32: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:850:33: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'get_scaling' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5060:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:850:33: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:855:37: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'is_scalemode' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5102:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:855:37: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:860:37: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'is_scaletype' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5103:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:860:37: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:875:37: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'get_scalelimit' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5059:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:875:37: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:890:33: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'get_improve' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5014:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:890:33: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:900:37: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'is_lag_trace' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5093:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:900:37: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:913:34: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'get_pivoting' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5040:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:913:34: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:918:38: style: Parameter 'lp' can be declared as pointer to const [constParameterPointer] lp_solve/lp_lib.c:925:16: style: Variable 'pivotText' can be declared as const array [constVariable] lp_solve/lp_lib.c:936:36: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'is_piv_mode' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5099:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:936:36: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:947:42: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'is_break_at_first' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5085:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:947:42: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:957:39: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'get_bb_floorfirst' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:4998:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:957:39: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:967:41: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'get_break_at_value' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5001:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:967:41: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:980:35: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'get_negrange' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5029:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:980:35: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:985:35: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'get_max_level' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5023:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:985:35: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:990:41: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'get_total_nodes' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5071:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:990:41: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:995:40: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'get_total_iter' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5070:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:995:40: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:1286:39: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'get_solutionlimit' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5066:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:1286:39: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:1290:39: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'get_solutioncount' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5065:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:1290:39: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:1295:31: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'get_Nrows' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5033:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:1295:31: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:1316:34: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'get_Ncolumns' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5028:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:1316:34: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:1333:32: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'get_status' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5067:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:1333:32: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:1338:39: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'get_statustext' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5068:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:1338:39: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:1363:40: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'is_obj_in_basis' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5098:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:1363:40: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:1928:22: style: Variable 'psundo' can be declared as pointer to const [constVariablePointer] lp_solve/lp_lib.c:2976:58: style: Parameter 'row' can be declared as pointer to const. However it seems that 'set_obj_fnex' is a callback function, if 'row' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5173:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:2976:58: note: Parameter 'row' can be declared as pointer to const lp_solve/lp_lib.c:2976:68: style: Parameter 'colno' can be declared as pointer to const. However it seems that 'set_obj_fnex' is a callback function, if 'colno' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5173:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:2976:68: note: Parameter 'colno' can be declared as pointer to const lp_solve/lp_lib.c:3546:37: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'get_simplextype' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5064:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:3546:37: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:3563:43: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'get_bounds_tighter' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5000:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:3563:43: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:4236:43: style: Parameter 'rh' can be declared as pointer to const. However it seems that 'set_rh_vec' is a callback function, if 'rh' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5185:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:4236:43: note: Parameter 'rh' can be declared as pointer to const lp_solve/lp_lib.c:4391:90: style: Parameter 'nzindex' can be declared as pointer to const. However it seems that 'get_constr_value' is a callback function, if 'nzindex' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5005:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:4391:90: note: Parameter 'nzindex' can be declared as pointer to const lp_solve/lp_lib.c:4442:42: style: Parameter 'lp' can be declared as pointer to const [constParameterPointer] lp_solve/lp_lib.c:4460:41: style: Parameter 'lp' can be declared as pointer to const [constParameterPointer] lp_solve/lp_lib.c:4760:25: style: Parameter 'lp' can be declared as pointer to const [constParameterPointer] lp_solve/lp_lib.c:4863:36: style: Parameter 'lp' can be declared as pointer to const [constParameterPointer] lp_solve/lp_lib.c:5247:37: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'is_nativeBFP' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5095:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:5247:37: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:5404:25: style: Variable 'ptr' can be declared as pointer to const [constVariablePointer] lp_solve/lp_lib.c:5601:37: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'is_nativeXLI' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5096:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:5601:37: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:5664:25: style: Variable 'ptr' can be declared as pointer to const [constVariablePointer] lp_solve/lp_lib.c:5742:19: style: Variable 'obj' can be declared as pointer to const [constVariablePointer] lp_solve/lp_lib.c:5923:46: style: Parameter 'values' can be declared as pointer to const. However it seems that 'is_feasible' is a callback function, if 'values' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5088:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:5923:46: note: Parameter 'values' can be declared as pointer to const lp_solve/lp_lib.c:5964:44: style: Parameter 'testcolumn' can be declared as pointer to const. However it seems that 'column_in_lp' is a callback function, if 'testcolumn' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:4986:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:5964:44: note: Parameter 'testcolumn' can be declared as pointer to const lp_solve/lp_lib.c:6000:46: style: Parameter 'name' can be declared as pointer to const. However it seems that 'set_lp_name' is a callback function, if 'name' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5162:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:6000:46: note: Parameter 'name' can be declared as pointer to const lp_solve/lp_lib.c:6030:50: style: Parameter 'new_name' can be declared as pointer to const [constParameterPointer] lp_solve/lp_lib.c:6739:13: style: Variable 'obj_orig' can be declared as pointer to const [constVariablePointer] lp_solve/lp_lib.c:6927:38: style: Parameter 'lp' can be declared as pointer to const [constParameterPointer] lp_solve/lp_lib.c:6933:31: style: Parameter 'lp' can be declared as pointer to const [constParameterPointer] lp_solve/lp_lib.c:6939:32: style: Parameter 'lp' can be declared as pointer to const [constParameterPointer] lp_solve/lp_lib.c:6944:37: style: Parameter 'lp' can be declared as pointer to const [constParameterPointer] lp_solve/lp_lib.c:7172:36: style: Parameter 'lp' can be declared as pointer to const. However it seems that 'get_basiscrash' is a callback function, if 'lp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:4996:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:7172:36: note: Parameter 'lp' can be declared as pointer to const lp_solve/lp_lib.c:7182:43: style: Parameter 'bascolumn' can be declared as pointer to const. However it seems that 'set_basis' is a callback function, if 'bascolumn' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5135:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:7182:43: note: Parameter 'bascolumn' can be declared as pointer to const lp_solve/lp_lib.c:7442:38: style: Parameter 'lp' can be declared as pointer to const [constParameterPointer] lp_solve/lp_lib.c:7442:48: style: Parameter 'upbo' can be declared as pointer to const [constParameterPointer] lp_solve/lp_lib.c:7442:60: style: Parameter 'lowbo' can be declared as pointer to const [constParameterPointer] lp_solve/lp_lib.c:7471:63: style: Parameter 'isbasic' can be declared as pointer to const [constParameterPointer] lp_solve/lp_lib.c:7471:80: style: Parameter 'islower' can be declared as pointer to const [constParameterPointer] lp_solve/lp_lib.c:7804:11: style: Variable 'lowbo' can be declared as pointer to const [constVariablePointer] lp_solve/lp_lib.c:7804:31: style: Variable 'upbo' can be declared as pointer to const [constVariablePointer] lp_solve/lp_lib.c:8109:50: style: Parameter 'clower' can be declared as pointer to const. However it seems that 'set_pseudocosts' is a callback function, if 'clower' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5182:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:8109:50: note: Parameter 'clower' can be declared as pointer to const lp_solve/lp_lib.c:8109:64: style: Parameter 'cupper' can be declared as pointer to const. However it seems that 'set_pseudocosts' is a callback function, if 'cupper' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5182:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:8109:64: note: Parameter 'cupper' can be declared as pointer to const lp_solve/lp_lib.c:8109:77: style: Parameter 'updatelimit' can be declared as pointer to const. However it seems that 'set_pseudocosts' is a callback function, if 'updatelimit' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_lib.c:5182:33: note: You might need to cast the function pointer here lp_solve/lp_lib.c:8109:77: note: Parameter 'updatelimit' can be declared as pointer to const lp_solve/lp_lib.c:8301:49: style: Parameter 'pcol' can be declared as pointer to const [constParameterPointer] lp_solve/lp_lib.c:8306:9: style: Variable 'rhs' can be declared as pointer to const [constVariablePointer] lp_solve/lp_lib.c:8330:87: style: Parameter 'boundswaps' can be declared as pointer to const [constParameterPointer] lp_solve/lp_lib.c:8981:33: style: Parameter 'upbo' can be declared as pointer to const [constParameterPointer] lp_solve/lp_lib.c:8981:45: style: Parameter 'lowbo' can be declared as pointer to const [constParameterPointer] lp_solve/lp_lib.c:8996:11: style: Variable 'mat' can be declared as pointer to const [constVariablePointer] lp_solve/lp_lib.c:9252:35: style: Parameter 'lp' can be declared as pointer to const [constParameterPointer] lp_solve/lp_lib.c:9262:49: style: Parameter 'lp' can be declared as pointer to const [constParameterPointer] lp_solve/lp_lib.c:9652:37: style: Parameter 'lp' can be declared as pointer to const [constParameterPointer] lp_solve/lp_lib.c:9652:49: style: Parameter 'is_basic' can be declared as pointer to const [constParameterPointer] lp_solve/lp_lib.c:9662:53: style: Parameter 'var_basic' can be declared as pointer to const [constParameterPointer] lp_solve/lp_lib.c:10048:34: style: Parameter 'lp' can be declared as pointer to const [constParameterPointer] lp_solve/lp_bit.h:19:34: style: Parameter 'bitarray' can be declared as pointer to const [constParameterPointer] lp_solve/lp_lib.c:3930:7: style: Variable 'n' is assigned a value that is never used. [unreadVariable] lp_solve/lp_lib.c:3957:7: style: Variable 'i' is assigned a value that is never used. [unreadVariable] lp_solve/lp_lib.c:6038:8: style: Variable 'hp' is assigned a value that is never used. [unreadVariable] lp_solve/lp_lib.c:6878:11: style: Variable 'nrows' is assigned a value that is never used. [unreadVariable] lp_solve/lp_lib.c:7299:19: style: Variable 'k' is assigned a value that is never used. [unreadVariable] lp_solve/lp_lib.c:7492:15: style: Variable 'isbasic' is assigned a value that is never used. [unreadVariable] lp_solve/lp_lib.c:8446:11: style: Variable 'pivot' is assigned a value that is never used. [unreadVariable] lp_solve/lp_lib.c:8460:11: style: Variable 'pivot' is assigned a value that is never used. [unreadVariable] lp_solve/lp_lib.c:8986:59: style: Unused variable: matValue [unusedVariable] lp_solve/lp_lib.c:8995:55: style: Unused variable: matRownr [unusedVariable] lp_solve/lp_lib.c:8995:66: style: Unused variable: matColnr [unusedVariable] lp_solve/lp_lib.c:8996:11: style: Variable 'mat' is assigned a value that is never used. [unreadVariable] lp_solve/lp_lib.c:9386:10: style: Variable 'dualOF' is assigned a value that is never used. [unreadVariable] lp_solve/lp_lib.c:9392:14: style: Variable 'dualOF' is assigned a value that is never used. [unreadVariable] lp_solve/lp_lib.c:9896:6: style: Variable 'i' is assigned a value that is never used. [unreadVariable] lp_solve/lp_solveDLL.c:12:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TRUE [valueFlowBailoutIncompleteVar] lp_solve/lp_simplex.c:335:23: style: The statement 'if (lp->piv_strategy!=monitor->oldpivstrategy) lp->piv_strategy=monitor->oldpivstrategy' is logically equivalent to 'lp->piv_strategy=monitor->oldpivstrategy'. [duplicateConditionalAssign] lp_solve/lp_simplex.c:336:22: note: Assignment 'lp->piv_strategy=monitor->oldpivstrategy' lp_solve/lp_simplex.c:335:23: note: Condition 'lp->piv_strategy!=monitor->oldpivstrategy' is redundant lp_solve/lp_simplex.c:219:19: style: Condition 'isCreeping' is always false [knownConditionTrueFalse] lp_solve/lp_simplex.c:214:16: note: Assignment 'isCreeping=0', assigned value is 0 lp_solve/lp_simplex.c:219:19: note: Condition 'isCreeping' is always false lp_solve/lp_simplex.c:1047:6: style: Condition 'longsteps' is always false [knownConditionTrueFalse] lp_solve/lp_simplex.c:1041:15: note: Assignment 'longsteps=0', assigned value is 0 lp_solve/lp_simplex.c:1047:6: note: Condition 'longsteps' is always false lp_solve/lp_simplex.c:1115:13: style: Variable 'i' is reassigned a value before the old one has been used. [redundantAssignment] lp_solve/lp_simplex.c:1114:9: note: i is assigned lp_solve/lp_simplex.c:1115:13: note: i is overwritten lp_solve/lp_simplex.c:2026:9: style: Variable 'i' is reassigned a value before the old one has been used. [redundantAssignment] lp_solve/lp_simplex.c:2011:7: note: i is assigned lp_solve/lp_simplex.c:2026:9: note: i is overwritten lp_solve/lp_simplex.c:1708:24: style:inconclusive: Function 'make_lag' argument 1 names different: declaration 'server' definition 'lpserver'. [funcArgNamesDifferent] lp_solve/lp_lib.h:2191:24: note: Function 'make_lag' argument 1 names different: declaration 'server' definition 'lpserver'. lp_solve/lp_simplex.c:1708:24: note: Function 'make_lag' argument 1 names different: declaration 'server' definition 'lpserver'. lp_solve/lp_simplex.c:102:67: style: Parameter 'funcname' can be declared as pointer to const [constParameterPointer] lp_solve/lp_simplex.c:489:39: style: Parameter 'lp' can be declared as pointer to const [constParameterPointer] lp_solve/lp_simplex.c:700:13: style: Variable 'colnr' is assigned a value that is never used. [unreadVariable] lp_solve/lp_simplex.c:701:13: style: Variable 'rownr' is assigned a value that is never used. [unreadVariable] lp_solve/lp_simplex.c:962:7: style: Variable 'i' is assigned a value that is never used. [unreadVariable] lp_solve/lp_simplex.c:1142:13: style: Variable 'rownr' is assigned a value that is never used. [unreadVariable] lp_solve/lp_simplex.c:1143:13: style: Variable 'colnr' is assigned a value that is never used. [unreadVariable] lp_solve/lp_simplex.c:1481:24: style: Variable 'changedphase' is assigned a value that is never used. [unreadVariable] lp_solve/lp_simplex.c:1810:12: style: Variable 'Znow' is assigned a value that is never used. [unreadVariable] lp_solve/lp_simplex.c:1816:12: style: Variable 'LagFeas' is assigned a value that is never used. [unreadVariable] lp_solve/lp_simplex.c:1817:12: style: Variable 'Converged' is assigned a value that is never used. [unreadVariable] lp_solve/lp_utils.c:609:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable RAND_MAX [valueFlowBailoutIncompleteVar] lp_solve/lp_wlp.c:85:78: debug: Function::addArguments found argument 'write_modeldata' with varid 0. [varid0] lp_solve/lp_wlp.c:26:62: debug: Function::addArguments found argument 'write_modeldata' with varid 0. [varid0] lp_solve/lp_wlp.c:39:68: debug: Function::addArguments found argument 'write_modeldata' with varid 0. [varid0] lp_solve/lp_wlp.c:44:85: debug: Function::addArguments found argument 'write_modeldata' with varid 0. [varid0] lp_solve/lp_utils.c:640:22: style: Boolean result is used in bitwise operation. Clarify expression with parentheses. [clarifyCondition] lp_solve/lp_utils.c:212:3: warning: If memory allocation fails, then there is a possible null pointer dereference: temp [nullPointerOutOfMemory] lp_solve/lp_utils.c:211:34: note: Assuming allocation function fails lp_solve/lp_utils.c:211:10: note: Assignment 'temp=(struct workarraysrec*)calloc(1,sizeof(struct workarraysrec))', assigned value is 0 lp_solve/lp_utils.c:212:3: note: Null pointer dereference lp_solve/lp_utils.c:967:3: warning: If memory allocation fails, then there is a possible null pointer dereference: workvector [nullPointerOutOfMemory] lp_solve/lp_utils.c:963:32: note: Assuming allocation function fails lp_solve/lp_utils.c:963:18: note: Assignment 'workvector=(int*)malloc((size+1)*sizeof(*workvector))', assigned value is 0 lp_solve/lp_utils.c:967:3: note: Null pointer dereference lp_solve/lp_utils.c:985:3: warning: If memory allocation fails, then there is a possible null pointer dereference: newPV [nullPointerOutOfMemory] lp_solve/lp_utils.c:983:27: note: Assuming allocation function fails lp_solve/lp_utils.c:983:11: note: Assignment 'newPV=(struct PVrec*)malloc(sizeof(*newPV))', assigned value is 0 lp_solve/lp_utils.c:985:3: note: Null pointer dereference lp_solve/lp_utils.c:992:3: warning: If memory allocation fails, then there is a possible null pointer dereference: newPV [nullPointerOutOfMemory] lp_solve/lp_utils.c:983:27: note: Assuming allocation function fails lp_solve/lp_utils.c:983:11: note: Assignment 'newPV=(struct PVrec*)malloc(sizeof(*newPV))', assigned value is 0 lp_solve/lp_utils.c:992:3: note: Null pointer dereference lp_solve/lp_utils.c:993:3: warning: If memory allocation fails, then there is a possible null pointer dereference: newPV [nullPointerOutOfMemory] lp_solve/lp_utils.c:983:27: note: Assuming allocation function fails lp_solve/lp_utils.c:983:11: note: Assignment 'newPV=(struct PVrec*)malloc(sizeof(*newPV))', assigned value is 0 lp_solve/lp_utils.c:993:3: note: Null pointer dereference lp_solve/lp_utils.c:997:5: warning: If memory allocation fails, then there is a possible null pointer dereference: newPV [nullPointerOutOfMemory] lp_solve/lp_utils.c:983:27: note: Assuming allocation function fails lp_solve/lp_utils.c:983:11: note: Assignment 'newPV=(struct PVrec*)malloc(sizeof(*newPV))', assigned value is 0 lp_solve/lp_utils.c:997:5: note: Null pointer dereference lp_solve/lp_utils.c:997:30: warning: If memory allocation fails, then there is a possible null pointer dereference: newPV [nullPointerOutOfMemory] lp_solve/lp_utils.c:983:27: note: Assuming allocation function fails lp_solve/lp_utils.c:983:11: note: Assignment 'newPV=(struct PVrec*)malloc(sizeof(*newPV))', assigned value is 0 lp_solve/lp_utils.c:997:30: note: Null pointer dereference lp_solve/lp_utils.c:276:14: portability:inconclusive: Casting from double * to char * is not portable due to different binary data representations on different platforms. [invalidPointerCast] lp_solve/lp_utils.c:301:67: style: Parameter 'memvector' can be declared as pointer to const [constParameterPointer] lp_solve/lp_utils.c:494:39: style: Parameter 'attributes' can be declared as pointer to const [constParameterPointer] lp_solve/lp_utils.c:557:28: style: Parameter 'lp' can be declared as pointer to const [constParameterPointer] lp_solve/lp_utils.c:601:33: style: Parameter 'lp' can be declared as pointer to const [constParameterPointer] lp_solve/lp_utils.c:618:58: style: Parameter 'usedpos' can be declared as pointer to const [constParameterPointer] lp_solve/lp_utils.c:672:28: style: Parameter 'linkmap' can be declared as pointer to const [constParameterPointer] lp_solve/lp_utils.c:677:35: style: Parameter 'linkmap' can be declared as pointer to const [constParameterPointer] lp_solve/lp_utils.c:687:35: style: Parameter 'linkmap' can be declared as pointer to const [constParameterPointer] lp_solve/lp_utils.c:692:37: style: Parameter 'linkmap' can be declared as pointer to const [constParameterPointer] lp_solve/lp_utils.c:854:36: style: Parameter 'linkmap' can be declared as pointer to const [constParameterPointer] lp_solve/lp_utils.c:922:31: style: Parameter 'linkmap1' can be declared as pointer to const [constParameterPointer] lp_solve/lp_utils.c:922:48: style: Parameter 'linkmap2' can be declared as pointer to const [constParameterPointer] lp_solve/lp_utils.c:955:50: style: Parameter 'values' can be declared as pointer to const [constParameterPointer] lp_solve/lp_wlp.c:41:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable write_modeldata [valueFlowBailoutIncompleteVar] lp_solve/lp_wlp.c:52:6: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable write_modeldata [valueFlowBailoutIncompleteVar] lp_solve/lp_wlp.c:105:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable write_modeldata [valueFlowBailoutIncompleteVar] lp_solve/lp_wlp.c:331:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] lp_solve/shared/commonlib.c:277:102: debug: Function::addArguments found argument 'findCompare' with varid 0. [varid0] lp_solve/shared/commonlib.c:583:103: debug: Function::addArguments found argument 'findCompare' with varid 0. [varid0] lp_solve/shared/commonlib.c:371:103: debug: Function::addArguments found argument 'findCompare' with varid 0. [varid0] lp_solve/shared/commonlib.c:426:105: debug: Function::addArguments found argument 'findCompare' with varid 0. [varid0] lp_solve/shared/commonlib.c:714:71: debug: Function::addArguments found argument 'findCompare' with varid 0. [varid0] lp_solve/shared/commonlib.c:517:95: debug: Function::addArguments found argument 'findCompare' with varid 0. [varid0] lp_solve/shared/commonlib.c:552:101: debug: Function::addArguments found argument 'findCompare' with varid 0. [varid0] lp_solve/shared/commonlib.c:657:68: debug: Function::addArguments found argument 'findCompare' with varid 0. [varid0] lp_solve/shared/commonlib.c:690:74: debug: Function::addArguments found argument 'findCompare' with varid 0. [varid0] lp_solve/shared/commonlib.c:431:60: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable findCompare [valueFlowBailoutIncompleteVar] lp_solve/shared/commonlib.c:546:66: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable findCompare [valueFlowBailoutIncompleteVar] lp_solve/shared/commonlib.c:602:67: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable findCompare [valueFlowBailoutIncompleteVar] lp_solve/shared/commonlib.c:685:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable findCompare [valueFlowBailoutIncompleteVar] lp_solve/shared/commonlib.c:724:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable findCompare [valueFlowBailoutIncompleteVar] lp_solve/lp_wlp.c:324:58: style: Parameter 'buf' can be declared as pointer to const. However it seems that 'write_lpdata' is a callback function, if 'buf' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_wlp.c:359:40: note: You might need to cast the function pointer here lp_solve/lp_wlp.c:324:58: note: Parameter 'buf' can be declared as pointer to const lp_solve/lp_wlp.c:329:38: style: Parameter 'filename' can be declared as pointer to const [constParameterPointer] lp_solve/lp_wlp.c:310:16: style: Variable 'nchars' is assigned a value that is never used. [unreadVariable] lp_solve/lp_wlp.c:312:16: style: Variable 'nchars' is assigned a value that is never used. [unreadVariable] lp_solve/shared/mmio.c:44:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] lp_solve/shared/mmio.c:212:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar] lp_solve/shared/mmio.c:241:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar] lp_solve/shared/mmio.c:338:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdin [valueFlowBailoutIncompleteVar] lp_solve/shared/mmio.c:405:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] lp_solve/shared/mmio.c:113:9: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf] lp_solve/shared/mmio.c:298:31: style:inconclusive: Function 'mm_read_mtx_crd_entry' argument 5 names different: declaration 'img' definition 'imag'. [funcArgNamesDifferent] lp_solve/shared/mmio.h:125:74: note: Function 'mm_read_mtx_crd_entry' argument 5 names different: declaration 'img' definition 'imag'. lp_solve/shared/mmio.c:298:31: note: Function 'mm_read_mtx_crd_entry' argument 5 names different: declaration 'img' definition 'imag'. lp_solve/shared/mmio.c:332:27: style: Parameter 'fname' can be declared as pointer to const [constParameterPointer] lp_solve/shared/mmio.c:387:11: style: Variable 'str' can be declared as pointer to const [constVariablePointer] lp_solve/shared/mmio.c:398:27: style: Parameter 'fname' can be declared as const array [constParameter] lp_solve/shared/mmio.c:398:62: style: Parameter 'I' can be declared as const array [constParameter] lp_solve/shared/mmio.c:398:71: style: Parameter 'J' can be declared as const array [constParameter] lp_solve/shared/mmio.c:399:16: style: Parameter 'val' can be declared as const array [constParameter] lp_solve/shared/mmio.c:78:11: style: Variable 'x' is assigned a value that is never used. [unreadVariable] lp_solve/shared/commonlib.c:849:3: style: Obsolescent function 'ftime' called. It is recommended to use 'time', 'gettimeofday' or 'clock_gettime' instead. [prohibitedftimeCalled] lp_solve/lp_presolve.c:645:27: style: Condition 'presolve_rowtallies(psdata,i,&plu,&neg,&pluneg)' is always true [knownConditionTrueFalse] lp_solve/lp_presolve.c:645:27: note: Calling function 'presolve_rowtallies' returns 1 lp_solve/lp_presolve.c:645:27: note: Condition 'presolve_rowtallies(psdata,i,&plu,&neg,&pluneg)' is always true lp_solve/lp_presolve.c:4774:10: style: Condition 'SOS_GUBactive' is always false [knownConditionTrueFalse] lp_solve/lp_presolve.c:4763:39: note: Assignment 'SOS_GUBactive=0', assigned value is 0 lp_solve/lp_presolve.c:4774:10: note: Condition 'SOS_GUBactive' is always false lp_solve/lp_presolve.c:4774:43: style: Condition '!SOS_GUBactive' is always true [knownConditionTrueFalse] lp_solve/lp_presolve.c:4763:39: note: Assignment 'SOS_GUBactive=0', assigned value is 0 lp_solve/lp_presolve.c:4774:43: note: Condition '!SOS_GUBactive' is always true lp_solve/lp_presolve.c:5548:33: style: Condition 'presolve_updatesums(psdata)' is always true [knownConditionTrueFalse] lp_solve/lp_presolve.c:5548:33: note: Calling function 'presolve_updatesums' returns 1 lp_solve/lp_presolve.c:5548:33: note: Condition 'presolve_updatesums(psdata)' is always true lp_solve/shared/commonlib.c:90:30: style: Parameter 's' can be declared as pointer to const [constParameterPointer] lp_solve/shared/commonlib.c:101:30: style: Parameter 's' can be declared as pointer to const [constParameterPointer] lp_solve/shared/commonlib.c:116:9: style: Variable 'ptr' can be declared as pointer to const [constVariablePointer] lp_solve/shared/commonlib.c:250:10: style: Variable 'attptr' can be declared as pointer to const [constVariablePointer] lp_solve/shared/commonlib.c:858:40: style: Parameter 'label' can be declared as pointer to const [constParameterPointer] lp_solve/shared/commonlib.c:858:52: style: Parameter 'myvector' can be declared as pointer to const [constParameterPointer] lp_solve/shared/commonlib.c:877:41: style: Parameter 'label' can be declared as pointer to const [constParameterPointer] lp_solve/shared/commonlib.c:877:56: style: Parameter 'myvector' can be declared as pointer to const [constParameterPointer] lp_solve/shared/commonlib.c:899:41: style: Parameter 'label' can be declared as pointer to const [constParameterPointer] lp_solve/shared/commonlib.c:899:54: style: Parameter 'myvector' can be declared as pointer to const [constParameterPointer] lp_solve/shared/commonlib.c:919:29: style: Parameter 'x' can be declared as pointer to const [constParameterPointer] lp_solve/shared/commonlib.c:424:3: style: Variable 'save' is assigned a value that is never used. [unreadVariable] lp_solve/shared/commonlib.c:492:5: style: Variable 'save' is assigned a value that is never used. [unreadVariable] lp_solve/shared/commonlib.c:608:3: style: Variable 'save' is assigned a value that is never used. [unreadVariable] lp_solve/shared/commonlib.c:609:3: style: Variable 'savetag' is assigned a value that is never used. [unreadVariable] lp_solve/lp_presolve.c:81:5: warning: If memory allocation fails, then there is a possible null pointer dereference: lp->presolve_undo [nullPointerOutOfMemory] lp_solve/lp_presolve.c:80:49: note: Assuming allocation function fails lp_solve/lp_presolve.c:80:23: note: Assignment 'lp->presolve_undo=(struct presolveundorec*)calloc(1,sizeof(struct presolveundorec))', assigned value is 0 lp_solve/lp_presolve.c:81:5: note: Null pointer dereference lp_solve/lp_presolve.c:480:11: warning: Either the condition 'rows==0' is redundant or there is possible null pointer dereference: rows. [nullPointerRedundantCheck] lp_solve/lp_presolve.c:477:13: note: Assuming that condition 'rows==0' is not redundant lp_solve/lp_presolve.c:480:11: note: Null pointer dereference lp_solve/lp_presolve.c:725:44: warning: Either the condition 'nzlist!=0' is redundant or there is possible null pointer dereference: nzlist. [nullPointerRedundantCheck] lp_solve/lp_presolve.c:729:15: note: Assuming that condition 'nzlist!=0' is not redundant lp_solve/lp_presolve.c:725:44: note: Null pointer dereference lp_solve/lp_presolve.c:3255:14: warning: If memory allocation fails, then there is a possible null pointer dereference: ps [nullPointerOutOfMemory] lp_solve/lp_presolve.c:3252:31: note: Assuming allocation function fails lp_solve/lp_presolve.c:3252:15: note: Assignment 'ps=(struct psrec*)calloc(1,sizeof(*ps))', assigned value is 0 lp_solve/lp_presolve.c:3255:14: note: Null pointer dereference lp_solve/lp_presolve.c:3260:3: warning: If memory allocation fails, then there is a possible null pointer dereference: ps [nullPointerOutOfMemory] lp_solve/lp_presolve.c:3252:31: note: Assuming allocation function fails lp_solve/lp_presolve.c:3252:15: note: Assignment 'ps=(struct psrec*)calloc(1,sizeof(*ps))', assigned value is 0 lp_solve/lp_presolve.c:3260:3: note: Null pointer dereference lp_solve/lp_presolve.c:3268:3: warning: If memory allocation fails, then there is a possible null pointer dereference: ps [nullPointerOutOfMemory] lp_solve/lp_presolve.c:3252:31: note: Assuming allocation function fails lp_solve/lp_presolve.c:3252:15: note: Assignment 'ps=(struct psrec*)calloc(1,sizeof(*ps))', assigned value is 0 lp_solve/lp_presolve.c:3268:3: note: Null pointer dereference lp_solve/lp_presolve.c:3274:3: warning: If memory allocation fails, then there is a possible null pointer dereference: ps [nullPointerOutOfMemory] lp_solve/lp_presolve.c:3252:31: note: Assuming allocation function fails lp_solve/lp_presolve.c:3252:15: note: Assignment 'ps=(struct psrec*)calloc(1,sizeof(*ps))', assigned value is 0 lp_solve/lp_presolve.c:3274:3: note: Null pointer dereference lp_solve/lp_presolve.c:3322:3: warning: If memory allocation fails, then there is a possible null pointer dereference: psdata [nullPointerOutOfMemory] lp_solve/lp_presolve.c:3320:34: note: Assuming allocation function fails lp_solve/lp_presolve.c:3320:12: note: Assignment 'psdata=(struct presolverec*)calloc(1,sizeof(*psdata))', assigned value is 0 lp_solve/lp_presolve.c:3322:3: note: Null pointer dereference lp_solve/lp_presolve.c:3323:3: warning: If memory allocation fails, then there is a possible null pointer dereference: psdata [nullPointerOutOfMemory] lp_solve/lp_presolve.c:3320:34: note: Assuming allocation function fails lp_solve/lp_presolve.c:3320:12: note: Assignment 'psdata=(struct presolverec*)calloc(1,sizeof(*psdata))', assigned value is 0 lp_solve/lp_presolve.c:3323:3: note: Null pointer dereference lp_solve/lp_presolve.c:3324:3: warning: If memory allocation fails, then there is a possible null pointer dereference: psdata [nullPointerOutOfMemory] lp_solve/lp_presolve.c:3320:34: note: Assuming allocation function fails lp_solve/lp_presolve.c:3320:12: note: Assignment 'psdata=(struct presolverec*)calloc(1,sizeof(*psdata))', assigned value is 0 lp_solve/lp_presolve.c:3324:3: note: Null pointer dereference lp_solve/lp_presolve.c:3326:3: warning: If memory allocation fails, then there is a possible null pointer dereference: psdata [nullPointerOutOfMemory] lp_solve/lp_presolve.c:3320:34: note: Assuming allocation function fails lp_solve/lp_presolve.c:3320:12: note: Assignment 'psdata=(struct presolverec*)calloc(1,sizeof(*psdata))', assigned value is 0 lp_solve/lp_presolve.c:3326:3: note: Null pointer dereference lp_solve/lp_presolve.c:3327:3: warning: If memory allocation fails, then there is a possible null pointer dereference: psdata [nullPointerOutOfMemory] lp_solve/lp_presolve.c:3320:34: note: Assuming allocation function fails lp_solve/lp_presolve.c:3320:12: note: Assignment 'psdata=(struct presolverec*)calloc(1,sizeof(*psdata))', assigned value is 0 lp_solve/lp_presolve.c:3327:3: note: Null pointer dereference lp_solve/lp_presolve.c:3328:3: warning: If memory allocation fails, then there is a possible null pointer dereference: psdata [nullPointerOutOfMemory] lp_solve/lp_presolve.c:3320:34: note: Assuming allocation function fails lp_solve/lp_presolve.c:3320:12: note: Assignment 'psdata=(struct presolverec*)calloc(1,sizeof(*psdata))', assigned value is 0 lp_solve/lp_presolve.c:3328:3: note: Null pointer dereference lp_solve/lp_presolve.c:3333:11: warning: If memory allocation fails, then there is a possible null pointer dereference: psdata [nullPointerOutOfMemory] lp_solve/lp_presolve.c:3320:34: note: Assuming allocation function fails lp_solve/lp_presolve.c:3320:12: note: Assignment 'psdata=(struct presolverec*)calloc(1,sizeof(*psdata))', assigned value is 0 lp_solve/lp_presolve.c:3333:11: note: Null pointer dereference lp_solve/lp_presolve.c:3335:11: warning: If memory allocation fails, then there is a possible null pointer dereference: psdata [nullPointerOutOfMemory] lp_solve/lp_presolve.c:3320:34: note: Assuming allocation function fails lp_solve/lp_presolve.c:3320:12: note: Assignment 'psdata=(struct presolverec*)calloc(1,sizeof(*psdata))', assigned value is 0 lp_solve/lp_presolve.c:3335:11: note: Null pointer dereference lp_solve/lp_presolve.c:3341:5: warning: If memory allocation fails, then there is a possible null pointer dereference: psdata [nullPointerOutOfMemory] lp_solve/lp_presolve.c:3320:34: note: Assuming allocation function fails lp_solve/lp_presolve.c:3320:12: note: Assignment 'psdata=(struct presolverec*)calloc(1,sizeof(*psdata))', assigned value is 0 lp_solve/lp_presolve.c:3341:5: note: Null pointer dereference lp_solve/lp_presolve.c:3342:5: warning: If memory allocation fails, then there is a possible null pointer dereference: psdata [nullPointerOutOfMemory] lp_solve/lp_presolve.c:3320:34: note: Assuming allocation function fails lp_solve/lp_presolve.c:3320:12: note: Assignment 'psdata=(struct presolverec*)calloc(1,sizeof(*psdata))', assigned value is 0 lp_solve/lp_presolve.c:3342:5: note: Null pointer dereference lp_solve/lp_presolve.c:3346:5: warning: If memory allocation fails, then there is a possible null pointer dereference: psdata [nullPointerOutOfMemory] lp_solve/lp_presolve.c:3320:34: note: Assuming allocation function fails lp_solve/lp_presolve.c:3320:12: note: Assignment 'psdata=(struct presolverec*)calloc(1,sizeof(*psdata))', assigned value is 0 lp_solve/lp_presolve.c:3346:5: note: Null pointer dereference lp_solve/lp_presolve.c:3347:5: warning: If memory allocation fails, then there is a possible null pointer dereference: psdata [nullPointerOutOfMemory] lp_solve/lp_presolve.c:3320:34: note: Assuming allocation function fails lp_solve/lp_presolve.c:3320:12: note: Assignment 'psdata=(struct presolverec*)calloc(1,sizeof(*psdata))', assigned value is 0 lp_solve/lp_presolve.c:3347:5: note: Null pointer dereference lp_solve/lp_presolve.c:4378:9: warning: If memory allocation fails, then there is a possible null pointer dereference: QSagg [nullPointerOutOfMemory] lp_solve/lp_presolve.c:4374:64: note: Assuming allocation function fails lp_solve/lp_presolve.c:4374:35: note: Assignment 'QSagg=(union QSORTrec*)calloc(coldel[0],sizeof(*QSagg))', assigned value is 0 lp_solve/lp_presolve.c:4378:9: note: Null pointer dereference lp_solve/lp_presolve.c:4379:9: warning: If memory allocation fails, then there is a possible null pointer dereference: QSagg [nullPointerOutOfMemory] lp_solve/lp_presolve.c:4374:64: note: Assuming allocation function fails lp_solve/lp_presolve.c:4374:35: note: Assignment 'QSagg=(union QSORTrec*)calloc(coldel[0],sizeof(*QSagg))', assigned value is 0 lp_solve/lp_presolve.c:4379:9: note: Null pointer dereference lp_solve/lp_presolve.c:4386:14: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: QSagg [nullPointerOutOfMemory] lp_solve/lp_presolve.c:4374:64: note: Assuming allocation function fails lp_solve/lp_presolve.c:4374:35: note: Assignment 'QSagg=(union QSORTrec*)calloc(coldel[0],sizeof(*QSagg))', assigned value is 0 lp_solve/lp_presolve.c:4386:14: note: Null pointer dereference lp_solve/lp_presolve.c:481:9: warning: Either the condition 'rows==0' is redundant or there is pointer arithmetic with NULL pointer. [nullPointerArithmeticRedundantCheck] lp_solve/lp_presolve.c:477:13: note: Assuming that condition 'rows==0' is not redundant lp_solve/lp_presolve.c:481:9: note: Null pointer addition lp_solve/lp_presolve.c:2423:7: style: Variable 'je' is assigned an expression that holds the same value. [redundantAssignment] lp_solve/lp_presolve.c:2410:8: note: je is assigned 'mat->row_end[i]' here. lp_solve/lp_presolve.c:2423:7: note: Variable 'je' is assigned an expression that holds the same value. lp_solve/lp_presolve.c:5718:7: style: Variable 'i' is reassigned a value before the old one has been used. [redundantAssignment] lp_solve/lp_presolve.c:5672:11: note: i is assigned lp_solve/lp_presolve.c:5718:7: note: i is overwritten lp_solve/shared/myblas.c:791:10: warning: If memory allocation fails, then there is a possible null pointer dereference: y [nullPointerOutOfMemory] lp_solve/shared/myblas.c:786:22: note: Assuming allocation function fails lp_solve/shared/myblas.c:786:7: note: Assignment 'y=(double*)malloc(sizeof(*y)*(n+1))', assigned value is 0 lp_solve/shared/myblas.c:791:10: note: Null pointer dereference lp_solve/shared/myblas.c:174:36: style:inconclusive: Function 'my_daxpy' argument 1 names different: declaration 'n' definition '_n'. [funcArgNamesDifferent] lp_solve/shared/myblas.h:99:37: note: Function 'my_daxpy' argument 1 names different: declaration 'n' definition '_n'. lp_solve/shared/myblas.c:174:36: note: Function 'my_daxpy' argument 1 names different: declaration 'n' definition '_n'. lp_solve/shared/myblas.c:174:46: style:inconclusive: Function 'my_daxpy' argument 2 names different: declaration 'da' definition '_da'. [funcArgNamesDifferent] lp_solve/shared/myblas.h:99:46: note: Function 'my_daxpy' argument 2 names different: declaration 'da' definition '_da'. lp_solve/shared/myblas.c:174:46: note: Function 'my_daxpy' argument 2 names different: declaration 'da' definition '_da'. lp_solve/shared/myblas.c:174:66: style:inconclusive: Function 'my_daxpy' argument 4 names different: declaration 'incx' definition '_incx'. [funcArgNamesDifferent] lp_solve/shared/myblas.h:99:66: note: Function 'my_daxpy' argument 4 names different: declaration 'incx' definition '_incx'. lp_solve/shared/myblas.c:174:66: note: Function 'my_daxpy' argument 4 names different: declaration 'incx' definition '_incx'. lp_solve/shared/myblas.c:174:88: style:inconclusive: Function 'my_daxpy' argument 6 names different: declaration 'incy' definition '_incy'. [funcArgNamesDifferent] lp_solve/shared/myblas.h:99:88: note: Function 'my_daxpy' argument 6 names different: declaration 'incy' definition '_incy'. lp_solve/shared/myblas.c:174:88: note: Function 'my_daxpy' argument 6 names different: declaration 'incy' definition '_incy'. lp_solve/shared/myblas.c:253:36: style:inconclusive: Function 'my_dcopy' argument 1 names different: declaration 'n' definition '_n'. [funcArgNamesDifferent] lp_solve/shared/myblas.h:98:37: note: Function 'my_dcopy' argument 1 names different: declaration 'n' definition '_n'. lp_solve/shared/myblas.c:253:36: note: Function 'my_dcopy' argument 1 names different: declaration 'n' definition '_n'. lp_solve/shared/myblas.c:253:55: style:inconclusive: Function 'my_dcopy' argument 3 names different: declaration 'incx' definition '_incx'. [funcArgNamesDifferent] lp_solve/shared/myblas.h:98:55: note: Function 'my_dcopy' argument 3 names different: declaration 'incx' definition '_incx'. lp_solve/shared/myblas.c:253:55: note: Function 'my_dcopy' argument 3 names different: declaration 'incx' definition '_incx'. lp_solve/shared/myblas.c:253:77: style:inconclusive: Function 'my_dcopy' argument 5 names different: declaration 'incy' definition '_incy'. [funcArgNamesDifferent] lp_solve/shared/myblas.h:98:76: note: Function 'my_dcopy' argument 5 names different: declaration 'incy' definition '_incy'. lp_solve/shared/myblas.c:253:77: note: Function 'my_dcopy' argument 5 names different: declaration 'incy' definition '_incy'. lp_solve/shared/myblas.c:340:36: style:inconclusive: Function 'my_dscal' argument 1 names different: declaration 'n' definition '_n'. [funcArgNamesDifferent] lp_solve/shared/myblas.h:97:37: note: Function 'my_dscal' argument 1 names different: declaration 'n' definition '_n'. lp_solve/shared/myblas.c:340:36: note: Function 'my_dscal' argument 1 names different: declaration 'n' definition '_n'. lp_solve/shared/myblas.c:340:46: style:inconclusive: Function 'my_dscal' argument 2 names different: declaration 'da' definition '_da'. [funcArgNamesDifferent] lp_solve/shared/myblas.h:97:46: note: Function 'my_dscal' argument 2 names different: declaration 'da' definition '_da'. lp_solve/shared/myblas.c:340:46: note: Function 'my_dscal' argument 2 names different: declaration 'da' definition '_da'. lp_solve/shared/myblas.c:340:66: style:inconclusive: Function 'my_dscal' argument 4 names different: declaration 'incx' definition '_incx'. [funcArgNamesDifferent] lp_solve/shared/myblas.h:97:66: note: Function 'my_dscal' argument 4 names different: declaration 'incx' definition '_incx'. lp_solve/shared/myblas.c:340:66: note: Function 'my_dscal' argument 4 names different: declaration 'incx' definition '_incx'. lp_solve/shared/myblas.c:424:34: style:inconclusive: Function 'my_ddot' argument 1 names different: declaration 'n' definition '_n'. [funcArgNamesDifferent] lp_solve/shared/myblas.h:101:37: note: Function 'my_ddot' argument 1 names different: declaration 'n' definition '_n'. lp_solve/shared/myblas.c:424:34: note: Function 'my_ddot' argument 1 names different: declaration 'n' definition '_n'. lp_solve/shared/myblas.c:424:53: style:inconclusive: Function 'my_ddot' argument 3 names different: declaration 'incx' definition '_incx'. [funcArgNamesDifferent] lp_solve/shared/myblas.h:101:55: note: Function 'my_ddot' argument 3 names different: declaration 'incx' definition '_incx'. lp_solve/shared/myblas.c:424:53: note: Function 'my_ddot' argument 3 names different: declaration 'incx' definition '_incx'. lp_solve/shared/myblas.c:424:75: style:inconclusive: Function 'my_ddot' argument 5 names different: declaration 'incy' definition '_incy'. [funcArgNamesDifferent] lp_solve/shared/myblas.h:101:77: note: Function 'my_ddot' argument 5 names different: declaration 'incy' definition '_incy'. lp_solve/shared/myblas.c:424:75: note: Function 'my_ddot' argument 5 names different: declaration 'incy' definition '_incy'. lp_solve/shared/myblas.c:507:36: style:inconclusive: Function 'my_dswap' argument 1 names different: declaration 'n' definition '_n'. [funcArgNamesDifferent] lp_solve/shared/myblas.h:100:37: note: Function 'my_dswap' argument 1 names different: declaration 'n' definition '_n'. lp_solve/shared/myblas.c:507:36: note: Function 'my_dswap' argument 1 names different: declaration 'n' definition '_n'. lp_solve/shared/myblas.c:507:55: style:inconclusive: Function 'my_dswap' argument 3 names different: declaration 'incx' definition '_incx'. [funcArgNamesDifferent] lp_solve/shared/myblas.h:100:55: note: Function 'my_dswap' argument 3 names different: declaration 'incx' definition '_incx'. lp_solve/shared/myblas.c:507:55: note: Function 'my_dswap' argument 3 names different: declaration 'incx' definition '_incx'. lp_solve/shared/myblas.c:507:77: style:inconclusive: Function 'my_dswap' argument 5 names different: declaration 'incy' definition '_incy'. [funcArgNamesDifferent] lp_solve/shared/myblas.h:100:76: note: Function 'my_dswap' argument 5 names different: declaration 'incy' definition '_incy'. lp_solve/shared/myblas.c:507:77: note: Function 'my_dswap' argument 5 names different: declaration 'incy' definition '_incy'. lp_solve/shared/myblas.c:606:36: style:inconclusive: Function 'my_dload' argument 1 names different: declaration 'n' definition '_n'. [funcArgNamesDifferent] lp_solve/shared/myblas.h:103:37: note: Function 'my_dload' argument 1 names different: declaration 'n' definition '_n'. lp_solve/shared/myblas.c:606:36: note: Function 'my_dload' argument 1 names different: declaration 'n' definition '_n'. lp_solve/shared/myblas.c:606:46: style:inconclusive: Function 'my_dload' argument 2 names different: declaration 'da' definition '_da'. [funcArgNamesDifferent] lp_solve/shared/myblas.h:103:46: note: Function 'my_dload' argument 2 names different: declaration 'da' definition '_da'. lp_solve/shared/myblas.c:606:46: note: Function 'my_dload' argument 2 names different: declaration 'da' definition '_da'. lp_solve/shared/myblas.c:606:66: style:inconclusive: Function 'my_dload' argument 4 names different: declaration 'incx' definition '_incx'. [funcArgNamesDifferent] lp_solve/shared/myblas.h:103:65: note: Function 'my_dload' argument 4 names different: declaration 'incx' definition '_incx'. lp_solve/shared/myblas.c:606:66: note: Function 'my_dload' argument 4 names different: declaration 'incx' definition '_incx'. lp_solve/shared/myblas.c:674:36: style:inconclusive: Function 'my_idamax' argument 1 names different: declaration 'n' definition '_n'. [funcArgNamesDifferent] lp_solve/shared/myblas.h:102:37: note: Function 'my_idamax' argument 1 names different: declaration 'n' definition '_n'. lp_solve/shared/myblas.c:674:36: note: Function 'my_idamax' argument 1 names different: declaration 'n' definition '_n'. lp_solve/shared/myblas.c:674:54: style:inconclusive: Function 'my_idamax' argument 3 names different: declaration 'is' definition '_is'. [funcArgNamesDifferent] lp_solve/shared/myblas.h:102:55: note: Function 'my_idamax' argument 3 names different: declaration 'is' definition '_is'. lp_solve/shared/myblas.c:674:54: note: Function 'my_idamax' argument 3 names different: declaration 'is' definition '_is'. lp_solve/shared/myblas.c:721:37: style:inconclusive: Function 'my_dnormi' argument 1 names different: declaration 'n' definition '_n'. [funcArgNamesDifferent] lp_solve/shared/myblas.h:104:37: note: Function 'my_dnormi' argument 1 names different: declaration 'n' definition '_n'. lp_solve/shared/myblas.c:721:37: note: Function 'my_dnormi' argument 1 names different: declaration 'n' definition '_n'. lp_solve/shared/myblas.c:109:26: style: Variable 'ptr' can be declared as pointer to const [constVariablePointer] lp_solve/shared/myblas.c:174:36: style: Parameter '_n' can be declared as pointer to const. However it seems that 'my_daxpy' is a callback function, if '_n' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/shared/myblas.c:78:18: note: You might need to cast the function pointer here lp_solve/shared/myblas.c:174:36: note: Parameter '_n' can be declared as pointer to const lp_solve/shared/myblas.c:174:46: style: Parameter '_da' can be declared as pointer to const. However it seems that 'my_daxpy' is a callback function, if '_da' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/shared/myblas.c:78:18: note: You might need to cast the function pointer here lp_solve/shared/myblas.c:174:46: note: Parameter '_da' can be declared as pointer to const lp_solve/shared/myblas.c:174:66: style: Parameter '_incx' can be declared as pointer to const. However it seems that 'my_daxpy' is a callback function, if '_incx' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/shared/myblas.c:78:18: note: You might need to cast the function pointer here lp_solve/shared/myblas.c:174:66: note: Parameter '_incx' can be declared as pointer to const lp_solve/shared/myblas.c:174:88: style: Parameter '_incy' can be declared as pointer to const. However it seems that 'my_daxpy' is a callback function, if '_incy' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/shared/myblas.c:78:18: note: You might need to cast the function pointer here lp_solve/shared/myblas.c:174:88: note: Parameter '_incy' can be declared as pointer to const lp_solve/shared/myblas.c:253:36: style: Parameter '_n' can be declared as pointer to const. However it seems that 'my_dcopy' is a callback function, if '_n' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/shared/myblas.c:77:18: note: You might need to cast the function pointer here lp_solve/shared/myblas.c:253:36: note: Parameter '_n' can be declared as pointer to const lp_solve/shared/myblas.c:253:55: style: Parameter '_incx' can be declared as pointer to const. However it seems that 'my_dcopy' is a callback function, if '_incx' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/shared/myblas.c:77:18: note: You might need to cast the function pointer here lp_solve/shared/myblas.c:253:55: note: Parameter '_incx' can be declared as pointer to const lp_solve/shared/myblas.c:253:77: style: Parameter '_incy' can be declared as pointer to const. However it seems that 'my_dcopy' is a callback function, if '_incy' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/shared/myblas.c:77:18: note: You might need to cast the function pointer here lp_solve/shared/myblas.c:253:77: note: Parameter '_incy' can be declared as pointer to const lp_solve/shared/myblas.c:340:36: style: Parameter '_n' can be declared as pointer to const. However it seems that 'my_dscal' is a callback function, if '_n' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/shared/myblas.c:76:18: note: You might need to cast the function pointer here lp_solve/shared/myblas.c:340:36: note: Parameter '_n' can be declared as pointer to const lp_solve/shared/myblas.c:340:46: style: Parameter '_da' can be declared as pointer to const. However it seems that 'my_dscal' is a callback function, if '_da' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/shared/myblas.c:76:18: note: You might need to cast the function pointer here lp_solve/shared/myblas.c:340:46: note: Parameter '_da' can be declared as pointer to const lp_solve/shared/myblas.c:340:66: style: Parameter '_incx' can be declared as pointer to const. However it seems that 'my_dscal' is a callback function, if '_incx' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/shared/myblas.c:76:18: note: You might need to cast the function pointer here lp_solve/shared/myblas.c:340:66: note: Parameter '_incx' can be declared as pointer to const lp_solve/shared/myblas.c:424:34: style: Parameter '_n' can be declared as pointer to const. However it seems that 'my_ddot' is a callback function, if '_n' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/shared/myblas.c:80:18: note: You might need to cast the function pointer here lp_solve/shared/myblas.c:424:34: note: Parameter '_n' can be declared as pointer to const lp_solve/shared/myblas.c:424:53: style: Parameter '_incx' can be declared as pointer to const. However it seems that 'my_ddot' is a callback function, if '_incx' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/shared/myblas.c:80:18: note: You might need to cast the function pointer here lp_solve/shared/myblas.c:424:53: note: Parameter '_incx' can be declared as pointer to const lp_solve/shared/myblas.c:424:75: style: Parameter '_incy' can be declared as pointer to const. However it seems that 'my_ddot' is a callback function, if '_incy' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/shared/myblas.c:80:18: note: You might need to cast the function pointer here lp_solve/shared/myblas.c:424:75: note: Parameter '_incy' can be declared as pointer to const lp_solve/shared/myblas.c:507:36: style: Parameter '_n' can be declared as pointer to const. However it seems that 'my_dswap' is a callback function, if '_n' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/shared/myblas.c:79:18: note: You might need to cast the function pointer here lp_solve/shared/myblas.c:507:36: note: Parameter '_n' can be declared as pointer to const lp_solve/shared/myblas.c:507:55: style: Parameter '_incx' can be declared as pointer to const. However it seems that 'my_dswap' is a callback function, if '_incx' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/shared/myblas.c:79:18: note: You might need to cast the function pointer here lp_solve/shared/myblas.c:507:55: note: Parameter '_incx' can be declared as pointer to const lp_solve/shared/myblas.c:507:77: style: Parameter '_incy' can be declared as pointer to const. However it seems that 'my_dswap' is a callback function, if '_incy' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/shared/myblas.c:79:18: note: You might need to cast the function pointer here lp_solve/shared/myblas.c:507:77: note: Parameter '_incy' can be declared as pointer to const lp_solve/shared/myblas.c:606:36: style: Parameter '_n' can be declared as pointer to const. However it seems that 'my_dload' is a callback function, if '_n' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/shared/myblas.c:82:18: note: You might need to cast the function pointer here lp_solve/shared/myblas.c:606:36: note: Parameter '_n' can be declared as pointer to const lp_solve/shared/myblas.c:606:46: style: Parameter '_da' can be declared as pointer to const. However it seems that 'my_dload' is a callback function, if '_da' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/shared/myblas.c:82:18: note: You might need to cast the function pointer here lp_solve/shared/myblas.c:606:46: note: Parameter '_da' can be declared as pointer to const lp_solve/shared/myblas.c:606:66: style: Parameter '_incx' can be declared as pointer to const. However it seems that 'my_dload' is a callback function, if '_incx' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/shared/myblas.c:82:18: note: You might need to cast the function pointer here lp_solve/shared/myblas.c:606:66: note: Parameter '_incx' can be declared as pointer to const lp_solve/shared/myblas.c:674:36: style: Parameter '_n' can be declared as pointer to const. However it seems that 'my_idamax' is a callback function, if '_n' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/shared/myblas.c:81:19: note: You might need to cast the function pointer here lp_solve/shared/myblas.c:674:36: note: Parameter '_n' can be declared as pointer to const lp_solve/shared/myblas.c:674:54: style: Parameter '_is' can be declared as pointer to const. However it seems that 'my_idamax' is a callback function, if '_is' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/shared/myblas.c:81:19: note: You might need to cast the function pointer here lp_solve/shared/myblas.c:674:54: note: Parameter '_is' can be declared as pointer to const lp_solve/shared/myblas.c:721:37: style: Parameter '_n' can be declared as pointer to const. However it seems that 'my_dnormi' is a callback function, if '_n' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/shared/myblas.c:83:19: note: You might need to cast the function pointer here lp_solve/shared/myblas.c:721:37: note: Parameter '_n' can be declared as pointer to const lp_solve/shared/myblas.c:721:47: style: Parameter 'x' can be declared as pointer to const. However it seems that 'my_dnormi' is a callback function, if 'x' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/shared/myblas.c:83:19: note: You might need to cast the function pointer here lp_solve/shared/myblas.c:721:47: note: Parameter 'x' can be declared as pointer to const lp_solve/lp_presolve.c:4276:12: style: Local variable 'scale' shadows outer function [shadowFunction] lp_solve/lp_scale.h:16:13: note: Shadowed declaration lp_solve/lp_presolve.c:4276:12: note: Shadow variable lp_solve/lp_presolve.c:5510:21: style: Local variable 'psdata' shadows outer variable [shadowVariable] lp_solve/lp_presolve.c:5416:16: note: Shadowed declaration lp_solve/lp_presolve.c:5510:21: note: Shadow variable lp_solve/lp_presolve.c:275:11: style: Variable 'list' can be declared as pointer to const [constVariablePointer] lp_solve/lp_presolve.c:344:38: style: Parameter 'lp' can be declared as pointer to const [constParameterPointer] lp_solve/lp_presolve.c:368:38: style: Parameter 'lp' can be declared as pointer to const [constParameterPointer] lp_solve/lp_presolve.c:377:42: style: Parameter 'lp' can be declared as pointer to const [constParameterPointer] lp_solve/lp_presolve.c:388:39: style: Parameter 'lp' can be declared as pointer to const [constParameterPointer] lp_solve/lp_presolve.c:462:38: style: Variable 'cols' can be declared as pointer to const [constVariablePointer] lp_solve/lp_presolve.c:725:8: style: Variable 'nzlist' can be declared as pointer to const [constVariablePointer] lp_solve/lp_presolve.c:1161:119: style: Parameter 'aval' can be declared as pointer to const [constParameterPointer] lp_solve/lp_presolve.c:1261:72: style: Parameter 'aval' can be declared as pointer to const [constParameterPointer] lp_solve/lp_presolve.c:2251:11: style: Variable 'mat' can be declared as pointer to const [constVariablePointer] lp_solve/lp_presolve.c:2581:97: style: Parameter 'mapin' can be declared as const array. However it seems that 'presolve_getcolumnEQ' is a callback function, if 'mapin' is declared with const you might also need to cast function pointer(s). [constParameterCallback] lp_solve/lp_presolve.c:2628:55: note: You might need to cast the function pointer here lp_solve/lp_presolve.c:2581:97: note: Parameter 'mapin' can be declared as const array lp_solve/lp_presolve.c:3436:13: style: Variable 'mat' can be declared as pointer to const [constVariablePointer] lp_solve/lp_presolve.c:3506:13: style: Variable 'lp' can be declared as pointer to const [constVariablePointer] lp_solve/lp_presolve.c:3607:72: style: Parameter 'filename' can be declared as pointer to const [constParameterPointer] lp_solve/lp_presolve.c:191:7: style: Variable 'k' is assigned a value that is never used. [unreadVariable] lp_solve/lp_presolve.c:1474:13: style: Variable 'LOold' is assigned a value that is never used. [unreadVariable] lp_solve/lp_presolve.c:1757:15: style: Variable 'LObound' is assigned a value that is never used. [unreadVariable] lp_solve/lp_presolve.c:1759:15: style: Variable 'UPbound' is assigned a value that is never used. [unreadVariable] lp_solve/lp_presolve.c:2569:9: style: Variable 'jx' is assigned a value that is never used. [unreadVariable] lp_solve/lp_presolve.c:5498:7: style: Variable 'i' is assigned a value that is never used. [unreadVariable] lp_solve/yacc_read.c:1111:22: style: Local variable 'col' shadows outer variable [shadowVariable] lp_solve/yacc_read.c:842:31: note: Shadowed declaration lp_solve/yacc_read.c:1111:22: note: Shadow variable lp_solve/yacc_read.c:1113:15: style: Local variable 'hp' shadows outer variable [shadowVariable] lp_solve/yacc_read.c:844:13: note: Shadowed declaration lp_solve/yacc_read.c:1113:15: note: Shadow variable lp_solve/yacc_read.c:168:47: style: Parameter 'name' can be declared as pointer to const [constParameterPointer] lp_solve/yacc_read.c:170:13: style: Variable 'hp' can be declared as pointer to const [constVariablePointer] lp_solve/yacc_read.c:209:47: style: Parameter 'name' can be declared as pointer to const [constParameterPointer] lp_solve/yacc_read.c:211:13: style: Variable 'hp' can be declared as pointer to const [constVariablePointer] lp_solve/yacc_read.c:229:45: style: Parameter 'name' can be declared as pointer to const [constParameterPointer] lp_solve/yacc_read.c:231:13: style: Variable 'hp' can be declared as pointer to const [constVariablePointer] lp_solve/yacc_read.c:254:48: style: Parameter 'name' can be declared as pointer to const [constParameterPointer] lp_solve/yacc_read.c:256:13: style: Variable 'hp' can be declared as pointer to const [constVariablePointer] lp_solve/yacc_read.c:290:47: style: Parameter 'name' can be declared as pointer to const [constParameterPointer] lp_solve/yacc_read.c:314:46: style: Parameter 'name' can be declared as pointer to const [constParameterPointer] lp_solve/yacc_read.c:455:40: style: Parameter 'variable' can be declared as pointer to const [constParameterPointer] lp_solve/yacc_read.c:459:13: style: Variable 'h_tab_p' can be declared as pointer to const [constVariablePointer] lp_solve/yacc_read.c:724:15: style: Variable 'h_tab_p' can be declared as pointer to const [constVariablePointer] lp_solve/yacc_read.c:808:37: style: Parameter 'name' can be declared as pointer to const [constParameterPointer] lp_solve/yacc_read.c:814:47: style: Parameter 'name' can be declared as pointer to const [constParameterPointer] lp_solve/yacc_read.c:817:13: style: Variable 'hp' can be declared as pointer to const [constVariablePointer] lp_solve/yacc_read.c:1113:15: style: Variable 'hp' can be declared as pointer to const [constVariablePointer] lp_solve/yacc_read.c:1249:10: style: Variable 'lp0' can be declared as pointer to const [constVariablePointer] lp_solve/yacc_read.c:1119:7: error: Memory is allocated but not initialized: sosvars [uninitdata] lp_solve/yacc_read.c:827:14: style: Variable 'hp' is assigned a value that is never used. [unreadVariable] lp_solve/lp_solve/lp_solve.c:105:53: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable DEF_OBJINBASIS [valueFlowBailoutIncompleteVar] lp_solve/lp_solve/lp_solve.c:265:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] lp_solve/lp_solve/lp_solve.c:290:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] lp_solve/lp_solve/lp_solve.c:295:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MSG_LPFEASIBLE [valueFlowBailoutIncompleteVar] lp_solve/lp_solve/lp_solve.c:321:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] lp_solve/lp_solve/lp_solve.c:515:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable DEF_INFINITE [valueFlowBailoutIncompleteVar] lp_solve/lp_solve/lp_solve.c:646:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FALSE [valueFlowBailoutIncompleteVar] lp_solve/lp_solve/lp_solve.c:683:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable INFEASIBLE [valueFlowBailoutIncompleteVar] lp_solve/lp_solve/lp_solve.c:900:63: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FALSE [valueFlowBailoutIncompleteVar] lp_solve/lp_solve/lp_solve.c:505:8: warning:inconclusive: If memory allocation fails, then there is a possible null pointer dereference: nz [nullPointerOutOfMemory] lp_solve/lp_solve/lp_solve.c:464:20: note: Assuming allocation function fails lp_solve/lp_solve/lp_solve.c:464:7: note: Assignment 'nz=(int*)malloc((1+((m)>(n)?(m):(n)))*sizeof(*RHSmin))', assigned value is 0 lp_solve/lp_solve/lp_solve.c:505:8: note: Null pointer dereference lp_solve/lp_solve/lp_solve.c:768:12: style: Variable 'ret' is reassigned a value before the old one has been used. [redundantAssignment] lp_solve/lp_solve/lp_solve.c:767:12: note: ret is assigned lp_solve/lp_solve/lp_solve.c:768:12: note: ret is overwritten lp_solve/lp_solve/lp_solve.c:814:17: style: Variable 'ret' is reassigned a value before the old one has been used. [redundantAssignment] lp_solve/lp_solve/lp_solve.c:813:17: note: ret is assigned lp_solve/lp_solve/lp_solve.c:814:17: note: ret is overwritten lp_solve/lp_solve/lp_solve.c:827:16: style: Variable 'ret' is reassigned a value before the old one has been used. [redundantAssignment] lp_solve/lp_solve/lp_solve.c:826:16: note: ret is assigned lp_solve/lp_solve/lp_solve.c:827:16: note: ret is overwritten lp_solve/lp_solve/lp_solve.c:829:16: style: Variable 'ret' is reassigned a value before the old one has been used. [redundantAssignment] lp_solve/lp_solve/lp_solve.c:827:16: note: ret is assigned lp_solve/lp_solve/lp_solve.c:829:16: note: ret is overwritten lp_solve/lp_solve/lp_solve.c:839:17: style: Variable 'ret' is reassigned a value before the old one has been used. [redundantAssignment] lp_solve/lp_solve/lp_solve.c:838:17: note: ret is assigned lp_solve/lp_solve/lp_solve.c:839:17: note: ret is overwritten lp_solve/lp_solve/lp_solve.c:42:23: style: Parameter 'argv' can be declared as const array [constParameter] lp_solve/lp_solve/lp_solve.c:279:27: style: Parameter 'val' can be declared as pointer to const [constParameterPointer] lp_solve/lp_solve/lp_solve.c:288:39: style: Parameter 'str' can be declared as pointer to const [constParameterPointer] lp_solve/lp_solve/lp_solve.c:414:42: style: Parameter 's' can be declared as pointer to const [constParameterPointer] lp_solve/lp_solve/lp_solve.c:414:51: style: Parameter 'minima' can be declared as pointer to const [constParameterPointer] lp_solve/lp_solve/lp_solve.c:414:65: style: Parameter 'maxima' can be declared as pointer to const [constParameterPointer] lp_solve/lp_solve/lp_solve.c:633:8: style: Variable 'name' can be declared as pointer to const [constVariablePointer] lp_solve/lp_solve/lp_solve.c:900:8: style: Variable 'filen' can be declared as pointer to const [constVariablePointer] lp_solve/lp_solve/lp_solve.c:939:8: style: Variable 'guessbasis' can be declared as pointer to const [constVariablePointer] lp_solve/lp_solve/lp_solve.c:284:6: style: Variable 'ord' is assigned a value that is never used. [unreadVariable] lp_solve/lp_solve/lp_solve.c:440:6: style: Variable 'n' is assigned a value that is never used. [unreadVariable] lp_solve/lp_solve/lp_solve.c:442:7: style: Variable 'n' is assigned a value that is never used. [unreadVariable] lp_solve/lp_solve/lp_solve.c:444:7: style: Variable 'n' is assigned a value that is never used. [unreadVariable] lp_solve/lp_solve/lp_solve.c:446:7: style: Variable 'n' is assigned a value that is never used. [unreadVariable] lp_solve/lp_solve/lp_solve.c:447:6: style: Variable 'n' is assigned a value that is never used. [unreadVariable] lp_solve/lp_solve/lp_solve.c:768:12: style: Variable 'ret' is assigned a value that is never used. [unreadVariable] lp_solve/lp_solve/lp_solve.c:814:17: style: Variable 'ret' is assigned a value that is never used. [unreadVariable] lp_solve/lp_solve/lp_solve.c:839:17: style: Variable 'ret' is assigned a value that is never used. [unreadVariable] lp_solve/lp_solve/lp_solve.c:850:17: style: Variable 'ret' is assigned a value that is never used. [unreadVariable] lp_solve/lp_solve/lp_solve.c:685:7: style: Unused variable: buf [unusedVariable] diff: head lp_solve/lp_Hash.c:182:14: style: Variable 'elem' can be declared as pointer to const [constVariablePointer] head lp_solve/lp_Hash.c:44:3: error: Memory leak: ht.table [memleak] head lp_solve/lp_MPS.c:548:69: style: Variable 'ptr' can be declared as pointer to const [constVariablePointer] head lp_solve/lp_SOS.c:44:3: error: Memory leak: group.sos_list [memleak] head lp_solve/lp_lib.c:8086:3: error: Memory leak: newitem.LOcost [memleak] head lp_solve/lp_lib.c:8086:3: error: Memory leak: newitem.UPcost [memleak] head lp_solve/lp_params.c:397:9: style: Variable 'ptr1' can be declared as pointer to const [constVariablePointer] head lp_solve/lp_presolve.c:2423:7: style: Variable 'je' is assigned an expression that holds the same value. [redundantAssignment] lp_solve/lp_presolve.c:2410:8: note: je is assigned 'mat->row_end[i]' here. lp_solve/lp_presolve.c:2423:7: note: Variable 'je' is assigned an expression that holds the same value. DONE