1,073
edits
PVS static analyzer - 5.0 Release: Difference between revisions
PVS static analyzer - 5.0 Release (view source)
Revision as of 01:20, 9 January 2019
, 9 January 2019Mark 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 < 5.</td> | <td style='width: 65%;'>A part of conditional expression is always false: fw < 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 < 5.</td> | <td style='width: 65%;'>A part of conditional expression is always false: r_fw < 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 < 5.</td> | <td style='width: 65%;'>A part of conditional expression is always false: r_fw < 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) < 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) < 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) < 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) < 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) > 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) > 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) > 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) > 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 < lim.</td> | <td style='width: 65%;'>A part of conditional expression is always true: j < 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 < lim.</td> | <td style='width: 65%;'>A part of conditional expression is always true: j < 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 < m' is always true.</td> | <td style='width: 65%;'>Expression 'i < 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 < lim.</td> | <td style='width: 65%;'>A part of conditional expression is always true: j < 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) > 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) > 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) > 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) > 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 < m' is always true.</td> | <td style='width: 65%;'>Expression 'i < m' is always true.</td> | ||