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,068: | Line 1,068: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/dldfcn/audiodevinfo.cc">audiodevinfo.cc (915)</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 'type == TYPE_UINT16' is always true.</td> | <td style='width: 65%;'>Expression 'type == TYPE_UINT16' is always true.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/dldfcn/audiodevinfo.cc">audiodevinfo.cc (1363)</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 'sample_l32 & 0x00800000' is always false.</td> | <td style='width: 65%;'>Expression 'sample_l32 & 0x00800000' is always false.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/dldfcn/audiodevinfo.cc">audiodevinfo.cc (1366)</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 'sample_r32 & 0x00800000' is always false.</td> | <td style='width: 65%;'>Expression 'sample_r32 & 0x00800000' is always false.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/dldfcn/audiodevinfo.cc">audiodevinfo.cc (1441)</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 'sample_l32 & 0x00800000' is always false.</td> | <td style='width: 65%;'>Expression 'sample_l32 & 0x00800000' is always false.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/dldfcn/audiodevinfo.cc">audiodevinfo.cc (1444)</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 'sample_r32 & 0x00800000' is always false.</td> | <td style='width: 65%;'>Expression 'sample_r32 & 0x00800000' is always false.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/dldfcn/audiodevinfo.cc">audiodevinfo.cc (2233)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v668/ V668]</td> | ||
<td style='width: 65%;'>There is no sense in testing the 'recorder' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | <td style='width: 65%;'>There is no sense in testing the 'recorder' pointer against null, as the memory was allocated using the 'new' operator. The exception will be generated in the case of memory allocation error.</td> | ||
Line 1,103: | Line 1,103: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-base-scalar.h">ov-base-scalar.h (95)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v524/ V524]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v524/ V524]</td> | ||
<td style='width: 65%;'>It is odd that the body of 'any' function is fully equivalent to the body of 'all' function.</td> | <td style='width: 65%;'>It is odd that the body of 'any' function is fully equivalent to the body of 'all' function.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-intx.h">ov-intx.h (516)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v524/ V524]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v524/ V524]</td> | ||
<td style='width: 65%;'>It is odd that the body of 'scalar_value' function is fully equivalent to the body of 'double_value' function.</td> | <td style='width: 65%;'>It is odd that the body of 'scalar_value' function is fully equivalent to the body of 'double_value' function.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-intx.h">ov-intx.h (518)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v524/ V524]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v524/ V524]</td> | ||
<td style='width: 65%;'>It is odd that the body of 'float_scalar_value' function is fully equivalent to the body of 'float_value' function.</td> | <td style='width: 65%;'>It is odd that the body of 'float_scalar_value' function is fully equivalent to the body of 'float_value' function.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/dldfcn/audioread.cc">audioread.cc (119)</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: octave::math::x_nint(dstart) != dstart. It's probably better to use a comparison with defined precision: fabs(A - B) > Epsilon.</td> | <td style='width: 65%;'>An odd precise comparison: octave::math::x_nint(dstart) != dstart. 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/audioread.cc">audioread.cc (120)</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: octave::math::x_nint(dend) != dend. It's probably better to use a comparison with defined precision: fabs(A - B) > Epsilon.</td> | <td style='width: 65%;'>An odd precise comparison: octave::math::x_nint(dend) != dend. 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/audioread.cc">audioread.cc (162)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v525/ V525]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v525/ V525]</td> | ||
<td style='width: 65%;'>The code contains the collection of similar blocks. Check items 'int16NDArray', 'int32NDArray', 'int32NDArray' in lines 162, 165, 168.</td> | <td style='width: 65%;'>The code contains the collection of similar blocks. Check items 'int16NDArray', 'int32NDArray', 'int32NDArray' in lines 162, 165, 168.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30% | <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/dldfcn/ccolamd.cc">ccolamd.cc (175)</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: knobs[3] != 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: knobs[3] != 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/ccolamd.cc">ccolamd.cc (199)</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: knobs[2] != 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: knobs[2] != 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/ccolamd.cc">ccolamd.cc (447)</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: knobs[2] != 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: knobs[2] != 0. It's probably better to use a comparison with defined precision: fabs(A - B) > Epsilon.</td> |