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 1,153: | Line 1,153: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/dldfcn/chol.cc">chol.cc (253)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v614/ V614]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v614/ V614]</td> | ||
<td style='width: 65%;'>Uninitialized variable 'info' used.</td> | <td style='width: 65%;'>Uninitialized variable 'info' used.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/dldfcn/chol.cc">chol.cc (266)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v614/ V614]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v614/ V614]</td> | ||
<td style='width: 65%;'>Uninitialized variable 'info' used.</td> | <td style='width: 65%;'>Uninitialized variable 'info' used.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/dldfcn/chol.cc">chol.cc (286)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v614/ V614]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v614/ V614]</td> | ||
<td style='width: 65%;'>Uninitialized variable 'info' used.</td> | <td style='width: 65%;'>Uninitialized variable 'info' used.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/dldfcn/chol.cc">chol.cc (299)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v614/ V614]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v614/ V614]</td> | ||
<td style='width: 65%;'>Uninitialized variable 'info' used.</td> | <td style='width: 65%;'>Uninitialized variable 'info' used.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/dldfcn/chol.cc">chol.cc (414)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v614/ V614]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v614/ V614]</td> | ||
<td style='width: 65%;'>Uninitialized variable 'info' used.</td> | <td style='width: 65%;'>Uninitialized variable 'info' used.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/dldfcn/chol.cc">chol.cc (425)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v614/ V614]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v614/ V614]</td> | ||
<td style='width: 65%;'>Uninitialized variable 'info' used.</td> | <td style='width: 65%;'>Uninitialized variable 'info' used.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/dldfcn/chol.cc">chol.cc (441)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v614/ V614]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v614/ V614]</td> | ||
<td style='width: 65%;'>Uninitialized variable 'info' used.</td> | <td style='width: 65%;'>Uninitialized variable 'info' used.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/dldfcn/chol.cc">chol.cc (452)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v614/ V614]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v614/ V614]</td> | ||
<td style='width: 65%;'>Uninitialized variable 'info' used.</td> | <td style='width: 65%;'>Uninitialized variable 'info' used.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/dldfcn/convhulln.cc">convhulln.cc (171)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v601/ V601]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v601/ V601]</td> | ||
<td style='width: 65%;'>The 'false' value is implicitly cast to the integer type.</td> | <td style='width: 65%;'>The 'false' value is implicitly cast to the integer type.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/dldfcn/gzip.cc">gzip.cc (429)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v507/ V507]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v507/ V507]</td> | ||
<td style='width: 65%;'>Pointer to local array 'buf_out' is stored outside the scope of this array. Such a pointer will become invalid.</td> | <td style='width: 65%;'>Pointer to local array 'buf_out' is stored outside the scope of this array. Such a pointer will become invalid.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/dldfcn/gzip.cc">gzip.cc (420)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v507/ V507]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v507/ V507]</td> | ||
<td style='width: 65%;'>Pointer to local array 'buf_in' is stored outside the scope of this array. Such a pointer will become invalid.</td> | <td style='width: 65%;'>Pointer to local array 'buf_in' is stored outside the scope of this array. Such a pointer will become invalid.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/dldfcn/symbfact.cc">symbfact.cc (123)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v601/ V601]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v601/ V601]</td> | ||
<td style='width: 65%;'>The 'true' value is implicitly cast to the integer type.</td> | <td style='width: 65%;'>The 'true' value is implicitly cast to the integer type.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/dldfcn/symbfact.cc">symbfact.cc (124)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v601/ V601]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v601/ V601]</td> | ||
<td style='width: 65%;'>The 'true' value is implicitly cast to the integer type.</td> | <td style='width: 65%;'>The 'true' value is implicitly cast to the integer type.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/dldfcn/symbfact.cc">symbfact.cc (213)</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: spu == 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: spu == 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/dldfcn/symbfact.cc">symbfact.cc (317)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v601/ V601]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v601/ V601]</td> | ||
<td style='width: 65%;'>The 'false' value is implicitly cast to the integer type. Inspect the fourth argument.</td> | <td style='width: 65%;'>The 'false' value is implicitly cast to the integer type. Inspect the fourth argument.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/dldfcn/symbfact.cc">symbfact.cc (317)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v601/ V601]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v601/ V601]</td> | ||
<td style='width: 65%;'>The 'true' value is implicitly cast to the integer type. Inspect the fifth argument.</td> | <td style='width: 65%;'>The 'true' value is implicitly cast to the integer type. Inspect the fifth argument.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/dldfcn/symbfact.cc">symbfact.cc (133)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v506/ V506]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v506/ V506]</td> | ||
<td style='width: 65%;'>Pointer to local variable 'dummy' is stored outside the scope of this variable. Such a pointer will become invalid.</td> | <td style='width: 65%;'>Pointer to local variable 'dummy' is stored outside the scope of this variable. Such a pointer will become invalid.</td> | ||
Line 1,243: | Line 1,243: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libgui/graphics/ButtonControl.cc">ButtonControl.cc (88)</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: dValue != 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: dValue != 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/libgui/graphics/ButtonControl.cc">ButtonControl.cc (88)</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: dValue != 1.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: dValue != 1.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/libgui/graphics/ButtonControl.cc">ButtonControl.cc (90)</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: dValue == up.get_min(). It's probably better to use a comparison with defined precision: fabs(A - B) < Epsilon.</td> | <td style='width: 65%;'>An odd precise comparison: dValue == up.get_min(). 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/libgui/graphics/ButtonControl.cc">ButtonControl.cc (102)</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: dValue == up.get_max(). It's probably better to use a comparison with defined precision: fabs(A - B) < Epsilon.</td> | <td style='width: 65%;'>An odd precise comparison: dValue == up.get_max(). It's probably better to use a comparison with defined precision: fabs(A - B) < Epsilon.</td> |