PVS static analyzer - 5.0 Release: Difference between revisions

m
fix syntax
m (Mark bug "Won't Fix")
m (fix syntax)
Line 7,732: Line 7,732:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/corefcn/utils.cc"><pre>WON'T FIX</pre> utils.cc (188)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/corefcn/utils.cc">WON'T FIX utils.cc (188)</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 's2' 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 's2' 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>
219

edits