PVS static analyzer - 5.0 Release: Difference between revisions

m
Mark 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 &amp;&amp; !B) || (!A &amp;&amp; B)' expression is equivalent to the 'bool(A) != bool(B)' expression.</td>
       <td style='width: 65%;'>An excessive check can be simplified. The '(A &amp;&amp; !B) || (!A &amp;&amp; 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 &gt; 0.</td>
       <td style='width: 65%;'>A part of conditional expression is always true: nel &gt; 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 &gt; max_namelen' is always false.</td>
       <td style='width: 65%;'>Expression '6 &gt; max_namelen' is always false.</td>
1,072

edits