PVS static analyzer - 5.0 Release: Difference between revisions

m
Mark bug fixed
m (fix syntax)
m (Mark bug fixed)
Line 5,967: Line 5,967:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/parse-tree/oct-parse.yy">oct-parse.yy (3348)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/parse-tree/oct-parse.yy">oct-parse.yy (3348)</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 'fcn' 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 'fcn' 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>
1,072

edits