1,072
edits
PVS static analyzer - 5.0 Release: Difference between revisions
Jump to navigation
Jump to search
m
Mark bug fixed
m (Mark bug fixed) |
m (Mark bug fixed) |
||
| Line 9,408: | Line 9,408: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/liboctave/array/fDiagMatrix.cc">fDiagMatrix.cc (173)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/fDiagMatrix.cc">fDiagMatrix.cc (173)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v728/ V728]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v728/ V728]</td> | ||
<td style='width: 65%;'>An excessive check can be simplified. The '||' operator is surrounded by opposite expressions 'r <= c' and 'r > c'. </td> | <td style='width: 65%;'>An excessive check can be simplified. The '||' operator is surrounded by opposite expressions 'r <= c' and 'r > c'. </td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/liboctave/array/fDiagMatrix.cc">fDiagMatrix.cc (185)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/fDiagMatrix.cc">fDiagMatrix.cc (185)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v1004/ V1004]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v1004/ V1004]</td> | ||
<td style='width: 65%;'>The 's' pointer was used unsafely after it was verified against nullptr. Check lines: 182, 185.</td> | <td style='width: 65%;'>The 's' pointer was used unsafely after it was verified against nullptr. Check lines: 182, 185.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/liboctave/array/fDiagMatrix.cc">fDiagMatrix.cc (192)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/fDiagMatrix.cc">fDiagMatrix.cc (192)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td> | ||
<td style='width: 65%;'>Non-void function should return a value.</td> | <td style='width: 65%;'>Non-void function should return a value.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/liboctave/array/fDiagMatrix.cc">fDiagMatrix.cc (203)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/fDiagMatrix.cc">fDiagMatrix.cc (203)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v728/ V728]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v728/ V728]</td> | ||
<td style='width: 65%;'>An excessive check can be simplified. The '||' operator is surrounded by opposite expressions 'r >= c' and 'r < c'. </td> | <td style='width: 65%;'>An excessive check can be simplified. The '||' operator is surrounded by opposite expressions 'r >= c' and 'r < c'. </td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/liboctave/array/fDiagMatrix.cc">fDiagMatrix.cc (215)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/fDiagMatrix.cc">fDiagMatrix.cc (215)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v1004/ V1004]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v1004/ V1004]</td> | ||
<td style='width: 65%;'>The 's' pointer was used unsafely after it was verified against nullptr. Check lines: 212, 215.</td> | <td style='width: 65%;'>The 's' pointer was used unsafely after it was verified against nullptr. Check lines: 212, 215.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/liboctave/array/fDiagMatrix.cc">fDiagMatrix.cc (222)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/fDiagMatrix.cc">fDiagMatrix.cc (222)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td> | ||
<td style='width: 65%;'>Non-void function should return a value.</td> | <td style='width: 65%;'>Non-void function should return a value.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/liboctave/array/fDiagMatrix.cc">fDiagMatrix.cc (266)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/fDiagMatrix.cc">fDiagMatrix.cc (266)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td> | ||
<td style='width: 65%;'>An odd precise comparison: val == 0.0f. It's probably better to use a comparison with defined precision: fabs(A - B) < Epsilon.</td> | <td style='width: 65%;'>An odd precise comparison: val == 0.0f. It's probably better to use a comparison with defined precision: fabs(A - B) < Epsilon.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/octave/liboctave/array/fDiagMatrix.cc">fDiagMatrix.cc (326)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/fDiagMatrix.cc">fDiagMatrix.cc (326)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td> | ||
<td style='width: 65%;'>An odd precise comparison: amx == 0. It's probably better to use a comparison with defined precision: fabs(A - B) < Epsilon.</td> | <td style='width: 65%;'>An odd precise comparison: amx == 0. It's probably better to use a comparison with defined precision: fabs(A - B) < Epsilon.</td> | ||