PVS static analyzer - 5.0 Release: Difference between revisions

m
Mark bug "Won't Fix"
m (Mark bug "Won't Fix")
m (Mark bug "Won't Fix")
Line 4,957: Line 4,957:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-cell.cc">ov-cell.cc (890)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-cell.cc">ov-cell.cc (890)</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 'save_as_floats' 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 'save_as_floats' 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>
Line 4,982: Line 4,982:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-class.cc">ov-class.cc (1273)</div></td>
       <td style='width: 30%; text-decoration: line-through; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-class.cc">ov-class.cc (1273)</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 'save_as_floats' 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 'save_as_floats' 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>
Line 5,032: Line 5,032:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-cx-diag.cc">ov-cx-diag.cc (180)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-cx-diag.cc">ov-cx-diag.cc (180)</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 'save_as_floats' 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 'save_as_floats' 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>
Line 5,062: Line 5,062:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-cx-mat.cc">ov-cx-mat.cc (413)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-cx-mat.cc">ov-cx-mat.cc (413)</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 'save_as_floats' 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 'save_as_floats' 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%;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-fcn-handle.cc">ov-fcn-handle.cc (538)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-fcn-handle.cc">ov-fcn-handle.cc (538)</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 'save_as_floats' 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 'save_as_floats' 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>
Line 5,232: Line 5,232:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-lazy-idx.cc">ov-lazy-idx.cc (240)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-lazy-idx.cc">ov-lazy-idx.cc (240)</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 'save_as_floats' 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 'save_as_floats' 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>
Line 5,287: Line 5,287:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-re-diag.cc">ov-re-diag.cc (246)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-re-diag.cc">ov-re-diag.cc (246)</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 'save_as_floats' 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 'save_as_floats' 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>
Line 5,312: Line 5,312:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-re-mat.cc">ov-re-mat.cc (567)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-re-mat.cc">ov-re-mat.cc (567)</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 'save_as_floats' 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 'save_as_floats' 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>
Line 5,352: Line 5,352:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-struct.cc">ov-struct.cc (794)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-struct.cc">ov-struct.cc (794)</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 'save_as_floats' 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 'save_as_floats' 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>
Line 5,377: Line 5,377:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-struct.cc">ov-struct.cc (1454)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-struct.cc">ov-struct.cc (1454)</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 'save_as_floats' 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 'save_as_floats' 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>
Line 5,432: Line 5,432:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-cx-sparse.cc">ov-cx-sparse.cc (222)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-cx-sparse.cc">ov-cx-sparse.cc (222)</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 'save_as_floats' 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 'save_as_floats' 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>
Line 5,442: Line 5,442:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-re-sparse.cc">ov-re-sparse.cc (247)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-re-sparse.cc">ov-re-sparse.cc (247)</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 'save_as_floats' 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 'save_as_floats' 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>
1,072

edits