Editing PVS static analyzer - 5.0 Release
Jump to navigation
Jump to search
The edit can be undone. Please check the comparison below to verify that this is what you want to do, and then publish the changes below to finish undoing the edit.
Latest revision | Your text | ||
Line 7,028: | Line 7,028: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (107)</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: ival == 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: ival == 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% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (166)</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: dnr == 0.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: dnr == 0.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% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (572)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v669/ V669]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v669/ V669]</td> | ||
<td style='width: 65%;'>The 'width' argument is a non-constant reference. The analyzer is unable to determine the position at which this argument is being modified. It is possible that the function contains an error.</td> | <td style='width: 65%;'>The 'width' argument is a non-constant reference. The analyzer is unable to determine the position at which this argument is being modified. It is possible that the function contains an error.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (893)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v764/ V764]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v764/ V764]</td> | ||
<td style='width: 65%;'>Possible incorrect order of arguments passed to 'process_conversion' function: 'type' and 'modifier'.</td> | <td style='width: 65%;'>Possible incorrect order of arguments passed to 'process_conversion' function: 'type' and 'modifier'.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (1272)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v768/ V768]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v768/ V768]</td> | ||
<td style='width: 65%;'>The variable 'flags' is of enum type. It is odd that it is used as a variable of a Boolean-type.</td> | <td style='width: 65%;'>The variable 'flags' is of enum type. It is odd that it is used as a variable of a Boolean-type.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (2336)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v669/ V669]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v669/ V669]</td> | ||
<td style='width: 65%;'>The 'width', 'prec', 'bitwidth' arguments are non-constant references. The analyzer is unable to determine the position at which this argument is being modified. It is possible that the function contains an error.</td> | <td style='width: 65%;'>The 'width', 'prec', 'bitwidth' arguments are non-constant references. The analyzer is unable to determine the position at which this argument is being modified. It is possible that the function contains an error.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (2485)</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.imag() == 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: val.imag() == 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% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (2495)</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: !progress.</td> | <td style='width: 65%;'>A part of conditional expression is always true: !progress.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (2646)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v765/ V765]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v765/ V765]</td> | ||
<td style='width: 65%;'>A compound assignment expression 'size += size + 1' is suspicious. Consider inspecting it for a possible error.</td> | <td style='width: 65%;'>A compound assignment expression 'size += size + 1' is suspicious. Consider inspecting it for a possible error.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (2789)</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 'width_left' is always true.</td> | <td style='width: 65%;'>Expression 'width_left' is always true.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (2838)</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 'width_left' is always true.</td> | <td style='width: 65%;'>Expression 'width_left' is always true.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (2846)</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 'width_left' is always true.</td> | <td style='width: 65%;'>Expression 'width_left' is always true.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (3249)</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: v.imag() == 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: v.imag() == 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% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (3261)</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: v.imag() == 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: v.imag() == 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% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (3480)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v522/ V522]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v522/ V522]</td> | ||
<td style='width: 65%;'>There might be dereferencing of a potential null pointer 'elem'.</td> | <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'elem'.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (5447)</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: math::x_nint(dval) != 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: math::x_nint(dval) != 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% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (5474)</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: math::x_nint(dval) == 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: math::x_nint(dval) == 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% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (5523)</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: math::x_nint(dval) == 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: math::x_nint(dval) == 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% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (5618)</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::fix(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::fix(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% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (5645)</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::fix(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::fix(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% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (2510)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v730/ V730]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v730/ V730]</td> | ||
<td style='width: 65%;'>Not all members of a class are initialized inside the constructor. Consider inspecting: delim_len.</td> | <td style='width: 65%;'>Not all members of a class are initialized inside the constructor. Consider inspecting: delim_len.</td> |