PVS static analyzer - 5.0 Release: Difference between revisions

m
Mark bug fixed
m (Mark bug fixed)
m (Mark bug fixed)
Line 7,223: Line 7,223:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (415)</div></td>
       <td style='width: 30%; text-decoration: line-through; text-decoration: line-through; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (415)</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: inf_or_nan.</td>
       <td style='width: 65%;'>A part of conditional expression is always false: inf_or_nan.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (517)</div></td>
       <td style='width: 30%; text-decoration: line-through; text-decoration: line-through; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (517)</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: fw &lt; 5.</td>
       <td style='width: 65%;'>A part of conditional expression is always false: fw &lt; 5.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (690)</div></td>
       <td style='width: 30%; text-decoration: line-through; text-decoration: line-through; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (690)</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: r_fw &lt; 5.</td>
       <td style='width: 65%;'>A part of conditional expression is always false: r_fw &lt; 5.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (758)</div></td>
       <td style='width: 30%; text-decoration: line-through; text-decoration: line-through; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (758)</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: inf_or_nan.</td>
       <td style='width: 65%;'>A part of conditional expression is always false: inf_or_nan.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (909)</div></td>
       <td style='width: 30%; text-decoration: line-through; text-decoration: line-through; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (909)</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: r_fw &lt; 5.</td>
       <td style='width: 65%;'>A part of conditional expression is always false: r_fw &lt; 5.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (1256)</div></td>
       <td style='width: 30%; text-decoration: line-through; text-decoration: line-through; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (1256)</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: max_abs == 0. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
       <td style='width: 65%;'>An odd precise comparison: max_abs == 0. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (1258)</div></td>
       <td style='width: 30%; text-decoration: line-through; text-decoration: line-through; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (1258)</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: min_abs == 0. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
       <td style='width: 65%;'>An odd precise comparison: min_abs == 0. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (1423)</div></td>
       <td style='width: 30%; text-decoration: line-through; text-decoration: line-through; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (1423)</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: scale != 1. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>
       <td style='width: 65%;'>An odd precise comparison: scale != 1. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (1520)</div></td>
       <td style='width: 30%; text-decoration: line-through; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (1520)</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: scale != 1. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>
       <td style='width: 65%;'>An odd precise comparison: scale != 1. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (1840)</div></td>
       <td style='width: 30%; text-decoration: line-through; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (1840)</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: j &lt; lim.</td>
       <td style='width: 65%;'>A part of conditional expression is always true: j &lt; lim.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (1956)</div></td>
       <td style='width: 30%; text-decoration: line-through; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (1956)</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: j &lt; lim.</td>
       <td style='width: 65%;'>A part of conditional expression is always true: j &lt; lim.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (2094)</div></td>
       <td style='width: 30%; text-decoration: line-through; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (2094)</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 'i &lt; m' is always true.</td>
       <td style='width: 65%;'>Expression 'i &lt; m' is always true.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (2250)</div></td>
       <td style='width: 30%; text-decoration: line-through; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (2250)</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: j &lt; lim.</td>
       <td style='width: 65%;'>A part of conditional expression is always true: j &lt; lim.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (2420)</div></td>
       <td style='width: 30%; text-decoration: line-through; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (2420)</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: increment != 1. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>
       <td style='width: 65%;'>An odd precise comparison: increment != 1. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (2428)</div></td>
       <td style='width: 30%; text-decoration: line-through; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (2428)</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: increment != 1. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>
       <td style='width: 65%;'>An odd precise comparison: increment != 1. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (2694)</div></td>
       <td style='width: 30%; text-decoration: line-through; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (2694)</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 'i &lt; m' is always true.</td>
       <td style='width: 65%;'>Expression 'i &lt; m' is always true.</td>
1,072

edits