PVS static analyzer - 5.0 Release: Difference between revisions

Jump to navigation Jump to search
m
Mark bug "Won't Fix"
(mark bug as fixed, cset 8707e1a4a71b)
m (Mark bug "Won't Fix")
Line 12: Line 12:
     <tr style="background: black; color: white;">
     <tr style="background: black; color: white;">
       <th style="width: 30%;">Location</th>
       <th style="width: 30%;">Location</th>
       <th style="width: 5%;">Code</th>
       <th style="width: 5%;">aaCode</th>
       <th style="width: 65%;">Message</th>
       <th style="width: 65%;">Message</th>
     </tr>
     </tr>
Line 1,197: Line 1,197:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-intx.h">ov-intx.h (516)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-intx.h">ov-intx.h (516)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v524/ V524]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v524/ V524]</td>
       <td style='width: 65%;'>It is odd that the body of 'scalar_value' function is fully equivalent to the body of 'double_value' function.</td>
       <td style='width: 65%;'>It is odd that the body of 'scalar_value' function is fully equivalent to the body of 'double_value' function.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-intx.h">ov-intx.h (518)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-intx.h">ov-intx.h (518)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v524/ V524]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v524/ V524]</td>
       <td style='width: 65%;'>It is odd that the body of 'float_scalar_value' function is fully equivalent to the body of 'float_value' function.</td>
       <td style='width: 65%;'>It is odd that the body of 'float_scalar_value' function is fully equivalent to the body of 'float_value' function.</td>
1,072

edits

Navigation menu