2026-05-03 05:54 ftp://ftp.de.debian.org/debian/pool/main/libp/libpj-java/libpj-java_0.0~20150107+dfsg.orig.tar.xz cppcheck-options: --library=posix --library=gnu --library=bsd --library=openmp --inconclusive --enable=style,information --inline-suppr --template=daca2 --disable=missingInclude --suppress=unmatchedSuppression --check-library --debug-warnings --suppress=autoNoType --suppress=valueFlowBailout --suppress=bailoutUninitVar --suppress=symbolDatabaseWarning --suppress=normalCheckLevelConditionExpressions -D__GNUC__ --platform=unix64 -j1 platform: Linux-6.8.0-111-generic-x86_64-with-glibc2.39 python: 3.12.3 client-version: 1.3.70 compiler: g++ (Ubuntu 14.2.0-4ubuntu2~24.04.1) 14.2.0 cppcheck: head 2.20.0 head-info: e5c4a73 (2026-05-01 11:10:43 +0200) count: 87 87 elapsed-time: 0.3 0.2 head-timing-info: old-timing-info: head results: pj/lib/edu/rit/clu/monte/doc-files/PiClu.c:153:3: error: Unmatched '{'. Configuration: '__GNUC__=1'. [syntaxError] pj/lib/edu/rit/clu/monte/doc-files/PiSeq.c:74:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] pj/lib/edu/rit/clu/monte/doc-files/PiSeq.c:112:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPI_COMM_WORLD [valueFlowBailoutIncompleteVar] pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:87:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:190:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:208:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPI_COMM_WORLD [valueFlowBailoutIncompleteVar] pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:237:19: style: Condition 'i>=n' is always false [knownConditionTrueFalse] pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:232:17: note: Assuming that condition 'i=n' is always false pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:243:15: style: Condition 'i_root<0' is always false [knownConditionTrueFalse] pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:241:15: note: Assuming that condition 'i_root<0' is not redundant pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:243:15: note: Condition 'i_root<0' is always false pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:243:29: style: Condition 'i_root>=size' is always false [knownConditionTrueFalse] pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:241:29: note: Assuming that condition 'i_root>=size' is not redundant pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:243:29: note: Condition 'i_root>=size' is always false pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:277:21: style: Condition 'c>=n' is always false [knownConditionTrueFalse] pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:274:19: note: Assuming that condition 'c=n' is always false pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:281:12: style: Condition 'c<0' is always false [knownConditionTrueFalse] pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:277:12: note: Assuming that condition 'c<0' is not redundant pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:279:16: note: Assuming condition is false pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:281:12: note: Condition 'c<0' is always false pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:281:21: style: Condition 'c>=n' is always false [knownConditionTrueFalse] pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:277:21: note: Assuming that condition 'c>=n' is not redundant pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:279:16: note: Assuming condition is false pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:281:21: note: Condition 'c>=n' is always false pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:283:12: style: Condition 'c<0' is always false [knownConditionTrueFalse] pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:277:12: note: Assuming that condition 'c<0' is not redundant pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:279:16: note: Assuming condition is false pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:283:12: note: Condition 'c<0' is always false pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:283:21: style: Condition 'c>=n' is always false [knownConditionTrueFalse] pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:281:21: note: Assuming that condition 'c>=n' is not redundant pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:283:21: note: Condition 'c>=n' is always false pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:136:4: warning: If memory allocation fails, then there is a possible null pointer dereference: slicelb [nullPointerOutOfMemory] pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:129:28: note: Assuming allocation function fails pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:129:13: note: Assignment 'slicelb=(int*)malloc(size*sizeof(int))', assigned value is 0 pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:136:4: note: Null pointer dereference pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:138:4: warning: If memory allocation fails, then there is a possible null pointer dereference: sliceub [nullPointerOutOfMemory] pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:130:28: note: Assuming allocation function fails pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:130:13: note: Assignment 'sliceub=(int*)malloc(size*sizeof(int))', assigned value is 0 pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:138:4: note: Null pointer dereference pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:139:4: warning: If memory allocation fails, then there is a possible null pointer dereference: slicelength [nullPointerOutOfMemory] pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:131:32: note: Assuming allocation function fails pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:131:17: note: Assignment 'slicelength=(int*)malloc(size*sizeof(int))', assigned value is 0 pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:139:4: note: Null pointer dereference pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:145:4: warning: If memory allocation fails, then there is a possible null pointer dereference: slicelb [nullPointerOutOfMemory] pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:129:28: note: Assuming allocation function fails pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:129:13: note: Assignment 'slicelb=(int*)malloc(size*sizeof(int))', assigned value is 0 pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:145:4: note: Null pointer dereference pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:147:4: warning: If memory allocation fails, then there is a possible null pointer dereference: sliceub [nullPointerOutOfMemory] pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:130:28: note: Assuming allocation function fails pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:130:13: note: Assignment 'sliceub=(int*)malloc(size*sizeof(int))', assigned value is 0 pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:147:4: note: Null pointer dereference pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:148:4: warning: If memory allocation fails, then there is a possible null pointer dereference: slicelength [nullPointerOutOfMemory] pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:131:32: note: Assuming allocation function fails pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:131:17: note: Assignment 'slicelength=(int*)malloc(size*sizeof(int))', assigned value is 0 pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:148:4: note: Null pointer dereference pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:151:10: warning: If memory allocation fails, then there is a possible null pointer dereference: slicelb [nullPointerOutOfMemory] pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:129:28: note: Assuming allocation function fails pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:129:13: note: Assignment 'slicelb=(int*)malloc(size*sizeof(int))', assigned value is 0 pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:151:10: note: Null pointer dereference pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:152:10: warning: If memory allocation fails, then there is a possible null pointer dereference: sliceub [nullPointerOutOfMemory] pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:130:28: note: Assuming allocation function fails pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:130:13: note: Assignment 'sliceub=(int*)malloc(size*sizeof(int))', assigned value is 0 pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:152:10: note: Null pointer dereference pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:153:14: warning: If memory allocation fails, then there is a possible null pointer dereference: slicelength [nullPointerOutOfMemory] pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:131:32: note: Assuming allocation function fails pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:131:17: note: Assignment 'slicelength=(int*)malloc(size*sizeof(int))', assigned value is 0 pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:153:14: note: Null pointer dereference pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:167:4: warning: If memory allocation fails, then there is a possible null pointer dereference: d_storage [nullPointerOutOfMemory] pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:164:33: note: Assuming allocation function fails pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:164:15: note: Assignment 'd_storage=(double*)malloc(n_len*sizeof(double))', assigned value is 0 pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:167:4: note: Null pointer dereference pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:173:4: warning: If memory allocation fails, then there is a possible null pointer dereference: d [nullPointerOutOfMemory] pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:170:25: note: Assuming allocation function fails pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:170:7: note: Assignment 'd=(double**)malloc(n*sizeof(double*))', assigned value is 0 pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:173:4: note: Null pointer dereference pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:177:4: warning: If memory allocation fails, then there is a possible null pointer dereference: d [nullPointerOutOfMemory] pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:170:25: note: Assuming allocation function fails pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:170:7: note: Assignment 'd=(double**)malloc(n*sizeof(double*))', assigned value is 0 pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:177:4: note: Null pointer dereference pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:181:4: warning: If memory allocation fails, then there is a possible null pointer dereference: d [nullPointerOutOfMemory] pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:170:25: note: Assuming allocation function fails pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:170:7: note: Assignment 'd=(double**)malloc(n*sizeof(double*))', assigned value is 0 pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:181:4: note: Null pointer dereference pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:177:21: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory] pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:164:33: note: Assuming allocation function fails pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:164:15: note: Assignment 'd_storage=(double*)malloc(n_len*sizeof(double))', assigned value is 0 pj/lib/edu/rit/clu/network/doc-files/FloydClu.c:177:21: note: Null pointer addition pj/lib/edu/rit/clu/network/doc-files/FloydSeq.c:72:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] pj/lib/edu/rit/clu/network/doc-files/FloydSeq.c:129:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] pj/lib/edu/rit/clu/network/doc-files/FloydSeq.c:147:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MPI_COMM_WORLD [valueFlowBailoutIncompleteVar] pj/lib/edu/rit/clu/network/doc-files/FloydSeq.c:167:19: style: Condition 'i>=n' is always false [knownConditionTrueFalse] pj/lib/edu/rit/clu/network/doc-files/FloydSeq.c:164:17: note: Assuming that condition 'i=n' is always false pj/lib/edu/rit/clu/network/doc-files/FloydSeq.c:172:20: style: Condition 'r>=n' is always false [knownConditionTrueFalse] pj/lib/edu/rit/clu/network/doc-files/FloydSeq.c:169:18: note: Assuming that condition 'r=n' is always false pj/lib/edu/rit/clu/network/doc-files/FloydSeq.c:177:21: style: Condition 'c>=n' is always false [knownConditionTrueFalse] pj/lib/edu/rit/clu/network/doc-files/FloydSeq.c:174:19: note: Assuming that condition 'c=n' is always false pj/lib/edu/rit/clu/network/doc-files/FloydSeq.c:181:12: style: Condition 'c<0' is always false [knownConditionTrueFalse] pj/lib/edu/rit/clu/network/doc-files/FloydSeq.c:177:12: note: Assuming that condition 'c<0' is not redundant pj/lib/edu/rit/clu/network/doc-files/FloydSeq.c:179:16: note: Assuming condition is false pj/lib/edu/rit/clu/network/doc-files/FloydSeq.c:181:12: note: Condition 'c<0' is always false pj/lib/edu/rit/clu/network/doc-files/FloydSeq.c:181:21: style: Condition 'c>=n' is always false [knownConditionTrueFalse] pj/lib/edu/rit/clu/network/doc-files/FloydSeq.c:177:21: note: Assuming that condition 'c>=n' is not redundant pj/lib/edu/rit/clu/network/doc-files/FloydSeq.c:179:16: note: Assuming condition is false pj/lib/edu/rit/clu/network/doc-files/FloydSeq.c:181:21: note: Condition 'c>=n' is always false pj/lib/edu/rit/clu/network/doc-files/FloydSeq.c:183:12: style: Condition 'c<0' is always false [knownConditionTrueFalse] pj/lib/edu/rit/clu/network/doc-files/FloydSeq.c:177:12: note: Assuming that condition 'c<0' is not redundant pj/lib/edu/rit/clu/network/doc-files/FloydSeq.c:179:16: note: Assuming condition is false pj/lib/edu/rit/clu/network/doc-files/FloydSeq.c:183:12: note: Condition 'c<0' is always false pj/lib/edu/rit/clu/network/doc-files/FloydSeq.c:183:21: style: Condition 'c>=n' is always false [knownConditionTrueFalse] pj/lib/edu/rit/clu/network/doc-files/FloydSeq.c:181:21: note: Assuming that condition 'c>=n' is not redundant pj/lib/edu/rit/clu/network/doc-files/FloydSeq.c:183:21: note: Condition 'c>=n' is always false pj/lib/edu/rit/clu/network/doc-files/FloydSeq.c:114:4: warning: If memory allocation fails, then there is a possible null pointer dereference: d_storage [nullPointerOutOfMemory] pj/lib/edu/rit/clu/network/doc-files/FloydSeq.c:111:33: note: Assuming allocation function fails pj/lib/edu/rit/clu/network/doc-files/FloydSeq.c:111:15: note: Assignment 'd_storage=(double*)malloc(n_sqr*sizeof(double))', assigned value is 0 pj/lib/edu/rit/clu/network/doc-files/FloydSeq.c:114:4: note: Null pointer dereference pj/lib/edu/rit/clu/network/doc-files/FloydSeq.c:120:4: warning: If memory allocation fails, then there is a possible null pointer dereference: d [nullPointerOutOfMemory] pj/lib/edu/rit/clu/network/doc-files/FloydSeq.c:117:25: note: Assuming allocation function fails pj/lib/edu/rit/clu/network/doc-files/FloydSeq.c:117:7: note: Assignment 'd=(double**)malloc(n*sizeof(double*))', assigned value is 0 pj/lib/edu/rit/clu/network/doc-files/FloydSeq.c:120:4: note: Null pointer dereference pj/lib/edu/rit/clu/network/doc-files/FloydSeq.c:120:21: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory] pj/lib/edu/rit/clu/network/doc-files/FloydSeq.c:111:33: note: Assuming allocation function fails pj/lib/edu/rit/clu/network/doc-files/FloydSeq.c:111:15: note: Assignment 'd_storage=(double*)malloc(n_sqr*sizeof(double))', assigned value is 0 pj/lib/edu/rit/clu/network/doc-files/FloydSeq.c:120:21: note: Null pointer addition pj/lib/edu/rit/clu/network/doc-files/FloydSeq.c:166:12: style: Variable 'd_i' can be declared as pointer to const [constVariablePointer] pj/lib/edu/rit/smp/monte/doc-files/PiSeq3.c:68:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] pj/lib/edu/rit/smp/monte/doc-files/PiSmp3.c:67:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] pj/lib/edu/rit/smp/network/doc-files/FloydSeq.c:93:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] pj/lib/edu/rit/smp/network/doc-files/FloydSeq.c:135:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] pj/lib/edu/rit/smp/network/doc-files/FloydSeq.c:151:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] pj/lib/edu/rit/smp/network/doc-files/FloydSeq.c:183:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] pj/lib/edu/rit/smp/network/doc-files/FloydSeq.c:194:5: warning: If memory allocation fails, then there is a possible null pointer dereference: d_r [nullPointerOutOfMemory] pj/lib/edu/rit/smp/network/doc-files/FloydSeq.c:190:35: note: Assuming allocation function fails pj/lib/edu/rit/smp/network/doc-files/FloydSeq.c:190:18: note: Assignment 'd_r=(double*)malloc(n*sizeof(double))', assigned value is 0 pj/lib/edu/rit/smp/network/doc-files/FloydSeq.c:194:5: note: Null pointer dereference pj/lib/edu/rit/smp/network/doc-files/FloydSeq.c:168:9: style: Variable 'infile' can be declared as pointer to const [constVariablePointer] pj/lib/edu/rit/smp/network/doc-files/FloydSeq.c:168:18: style: Variable 'outfile' can be declared as pointer to const [constVariablePointer] pj/lib/edu/rit/smp/network/doc-files/FloydSeq.c:207:12: style: Variable 'd_i' can be declared as pointer to const [constVariablePointer] pj/lib/edu/rit/smp/network/doc-files/FloydSeq.c:229:12: style: Variable 'd_r' can be declared as pointer to const [constVariablePointer] pj/lib/edu/rit/smp/network/doc-files/FloydSmpGuided.c:94:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] pj/lib/edu/rit/smp/network/doc-files/FloydSmpGuided.c:137:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] pj/lib/edu/rit/smp/network/doc-files/FloydSmpGuided.c:153:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] pj/lib/edu/rit/smp/network/doc-files/FloydSmpGuided.c:164:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] pj/lib/edu/rit/smp/network/doc-files/FloydSmpGuided.c:194:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] pj/lib/edu/rit/smp/network/doc-files/FloydSmpGuided.c:221:19: style: Condition 'i>=n' is always false [knownConditionTrueFalse] pj/lib/edu/rit/smp/network/doc-files/FloydSmpGuided.c:218:17: note: Assuming that condition 'i=n' is always false pj/lib/edu/rit/smp/network/doc-files/FloydSmpGuided.c:227:20: style: Condition 'r>=n' is always false [knownConditionTrueFalse] pj/lib/edu/rit/smp/network/doc-files/FloydSmpGuided.c:224:18: note: Assuming that condition 'r=n' is always false pj/lib/edu/rit/smp/network/doc-files/FloydSmpGuided.c:232:21: style: Condition 'c>=n' is always false [knownConditionTrueFalse] pj/lib/edu/rit/smp/network/doc-files/FloydSmpGuided.c:229:19: note: Assuming that condition 'c=n' is always false pj/lib/edu/rit/smp/network/doc-files/FloydSmpGuided.c:236:12: style: Condition 'i<0' is always false [knownConditionTrueFalse] pj/lib/edu/rit/smp/network/doc-files/FloydSmpGuided.c:234:12: note: Assuming that condition 'i<0' is not redundant pj/lib/edu/rit/smp/network/doc-files/FloydSmpGuided.c:236:12: note: Condition 'i<0' is always false pj/lib/edu/rit/smp/network/doc-files/FloydSmpGuided.c:236:21: style: Condition 'i>=n' is always false [knownConditionTrueFalse] pj/lib/edu/rit/smp/network/doc-files/FloydSmpGuided.c:234:21: note: Assuming that condition 'i>=n' is not redundant pj/lib/edu/rit/smp/network/doc-files/FloydSmpGuided.c:236:21: note: Condition 'i>=n' is always false pj/lib/edu/rit/smp/network/doc-files/FloydSmpGuided.c:238:12: style: Condition 'c<0' is always false [knownConditionTrueFalse] pj/lib/edu/rit/smp/network/doc-files/FloydSmpGuided.c:232:12: note: Assuming that condition 'c<0' is not redundant pj/lib/edu/rit/smp/network/doc-files/FloydSmpGuided.c:234:16: note: Assuming condition is false pj/lib/edu/rit/smp/network/doc-files/FloydSmpGuided.c:238:12: note: Condition 'c<0' is always false pj/lib/edu/rit/smp/network/doc-files/FloydSmpGuided.c:238:21: style: Condition 'c>=n' is always false [knownConditionTrueFalse] pj/lib/edu/rit/smp/network/doc-files/FloydSmpGuided.c:232:21: note: Assuming that condition 'c>=n' is not redundant pj/lib/edu/rit/smp/network/doc-files/FloydSmpGuided.c:234:16: note: Assuming condition is false pj/lib/edu/rit/smp/network/doc-files/FloydSmpGuided.c:238:21: note: Condition 'c>=n' is always false pj/lib/edu/rit/smp/network/doc-files/FloydSmpGuided.c:205:5: warning: If memory allocation fails, then there is a possible null pointer dereference: d_r [nullPointerOutOfMemory] pj/lib/edu/rit/smp/network/doc-files/FloydSmpGuided.c:201:35: note: Assuming allocation function fails pj/lib/edu/rit/smp/network/doc-files/FloydSmpGuided.c:201:18: note: Assignment 'd_r=(double*)malloc(n*sizeof(double))', assigned value is 0 pj/lib/edu/rit/smp/network/doc-files/FloydSmpGuided.c:205:5: note: Null pointer dereference pj/lib/edu/rit/smp/network/doc-files/FloydSmpGuided.c:179:9: style: Variable 'infile' can be declared as pointer to const [constVariablePointer] pj/lib/edu/rit/smp/network/doc-files/FloydSmpGuided.c:179:18: style: Variable 'outfile' can be declared as pointer to const [constVariablePointer] pj/lib/edu/rit/smp/network/doc-files/FloydSmpGuided.c:220:12: style: Variable 'd_i' can be declared as pointer to const [constVariablePointer] pj/lib/edu/rit/smp/network/doc-files/FloydSmpGuided.c:256:12: style: Variable 'd_r' can be declared as pointer to const [constVariablePointer] pj/lib/edu/rit/smp/network/doc-files/FloydSmpRow.c:94:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] pj/lib/edu/rit/smp/network/doc-files/FloydSmpRow.c:137:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] pj/lib/edu/rit/smp/network/doc-files/FloydSmpRow.c:153:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] pj/lib/edu/rit/smp/network/doc-files/FloydSmpRow.c:164:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] pj/lib/edu/rit/smp/network/doc-files/FloydSmpRow.c:194:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] pj/lib/edu/rit/smp/network/doc-files/FloydSmpRow.c:221:19: style: Condition 'i>=n' is always false [knownConditionTrueFalse] pj/lib/edu/rit/smp/network/doc-files/FloydSmpRow.c:218:17: note: Assuming that condition 'i=n' is always false pj/lib/edu/rit/smp/network/doc-files/FloydSmpRow.c:227:20: style: Condition 'r>=n' is always false [knownConditionTrueFalse] pj/lib/edu/rit/smp/network/doc-files/FloydSmpRow.c:224:18: note: Assuming that condition 'r=n' is always false pj/lib/edu/rit/smp/network/doc-files/FloydSmpRow.c:232:21: style: Condition 'c>=n' is always false [knownConditionTrueFalse] pj/lib/edu/rit/smp/network/doc-files/FloydSmpRow.c:229:19: note: Assuming that condition 'c=n' is always false pj/lib/edu/rit/smp/network/doc-files/FloydSmpRow.c:236:12: style: Condition 'i<0' is always false [knownConditionTrueFalse] pj/lib/edu/rit/smp/network/doc-files/FloydSmpRow.c:234:12: note: Assuming that condition 'i<0' is not redundant pj/lib/edu/rit/smp/network/doc-files/FloydSmpRow.c:236:12: note: Condition 'i<0' is always false pj/lib/edu/rit/smp/network/doc-files/FloydSmpRow.c:236:21: style: Condition 'i>=n' is always false [knownConditionTrueFalse] pj/lib/edu/rit/smp/network/doc-files/FloydSmpRow.c:234:21: note: Assuming that condition 'i>=n' is not redundant pj/lib/edu/rit/smp/network/doc-files/FloydSmpRow.c:236:21: note: Condition 'i>=n' is always false pj/lib/edu/rit/smp/network/doc-files/FloydSmpRow.c:238:12: style: Condition 'c<0' is always false [knownConditionTrueFalse] pj/lib/edu/rit/smp/network/doc-files/FloydSmpRow.c:232:12: note: Assuming that condition 'c<0' is not redundant pj/lib/edu/rit/smp/network/doc-files/FloydSmpRow.c:234:16: note: Assuming condition is false pj/lib/edu/rit/smp/network/doc-files/FloydSmpRow.c:238:12: note: Condition 'c<0' is always false pj/lib/edu/rit/smp/network/doc-files/FloydSmpRow.c:238:21: style: Condition 'c>=n' is always false [knownConditionTrueFalse] pj/lib/edu/rit/smp/network/doc-files/FloydSmpRow.c:232:21: note: Assuming that condition 'c>=n' is not redundant pj/lib/edu/rit/smp/network/doc-files/FloydSmpRow.c:234:16: note: Assuming condition is false pj/lib/edu/rit/smp/network/doc-files/FloydSmpRow.c:238:21: note: Condition 'c>=n' is always false pj/lib/edu/rit/smp/network/doc-files/FloydSmpRow.c:205:5: warning: If memory allocation fails, then there is a possible null pointer dereference: d_r [nullPointerOutOfMemory] pj/lib/edu/rit/smp/network/doc-files/FloydSmpRow.c:201:35: note: Assuming allocation function fails pj/lib/edu/rit/smp/network/doc-files/FloydSmpRow.c:201:18: note: Assignment 'd_r=(double*)malloc(n*sizeof(double))', assigned value is 0 pj/lib/edu/rit/smp/network/doc-files/FloydSmpRow.c:205:5: note: Null pointer dereference pj/lib/edu/rit/smp/network/doc-files/FloydSmpRow.c:179:9: style: Variable 'infile' can be declared as pointer to const [constVariablePointer] pj/lib/edu/rit/smp/network/doc-files/FloydSmpRow.c:179:18: style: Variable 'outfile' can be declared as pointer to const [constVariablePointer] pj/lib/edu/rit/smp/network/doc-files/FloydSmpRow.c:220:12: style: Variable 'd_i' can be declared as pointer to const [constVariablePointer] pj/lib/edu/rit/smp/network/doc-files/FloydSmpRow.c:256:12: style: Variable 'd_r' can be declared as pointer to const [constVariablePointer] diff: DONE