PVS static analyzer - 5.0 Release: Difference between revisions

Jump to navigation Jump to search
m
Mark 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>
1,072

edits

Navigation menu