2021-10-21 00:24
ftp://ftp.de.debian.org/debian/pool/main/c/coinor-symphony/coinor-symphony_5.6.17+dfsg.orig.tar.xz
cppcheck-options: --library=posix --library=gnu  --showtime=top5 --check-library --inconclusive --enable=style,information --template=daca2 -D__GNUC__ --platform=unix64 -rp=temp
platform: Linux-5.10.0-9-amd64-x86_64-with-glibc2.31
python: 3.9.2
client-version: 1.3.15
compiler: g++ (Debian 10.2.1-6) 10.2.1 20210110
cppcheck: head 2.6
head-info: 257efb401 (2021-10-20 20:51:59 +0200)
count: 824 849
elapsed-time: 324.0 38.8
head-timing-info:
 Overall time: 0s

old-timing-info:
 Overall time: 0s

head results:
SYMPHONY-5.6.17/Applications/CNRP/src/Common/compute_cost.c:85:32: style: Parameter 'demand' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/CNRP/src/Common/compute_cost.c:147:38: style: Parameter 'demand' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/CNRP/src/Common/compute_cost.c:214:49: style: Parameter 'lamda' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/CNRP/src/Common/network.c:388:26: style: Variable 'verts[cur_node].comp' is reassigned a value before the old one has been used. [redundantAssignment]
SYMPHONY-5.6.17/Applications/CNRP/src/Common/network.c:385:26: note: verts[cur_node].comp is assigned
SYMPHONY-5.6.17/Applications/CNRP/src/Common/network.c:388:26: note: verts[cur_node].comp is overwritten
SYMPHONY-5.6.17/Applications/CNRP/src/Common/network.c:478:26: style: Variable 'verts[cur_node].comp' is reassigned a value before the old one has been used. [redundantAssignment]
SYMPHONY-5.6.17/Applications/CNRP/src/Common/network.c:475:26: note: verts[cur_node].comp is assigned
SYMPHONY-5.6.17/Applications/CNRP/src/Common/network.c:478:26: note: verts[cur_node].comp is overwritten
SYMPHONY-5.6.17/Applications/CNRP/src/Common/network.c:35:12: style: Parameter 'edges' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/CNRP/src/Common/network.c:35:27: style: Parameter 'demand' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/CNRP/src/Common/network.c:155:45: style: Parameter 'xval' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/CNRP/src/Common/network.c:156:25: style: Parameter 'demand' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/CNRP/src/Common/network.c:294:23: error: Uninitialized variable: nv0 [uninitvar]
SYMPHONY-5.6.17/Applications/CNRP/src/Common/network.c:294:29: error: Uninitialized variable: nv1 [uninitvar]
SYMPHONY-5.6.17/Applications/CNRP/src/Common/network.c:161:8: style: Variable 'nv0' is not assigned a value. [unassignedVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/Common/network.c:161:13: style: Variable 'nv1' is not assigned a value. [unassignedVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/Common/network.c:358:16: style: Variable 'cur_node' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/Common/network.c:448:16: style: Variable 'cur_node' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/CutPool/cnrp_cp.c:530:14: style: Parameter 'values' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/CNRP/src/CutPool/cnrp_cp.c:529:63: style: Parameter 'indices' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/CNRP/src/CutPool/cnrp_cp.c:152:14: style: Parameter 'values' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/CNRP/src/CutPool/cnrp_cp.c:151:62: style: Parameter 'indices' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/CNRP/src/CutPool/cnrp_cp.c:156:17: style: Unused variable: coef2 [unusedVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/CutPool/cnrp_cp.c:157:8: style: Unused variable: index [unusedVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/CutPool/cnrp_cp.c:160:11: style: Unused variable: j [unusedVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/CutPool/cnrp_cp.c:160:14: style: Unused variable: k [unusedVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/CutPool/cnrp_cp.c:160:17: style: Unused variable: cliquecount [unusedVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/CutPool/cnrp_cp.c:160:30: style: Unused variable: size [unusedVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/CutPool/cnrp_cp.c:161:10: style: Unused variable: clique_array [unusedVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/CutPool/cnrp_cp.c:165:30: style: Unused variable: matind [unusedVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/CutPool/cnrp_cp.c:165:39: style: Unused variable: arcs [unusedVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/CutPool/cnrp_cp.c:166:17: style: Unused variable: numarcs [unusedVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/CutPool/cnrp_cp.c:167:11: style: Unused variable: demand [unusedVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/CutPool/cnrp_cp.c:168:9: style: Unused variable: first_coeff_found [unusedVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/CutPool/cnrp_cp.c:168:28: style: Unused variable: second_coeff_found [unusedVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/CutPool/cnrp_cp.c:168:48: style: Unused variable: third_coeff_found [unusedVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/CutPool/cnrp_cp.c:168:67: style: Unused variable: d_x_vars [unusedVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/CutPool/cnrp_cp.c:535:12: style: Variable 'nv0' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/CutPool/cnrp_cp.c:535:21: style: Variable 'nv1' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/DrawGraph/cnrp_dg_network.c:257:11: style: Redundant initialization for 'gedges'. The initialized value is overwritten before it is read. [redundantInitialization]
SYMPHONY-5.6.17/Applications/CNRP/src/DrawGraph/cnrp_dg_network.c:230:25: note: gedges is initialized
SYMPHONY-5.6.17/Applications/CNRP/src/DrawGraph/cnrp_dg_network.c:257:11: note: gedges is overwritten
SYMPHONY-5.6.17/Applications/CNRP/src/DrawGraph/cnrp_dg_functions.c:290:25: style: Parameter 'userind' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/CNRP/src/DrawGraph/cnrp_dg_functions.c:291:15: style: Parameter 'value' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/CNRP/src/DrawGraph/cnrp_dg_functions.c:336:39: style: Parameter 'userind' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/CNRP/src/DrawGraph/cnrp_dg_functions.c:337:13: style: Parameter 'value' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/CNRP/src/DrawGraph/cnrp_dg_functions.c:422:63: style: Parameter 'tour' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/CNRP/src/DrawGraph/cnrp_dg_functions.c:143:15: style: Variable 's_bufid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/DrawGraph/cnrp_dg_functions.c:201:15: style: Variable 's_bufid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/DrawGraph/cnrp_dg_functions.c:228:15: style: Variable 's_bufid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/DrawGraph/cnrp_dg_functions.c:406:15: style: Variable 's_bufid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/DrawGraph/cnrp_dg_functions.c:432:15: style: Variable 's_bufid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/DrawGraph/cnrp_dg_functions.c:485:15: style: Variable 's_bufid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp_branch.c:333:10: style: Variable 'cut' is reassigned a value before the old one has been used. [redundantAssignment]
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp_branch.c:327:10: note: cut is assigned
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp_branch.c:333:10: note: cut is overwritten
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp_branch.c:225:4: style:inconclusive: Statements following return, break, continue, goto or throw will never be executed. [unreachableCode]
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp_branch.c:401:11: style: Local variable 'xind' shadows outer variable [shadowVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp_branch.c:120:9: note: Shadowed declaration
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp_branch.c:401:11: note: Shadow variable
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp_branch.c:402:14: style: Local variable 'xval' shadows outer variable [shadowVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp_branch.c:121:12: note: Shadowed declaration
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp_branch.c:402:14: note: Shadow variable
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp_branch.c:403:10: style: Local variable 'cnt' shadows outer variable [shadowVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp_branch.c:116:11: note: Shadowed declaration
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp_branch.c:403:10: note: Shadow variable
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp_branch.c:117:11: style: Variable 'lim' can be declared with const [constVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp_branch.c:98:18: style: Parameter 'slacks_in_matrix' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp_branch.c:465:54: style: Parameter 'values' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp_branch.c:611:33: error: Uninitialized variable: v0 [uninitvar]
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp_branch.c:611:37: error: Uninitialized variable: v1 [uninitvar]
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp_branch.c:58:20: style: Variable 'cnrp' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp.c:1272:28: error: Common realloc mistake: 'matind' nulled but not freed upon failure [memleakOnRealloc]
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp.c:1282:41: portability:inconclusive: Casting from double * to char * is not portable due to different binary data representations on different platforms. [invalidPointerCast]
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp.c:160:4: style:inconclusive: Statements following return, break, continue, goto or throw will never be executed. [unreachableCode]
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp.c:1324:4: style:inconclusive: Statements following return, break, continue, goto or throw will never be executed. [unreachableCode]
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp.c:155:45: style: Parameter 'indices' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp.c:1388:16: style: Parameter 'cuts' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp.c:367:16: error: Uninitialized variable: flow_capacity [uninitvar]
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp.c:169:11: style: Variable 'flow_capacity' is not assigned a value. [unassignedVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp.c:540:22: style: Variable 'fixed_cost' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp.c:540:43: style: Variable 'variable_cost' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp.c:544:18: style: Variable 'd_x_vars' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp.c:610:10: style: Variable 'verts' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp.c:769:7: style: Unused variable: index [unusedVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp.c:770:10: style: Unused variable: demand [unusedVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp.c:772:24: style: Unused variable: matind_across [unusedVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp.c:772:40: style: Unused variable: matind_side [unusedVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp.c:779:23: style: Unused variable: first_coeff_found [unusedVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp.c:779:42: style: Unused variable: second_coeff_found [unusedVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp.c:779:62: style: Unused variable: third_coeff_found [unusedVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp.c:1308:34: style: Variable 'capacity' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp.c:1309:18: style: Variable 'numchains' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp.c:1312:15: style: Variable 'edges' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp.c:1313:18: style: Variable 'fixed_num' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp.c:1604:17: style: Variable 'cur_node' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/Master/cnrp_main.c:558:22: style: Local variable 'cnrp' shadows outer variable [shadowVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/Master/cnrp_main.c:507:18: note: Shadowed declaration
SYMPHONY-5.6.17/Applications/CNRP/src/Master/cnrp_main.c:558:22: note: Shadow variable
SYMPHONY-5.6.17/Applications/CNRP/src/Master/cnrp_main.c:175:9: style: Variable 'vars' can be declared with const [constVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/Master/cnrp_main.c:319:11: error: Uninitialized variable: flow_capacity [uninitvar]
SYMPHONY-5.6.17/Applications/CNRP/src/Master/cnrp_main.c:263:35: error: Uninitialized variable: vars [uninitvar]
SYMPHONY-5.6.17/Applications/CNRP/src/Master/cnrp_main.c:263:40: error: Uninitialized variable: varindex [uninitvar]
SYMPHONY-5.6.17/Applications/CNRP/src/Master/cnrp_main.c:238:32: style: Variable 'rngval' is allocated memory that is never used. [unusedAllocatedMemory]
SYMPHONY-5.6.17/Applications/CNRP/src/Master/cnrp_main.c:173:11: style: Variable 'flow_capacity' is not assigned a value. [unassignedVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/Master/cnrp_main.c:175:9: style: Variable 'vars' is not assigned a value. [unassignedVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/Master/cnrp_main.c:175:15: style: Unused variable: phase [unusedVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/Master/cnrp_main.c:175:22: style: Variable 'varindex' is not assigned a value. [unassignedVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/Master/cnrp_main.c:462:8: style: Unused variable: termcode [unusedVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/Master/cnrp_master.c:225:37: style:inconclusive: Same expression used in consecutive assignments of 'maxx' and 'maxy'. [duplicateAssignExpression]
SYMPHONY-5.6.17/Applications/CNRP/src/Master/cnrp_master.c:225:51: note: Same expression used in consecutive assignments of 'maxx' and 'maxy'.
SYMPHONY-5.6.17/Applications/CNRP/src/Master/cnrp_master.c:225:37: note: Same expression used in consecutive assignments of 'maxx' and 'maxy'.
SYMPHONY-5.6.17/Applications/CNRP/src/Master/cnrp_master.c:617:14: style: Variable 'tree' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/Master/cnrp_master.c:618:17: style: Variable 'cur_vert' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/Master/cnrp_master.c:623:15: style: Variable 'window' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/Master/cnrp_master.c:625:22: style: Variable 'total_edgenum' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/Master/cnrp_master.c:617:36: style: Unused variable: node [unusedVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/Master/cnrp_master.c:617:42: style: Unused variable: prev_node [unusedVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/Master/cnrp_master.c:624:33: style: Unused variable: v0 [unusedVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/Master/cnrp_master.c:624:37: style: Unused variable: v1 [unusedVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/CutGen/shrink.c:223:14: style: Parameter 'compnodes' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/CNRP/src/CutGen/shrink.c:225:17: style: Parameter 'demand' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/CNRP/src/CutGen/shrink.c:497:33: style: Parameter 'compnodes' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/CNRP/src/CutGen/shrink.c:500:35: style: Parameter 'demand' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/CNRP/src/CutGen/shrink.c:837:14: style: Parameter 'demand' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/CNRP/src/CutGen/shrink.c:1001:48: style: Parameter 'demand' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/CNRP/src/CutGen/shrink.c:1186:14: style: Parameter 'demand' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/CNRP/src/CutGen/shrink.c:79:18: style: Variable 'num_edges' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/CutGen/shrink.c:80:22: style: Variable 'edges_deleted' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/CutGen/shrink.c:237:57: style: Variable 'end' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/MATCH/src/CutGen/user_cg.c:90:11: portability:inconclusive: Casting from double * * to char * is not portable due to different binary data representations on different platforms. [invalidPointerCast]
SYMPHONY-5.6.17/Applications/MATCH/src/CutGen/user_cg.c:71:37: style: Parameter 'indices' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/MATCH/src/CutGen/user_cg.c:71:54: style: Parameter 'values' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/CNRP/src/Master/cnrp_io.c:167:6: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/Applications/CNRP/src/Master/cnrp_io.c:189:7: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/Applications/CNRP/src/Master/cnrp_io.c:195:2: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/Applications/CNRP/src/Master/cnrp_io.c:268:2: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/Applications/CNRP/src/Master/cnrp_io.c:277:2: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/Applications/CNRP/src/Master/cnrp_io.c:286:2: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/Applications/CNRP/src/Master/cnrp_io.c:505:2: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/Applications/CNRP/src/Master/cnrp_io.c:709:7: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/Applications/CNRP/src/Master/cnrp_io.c:759:6: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/Applications/CNRP/src/Master/cnrp_io.c:174:2: style: Statements following return, break, continue, goto or throw will never be executed. [unreachableCode]
SYMPHONY-5.6.17/Applications/MATCH/src/Master/user_master.c:376:71: style: Parameter 'indices' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/MATCH/src/Master/user_master.c:377:14: style: Parameter 'values' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/MATCH/src/Master/user_master.c:81:10: style: Unused variable: f [unusedVariable]
SYMPHONY-5.6.17/Applications/MATCH/src/Master/user_master.c:82:9: style: Unused variable: line [unusedVariable]
SYMPHONY-5.6.17/Applications/MATCH/src/Master/user_master.c:82:19: style: Unused variable: key [unusedVariable]
SYMPHONY-5.6.17/Applications/MATCH/src/Master/user_master.c:82:28: style: Unused variable: value [unusedVariable]
SYMPHONY-5.6.17/Applications/MATCH/src/Master/user_master.c:273:23: style: Variable 'prob' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/MATCH/src/Master/user_master.c:310:23: style: Variable 'prob' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/CutGen/cnrp_cg.c:759:3: warning: Assignment of function parameter has no effect outside the function. Did you forget dereferencing it? [uselessAssignmentPtrArg]
SYMPHONY-5.6.17/Applications/MATCH/src/Master/user_main.c:45:11: style: Unused variable: infile [unusedVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/CutGen/cnrp_cg.c:447:8: style: The if condition is the same as the previous if condition [duplicateCondition]
SYMPHONY-5.6.17/Applications/CNRP/src/CutGen/cnrp_cg.c:343:8: note: First condition
SYMPHONY-5.6.17/Applications/CNRP/src/CutGen/cnrp_cg.c:447:8: note: Second condition
SYMPHONY-5.6.17/Applications/CNRP/src/CutGen/cnrp_cg.c:712:14: portability:inconclusive: Casting from double * to char * is not portable due to different binary data representations on different platforms. [invalidPointerCast]
SYMPHONY-5.6.17/Applications/MPP/src/CutGen/mpp_cg.c:67:37: style: Parameter 'indices' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/MPP/src/CutGen/mpp_cg.c:67:54: style: Parameter 'values' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/MPP/src/CutGen/mpp_cg.c:73:56: style: Variable 'num_cuts' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/MPP/src/CutGen/mpp_cg.c:76:15: style: Variable 'storer' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/MPP/src/CutGen/mpp_cg.c:76:28: style: Variable 'counter' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/MPP/src/CutGen/mpp_cg.c:76:40: style: Variable 'cursor' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/MPP/src/CutGen/mpp_cg.c:77:17: style: Variable 'new_node' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/MPP/src/CutGen/mpp_cg.c:77:40: style: Variable 'current_component' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/MPP/src/CutGen/mpp_cg.c:73:27: style: Unused variable: odd_nodes [unusedVariable]
SYMPHONY-5.6.17/Applications/MPP/src/CutGen/mpp_cg.c:73:44: style: Unused variable: k [unusedVariable]
SYMPHONY-5.6.17/Applications/MPP/src/CutGen/mpp_cg.c:83:10: style: Unused variable: chararray [unusedVariable]
SYMPHONY-5.6.17/Applications/MPP/src/CutGen/mpp_cg.c:84:11: style: Unused variable: holder2 [unusedVariable]
SYMPHONY-5.6.17/Applications/MPP/src/CutGen/mpp_cg.c:85:8: style: Unused variable: exiter [unusedVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/CutGen/cnrp_cg.c:228:10: style: Unused variable: edge1 [unusedVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/CutGen/cnrp_cg.c:799:17: style: Variable 'weight' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/CutGen/cnrp_cg.c:802:16: style: Variable 'cur_vert' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/CutGen/cnrp_cg.c:802:41: style: Variable 'cust_num' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/CutGen/cnrp_cg.c:971:17: style: Variable 'weight' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/CutGen/cnrp_cg.c:974:16: style: Variable 'cur_vert' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/CNRP/src/CutGen/cnrp_cg.c:974:41: style: Variable 'cust_num' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/MPP/src/Master/mpp_master.c:94:3: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/Applications/MPP/src/Master/mpp_master.c:171:4: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/Applications/MPP/src/Master/mpp_master.c:181:4: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/Applications/MPP/src/Master/mpp_master.c:191:4: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/Applications/MPP/src/Master/mpp_master.c:365:21: style: Variable 'mpp' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/MPP/src/Master/mpp_master.c:395:21: style: Variable 'mpp' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/MPP/src/Master/mpp_master.c:431:21: style: Variable 'mpp' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/MPP/src/LP/mpp_lp.c:272:25: error: Common realloc mistake: 'matind' nulled but not freed upon failure [memleakOnRealloc]
SYMPHONY-5.6.17/Applications/SPP+CUTS/src/CutGen/spp_cg_clique.c:278:12: portability:inconclusive: Casting from double * to char * is not portable due to different binary data representations on different platforms. [invalidPointerCast]
SYMPHONY-5.6.17/Applications/SPP+CUTS/src/CutGen/spp_cg_clique.c:293:35: style: Parameter 'current_degrees' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/SPP+CUTS/src/CutGen/spp_cg_clique.c:294:16: style: Parameter 'current_values' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/SPP+CUTS/src/CutGen/spp_cg.c:177:11: style: The if condition is the same as the previous if condition [duplicateCondition]
SYMPHONY-5.6.17/Applications/SPP+CUTS/src/CutGen/spp_cg.c:166:11: note: First condition
SYMPHONY-5.6.17/Applications/SPP+CUTS/src/CutGen/spp_cg.c:177:11: note: Second condition
SYMPHONY-5.6.17/Applications/SPP+CUTS/src/CutGen/spp_cg.c:325:27: style: Parameter 'values' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/SPP+CUTS/src/CutGen/spp_cg.c:54:24: style: Unused variable: info [unusedVariable]
SYMPHONY-5.6.17/Applications/SPP+CUTS/src/CutGen/spp_cg.c:460:12: style: Variable 'edgenum' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/SPP+CUTS/src/LP/spp_lp.c:49:16: style: Unused variable: info [unusedVariable]
SYMPHONY-5.6.17/Applications/SPP+CUTS/src/LP/spp_lp.c:218:21: style: Variable 'one_row_only' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/SPP+CUTS/src/LP/spp_lp.c:217:11: style: Unused variable: j [unusedVariable]
SYMPHONY-5.6.17/Applications/SPP+CUTS/src/LP/spp_lp.c:217:14: style: Unused variable: count [unusedVariable]
SYMPHONY-5.6.17/Applications/SPP+CUTS/src/LP/spp_lp.c:217:21: style: Unused variable: new_cutnum [unusedVariable]
SYMPHONY-5.6.17/Applications/SPP+CUTS/src/LP/spp_lp.c:217:34: style: Unused variable: lifted_cutnum [unusedVariable]
SYMPHONY-5.6.17/Applications/SPP+CUTS/src/LP/spp_lp_functions.c:455:71: style: Parameter 'dj' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/SPP+CUTS/src/LP/spp_lp_functions.c:340:20: error: Uninitialized variable: p [uninitvar]
SYMPHONY-5.6.17/Applications/SPP+CUTS/src/LP/spp_lp_functions.c:61:12: style: Variable 'nzbd' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/SPP+CUTS/src/LP/spp_lp_functions.c:66:12: style: Variable 'nzbd' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/SPP+CUTS/src/LP/spp_lp_functions.c:351:6: style: Variable 'ub' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/SPP+CUTS/src/LP/spp_lp_functions.c:353:6: style: Variable 'ub' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/SPP+CUTS/src/Master/spp_master.c:434:11: style: Parameter 'indices' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/SPP+CUTS/src/Master/spp_master.c:254:26: style: Parameter 'indices' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/SPP+CUTS/src/Master/spp_master.c:91:10: style: Unused variable: f [unusedVariable]
SYMPHONY-5.6.17/Applications/SPP+CUTS/src/Master/spp_master.c:92:9: style: Unused variable: line [unusedVariable]
SYMPHONY-5.6.17/Applications/SPP+CUTS/src/Master/spp_master.c:92:19: style: Unused variable: key [unusedVariable]
SYMPHONY-5.6.17/Applications/SPP+CUTS/src/Master/spp_master.c:92:28: style: Unused variable: value [unusedVariable]
SYMPHONY-5.6.17/Applications/SPP+CUTS/src/Master/spp_master.c:380:8: style: Unused variable: info [unusedVariable]
SYMPHONY-5.6.17/Applications/SPP+CUTS/src/CutGen/spp_cg_functions.c:122:11: portability: Casting from double * to signed int * is not portable due to different binary data representations on different platforms. [invalidPointerCast]
SYMPHONY-5.6.17/Applications/SPP+CUTS/src/CutGen/spp_cg_functions.c:143:14: portability: Casting from double * to signed int * is not portable due to different binary data representations on different platforms. [invalidPointerCast]
SYMPHONY-5.6.17/Applications/SPP+CUTS/src/CutGen/spp_cg_functions.c:736:11: portability: Casting from double * to signed int * is not portable due to different binary data representations on different platforms. [invalidPointerCast]
SYMPHONY-5.6.17/Applications/SPP+CUTS/src/CutGen/spp_cg_functions.c:758:14: portability: Casting from double * to signed int * is not portable due to different binary data representations on different platforms. [invalidPointerCast]
SYMPHONY-5.6.17/Applications/SPP+CUTS/src/CutGen/spp_cg_functions.c:797:15: style: Parameter 'oah' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/SPP+CUTS/src/Master/spp_master_functions.c:76:7: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/Applications/SPP/src/LP/spp_lp.c:48:16: style: Unused variable: info [unusedVariable]
SYMPHONY-5.6.17/Applications/SPP/src/Master/spp_master.c:243:26: style: Parameter 'indices' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/SPP/src/Master/spp_master.c:370:11: style: Parameter 'indices' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/USER/src/CutGen/user_cg.c:69:23: style: Variable 'prob' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/USER/src/CutPool/user_cp.c:67:23: style: Variable 'prob' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/USER/src/LP/user_lp.c:56:23: style: Variable 'prob' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/USER/src/Master/user_master.c:203:23: style: Variable 'prob' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/USER/src/Master/user_master.c:218:23: style: Variable 'prob' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/USER/src/Master/user_master.c:295:23: style: Variable 'prob' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/USER/src/Master/user_master.c:316:23: style: Variable 'prob' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/USER/src/Master/user_master.c:353:23: style: Variable 'prob' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/USER/src/Master/user_master.c:396:23: style: Variable 'prob' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Common/compute_cost.c:85:26: style: Parameter 'demand' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/VRP/src/Common/compute_cost.c:147:38: style: Parameter 'demand' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/VRP/src/Common/compute_cost.c:214:49: style: Parameter 'lamda' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/SPP/src/Master/spp_master_functions.c:57:7: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/Applications/VRP/src/Common/network.c:307:26: style: Variable 'verts[cur_node].comp' is reassigned a value before the old one has been used. [redundantAssignment]
SYMPHONY-5.6.17/Applications/VRP/src/Common/network.c:304:26: note: verts[cur_node].comp is assigned
SYMPHONY-5.6.17/Applications/VRP/src/Common/network.c:307:26: note: verts[cur_node].comp is overwritten
SYMPHONY-5.6.17/Applications/VRP/src/Common/network.c:35:11: style: Parameter 'edges' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/VRP/src/Common/network.c:35:23: style: Parameter 'demand' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/VRP/src/Common/network.c:144:11: style: Parameter 'edges' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/VRP/src/Common/network.c:144:23: style: Parameter 'demand' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/VRP/src/Common/network.c:277:16: style: Variable 'cur_node' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/MCKP/mckp_main.c:330:7: warning: fprintf format string requires 0 parameters but 1 is given. [wrongPrintfScanfArgNum]
SYMPHONY-5.6.17/Applications/MCKP/mckp_main.c:334:7: warning: fprintf format string requires 0 parameters but 1 is given. [wrongPrintfScanfArgNum]
SYMPHONY-5.6.17/Applications/MCKP/mckp_main.c:396:8: warning: fprintf format string requires 0 parameters but 1 is given. [wrongPrintfScanfArgNum]
SYMPHONY-5.6.17/Applications/MCKP/mckp_main.c:407:4: warning: fprintf format string requires 0 parameters but 1 is given. [wrongPrintfScanfArgNum]
SYMPHONY-5.6.17/Applications/MCKP/mckp_main.c:422:7: warning: fprintf format string requires 0 parameters but 1 is given. [wrongPrintfScanfArgNum]
SYMPHONY-5.6.17/Applications/MCKP/mckp_main.c:442:7: warning: fprintf format string requires 0 parameters but 1 is given. [wrongPrintfScanfArgNum]
SYMPHONY-5.6.17/Applications/MCKP/mckp_main.c:381:7: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/Applications/MCKP/mckp_main.c:385:6: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/Applications/MCKP/mckp_main.c:389:5: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/Applications/MCKP/mckp_main.c:405:8: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/Applications/MCKP/mckp_main.c:413:4: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/Applications/MCKP/mckp_main.c:432:4: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/Applications/MCKP/mckp_main.c:509:7: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/Applications/MCKP/mckp_main.c:343:66: style: Parameter 'num_items' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/MCKP/mckp_main.c:213:9: style: Unused variable: line [unusedVariable]
SYMPHONY-5.6.17/Applications/MCKP/mckp_main.c:352:41: style: Variable 'count' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/MCKP/mckp_main.c:374:8: style: Variable 'cap' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/MCKP/mckp_main.c:490:23: style: Unused variable: line1 [unusedVariable]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/decomp_lower_bound.c:106:73: style: Clarify calculation precedence for '-' and '?'. [clarifyCalculation]
SYMPHONY-5.6.17/Applications/MCKP/mckp_main.c:618:23: style: Unused variable: line1 [unusedVariable]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/decomp_lower_bound.c:318:52: style: Parameter 'edge_costs' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/MCKP/mckp_main.c:621:12: style: Unused variable: cap [unusedVariable]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/decomp_lower_bound.c:372:40: style: Parameter 'tree' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/MCKP/mckp_main.c:623:9: style: Unused variable: key [unusedVariable]
SYMPHONY-5.6.17/Applications/MCKP/mckp_main.c:624:8: style: Unused variable: i [unusedVariable]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/decomp_lower_bound.c:170:20: style: Variable 'depot_degree' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/decomp_lower_bound.c:171:29: style: Variable 'last' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/decomp_lower_bound.c:332:15: style: Variable 'cost' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/decomp_lower_bound.c:333:11: style: Variable 'pos' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/MinCut/capforest.c:41:8: warning: Possible null pointer dereference: nv [nullPointer]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/MinCut/capforest.c:16:25: note: Assignment 'nv=NULL', assigned value is 0
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/MinCut/capforest.c:26:14: note: Assuming condition is false
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/MinCut/capforest.c:41:8: note: Null pointer dereference
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/decomp_user.c:209:9: style: Redundant initialization for 'coef'. The initialized value is overwritten before it is read. [redundantInitialization]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/decomp_user.c:180:14: note: coef is initialized
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/decomp_user.c:209:9: note: coef is overwritten
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/shrink.c:158:14: style: Parameter 'demand' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/shrink.c:276:33: style: Parameter 'compnodes' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/shrink.c:425:11: style: Parameter 'demand' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/shrink.c:279:35: style: Parameter 'demand' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/shrink.c:747:11: style: Parameter 'demand' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/shrink.c:581:48: style: Parameter 'demand' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/shrink.c:156:14: style: Parameter 'compnodes' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/shrink.c:55:18: style: Variable 'num_edges' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/shrink.c:56:22: style: Variable 'edges_deleted' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/shrink.c:170:57: style: Variable 'end' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/CutPool/vrp_cp.c:236:14: portability:inconclusive: Casting from double * to char * is not portable due to different binary data representations on different platforms. [invalidPointerCast]
SYMPHONY-5.6.17/Applications/VRP/src/CutPool/vrp_cp.c:310:14: portability:inconclusive: Casting from double * to char * is not portable due to different binary data representations on different platforms. [invalidPointerCast]
SYMPHONY-5.6.17/Applications/VRP/src/CutPool/vrp_cp.c:128:62: style: Parameter 'indices' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/VRP/src/CutPool/vrp_cp.c:358:65: style: Parameter 'indices' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/VRP/src/CutPool/vrp_cp.c:359:14: style: Parameter 'values' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/VRP/src/CutPool/vrp_cp.c:364:12: style: Variable 'nv0' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/CutPool/vrp_cp.c:364:21: style: Variable 'nv1' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/DrawGraph/vrp_dg_functions.c:325:63: style: Parameter 'tour' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/VRP/src/DrawGraph/vrp_dg_functions.c:140:15: style: Variable 's_bufid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/DrawGraph/vrp_dg_functions.c:198:15: style: Variable 's_bufid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/DrawGraph/vrp_dg_functions.c:225:15: style: Variable 's_bufid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/DrawGraph/vrp_dg_functions.c:255:15: style: Variable 's_bufid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/DrawGraph/vrp_dg_functions.c:309:15: style: Variable 's_bufid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/DrawGraph/vrp_dg_functions.c:335:15: style: Variable 's_bufid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/DrawGraph/vrp_dg_functions.c:388:15: style: Variable 's_bufid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/DrawGraph/vrp_dg_network.c:258:11: style: Redundant initialization for 'gedges'. The initialized value is overwritten before it is read. [redundantInitialization]
SYMPHONY-5.6.17/Applications/VRP/src/DrawGraph/vrp_dg_network.c:231:25: note: gedges is initialized
SYMPHONY-5.6.17/Applications/VRP/src/DrawGraph/vrp_dg_network.c:258:11: note: gedges is overwritten
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/vrp_cg.c:337:40: portability:inconclusive: Casting from double * to char * is not portable due to different binary data representations on different platforms. [invalidPointerCast]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/vrp_cg.c:338:12: portability:inconclusive: Casting from double * to char * is not portable due to different binary data representations on different platforms. [invalidPointerCast]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/vrp_cg.c:149:24: style: Variable 'vrp' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/vrp_cg.c:563:12: style: Variable 'density' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/vrp_cg.c:822:14: style: Variable 'weight' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/vrp_cg.c:824:16: style: Variable 'cur_vert' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/vrp_cg.c:824:41: style: Variable 'cust_num' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/MinCut/min_cut.c:229:10: warning: Identical inner 'if' condition is always true. [identicalInnerCondition]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/MinCut/min_cut.c:227:32: note: outer condition: cur_edge1
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/MinCut/min_cut.c:229:10: note: identical inner condition: cur_edge1
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/MinCut/min_cut.c:738:10: warning: Identical inner 'if' condition is always true. [identicalInnerCondition]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/MinCut/min_cut.c:736:32: note: outer condition: cur_edge1
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/MinCut/min_cut.c:738:10: note: identical inner condition: cur_edge1
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/MinCut/min_cut.c:36:15: style: Variable 'max_q' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/MinCut/min_cut.c:780:7: style: Variable 'np' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/MinCut/min_cut.c:784:7: style: Variable 'np' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/exchange.c:123:35: style:inconclusive: Boolean expression 'v0!=cur_node' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/exchange.c:152:35: style:inconclusive: Boolean expression 'v0!=cur_node' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/exchange.c:171:35: style:inconclusive: Boolean expression 'v0!=cur_node' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/exchange.c:29:19: style: Variable 'max_savings' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/exchange.c:37:9: style: Variable 'mytid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/ins_routines.c:321:16: style: Variable 'cur_node' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/ins_routines.c:321:32: style: Variable 'other_node' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/ins_routines2.c:220:12: style: Variable 'cost' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/ins_routines2.c:223:18: style: Unused variable: r_bufid [unusedVariable]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:2121:16: portability:inconclusive: Casting from double * to char * is not portable due to different binary data representations on different platforms. [invalidPointerCast]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/ins_routines2.c:223:35: style: Unused variable: info [unusedVariable]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:2416:10: portability:inconclusive: Casting from double * to char * is not portable due to different binary data representations on different platforms. [invalidPointerCast]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:566:15: style: Variable 'cpx_status' is reassigned a value before the old one has been used. [redundantAssignment]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:565:15: note: cpx_status is assigned
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:566:15: note: cpx_status is overwritten
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:568:15: style: Variable 'cpx_status' is reassigned a value before the old one has been used. [redundantAssignment]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:566:15: note: cpx_status is assigned
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:568:15: note: cpx_status is overwritten
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:569:15: style: Variable 'cpx_status' is reassigned a value before the old one has been used. [redundantAssignment]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:568:15: note: cpx_status is assigned
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:569:15: note: cpx_status is overwritten
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:570:15: style: Variable 'cpx_status' is reassigned a value before the old one has been used. [redundantAssignment]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:569:15: note: cpx_status is assigned
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:570:15: note: cpx_status is overwritten
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:2333:14: style: Variable 'cpx_status' is reassigned a value before the old one has been used. [redundantAssignment]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:2332:14: note: cpx_status is assigned
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:2333:14: note: cpx_status is overwritten
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:2335:14: style: Variable 'cpx_status' is reassigned a value before the old one has been used. [redundantAssignment]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:2333:14: note: cpx_status is assigned
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:2335:14: note: cpx_status is overwritten
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:2336:14: style: Variable 'cpx_status' is reassigned a value before the old one has been used. [redundantAssignment]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:2335:14: note: cpx_status is assigned
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:2336:14: note: cpx_status is overwritten
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:2337:14: style: Variable 'cpx_status' is reassigned a value before the old one has been used. [redundantAssignment]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:2336:14: note: cpx_status is assigned
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:2337:14: note: cpx_status is overwritten
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:2309:43: error: Expression 'sort_order[i]=i++' depends on order of evaluation of side effects [unknownEvaluationOrder]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:826:43: style: Parameter 'tour' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:2142:32: style: Parameter 'row_edges' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:2221:64: style: Parameter 'row_edges' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:2277:13: style: Parameter 'row_edges' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:31:11: style: Unused variable: prev_neighbor [unusedVariable]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:31:26: style: Unused variable: v1 [unusedVariable]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:31:30: style: Unused variable: v2 [unusedVariable]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:31:34: style: Unused variable: count [unusedVariable]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:32:14: style: Unused variable: e1 [unusedVariable]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:32:19: style: Unused variable: neighbor_elist [unusedVariable]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:33:31: style: Unused variable: nv [unusedVariable]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:33:36: style: Unused variable: neighbor [unusedVariable]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:37:8: style: Unused variable: total_edge_cost [unusedVariable]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:452:13: style: Variable 'node_num' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:508:13: style: Variable 'cur_edge' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:570:15: style: Variable 'cpx_status' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:2337:14: style: Variable 'cpx_status' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:2644:19: style: Variable 'name1' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:2642:10: style: Unused variable: f [unusedVariable]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:2643:11: style: Unused variable: j [unusedVariable]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:2643:14: style: Unused variable: termcode [unusedVariable]
SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:2643:24: style: Unused variable: stat [unusedVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/mst_ins_rout.c:239:28: style: Parameter 'tree' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/mst_ins_rout.c:38:20: style: Variable 'depot_degree' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/mst_ins_rout.c:39:39: style: Variable 'last' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/mst_ins_rout.c:199:12: style: Variable 'cost' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/mst_ins_rout.c:200:11: style: Variable 'pos' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/mst_ins_rout.c:268:14: style: Variable 'multiplier' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/near_cluster.c:36:9: style: Variable 'mytid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/near_cluster.c:38:9: style: Variable 'tours' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/s_path.c:34:20: style: Parameter 'adj' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/savings.c:51:9: style: Variable 'mytid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/mst.c:38:9: style: Variable 'mytid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/savings_rout.c:88:20: style: Parameter 'intour' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/savings_rout.c:121:38: style: Parameter 'intour' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/savings_rout.c:90:42: style: Variable 'count' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/savings_rout.c:124:10: style: Variable 'v0' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/savings2.c:62:9: style: Variable 'mytid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/savings_rout3.c:41:24: style: Parameter 'demand' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/savings_rout2.c:232:21: style: Parameter 'intour' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/savings_rout2.c:137:23: style: Variable 'temp_savings' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/savings_rout2.c:145:28: style: Variable 'temp_savings' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/sp.c:29:20: style: Parameter 'adj' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/sweep.c:112:9: style: Variable 'mytid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/tsp_fi.c:91:4: warning:inconclusive: Either the condition 'intour' is redundant or there is possible null pointer dereference: intour. [nullPointerRedundantCheck]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/tsp_fi.c:138:9: note: Assuming that condition 'intour' is not redundant
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/tsp_fi.c:91:4: note: Null pointer dereference
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/tsp_fi.c:92:4: warning:inconclusive: Either the condition 'intour' is redundant or there is possible null pointer dereference: intour. [nullPointerRedundantCheck]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/tsp_fi.c:138:9: note: Assuming that condition 'intour' is not redundant
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/tsp_fi.c:92:4: note: Null pointer dereference
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/tsp_fi.c:95:4: warning:inconclusive: Either the condition 'intour' is redundant or there is possible null pointer dereference: intour. [nullPointerRedundantCheck]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/tsp_fi.c:138:9: note: Assuming that condition 'intour' is not redundant
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/tsp_fi.c:95:4: note: Null pointer dereference
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/tsp_fi.c:134:24: warning: Either the condition 'opt_tours' is redundant or there is possible null pointer dereference: opt_tours. [nullPointerRedundantCheck]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/tsp_fi.c:139:9: note: Assuming that condition 'opt_tours' is not redundant
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/tsp_fi.c:134:24: note: Null pointer dereference
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/tsp_ins_rout.c:266:14: style: Variable 'change' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/exchange2.c:30:19: style: Variable 'max_savings' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/exchange2.c:39:9: style: Variable 'mytid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/tsp_fini.c:162:24: warning: Either the condition 'opt_tours' is redundant or there is possible null pointer dereference: opt_tours. [nullPointerRedundantCheck]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/tsp_fini.c:167:9: note: Assuming that condition 'opt_tours' is not redundant
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/tsp_fini.c:162:24: note: Null pointer dereference
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/tsp_fini.c:48:10: style: Variable 'mytid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/tsp_ni.c:91:3: warning:inconclusive: Either the condition 'intour' is redundant or there is possible null pointer dereference: intour. [nullPointerRedundantCheck]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/tsp_ni.c:138:8: note: Assuming that condition 'intour' is not redundant
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/tsp_ni.c:91:3: note: Null pointer dereference
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/tsp_ni.c:92:3: warning:inconclusive: Either the condition 'intour' is redundant or there is possible null pointer dereference: intour. [nullPointerRedundantCheck]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/tsp_ni.c:138:8: note: Assuming that condition 'intour' is not redundant
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/tsp_ni.c:92:3: note: Null pointer dereference
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/tsp_ni.c:95:3: warning:inconclusive: Either the condition 'intour' is redundant or there is possible null pointer dereference: intour. [nullPointerRedundantCheck]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/tsp_ni.c:138:8: note: Assuming that condition 'intour' is not redundant
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/tsp_ni.c:95:3: note: Null pointer dereference
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/tsp_ni.c:134:23: warning: Either the condition 'opt_tours' is redundant or there is possible null pointer dereference: opt_tours. [nullPointerRedundantCheck]
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/tsp_ni.c:139:8: note: Assuming that condition 'opt_tours' is not redundant
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/tsp_ni.c:134:23: note: Null pointer dereference
SYMPHONY-5.6.17/Applications/VRP/src/Heuristics/tsp_ni.c:40:9: style: Variable 'mytid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/collect_solutions.c:92:6: style: Variable 'v0' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/lower_bound.c:98:14: style: Variable 's_bufid' is reassigned a value before the old one has been used. [redundantAssignment]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/lower_bound.c:92:14: note: s_bufid is assigned
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/lower_bound.c:98:14: note: s_bufid is overwritten
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/lower_bound.c:36:21: style: Parameter 'array' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/VRP/src/LP/vrp_lp_branch.c:420:14: portability:inconclusive: Casting from double * to char * is not portable due to different binary data representations on different platforms. [invalidPointerCast]
SYMPHONY-5.6.17/Applications/VRP/src/LP/vrp_lp_branch.c:231:10: style: Variable 'cut' is reassigned a value before the old one has been used. [redundantAssignment]
SYMPHONY-5.6.17/Applications/VRP/src/LP/vrp_lp_branch.c:225:10: note: cut is assigned
SYMPHONY-5.6.17/Applications/VRP/src/LP/vrp_lp_branch.c:231:10: note: cut is overwritten
SYMPHONY-5.6.17/Applications/VRP/src/LP/vrp_lp_branch.c:369:54: style: Parameter 'values' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/VRP/src/LP/vrp_lp_branch.c:99:18: style: Parameter 'slacks_in_matrix' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/VRP/src/LP/vrp_lp.c:600:28: error: Common realloc mistake: 'matind' nulled but not freed upon failure [memleakOnRealloc]
SYMPHONY-5.6.17/Applications/VRP/src/LP/vrp_lp.c:504:9: portability:inconclusive: Casting from double * to char * is not portable due to different binary data representations on different platforms. [invalidPointerCast]
SYMPHONY-5.6.17/Applications/VRP/src/LP/vrp_lp.c:577:9: portability:inconclusive: Casting from double * to char * is not portable due to different binary data representations on different platforms. [invalidPointerCast]
SYMPHONY-5.6.17/Applications/VRP/src/LP/vrp_lp.c:616:41: portability:inconclusive: Casting from double * to char * is not portable due to different binary data representations on different platforms. [invalidPointerCast]
SYMPHONY-5.6.17/Applications/VRP/src/LP/vrp_lp.c:818:16: portability:inconclusive: Casting from double * to char * is not portable due to different binary data representations on different platforms. [invalidPointerCast]
SYMPHONY-5.6.17/Applications/VRP/src/LP/vrp_lp.c:821:17: style: Variable 'weights' is reassigned a value before the old one has been used. [redundantAssignment]
SYMPHONY-5.6.17/Applications/VRP/src/LP/vrp_lp.c:820:16: note: weights is assigned
SYMPHONY-5.6.17/Applications/VRP/src/LP/vrp_lp.c:821:17: note: weights is overwritten
SYMPHONY-5.6.17/Applications/VRP/src/LP/vrp_lp.c:116:45: style: Parameter 'indices' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/VRP/src/LP/vrp_lp.c:713:16: style: Parameter 'cuts' can be declared with const [constParameter]
SYMPHONY-5.6.17/Applications/VRP/src/LP/vrp_lp.c:221:10: style: Variable 'verts' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/LP/vrp_lp.c:1058:17: style: Variable 'cur_node' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:196:23: style: Redundant condition: !vrp->numroutes. 'vrp->numroutes || (!vrp->numroutes && vrp->dist.wtype)' is equivalent to 'vrp->numroutes || vrp->dist.wtype' [redundantCondition]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:108:13: style: Variable 's_bufid' is reassigned a value before the old one has been used. [redundantAssignment]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:105:13: note: s_bufid is assigned
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:108:13: note: s_bufid is overwritten
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:121:15: style: Variable 's_bufid' is reassigned a value before the old one has been used. [redundantAssignment]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:117:15: note: s_bufid is assigned
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:121:15: note: s_bufid is overwritten
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:131:15: style: Variable 's_bufid' is reassigned a value before the old one has been used. [redundantAssignment]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:127:15: note: s_bufid is assigned
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:131:15: note: s_bufid is overwritten
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:141:15: style: Variable 's_bufid' is reassigned a value before the old one has been used. [redundantAssignment]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:137:15: note: s_bufid is assigned
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:141:15: note: s_bufid is overwritten
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:144:15: style: Variable 's_bufid' is reassigned a value before the old one has been used. [redundantAssignment]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:141:15: note: s_bufid is assigned
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:144:15: note: s_bufid is overwritten
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:162:15: style: Variable 's_bufid' is reassigned a value before the old one has been used. [redundantAssignment]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:158:15: note: s_bufid is assigned
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:162:15: note: s_bufid is overwritten
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:202:15: style: Variable 's_bufid' is reassigned a value before the old one has been used. [redundantAssignment]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:198:15: note: s_bufid is assigned
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:202:15: note: s_bufid is overwritten
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:286:16: style: Variable 's_bufid' is reassigned a value before the old one has been used. [redundantAssignment]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:282:16: note: s_bufid is assigned
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:286:16: note: s_bufid is overwritten
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:330:16: style: Variable 's_bufid' is reassigned a value before the old one has been used. [redundantAssignment]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:326:16: note: s_bufid is assigned
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:330:16: note: s_bufid is overwritten
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:258:17: error: Uninitialized variable: savings_tid [uninitvar]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:43:25: error: Uninitialized variable: ran [uninitvar]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:63:8: style: Unused variable: sweep_tid [unusedVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:63:20: style: Variable 'savings_tid' is not assigned a value. [unassignedVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:63:34: style: Variable 'savings2_tid' is not assigned a value. [unassignedVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:63:49: style: Unused variable: near_cluster_tid [unusedVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:64:8: style: Unused variable: tsp_ni_tid [unusedVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:64:21: style: Unused variable: tsp_fi_tid [unusedVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:64:34: style: Unused variable: tsp_fini_tid [unusedVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:64:49: style: Unused variable: savings3_tid [unusedVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/cluster_heur.c:68:10: style: Unused variable: temp [unusedVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/route_heur.c:87:5: warning:inconclusive: Either the condition 'ro' is redundant or there is possible null pointer dereference: ro. [nullPointerRedundantCheck]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/route_heur.c:282:9: note: Assuming that condition 'ro' is not redundant
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/route_heur.c:87:5: note: Null pointer dereference
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/route_heur.c:88:5: warning:inconclusive: Either the condition 'ro' is redundant or there is possible null pointer dereference: ro. [nullPointerRedundantCheck]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/route_heur.c:282:9: note: Assuming that condition 'ro' is not redundant
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/route_heur.c:88:5: note: Null pointer dereference
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/route_heur.c:53:23: style: Variable 'routing_time' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/route_heur.c:58:9: style: Variable 'mytid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/route_heur.c:47:29: style: Unused variable: r_bufid [unusedVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/route_heur.c:47:38: style: Unused variable: bytes [unusedVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/route_heur.c:47:45: style: Unused variable: msgtag [unusedVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/route_heur.c:47:53: style: Unused variable: parent [unusedVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Master/vrp_main.c:103:8: style: Unused variable: termcode [unusedVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Master/vrp_main.c:148:24: style: Unused variable: ub [unusedVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/receive_rout.c:289:9: warning: %u in format string (no. 2) requires 'unsigned int' but the argument type is 'signed int'. [invalidPrintfArgType_uint]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/receive_rout.c:293:9: warning: %u in format string (no. 2) requires 'unsigned int' but the argument type is 'signed int'. [invalidPrintfArgType_uint]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/receive_rout.c:297:9: warning: %u in format string (no. 2) requires 'unsigned int' but the argument type is 'signed int'. [invalidPrintfArgType_uint]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/receive_rout.c:302:9: warning: %u in format string (no. 3) requires 'unsigned int' but the argument type is 'signed int'. [invalidPrintfArgType_uint]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/receive_rout.c:347:7: warning: %u in format string (no. 2) requires 'unsigned int' but the argument type is 'signed int'. [invalidPrintfArgType_uint]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/receive_rout.c:267:10: error: Uninitialized variable: receive [uninitvar]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/receive_rout.c:267:10: error: Uninitialized variable: receive [uninitvar]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/receive_rout.c:256:17: note: Assuming condition is false
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/receive_rout.c:267:10: note: Uninitialized variable: receive
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/receive_rout.c:47:29: style: Variable 'r_bufid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/receive_rout.c:46:11: style: Unused variable: low_run [unusedVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/receive_rout.c:248:11: style: Unused variable: low_run [unusedVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/receive_rout.c:249:41: style: Unused variable: s_bufid [unusedVariable]
SYMPHONY-5.6.17/Applications/VRP/src/Master/vrp_master.c:296:37: style:inconclusive: Same expression used in consecutive assignments of 'maxx' and 'maxy'. [duplicateAssignExpression]
SYMPHONY-5.6.17/Applications/VRP/src/Master/vrp_master.c:296:51: note: Same expression used in consecutive assignments of 'maxx' and 'maxy'.
SYMPHONY-5.6.17/Applications/VRP/src/Master/vrp_master.c:296:37: note: Same expression used in consecutive assignments of 'maxx' and 'maxy'.
SYMPHONY-5.6.17/Applications/VRP/src/Master/vrp_master.c:823:20: style: Variable 'cur_vert' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/Examples/FLOPC++/tap.cpp:41:1: error: syntax error [syntaxError]
SYMPHONY-5.6.17/Examples/milp2.c:53:4: warning:inconclusive: Either the condition 'objective' is redundant or there is possible null pointer dereference: objective. [nullPointerRedundantCheck]
SYMPHONY-5.6.17/Examples/milp2.c:125:7: note: Assuming that condition 'objective' is not redundant
SYMPHONY-5.6.17/Examples/milp2.c:53:4: note: Null pointer dereference
SYMPHONY-5.6.17/Examples/milp2.c:54:4: warning:inconclusive: Either the condition 'objective' is redundant or there is possible null pointer dereference: objective. [nullPointerRedundantCheck]
SYMPHONY-5.6.17/Examples/milp2.c:125:7: note: Assuming that condition 'objective' is not redundant
SYMPHONY-5.6.17/Examples/milp2.c:54:4: note: Null pointer dereference
SYMPHONY-5.6.17/Examples/milp2.c:59:4: warning:inconclusive: Either the condition 'col_lb' is redundant or there is possible null pointer dereference: col_lb. [nullPointerRedundantCheck]
SYMPHONY-5.6.17/Examples/milp2.c:126:7: note: Assuming that condition 'col_lb' is not redundant
SYMPHONY-5.6.17/Examples/milp2.c:59:4: note: Null pointer dereference
SYMPHONY-5.6.17/Examples/milp2.c:60:4: warning:inconclusive: Either the condition 'col_lb' is redundant or there is possible null pointer dereference: col_lb. [nullPointerRedundantCheck]
SYMPHONY-5.6.17/Examples/milp2.c:126:7: note: Assuming that condition 'col_lb' is not redundant
SYMPHONY-5.6.17/Examples/milp2.c:60:4: note: Null pointer dereference
SYMPHONY-5.6.17/Examples/milp2.c:61:4: warning:inconclusive: Either the condition 'col_ub' is redundant or there is possible null pointer dereference: col_ub. [nullPointerRedundantCheck]
SYMPHONY-5.6.17/Examples/milp2.c:127:7: note: Assuming that condition 'col_ub' is not redundant
SYMPHONY-5.6.17/Examples/milp2.c:61:4: note: Null pointer dereference
SYMPHONY-5.6.17/Examples/milp2.c:62:4: warning:inconclusive: Either the condition 'col_ub' is redundant or there is possible null pointer dereference: col_ub. [nullPointerRedundantCheck]
SYMPHONY-5.6.17/Examples/milp2.c:127:7: note: Assuming that condition 'col_ub' is not redundant
SYMPHONY-5.6.17/Examples/milp2.c:62:4: note: Null pointer dereference
SYMPHONY-5.6.17/Examples/milp2.c:70:4: warning:inconclusive: Either the condition 'row_sense' is redundant or there is possible null pointer dereference: row_sense. [nullPointerRedundantCheck]
SYMPHONY-5.6.17/Examples/milp2.c:129:7: note: Assuming that condition 'row_sense' is not redundant
SYMPHONY-5.6.17/Examples/milp2.c:70:4: note: Null pointer dereference
SYMPHONY-5.6.17/Examples/milp2.c:71:4: warning:inconclusive: Either the condition 'row_rhs' is redundant or there is possible null pointer dereference: row_rhs. [nullPointerRedundantCheck]
SYMPHONY-5.6.17/Examples/milp2.c:128:7: note: Assuming that condition 'row_rhs' is not redundant
SYMPHONY-5.6.17/Examples/milp2.c:71:4: note: Null pointer dereference
SYMPHONY-5.6.17/Examples/milp2.c:72:4: warning:inconclusive: Either the condition 'row_sense' is redundant or there is possible null pointer dereference: row_sense. [nullPointerRedundantCheck]
SYMPHONY-5.6.17/Examples/milp2.c:129:7: note: Assuming that condition 'row_sense' is not redundant
SYMPHONY-5.6.17/Examples/milp2.c:72:4: note: Null pointer dereference
SYMPHONY-5.6.17/Examples/milp2.c:73:4: warning:inconclusive: Either the condition 'row_rhs' is redundant or there is possible null pointer dereference: row_rhs. [nullPointerRedundantCheck]
SYMPHONY-5.6.17/Examples/milp2.c:128:7: note: Assuming that condition 'row_rhs' is not redundant
SYMPHONY-5.6.17/Examples/milp2.c:73:4: note: Null pointer dereference
SYMPHONY-5.6.17/Examples/milp2.c:81:4: warning:inconclusive: Either the condition 'start' is redundant or there is possible null pointer dereference: start. [nullPointerRedundantCheck]
SYMPHONY-5.6.17/Examples/milp2.c:132:7: note: Assuming that condition 'start' is not redundant
SYMPHONY-5.6.17/Examples/milp2.c:81:4: note: Null pointer dereference
SYMPHONY-5.6.17/Examples/milp2.c:82:4: warning:inconclusive: Either the condition 'start' is redundant or there is possible null pointer dereference: start. [nullPointerRedundantCheck]
SYMPHONY-5.6.17/Examples/milp2.c:132:7: note: Assuming that condition 'start' is not redundant
SYMPHONY-5.6.17/Examples/milp2.c:82:4: note: Null pointer dereference
SYMPHONY-5.6.17/Examples/milp2.c:83:4: warning:inconclusive: Either the condition 'start' is redundant or there is possible null pointer dereference: start. [nullPointerRedundantCheck]
SYMPHONY-5.6.17/Examples/milp2.c:132:7: note: Assuming that condition 'start' is not redundant
SYMPHONY-5.6.17/Examples/milp2.c:83:4: note: Null pointer dereference
SYMPHONY-5.6.17/Examples/milp2.c:85:4: warning:inconclusive: Either the condition 'index' is redundant or there is possible null pointer dereference: index. [nullPointerRedundantCheck]
SYMPHONY-5.6.17/Examples/milp2.c:131:7: note: Assuming that condition 'index' is not redundant
SYMPHONY-5.6.17/Examples/milp2.c:85:4: note: Null pointer dereference
SYMPHONY-5.6.17/Examples/milp2.c:86:4: warning:inconclusive: Either the condition 'index' is redundant or there is possible null pointer dereference: index. [nullPointerRedundantCheck]
SYMPHONY-5.6.17/Examples/milp2.c:131:7: note: Assuming that condition 'index' is not redundant
SYMPHONY-5.6.17/Examples/milp2.c:86:4: note: Null pointer dereference
SYMPHONY-5.6.17/Examples/milp2.c:87:4: warning:inconclusive: Either the condition 'index' is redundant or there is possible null pointer dereference: index. [nullPointerRedundantCheck]
SYMPHONY-5.6.17/Examples/milp2.c:131:7: note: Assuming that condition 'index' is not redundant
SYMPHONY-5.6.17/Examples/milp2.c:87:4: note: Null pointer dereference
SYMPHONY-5.6.17/Examples/milp2.c:88:4: warning:inconclusive: Either the condition 'index' is redundant or there is possible null pointer dereference: index. [nullPointerRedundantCheck]
SYMPHONY-5.6.17/Examples/milp2.c:131:7: note: Assuming that condition 'index' is not redundant
SYMPHONY-5.6.17/Examples/milp2.c:88:4: note: Null pointer dereference
SYMPHONY-5.6.17/Examples/milp2.c:90:4: warning:inconclusive: Either the condition 'value' is redundant or there is possible null pointer dereference: value. [nullPointerRedundantCheck]
SYMPHONY-5.6.17/Examples/milp2.c:133:7: note: Assuming that condition 'value' is not redundant
SYMPHONY-5.6.17/Examples/milp2.c:90:4: note: Null pointer dereference
SYMPHONY-5.6.17/Examples/milp2.c:91:4: warning:inconclusive: Either the condition 'value' is redundant or there is possible null pointer dereference: value. [nullPointerRedundantCheck]
SYMPHONY-5.6.17/Examples/milp2.c:133:7: note: Assuming that condition 'value' is not redundant
SYMPHONY-5.6.17/Examples/milp2.c:91:4: note: Null pointer dereference
SYMPHONY-5.6.17/Examples/milp2.c:92:4: warning:inconclusive: Either the condition 'value' is redundant or there is possible null pointer dereference: value. [nullPointerRedundantCheck]
SYMPHONY-5.6.17/Examples/milp2.c:133:7: note: Assuming that condition 'value' is not redundant
SYMPHONY-5.6.17/Examples/milp2.c:92:4: note: Null pointer dereference
SYMPHONY-5.6.17/Examples/milp2.c:93:4: warning:inconclusive: Either the condition 'value' is redundant or there is possible null pointer dereference: value. [nullPointerRedundantCheck]
SYMPHONY-5.6.17/Examples/milp2.c:133:7: note: Assuming that condition 'value' is not redundant
SYMPHONY-5.6.17/Examples/milp2.c:93:4: note: Null pointer dereference
SYMPHONY-5.6.17/Examples/milp2.c:99:4: warning:inconclusive: Either the condition 'int_vars' is redundant or there is possible null pointer dereference: int_vars. [nullPointerRedundantCheck]
SYMPHONY-5.6.17/Examples/milp2.c:134:7: note: Assuming that condition 'int_vars' is not redundant
SYMPHONY-5.6.17/Examples/milp2.c:99:4: note: Null pointer dereference
SYMPHONY-5.6.17/Examples/milp2.c:100:4: warning:inconclusive: Either the condition 'int_vars' is redundant or there is possible null pointer dereference: int_vars. [nullPointerRedundantCheck]
SYMPHONY-5.6.17/Examples/milp2.c:134:7: note: Assuming that condition 'int_vars' is not redundant
SYMPHONY-5.6.17/Examples/milp2.c:100:4: note: Null pointer dereference
SYMPHONY-5.6.17/Examples/milp2.c:118:13: warning: Either the condition 'solution' is redundant or there is possible null pointer dereference: solution. [nullPointerRedundantCheck]
SYMPHONY-5.6.17/Examples/milp2.c:135:7: note: Assuming that condition 'solution' is not redundant
SYMPHONY-5.6.17/Examples/milp2.c:118:13: note: Null pointer dereference
SYMPHONY-5.6.17/Examples/milp2.c:119:13: warning: Either the condition 'solution' is redundant or there is possible null pointer dereference: solution. [nullPointerRedundantCheck]
SYMPHONY-5.6.17/Examples/milp2.c:135:7: note: Assuming that condition 'solution' is not redundant
SYMPHONY-5.6.17/Examples/milp2.c:119:13: note: Null pointer dereference
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/start_heurs.c:272:1: error: Memory leak: sent [memleak]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/start_heurs.c:272:1: error: Memory leak: heur_out [memleak]
SYMPHONY-5.6.17/Applications/VRP/src/Master/Heuristics/start_heurs.c:50:9: style: Variable 'mytid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/CutGen/cg_func.c:172:30: portability:inconclusive: Casting from double * to char * is not portable due to different binary data representations on different platforms. [invalidPointerCast]
SYMPHONY-5.6.17/src/CutGen/cg_func.c:200:30: portability:inconclusive: Casting from double * to char * is not portable due to different binary data representations on different platforms. [invalidPointerCast]
SYMPHONY-5.6.17/src/CutGen/cut_gen.c:36:29: style: Variable 's_bufid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/CutPool/cp_func.c:336:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/CutPool/cp_func.c:375:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/CutPool/cp_proccomm.c:52:21: style: Variable 'termcode' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/CutPool/cut_pool.c:38:17: style: Variable 'num_cuts' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/CutPool/cp_wrapper.c:226:3: error: Found a exit path from function with non-void return type that has missing return statement [missingReturn]
SYMPHONY-5.6.17/src/CutPool/cp_wrapper.c:215:23: style: Condition 'matind[i]>indices[j]' is always true [knownConditionTrueFalse]
SYMPHONY-5.6.17/src/CutPool/cp_wrapper.c:211:17: note: Assuming that condition 'matind[i]==indices[j]' is not redundant
SYMPHONY-5.6.17/src/CutPool/cp_wrapper.c:215:23: note: Condition 'matind[i]>indices[j]' is always true
SYMPHONY-5.6.17/src/DrawGraph/IGD_1.0/Simple_version/make_graph.c:18:3: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/DrawGraph/IGD_1.0/Simple_version/window.c:53:20: style: Obsolescent function 'vfork' called. It is recommended to use 'fork' instead. [prohibitedvforkCalled]
SYMPHONY-5.6.17/src/DrawGraph/IGD_1.0/Simple_version/make_graph.c:26:3: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/DrawGraph/IGD_1.0/Simple_version/window.c:23:4: error: Used file that is not opened. [useClosedFile]
SYMPHONY-5.6.17/src/DrawGraph/IGD_1.0/Simple_version/make_graph.c:6:8: style: Unused variable: i [unusedVariable]
SYMPHONY-5.6.17/src/DrawGraph/IGD_1.0/Simple_version/window.c:24:4: error: Used file that is not opened. [useClosedFile]
SYMPHONY-5.6.17/src/DrawGraph/IGD_1.0/Simple_version/window.c:25:4: error: Used file that is not opened. [useClosedFile]
SYMPHONY-5.6.17/src/DrawGraph/IGD_1.0/Simple_version/window.c:26:4: error: Used file that is not opened. [useClosedFile]
SYMPHONY-5.6.17/src/DrawGraph/IGD_1.0/Simple_version/window.c:27:4: error: Used file that is not opened. [useClosedFile]
SYMPHONY-5.6.17/src/DrawGraph/IGD_1.0/Simple_version/window.c:28:4: error: Used file that is not opened. [useClosedFile]
SYMPHONY-5.6.17/src/DrawGraph/IGD_1.0/Simple_version/window.c:29:4: error: Used file that is not opened. [useClosedFile]
SYMPHONY-5.6.17/src/DrawGraph/IGD_1.0/Simple_version/window.c:30:4: error: Used file that is not opened. [useClosedFile]
SYMPHONY-5.6.17/src/DrawGraph/IGD_1.0/Simple_version/window.c:31:4: error: Used file that is not opened. [useClosedFile]
SYMPHONY-5.6.17/src/DrawGraph/IGD_1.0/Simple_version/window.c:32:4: error: Used file that is not opened. [useClosedFile]
SYMPHONY-5.6.17/src/DrawGraph/IGD_1.0/Simple_version/window.c:33:4: error: Used file that is not opened. [useClosedFile]
SYMPHONY-5.6.17/src/DrawGraph/IGD_1.0/Simple_version/window.c:35:7: error: Used file that is not opened. [useClosedFile]
SYMPHONY-5.6.17/src/DrawGraph/IGD_1.0/Simple_version/window.c:9:28: style: Parameter 'argv' can be declared with const [constParameter]
SYMPHONY-5.6.17/src/DrawGraph/IGD_1.0/Simple_version/window.c:20:13: style: Variable 'childpid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/CutGen/Decomp/decomp.c:658:14: portability:inconclusive: Casting from double * to char * is not portable due to different binary data representations on different platforms. [invalidPointerCast]
SYMPHONY-5.6.17/src/CutGen/Decomp/decomp.c:117:14: style: Variable 'cpx_status' is reassigned a value before the old one has been used. [redundantAssignment]
SYMPHONY-5.6.17/src/CutGen/Decomp/decomp.c:112:14: note: cpx_status is assigned
SYMPHONY-5.6.17/src/CutGen/Decomp/decomp.c:117:14: note: cpx_status is overwritten
SYMPHONY-5.6.17/src/CutGen/Decomp/decomp.c:115:13: style: Variable 'violation' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/DrawGraph/tester.c:52:14: style: Variable 's_bufid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/CutGen/Decomp/decomp.c:117:14: style: Variable 'cpx_status' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/DrawGraph/tester.c:28:8: style: Unused variable: info [unusedVariable]
SYMPHONY-5.6.17/src/LP/lp_genfunc.c:1230:22: style: Redundant condition: rows[i].free. '!rows[i].free || (rows[i].free && rstat[i]!=SLACK_BASIC)' is equivalent to '!rows[i].free || rstat[i]!=SLACK_BASIC' [redundantCondition]
SYMPHONY-5.6.17/src/LP/lp_genfunc.c:1299:22: style: Redundant condition: rows[i].free. '!rows[i].free || (rows[i].free && rstat[i]!=SLACK_BASIC)' is equivalent to '!rows[i].free || rstat[i]!=SLACK_BASIC' [redundantCondition]
SYMPHONY-5.6.17/src/LP/lp_genfunc.c:1076:25: style: Parameter 'table' can be declared with const [constParameter]
SYMPHONY-5.6.17/src/LP/lp_genfunc.c:1095:42: style: Parameter 'x' can be declared with const [constParameter]
SYMPHONY-5.6.17/src/LP/lp_genfunc.c:1125:43: style: Parameter 'x' can be declared with const [constParameter]
SYMPHONY-5.6.17/src/LP/lp_genfunc.c:1147:47: style: Parameter 'x' can be declared with const [constParameter]
SYMPHONY-5.6.17/src/LP/lp_genfunc.c:3390:52: style: Parameter 'cut_ind' can be declared with const [constParameter]
SYMPHONY-5.6.17/src/LP/lp_genfunc.c:3390:69: style: Parameter 'cut_val' can be declared with const [constParameter]
SYMPHONY-5.6.17/src/LP/lp_genfunc.c:90:8: style: Unused variable: termcode [unusedVariable]
SYMPHONY-5.6.17/src/LP/lp_genfunc.c:235:11: style: Unused variable: now [unusedVariable]
SYMPHONY-5.6.17/src/LP/lp_genfunc.c:235:16: style: Unused variable: then2 [unusedVariable]
SYMPHONY-5.6.17/src/LP/lp_genfunc.c:235:23: style: Unused variable: timeout2 [unusedVariable]
SYMPHONY-5.6.17/src/LP/lp_heuristics.c:462:21: error: Code 'C++ cast <...' is invalid C code. Use --std or --language to configure the language. [syntaxError]
SYMPHONY-5.6.17/Applications/VRP/src/Master/vrp_io.c:169:6: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/Applications/VRP/src/Master/vrp_io.c:191:7: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/Applications/VRP/src/Master/vrp_io.c:196:2: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/Applications/VRP/src/Master/vrp_io.c:234:2: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/Applications/VRP/src/Master/vrp_io.c:243:2: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/Applications/VRP/src/Master/vrp_io.c:252:2: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/Applications/VRP/src/Master/vrp_io.c:416:2: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/Applications/VRP/src/Master/vrp_io.c:554:7: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/Applications/VRP/src/Master/vrp_io.c:605:6: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/Applications/VRP/src/Master/vrp_io.c:955:6: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/Applications/VRP/src/Master/vrp_io.c:176:2: style: Statements following return, break, continue, goto or throw will never be executed. [unreachableCode]
SYMPHONY-5.6.17/Applications/VRP/src/Master/vrp_io.c:527:14: style: Unused variable: k [unusedVariable]
SYMPHONY-5.6.17/src/LP/lp_pseudo_branch.c:693:11: style: Variable 'lim' can be declared with const [constVariable]
SYMPHONY-5.6.17/src/LP/lp_pseudo_branch.c:749:11: style: Variable 'lim' can be declared with const [constVariable]
SYMPHONY-5.6.17/src/LP/lp_pseudo_branch.c:814:11: style: Variable 'lim' can be declared with const [constVariable]
SYMPHONY-5.6.17/src/LP/lp_pseudo_branch.c:137:12: style: Unused variable: pseudo_costs_zero [unusedVariable]
SYMPHONY-5.6.17/src/LP/lp_pseudo_branch.c:137:32: style: Unused variable: pseudo_costs_one [unusedVariable]
SYMPHONY-5.6.17/src/LP/lp_proccomm.c:195:19: style: Redundant condition: p->has_ub. '!p->has_ub || (p->has_ub && new_ub<p->ub)' is equivalent to '!p->has_ub || new_ub<p->ub' [redundantCondition]
SYMPHONY-5.6.17/src/LP/lp_proccomm.c:1456:9: style: Same expression used in consecutive assignments of 'dive' and 'olddive'. [duplicateAssignExpression]
SYMPHONY-5.6.17/src/LP/lp_proccomm.c:1456:25: note: Same expression used in consecutive assignments of 'dive' and 'olddive'.
SYMPHONY-5.6.17/src/LP/lp_proccomm.c:1456:9: note: Same expression used in consecutive assignments of 'dive' and 'olddive'.
SYMPHONY-5.6.17/src/LP/lp_proccomm.c:1310:37: style: Parameter 'oldstat' can be declared with const [constParameter]
SYMPHONY-5.6.17/src/LP/lp_proccomm.c:1349:48: style: Parameter 'oldstat' can be declared with const [constParameter]
SYMPHONY-5.6.17/src/LP/lp_proccomm.c:1239:14: error: Uninitialized variable: basis [uninitvar]
SYMPHONY-5.6.17/src/LP/lp_proccomm.c:151:15: style: Variable 's_bufid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/LP/lp_proccomm.c:224:11: style: Variable 's_bufid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/LP/lp_proccomm.c:236:11: style: Variable 's_bufid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/LP/lp_proccomm.c:315:17: style: Variable 'termcode' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/LP/lp_solver.c:40:63: style: Parameter 'col' can be declared with const [constParameter]
SYMPHONY-5.6.17/src/LP/lp_solver.c:91:13: style: Variable 'n' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/LP/lp_varfunc.c:518:34: style: Redundant condition: dual_feas==NOT_TDF. 'A || (!A && B)' is equivalent to 'A || B' [redundantCondition]
SYMPHONY-5.6.17/src/LP/lp_varfunc.c:629:6: portability:inconclusive: Casting from double * to char * is not portable due to different binary data representations on different platforms. [invalidPointerCast]
SYMPHONY-5.6.17/src/LP/lp_varfunc.c:166:24: style: Variable 'ub' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/LP/lp_varfunc.c:166:33: style: Variable 'lb' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/LP/lp_wrapper.c:1924:22: style: Redundant condition: p->has_ub. '!A || (A && B)' is equivalent to '!A || B' [redundantCondition]
SYMPHONY-5.6.17/src/LP/lp_wrapper.c:1933:20: style: Redundant condition: p->has_ub. '!A || (A && B)' is equivalent to '!A || B' [redundantCondition]
SYMPHONY-5.6.17/src/LP/lp_wrapper.c:1937:23: style: Redundant condition: p->has_ub. '!A || (A && B)' is equivalent to '!A || B' [redundantCondition]
SYMPHONY-5.6.17/src/LP/lp_wrapper.c:2792:50: style: Redundant condition: obj[0]>=p->obj[0]-etol. 'A || (!A && B)' is equivalent to 'A || B' [redundantCondition]
SYMPHONY-5.6.17/src/LP/lp_wrapper.c:2834:50: style: Redundant condition: obj[1]>=p->obj[1]-etol. 'A || (!A && B)' is equivalent to 'A || B' [redundantCondition]
SYMPHONY-5.6.17/src/LP/lp_wrapper.c:2875:24: style: Redundant condition: p->has_mc_ub. '!A || (A && B)' is equivalent to '!A || B' [redundantCondition]
SYMPHONY-5.6.17/src/LP/lp_wrapper.c:1204:39: portability:inconclusive: Casting from double * to char * is not portable due to different binary data representations on different platforms. [invalidPointerCast]
SYMPHONY-5.6.17/src/LP/lp_wrapper.c:2953:36: portability:inconclusive: Casting from double * to char * is not portable due to different binary data representations on different platforms. [invalidPointerCast]
SYMPHONY-5.6.17/src/LP/lp_wrapper.c:2398:21: style: The comparison 'fixed_num > 0' is always false. [knownConditionTrueFalse]
SYMPHONY-5.6.17/src/LP/lp_wrapper.c:2381:21: note: 'fixed_num' is assigned value '0' here.
SYMPHONY-5.6.17/src/LP/lp_wrapper.c:2398:21: note: The comparison 'fixed_num > 0' is always false.
SYMPHONY-5.6.17/src/LP/lp_wrapper.c:1458:42: style: Parameter 'cuts' can be declared with const [constParameter]
SYMPHONY-5.6.17/src/LP/lp_wrapper.c:2765:28: style: Parameter 'true_objval' can be declared with const [constParameter]
SYMPHONY-5.6.17/src/LP/lp_wrapper.c:65:12: style: Variable 'r_bufid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/LP/lp_wrapper.c:819:11: style: Unused variable: new_obj_val [unusedVariable]
SYMPHONY-5.6.17/src/LP/lp_wrapper.c:820:16: style: Unused variable: termcode [unusedVariable]
SYMPHONY-5.6.17/src/LP/lp_wrapper.c:822:9: style: Unused variable: found_better_solution [unusedVariable]
SYMPHONY-5.6.17/src/DrawGraph/draw_graph.c:96:20: style: Obsolescent function 'vfork' called. It is recommended to use 'fork' instead. [prohibitedvforkCalled]
SYMPHONY-5.6.17/src/Master/main.c:486:24: warning: Logical disjunction always evaluates to true: last_level != 0 || last_level != 1. [incorrectLogicOperator]
SYMPHONY-5.6.17/src/Master/main.c:224:8: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/main.c:355:7: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/main.c:534:7: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/main.c:574:9: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/main.c:244:7: error: Return value of allocation function 'fopen' is not stored. [leakReturnValNotUsed]
SYMPHONY-5.6.17/src/Master/main.c:304:8: error: Return value of allocation function 'fopen' is not stored. [leakReturnValNotUsed]
SYMPHONY-5.6.17/src/Master/main.c:201:46: style: Local variable 'termcode' shadows outer variable [shadowVariable]
SYMPHONY-5.6.17/src/Master/main.c:157:8: note: Shadowed declaration
SYMPHONY-5.6.17/src/Master/main.c:201:46: note: Shadow variable
SYMPHONY-5.6.17/src/Master/main.c:202:21: style: Variable 'last_level' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/Master/master_io.c:144:7: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master_io.c:161:9: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master_io.c:186:9: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master_io.c:211:9: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master_io.c:230:6: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master_io.c:260:6: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master_io.c:271:6: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master_io.c:288:6: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master_io.c:325:6: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master_io.c:337:9: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master_io.c:354:6: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master_io.c:370:6: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master_io.c:787:8: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master_prep.c:232:10: style: Variable 'i' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/LP/lp_branch.c:1114:25: style: Expression is always false because 'else if' condition matches previous condition at line 1113. [multiCondition]
SYMPHONY-5.6.17/src/LP/lp_branch.c:968:6: style: The if condition is the same as the previous if condition [duplicateCondition]
SYMPHONY-5.6.17/src/LP/lp_branch.c:963:6: note: First condition
SYMPHONY-5.6.17/src/LP/lp_branch.c:968:6: note: Second condition
SYMPHONY-5.6.17/src/LP/lp_branch.c:2786:8: style: Statements following return, break, continue, goto or throw will never be executed. [unreachableCode]
SYMPHONY-5.6.17/src/LP/lp_branch.c:2794:8: style: Statements following return, break, continue, goto or throw will never be executed. [unreachableCode]
SYMPHONY-5.6.17/src/LP/lp_branch.c:1123:9: style: Local variable 'tot_var_score' shadows outer variable [shadowVariable]
SYMPHONY-5.6.17/src/LP/lp_branch.c:994:7: note: Shadowed declaration
SYMPHONY-5.6.17/src/LP/lp_branch.c:1123:9: note: Shadow variable
SYMPHONY-5.6.17/src/LP/lp_branch.c:1216:12: style: Local variable 'rows' shadows outer variable [shadowVariable]
SYMPHONY-5.6.17/src/LP/lp_branch.c:119:14: note: Shadowed declaration
SYMPHONY-5.6.17/src/LP/lp_branch.c:1216:12: note: Shadow variable
SYMPHONY-5.6.17/src/LP/lp_branch.c:1226:10: style: Local variable 'ub' shadows outer variable [shadowVariable]
SYMPHONY-5.6.17/src/LP/lp_branch.c:131:15: note: Shadowed declaration
SYMPHONY-5.6.17/src/LP/lp_branch.c:1226:10: note: Shadow variable
SYMPHONY-5.6.17/src/LP/lp_branch.c:1226:14: style: Local variable 'lb' shadows outer variable [shadowVariable]
SYMPHONY-5.6.17/src/LP/lp_branch.c:131:11: note: Shadowed declaration
SYMPHONY-5.6.17/src/LP/lp_branch.c:1226:14: note: Shadow variable
SYMPHONY-5.6.17/src/LP/lp_branch.c:1281:11: style: Local variable 'k' shadows outer variable [shadowVariable]
SYMPHONY-5.6.17/src/LP/lp_branch.c:130:14: note: Shadowed declaration
SYMPHONY-5.6.17/src/LP/lp_branch.c:1281:11: note: Shadow variable
SYMPHONY-5.6.17/src/LP/lp_branch.c:2257:11: style: Variable 'lim' can be declared with const [constVariable]
SYMPHONY-5.6.17/src/LP/lp_branch.c:2352:11: style: Variable 'lim' can be declared with const [constVariable]
SYMPHONY-5.6.17/src/LP/lp_branch.c:2418:11: style: Variable 'lim' can be declared with const [constVariable]
SYMPHONY-5.6.17/src/Master/master_prep_sr.c:341:20: style: The statement 'if (termcode!=SR_BOUNDS_UPDATED) termcode=SR_BOUNDS_UPDATED' is logically equivalent to 'termcode=SR_BOUNDS_UPDATED'. [duplicateConditionalAssign]
SYMPHONY-5.6.17/src/Master/master_prep_sr.c:342:13: note: Assignment 'termcode=SR_BOUNDS_UPDATED'
SYMPHONY-5.6.17/src/Master/master_prep_sr.c:341:20: note: Condition 'termcode!=SR_BOUNDS_UPDATED' is redundant
SYMPHONY-5.6.17/src/Master/master_prep_sr.c:361:20: style: The statement 'if (termcode!=SR_BOUNDS_UPDATED) termcode=SR_BOUNDS_UPDATED' is logically equivalent to 'termcode=SR_BOUNDS_UPDATED'. [duplicateConditionalAssign]
SYMPHONY-5.6.17/src/Master/master_prep_sr.c:362:13: note: Assignment 'termcode=SR_BOUNDS_UPDATED'
SYMPHONY-5.6.17/src/Master/master_prep_sr.c:361:20: note: Condition 'termcode!=SR_BOUNDS_UPDATED' is redundant
SYMPHONY-5.6.17/src/Master/master_prep_sr.c:881:11: style:inconclusive: Same expression used in consecutive assignments of 'max_dual_lb' and 'min_dual_lb'. [duplicateAssignExpression]
SYMPHONY-5.6.17/src/Master/master_prep_sr.c:881:31: note: Same expression used in consecutive assignments of 'max_dual_lb' and 'min_dual_lb'.
SYMPHONY-5.6.17/src/Master/master_prep_sr.c:881:11: note: Same expression used in consecutive assignments of 'max_dual_lb' and 'min_dual_lb'.
SYMPHONY-5.6.17/src/Master/master_prep_sr.c:101:54: style: Parameter 'row_indices' can be declared with const [constParameter]
SYMPHONY-5.6.17/src/Master/master_prep_sr.c:424:11: style: Parameter 'r_matbeg' can be declared with const [constParameter]
SYMPHONY-5.6.17/src/Master/master_prep_sr.c:424:26: style: Parameter 'r_matind' can be declared with const [constParameter]
SYMPHONY-5.6.17/src/Master/master_prep_sr.c:424:44: style: Parameter 'r_matval' can be declared with const [constParameter]
SYMPHONY-5.6.17/src/Master/master_prep_sr.c:520:13: style: Parameter 'ub' can be declared with const [constParameter]
SYMPHONY-5.6.17/src/Master/master_prep_sr.c:520:25: style: Parameter 'lb' can be declared with const [constParameter]
SYMPHONY-5.6.17/src/Master/master_prep_sr.c:873:28: style: Parameter 'r_matbeg' can be declared with const [constParameter]
SYMPHONY-5.6.17/src/Master/master_prep_sr.c:874:15: style: Parameter 'r_matind' can be declared with const [constParameter]
SYMPHONY-5.6.17/src/Master/master_prep_sr.c:874:33: style: Parameter 'r_matval' can be declared with const [constParameter]
SYMPHONY-5.6.17/src/Master/master_prep_sr.c:875:18: style: Parameter 'ub' can be declared with const [constParameter]
SYMPHONY-5.6.17/src/Master/master_prep_sr.c:875:30: style: Parameter 'lb' can be declared with const [constParameter]
SYMPHONY-5.6.17/src/Master/master_prep_sr.c:579:15: style: Variable 'last_ind' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/Master/master_prep_sr.c:613:15: style: Variable 'last_ind' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/Master/master_wrapper.c:401:20: style: Variable 'root->nf_status' is reassigned a value before the old one has been used. [redundantAssignment]
SYMPHONY-5.6.17/src/Master/master_wrapper.c:400:20: note: root->nf_status is assigned
SYMPHONY-5.6.17/src/Master/master_wrapper.c:401:20: note: root->nf_status is overwritten
SYMPHONY-5.6.17/src/OsiSym/SymWarmStart.hpp:34:4: warning:inconclusive: Member variable 'SymWarmStart::warmStart_' is not initialized in the constructor. [uninitMemberVar]
SYMPHONY-5.6.17/src/OsiSym/OsiSymSolverInterface.cpp:67:24: warning: Member variable 'OsiSymSolverInterface::obj2_' is not initialized in the constructor. [uninitMemberVar]
SYMPHONY-5.6.17/src/OsiSym/OsiSymSolverInterface.cpp:1931:24: warning: Member variable 'OsiSymSolverInterface::obj2_' is not initialized in the constructor. [uninitMemberVar]
SYMPHONY-5.6.17/src/OsiSym/SymWarmStart.hpp:40:4: style: Class 'SymWarmStart' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
SYMPHONY-5.6.17/src/OsiSym/SymWarmStart.hpp:43:4: style: Class 'SymWarmStart' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
SYMPHONY-5.6.17/src/OsiSym/OsiSymSolverInterface.cpp:317:59: performance: Function parameter 'key' should be passed by const reference. [passedByValue]
SYMPHONY-5.6.17/src/OsiSym/OsiSymSolverInterface.cpp:388:59: performance: Function parameter 'key' should be passed by const reference. [passedByValue]
SYMPHONY-5.6.17/src/OsiSym/OsiSymSolverInterface.cpp:440:59: performance: Function parameter 'key' should be passed by const reference. [passedByValue]
SYMPHONY-5.6.17/src/OsiSym/OsiSymSolverInterface.cpp:441:24: performance: Function parameter 'value' should be passed by const reference. [passedByValue]
SYMPHONY-5.6.17/src/OsiSym/OsiSymSolverInterface.cpp:537:59: performance: Function parameter 'key' should be passed by const reference. [passedByValue]
SYMPHONY-5.6.17/src/OsiSym/OsiSymSolverInterface.cpp:609:59: performance: Function parameter 'key' should be passed by const reference. [passedByValue]
SYMPHONY-5.6.17/src/OsiSym/OsiSymSolverInterface.cpp:668:59: performance: Function parameter 'key' should be passed by const reference. [passedByValue]
SYMPHONY-5.6.17/src/OsiSym/OsiSymSolverInterface.cpp:525:15: style: Variable 'keyVal' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/OsiSym/SymWarmStart.cpp:35:35: style:inconclusive: Function 'SymWarmStart' argument 1 names different: declaration 'f' definition 'fileName'. [funcArgNamesDifferent]
SYMPHONY-5.6.17/src/OsiSym/SymWarmStart.hpp:43:23: note: Function 'SymWarmStart' argument 1 names different: declaration 'f' definition 'fileName'.
SYMPHONY-5.6.17/src/OsiSym/SymWarmStart.cpp:35:35: note: Function 'SymWarmStart' argument 1 names different: declaration 'f' definition 'fileName'.
SYMPHONY-5.6.17/src/OsiSym/SymWarmStart.cpp:87:38: style:inconclusive: Function 'writeToFile' argument 1 names different: declaration 'f' definition 'fileName'. [funcArgNamesDifferent]
SYMPHONY-5.6.17/src/OsiSym/SymWarmStart.hpp:63:35: note: Function 'writeToFile' argument 1 names different: declaration 'f' definition 'fileName'.
SYMPHONY-5.6.17/src/OsiSym/SymWarmStart.cpp:87:38: note: Function 'writeToFile' argument 1 names different: declaration 'f' definition 'fileName'.
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:2792:24: style: Expression is always false because 'else if' condition matches previous condition at line 2789. [multiCondition]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:942:23: style: Redundant condition: tm->has_ub. '!A || (A && B)' is equivalent to '!A || B' [redundantCondition]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:2078:20: style: Redundant condition: tm->has_ub. '!tm->has_ub || (tm->has_ub && new_ub<tm->ub)' is equivalent to '!tm->has_ub || new_ub<tm->ub' [redundantCondition]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3149:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3150:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3151:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3152:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3158:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3159:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3174:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3175:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3183:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3192:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3200:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3202:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3219:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3236:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3253:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3392:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3483:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3486:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3487:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3488:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3489:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3490:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3491:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3492:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3493:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3494:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3495:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3496:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3497:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3499:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3500:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3501:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3502:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3503:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3504:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3505:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3506:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3507:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3545:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:588:17: style: Redundant initialization for 'ii'. The initialized value is overwritten before it is read. [redundantInitialization]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:587:10: note: ii is initialized
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:588:17: note: ii is overwritten
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:1189:9: style: Redundant initialization for 'list'. The initialized value is overwritten before it is read. [redundantInitialization]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:1164:19: note: list is initialized
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:1189:9: note: list is overwritten
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:1353:12: style: Variable 's_bufid' is reassigned a value before the old one has been used. [redundantAssignment]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:1350:12: note: s_bufid is assigned
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:1353:12: note: s_bufid is overwritten
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:793:8: style:inconclusive: Found duplicate branches for 'if' and 'else'. [duplicateBranch]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:795:10: note: Found duplicate branches for 'if' and 'else'.
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:793:8: note: Found duplicate branches for 'if' and 'else'.
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:809:8: style:inconclusive: Found duplicate branches for 'if' and 'else'. [duplicateBranch]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:811:10: note: Found duplicate branches for 'if' and 'else'.
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:809:8: note: Found duplicate branches for 'if' and 'else'.
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:368:18: style: The comparison 'thread_num != 0' is always false. [knownConditionTrueFalse]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:339:32: note: 'thread_num' is assigned value '0' here.
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:368:18: note: The comparison 'thread_num != 0' is always false.
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:3839:4: style:inconclusive: Statements following return, break, continue, goto or throw will never be executed. [unreachableCode]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:1471:33: error: Undefined behavior: Variable 'reason' is used as parameter and destination in sprintf(). [sprintfOverlappingData]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:1473:36: error: Undefined behavior: Variable 'reason' is used as parameter and destination in sprintf(). [sprintfOverlappingData]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:1829:27: error: Undefined behavior: Variable 'reason' is used as parameter and destination in sprintf(). [sprintfOverlappingData]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:1831:31: error: Undefined behavior: Variable 'reason' is used as parameter and destination in sprintf(). [sprintfOverlappingData]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:1846:30: error: Undefined behavior: Variable 'reason' is used as parameter and destination in sprintf(). [sprintfOverlappingData]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:1850:28: error: Undefined behavior: Variable 'reason' is used as parameter and destination in sprintf(). [sprintfOverlappingData]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:1852:30: error: Undefined behavior: Variable 'reason' is used as parameter and destination in sprintf(). [sprintfOverlappingData]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:1866:30: error: Undefined behavior: Variable 'reason' is used as parameter and destination in sprintf(). [sprintfOverlappingData]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:209:11: style: Variable 's_bufid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:602:14: style: Variable 'then2' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:339:14: style: Unused variable: ret [unusedVariable]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:646:15: style: Variable 's_bufid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:2156:26: style: Variable 'has_exchanged' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:2074:38: style: Unused variable: j [unusedVariable]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:2152:11: style: Unused variable: var_index [unusedVariable]
SYMPHONY-5.6.17/src/TreeManager/tm_func.c:2910:12: style: Variable 's_bufid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/TreeManager/tm_proccomm.c:1108:22: style: Redundant condition: tm->has_ub. '!tm->has_ub || (tm->has_ub && new_ub<tm->ub)' is equivalent to '!tm->has_ub || new_ub<tm->ub' [redundantCondition]
SYMPHONY-5.6.17/src/TreeManager/tm_proccomm.c:77:12: style: Variable 's_bufid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/TreeManager/tm_proccomm.c:95:15: style: Variable 's_bufid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/TreeManager/tm_proccomm.c:403:23: style: Variable 'frac_var_cnt' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/TreeManager/tm_proccomm.c:972:15: style: Variable 's_bufid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/TreeManager/tm_proccomm.c:1156:15: style: Variable 's_bufid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/TreeManager/tm_proccomm.c:1169:19: style: Variable 'r_bufid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/TreeManager/tm_proccomm.c:1470:23: style: Variable 'memory_size' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/TreeManager/tm_proccomm.c:1471:23: style: Variable 'num_changes' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/Master/master_prep_base.c:1346:27: style: Expression is always true because 'else if' condition is opposite to previous condition at line 1279. [multiCondition]
SYMPHONY-5.6.17/src/Master/master_prep_base.c:1279:24: note: first condition
SYMPHONY-5.6.17/src/Master/master_prep_base.c:1346:27: note: else if condition is opposite to first condition
SYMPHONY-5.6.17/src/Master/master_prep_base.c:732:31: style: Condition 'cols[cl_ind].var_type=='U'' is always false [knownConditionTrueFalse]
SYMPHONY-5.6.17/src/Master/master_prep_base.c:733:31: style: Condition 'cols[cl_ind].var_type=='L'' is always false [knownConditionTrueFalse]
SYMPHONY-5.6.17/src/Master/master_prep_base.c:1107:21: style: Condition 'check_rows' is always true [knownConditionTrueFalse]
SYMPHONY-5.6.17/src/Master/master_prep_base.c:3808:18: style: Variable 'termcode' is reassigned a value before the old one has been used. [redundantAssignment]
SYMPHONY-5.6.17/src/Master/master_prep_base.c:3788:17: note: termcode is assigned
SYMPHONY-5.6.17/src/Master/master_prep_base.c:3808:18: note: termcode is overwritten
SYMPHONY-5.6.17/src/Master/master_prep_base.c:1487:4: style:inconclusive: Statements following return, break, continue, goto or throw will never be executed. [unreachableCode]
SYMPHONY-5.6.17/src/Master/master_prep_base.c:2993:67: style: Parameter 'col_start' can be declared with const [constParameter]
SYMPHONY-5.6.17/src/Master/master_prep_base.c:5571:12: style: Parameter 'ind' can be declared with const [constParameter]
SYMPHONY-5.6.17/src/Master/master_prep_base.c:184:35: style: Variable 'impl_cnt' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/Master/master_prep_base.c:2471:12: style: Variable 'new_ub' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/Master/master_prep_base.c:2565:12: style: Variable 'new_ub' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/Master/master_prep_base.c:3079:21: style: Variable 'can_iterate' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/Master/master_prep_base.c:3130:15: style: Variable 'can_iterate' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/Master/master_prep_base.c:3146:15: style: Variable 'can_iterate' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/Master/master_prep_base.c:3265:15: style: Variable 'can_iterate' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/Master/master_prep_base.c:4993:17: style: Variable 'debug_offset' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/Master/master_prep_base.c:4996:12: style: Variable 'o_sense' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/Master/master_prep_base.c:5186:16: style: Variable 'debug_offset' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/Master/master_prep_base.c:5601:16: style: Variable 'sos_cnt' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/Master/master_prep_base.c:5757:14: style: Variable 'avail_diff' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/Master/master_prep_base.c:5857:21: style: Variable 'check_obj' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/Master/master_prep_base.c:5885:17: style: Variable 'check_obj' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/Master/master.c:5102:4: warning: Assignment of function parameter has no effect outside the function. Did you forget dereferencing it? [uselessAssignmentPtrArg]
SYMPHONY-5.6.17/src/Master/master.c:4982:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:4983:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:4984:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:4985:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:4987:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:4990:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:4991:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:4992:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:4999:6: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5000:6: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5002:6: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5008:6: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5009:6: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5010:6: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5012:6: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5013:6: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5015:6: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5017:6: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5024:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5025:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5026:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5027:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5028:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5029:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5030:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5031:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5032:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5033:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5034:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5035:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5036:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5042:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5043:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5044:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5045:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5046:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5047:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5048:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5049:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5050:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5051:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5052:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5053:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5054:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5055:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5056:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5057:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5058:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:5063:7: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master.c:6623:17: warning: Possible null pointer dereference: buf [nullPointer]
SYMPHONY-5.6.17/src/Master/master.c:6607:15: note: Assignment 'buf=0', assigned value is 0
SYMPHONY-5.6.17/src/Master/master.c:6615:10: note: Assuming condition is false
SYMPHONY-5.6.17/src/Master/master.c:6623:17: note: Null pointer dereference
SYMPHONY-5.6.17/src/Master/master.c:2028:11: portability:inconclusive: Casting from double * to char * is not portable due to different binary data representations on different platforms. [invalidPointerCast]
SYMPHONY-5.6.17/src/Master/master.c:2109:11: portability:inconclusive: Casting from double * to char * is not portable due to different binary data representations on different platforms. [invalidPointerCast]
SYMPHONY-5.6.17/src/Master/master.c:2454:14: portability:inconclusive: Casting from double * to char * is not portable due to different binary data representations on different platforms. [invalidPointerCast]
SYMPHONY-5.6.17/src/Master/master.c:370:40: style: Variable 'lp_par->later_lp.first_cut_time_out' is reassigned a value before the old one has been used. [redundantAssignment]
SYMPHONY-5.6.17/src/Master/master.c:369:40: note: lp_par->later_lp.first_cut_time_out is assigned
SYMPHONY-5.6.17/src/Master/master.c:370:40: note: lp_par->later_lp.first_cut_time_out is overwritten
SYMPHONY-5.6.17/src/Master/master.c:372:39: style: Variable 'lp_par->later_lp.all_cuts_time_out' is reassigned a value before the old one has been used. [redundantAssignment]
SYMPHONY-5.6.17/src/Master/master.c:371:39: note: lp_par->later_lp.all_cuts_time_out is assigned
SYMPHONY-5.6.17/src/Master/master.c:372:39: note: lp_par->later_lp.all_cuts_time_out is overwritten
SYMPHONY-5.6.17/src/Master/master.c:1375:13: style: Variable 'termcode' is reassigned a value before the old one has been used. [redundantAssignment]
SYMPHONY-5.6.17/src/Master/master.c:1270:15: note: termcode is assigned
SYMPHONY-5.6.17/src/Master/master.c:1375:13: note: termcode is overwritten
SYMPHONY-5.6.17/src/Master/master.c:847:7: style:inconclusive: Found duplicate branches for 'if' and 'else'. [duplicateBranch]
SYMPHONY-5.6.17/src/Master/master.c:856:8: note: Found duplicate branches for 'if' and 'else'.
SYMPHONY-5.6.17/src/Master/master.c:847:7: note: Found duplicate branches for 'if' and 'else'.
SYMPHONY-5.6.17/src/Master/master.c:5974:47: style: Same expression on both sides of '||'. [duplicateExpression]
SYMPHONY-5.6.17/src/Master/master.c:1034:7: style: Local variable 'i' shadows outer variable [shadowVariable]
SYMPHONY-5.6.17/src/Master/master.c:830:73: note: Shadowed declaration
SYMPHONY-5.6.17/src/Master/master.c:1034:7: note: Shadow variable
SYMPHONY-5.6.17/src/Master/master.c:178:17: style: Variable 'termcode' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/Master/master.c:178:29: style: Variable 'my_tid' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/Master/master.c:1556:15: style: Variable 'total_time' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/Master/master.c:1557:14: style: Variable 'total_time' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/Master/master.c:1558:14: style: Variable 'total_time' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/Master/master.c:830:73: style: Unused variable: i [unusedVariable]
SYMPHONY-5.6.17/src/Master/master.c:880:12: style: Unused variable: tmp_sol [unusedVariable]
SYMPHONY-5.6.17/src/Master/master.c:2649:10: style: Variable 'i' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/Master/master.c:4965:9: style: Variable 'i' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/Master/master.c:4965:14: style: Variable 'j' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/Master/master.c:5083:8: style: Variable 'temp' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/Master/master_func.c:601:70: style: Condition 'root->bobj.child_num>0' is always true [knownConditionTrueFalse]
SYMPHONY-5.6.17/src/Master/master_func.c:586:27: note: Assuming that condition 'root->bobj.child_num>0' is not redundant
SYMPHONY-5.6.17/src/Master/master_func.c:601:70: note: Condition 'root->bobj.child_num>0' is always true
SYMPHONY-5.6.17/src/Master/master_func.c:1414:8: style: Condition 'root_from' is always true [knownConditionTrueFalse]
SYMPHONY-5.6.17/src/Master/master_func.c:1608:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master_func.c:1609:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master_func.c:1610:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master_func.c:1611:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master_func.c:1613:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master_func.c:1614:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master_func.c:1615:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master_func.c:1616:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master_func.c:1621:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master_func.c:1622:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master_func.c:1639:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master_func.c:1640:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master_func.c:1651:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master_func.c:1663:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master_func.c:1672:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master_func.c:1674:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master_func.c:1693:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master_func.c:1711:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master_func.c:1728:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master_func.c:1745:4: warning: fscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master_func.c:1802:4: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
SYMPHONY-5.6.17/src/Master/master_func.c:577:19: style: The comparison 'resolve == 0' is always true. [knownConditionTrueFalse]
SYMPHONY-5.6.17/src/Master/master_func.c:540:21: note: 'resolve' is assigned value '0' here.
SYMPHONY-5.6.17/src/Master/master_func.c:577:19: note: The comparison 'resolve == 0' is always true.
SYMPHONY-5.6.17/src/Master/master_func.c:594:16: style: The comparison 'resolve == 0' is always true. [knownConditionTrueFalse]
SYMPHONY-5.6.17/src/Master/master_func.c:540:21: note: 'resolve' is assigned value '0' here.
SYMPHONY-5.6.17/src/Master/master_func.c:594:16: note: The comparison 'resolve == 0' is always true.
SYMPHONY-5.6.17/src/Master/master_func.c:615:17: style: The comparison 'resolve == 0' is always true. [knownConditionTrueFalse]
SYMPHONY-5.6.17/src/Master/master_func.c:540:21: note: 'resolve' is assigned value '0' here.
SYMPHONY-5.6.17/src/Master/master_func.c:615:17: note: The comparison 'resolve == 0' is always true.
SYMPHONY-5.6.17/src/Master/master_func.c:634:17: style: The comparison 'resolve == 0' is always true. [knownConditionTrueFalse]
SYMPHONY-5.6.17/src/Master/master_func.c:540:21: note: 'resolve' is assigned value '0' here.
SYMPHONY-5.6.17/src/Master/master_func.c:634:17: note: The comparison 'resolve == 0' is always true.
SYMPHONY-5.6.17/src/Master/master_func.c:746:11: style: The comparison 'type == 0' is always true. [knownConditionTrueFalse]
SYMPHONY-5.6.17/src/Master/master_func.c:734:15: note: 'type' is assigned value '0' here.
SYMPHONY-5.6.17/src/Master/master_func.c:746:11: note: The comparison 'type == 0' is always true.
SYMPHONY-5.6.17/src/Master/master_func.c:769:11: style: The comparison 'type == 0' is always true. [knownConditionTrueFalse]
SYMPHONY-5.6.17/src/Master/master_func.c:734:15: note: 'type' is assigned value '0' here.
SYMPHONY-5.6.17/src/Master/master_func.c:769:11: note: The comparison 'type == 0' is always true.
SYMPHONY-5.6.17/src/Master/master_func.c:804:14: style: The comparison 'resolve == 0' is always true. [knownConditionTrueFalse]
SYMPHONY-5.6.17/src/Master/master_func.c:735:18: note: 'resolve' is assigned value '0' here.
SYMPHONY-5.6.17/src/Master/master_func.c:804:14: note: The comparison 'resolve == 0' is always true.
SYMPHONY-5.6.17/src/Master/master_func.c:2851:50: style: Same expression on both sides of '||'. [duplicateExpression]
SYMPHONY-5.6.17/src/Master/master_func.c:3325:47: style: Same expression on both sides of '||'. [duplicateExpression]
SYMPHONY-5.6.17/src/Master/master_func.c:502:18: style: Local variable 'n' shadows outer variable [shadowVariable]
SYMPHONY-5.6.17/src/Master/master_func.c:50:21: note: Shadowed declaration
SYMPHONY-5.6.17/src/Master/master_func.c:502:18: note: Shadow variable
SYMPHONY-5.6.17/src/Master/master_func.c:1601:9: style: Variable 'i' is assigned a value that is never used. [unreadVariable]
SYMPHONY-5.6.17/src/Master/master_func.c:1789:8: style: Unused variable: i [unusedVariable]
SYMPHONY-5.6.17/src/Master/master_func.c:3582:11: style: Unused variable: j [unusedVariable]
SYMPHONY-5.6.17/src/Master/master_func.c:3582:14: style: Unused variable: num [unusedVariable]
SYMPHONY-5.6.17/src/Master/master_func.c:4295:8: style: Unused variable: i [unusedVariable]
diff:
2.6 SYMPHONY-5.6.17/Applications/CNRP/src/Common/network.c:295:23: error: Uninitialized variable: nv0 [uninitvar]
2.6 SYMPHONY-5.6.17/Applications/CNRP/src/Common/network.c:295:35: error: Uninitialized variable: nv1 [uninitvar]
2.6 SYMPHONY-5.6.17/Applications/CNRP/src/Common/network.c:296:18: error: Uninitialized variable: nv0 [uninitvar]
2.6 SYMPHONY-5.6.17/Applications/CNRP/src/Common/network.c:297:9: error: Uninitialized variable: nv0 [uninitvar]
2.6 SYMPHONY-5.6.17/Applications/CNRP/src/Common/network.c:298:9: error: Uninitialized variable: nv0 [uninitvar]
2.6 SYMPHONY-5.6.17/Applications/CNRP/src/Common/network.c:301:9: error: Uninitialized variable: nv0 [uninitvar]
2.6 SYMPHONY-5.6.17/Applications/CNRP/src/Common/network.c:302:9: error: Uninitialized variable: nv0 [uninitvar]
2.6 SYMPHONY-5.6.17/Applications/CNRP/src/Common/network.c:303:9: error: Uninitialized variable: nv0 [uninitvar]
2.6 SYMPHONY-5.6.17/Applications/CNRP/src/Common/network.c:306:28: error: Uninitialized variable: nv1 [uninitvar]
2.6 SYMPHONY-5.6.17/Applications/CNRP/src/Common/network.c:307:32: error: Uninitialized variable: nv1 [uninitvar]
2.6 SYMPHONY-5.6.17/Applications/CNRP/src/Common/network.c:309:18: error: Uninitialized variable: nv1 [uninitvar]
2.6 SYMPHONY-5.6.17/Applications/CNRP/src/Common/network.c:310:9: error: Uninitialized variable: nv1 [uninitvar]
2.6 SYMPHONY-5.6.17/Applications/CNRP/src/Common/network.c:311:9: error: Uninitialized variable: nv1 [uninitvar]
2.6 SYMPHONY-5.6.17/Applications/CNRP/src/Common/network.c:314:9: error: Uninitialized variable: nv1 [uninitvar]
2.6 SYMPHONY-5.6.17/Applications/CNRP/src/Common/network.c:315:9: error: Uninitialized variable: nv1 [uninitvar]
2.6 SYMPHONY-5.6.17/Applications/CNRP/src/Common/network.c:316:9: error: Uninitialized variable: nv1 [uninitvar]
2.6 SYMPHONY-5.6.17/Applications/CNRP/src/Common/network.c:319:28: error: Uninitialized variable: nv0 [uninitvar]
2.6 SYMPHONY-5.6.17/Applications/CNRP/src/Common/network.c:320:32: error: Uninitialized variable: nv0 [uninitvar]
2.6 SYMPHONY-5.6.17/Applications/CNRP/src/LP/cnrp_lp.c:405:16: error: Uninitialized variable: flow_capacity [uninitvar]
2.6 SYMPHONY-5.6.17/Applications/CNRP/src/Master/cnrp_main.c:349:11: error: Uninitialized variable: flow_capacity [uninitvar]
2.6 SYMPHONY-5.6.17/Applications/SPP+CUTS/src/LP/spp_lp_functions.c:341:17: error: Uninitialized variable: p [uninitvar]
2.6 SYMPHONY-5.6.17/Applications/SPP+CUTS/src/LP/spp_lp_functions.c:350:11: error: Uninitialized variable: p [uninitvar]
2.6 SYMPHONY-5.6.17/Applications/SPP+CUTS/src/LP/spp_lp_functions.c:351:8: error: Uninitialized variable: p [uninitvar]
2.6 SYMPHONY-5.6.17/Applications/SPP+CUTS/src/LP/spp_lp_functions.c:355:13: error: Uninitialized variable: p [uninitvar]
2.6 SYMPHONY-5.6.17/Applications/VRP/src/CutGen/Decomp/my_decomp_user.c:979:36: style: Parameter 'colind' can be declared with const [constParameter]
head SYMPHONY-5.6.17/src/Master/master_func.c:1414:8: style: Condition 'root_from' is always true [knownConditionTrueFalse]
2.6 SYMPHONY-5.6.17/src/Master/master_func.c:1414:8: style: Condition 'root_from' is always true [knownConditionTrueFalse]
     SYMPHONY-5.6.17/src/Master/master_func.c:1409:20: note: Assuming that condition '!root_from' is not redundant
     SYMPHONY-5.6.17/src/Master/master_func.c:1414:8: note: Condition 'root_from' is always true
head SYMPHONY-5.6.17/src/Master/master_prep_base.c:1107:21: style: Condition 'check_rows' is always true [knownConditionTrueFalse]
2.6 SYMPHONY-5.6.17/src/Master/master_prep_base.c:1107:21: style: Condition 'check_rows' is always true [knownConditionTrueFalse]
     SYMPHONY-5.6.17/src/Master/master_prep_base.c:1103:8: note: Assuming that condition 'check_rows' is not redundant
     SYMPHONY-5.6.17/src/Master/master_prep_base.c:1107:21: note: Condition 'check_rows' is always true
head SYMPHONY-5.6.17/src/Master/master_prep_base.c:732:31: style: Condition 'cols[cl_ind].var_type=='U'' is always false [knownConditionTrueFalse]
2.6 SYMPHONY-5.6.17/src/Master/master_prep_base.c:732:31: style: Condition 'cols[cl_ind].var_type=='U'' is always false [knownConditionTrueFalse]
     SYMPHONY-5.6.17/src/Master/master_prep_base.c:722:31: note: Assuming that condition 'cols[cl_ind].var_type=='U'' is not redundant
     SYMPHONY-5.6.17/src/Master/master_prep_base.c:732:31: note: Condition 'cols[cl_ind].var_type=='U'' is always false
head SYMPHONY-5.6.17/src/Master/master_prep_base.c:733:31: style: Condition 'cols[cl_ind].var_type=='L'' is always false [knownConditionTrueFalse]
2.6 SYMPHONY-5.6.17/src/Master/master_prep_base.c:733:31: style: Condition 'cols[cl_ind].var_type=='L'' is always false [knownConditionTrueFalse]
     SYMPHONY-5.6.17/src/Master/master_prep_base.c:723:31: note: Assuming that condition 'cols[cl_ind].var_type=='L'' is not redundant
     SYMPHONY-5.6.17/src/Master/master_prep_base.c:733:31: note: Condition 'cols[cl_ind].var_type=='L'' is always false


DONE