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 23:25, 3 January 2019
, 3 January 2019Mark 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) > 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) > 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) > 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) > 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) < 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) < 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) < 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) < 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) > 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) > 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) < 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) < 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) < 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) < 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) < 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) < 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) < 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) < 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) < 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) < 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) < 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) < 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) < 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) < Epsilon.</td> | ||