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 05:53, 4 January 2019
, 4 January 2019Mark bug "Won't Fix"
m (Mark bug "Won't Fix") |
m (Mark bug "Won't Fix") |
||
| Line 7,852: | Line 7,852: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/liboctave/array/CDiagMatrix.cc">CDiagMatrix.cc (269)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/liboctave/array/CDiagMatrix.cc">CDiagMatrix.cc (269)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td> | ||
<td style='width: 65%;'>Non-void function should return a value.</td> | <td style='width: 65%;'>Non-void function should return a value.</td> | ||
| Line 7,867: | Line 7,867: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/liboctave/array/CDiagMatrix.cc">CDiagMatrix.cc (299)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/liboctave/array/CDiagMatrix.cc">CDiagMatrix.cc (299)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td> | ||
<td style='width: 65%;'>Non-void function should return a value.</td> | <td style='width: 65%;'>Non-void function should return a value.</td> | ||
| Line 8,742: | Line 8,742: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/liboctave/array/dDiagMatrix.cc">dDiagMatrix.cc (192)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/liboctave/array/dDiagMatrix.cc">dDiagMatrix.cc (192)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td> | ||
<td style='width: 65%;'>Non-void function should return a value.</td> | <td style='width: 65%;'>Non-void function should return a value.</td> | ||
| Line 8,757: | Line 8,757: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/liboctave/array/dDiagMatrix.cc">dDiagMatrix.cc (222)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/liboctave/array/dDiagMatrix.cc">dDiagMatrix.cc (222)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td> | ||
<td style='width: 65%;'>Non-void function should return a value.</td> | <td style='width: 65%;'>Non-void function should return a value.</td> | ||
| Line 9,717: | Line 9,717: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/liboctave/array/fCDiagMatrix.cc">fCDiagMatrix.cc (273)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/liboctave/array/fCDiagMatrix.cc">fCDiagMatrix.cc (273)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td> | ||
<td style='width: 65%;'>Non-void function should return a value.</td> | <td style='width: 65%;'>Non-void function should return a value.</td> | ||
| Line 9,732: | Line 9,732: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/liboctave/array/fCDiagMatrix.cc">fCDiagMatrix.cc (303)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/liboctave/array/fCDiagMatrix.cc">fCDiagMatrix.cc (303)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td> | ||
<td style='width: 65%;'>Non-void function should return a value.</td> | <td style='width: 65%;'>Non-void function should return a value.</td> | ||
| Line 9,822: | Line 9,822: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/liboctave/array/fDiagMatrix.cc">fDiagMatrix.cc (192)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/liboctave/array/fDiagMatrix.cc">fDiagMatrix.cc (192)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td> | ||
<td style='width: 65%;'>Non-void function should return a value.</td> | <td style='width: 65%;'>Non-void function should return a value.</td> | ||
| Line 9,837: | Line 9,837: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/liboctave/array/fDiagMatrix.cc">fDiagMatrix.cc (222)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/liboctave/array/fDiagMatrix.cc">fDiagMatrix.cc (222)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td> | ||
<td style='width: 65%;'>Non-void function should return a value.</td> | <td style='width: 65%;'>Non-void function should return a value.</td> | ||
| Line 9,902: | Line 9,902: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/liboctave/array/idx-vector.cc">idx-vector.cc (108)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/liboctave/array/idx-vector.cc">idx-vector.cc (108)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td> | ||
<td style='width: 65%;'>Non-void function should return a value.</td> | <td style='width: 65%;'>Non-void function should return a value.</td> | ||
| Line 10,382: | Line 10,382: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/liboctave/numeric/Quad.cc">Quad.cc (160)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/liboctave/numeric/Quad.cc">Quad.cc (160)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td> | ||
<td style='width: 65%;'>Non-void function should return a value.</td> | <td style='width: 65%;'>Non-void function should return a value.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/liboctave/numeric/Quad.cc">Quad.cc (224)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/liboctave/numeric/Quad.cc">Quad.cc (224)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td> | ||
<td style='width: 65%;'>Non-void function should return a value.</td> | <td style='width: 65%;'>Non-void function should return a value.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/liboctave/numeric/Quad.cc">Quad.cc (230)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/liboctave/numeric/Quad.cc">Quad.cc (230)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td> | ||
<td style='width: 65%;'>Non-void function should return a value.</td> | <td style='width: 65%;'>Non-void function should return a value.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/liboctave/numeric/Quad.cc">Quad.cc (277)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/liboctave/numeric/Quad.cc">Quad.cc (277)</div></td> | ||
<td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td> | <td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td> | ||
<td style='width: 65%;'>Non-void function should return a value.</td> | <td style='width: 65%;'>Non-void function should return a value.</td> | ||