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 5,387: Line 5,387:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-usr-fcn.cc">ov-usr-fcn.cc (827)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-usr-fcn.cc">ov-usr-fcn.cc (827)</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: k != octave::math::round(k). 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: k != octave::math::round(k). It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>
Line 6,292: Line 6,292:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/corefcn/find.cc">find.cc (402)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/corefcn/find.cc">find.cc (402)</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 != octave::math::round(val). 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: val != octave::math::round(val). It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>
Line 7,447: Line 7,447:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (5619)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (5619)</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: dval == math::round(dval). 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: dval == math::round(dval). 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/oct/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (5646)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (5646)</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: dval == math::round(dval). 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: dval == math::round(dval). It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
Line 9,907: Line 9,907:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/oct/octave/liboctave/array/idx-vector.cc">idx-vector.cc (155)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/liboctave/array/idx-vector.cc">idx-vector.cc (155)</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: b != std::floor(b). 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: b != std::floor(b). It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>
Line 11,167: Line 11,167:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/oct/octave/liboctave/util/oct-inttypes.cc">oct-inttypes.cc (582)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/liboctave/util/oct-inttypes.cc">oct-inttypes.cc (582)</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: y == octave::math::round(y). 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: y == octave::math::round(y). It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
Line 11,177: Line 11,177:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/oct/octave/liboctave/util/oct-inttypes.cc">oct-inttypes.cc (617)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/liboctave/util/oct-inttypes.cc">oct-inttypes.cc (617)</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: y == octave::math::round(y). 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: y == octave::math::round(y). It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
Line 11,187: Line 11,187:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/oct/octave/liboctave/util/oct-inttypes.cc">oct-inttypes.cc (667)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/liboctave/util/oct-inttypes.cc">oct-inttypes.cc (667)</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: y == octave::math::round(y). 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: y == octave::math::round(y). 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/oct/octave/liboctave/util/oct-inttypes.cc">oct-inttypes.cc (677)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/liboctave/util/oct-inttypes.cc">oct-inttypes.cc (677)</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: y == octave::math::round(y). 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: y == octave::math::round(y). 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/oct/octave/liboctave/util/oct-inttypes.cc">oct-inttypes.cc (754)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/liboctave/util/oct-inttypes.cc">oct-inttypes.cc (754)</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: b == octave::math::round(b). 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: b == octave::math::round(b). 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/oct/octave/liboctave/util/oct-inttypes.cc">oct-inttypes.cc (769)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/liboctave/util/oct-inttypes.cc">oct-inttypes.cc (769)</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: b == octave::math::round(b). 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: b == octave::math::round(b). 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/oct/octave/liboctave/util/oct-inttypes.cc">oct-inttypes.cc (787)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/liboctave/util/oct-inttypes.cc">oct-inttypes.cc (787)</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: b == octave::math::round(b). 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: b == octave::math::round(b). It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
1,072

edits

Navigation menu