1,073
edits
PVS static analyzer - 5.0 Release: Difference between revisions
Jump to navigation
Jump to search
m
PVS static analyzer - 5.0 Release (view source)
Revision as of 19:11, 5 January 2019
, 5 January 2019Mark bug fixed
m (Mark bug fixed) |
m (Mark bug fixed) |
||
| Line 7,151: | Line 7,151: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/corefcn/ls-mat5.cc">ls-mat5.cc (501)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/corefcn/ls-mat5.cc">ls-mat5.cc (501)</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 '(A && !B) || (!A && B)' expression is equivalent to the 'bool(A) != bool(B)' expression.</td> | <td style='width: 65%;'>An excessive check can be simplified. The '(A && !B) || (!A && B)' expression is equivalent to the 'bool(A) != bool(B)' expression.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/corefcn/ls-mat5.cc">ls-mat5.cc (1625)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/corefcn/ls-mat5.cc">ls-mat5.cc (1625)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v525/ V525]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v525/ V525]</td> | ||
<td style='width: 65%;'>The code contains the collection of similar blocks. Check items '4', '1', '2', '4', '1', '2', '4' in lines 1625, 1626, 1627, 1628, 1629, 1630, 1631.</td> | <td style='width: 65%;'>The code contains the collection of similar blocks. Check items '4', '1', '2', '4', '1', '2', '4' in lines 1625, 1626, 1627, 1628, 1629, 1630, 1631.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/corefcn/ls-mat5.cc">ls-mat5.cc (1710)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/corefcn/ls-mat5.cc">ls-mat5.cc (1710)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v525/ V525]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v525/ V525]</td> | ||
<td style='width: 65%;'>The code contains the collection of similar blocks. Check items '4', '1', '2', '4', '1', '2', '4' in lines 1710, 1711, 1712, 1713, 1714, 1715, 1716.</td> | <td style='width: 65%;'>The code contains the collection of similar blocks. Check items '4', '1', '2', '4', '1', '2', '4' in lines 1710, 1711, 1712, 1713, 1714, 1715, 1716.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/corefcn/ls-mat5.cc">ls-mat5.cc (2013)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/corefcn/ls-mat5.cc">ls-mat5.cc (2013)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v560/ V560]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v560/ V560]</td> | ||
<td style='width: 65%;'>A part of conditional expression is always true: nel > 0.</td> | <td style='width: 65%;'>A part of conditional expression is always true: nel > 0.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/corefcn/ls-mat5.cc">ls-mat5.cc (2013)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/corefcn/ls-mat5.cc">ls-mat5.cc (2013)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v560/ V560]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v560/ V560]</td> | ||
<td style='width: 65%;'>A part of conditional expression is always true.</td> | <td style='width: 65%;'>A part of conditional expression is always true.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/corefcn/ls-mat5.cc">ls-mat5.cc (2013)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/corefcn/ls-mat5.cc">ls-mat5.cc (2013)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v560/ V560]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v560/ V560]</td> | ||
<td style='width: 65%;'>A part of conditional expression is always false.</td> | <td style='width: 65%;'>A part of conditional expression is always false.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%; color: red;'><div title="/home/pavel/oct/octave/libinterp/corefcn/ls-mat5.cc">ls-mat5.cc (2183)</div></td> | <td style='width: 30%; text-decoration: line-through; color: red;'><div title="/home/pavel/oct/octave/libinterp/corefcn/ls-mat5.cc">ls-mat5.cc (2183)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td> | ||
<td style='width: 65%;'>Expression '6 > max_namelen' is always false.</td> | <td style='width: 65%;'>Expression '6 > max_namelen' is always false.</td> | ||