PVS static analyzer - 5.0 Release: Difference between revisions

Jump to navigation Jump to search
m
Mark bug fixed
m (Mark bug fixed)
m (Mark bug fixed)
Line 4,812: Line 4,812:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/oct/octave/liboctave/util/oct-sort.cc">oct-sort.cc (656)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/liboctave/util/oct-sort.cc">oct-sort.cc (656)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v602/ V602]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v602/ V602]</td>
       <td style='width: 65%;'>Consider inspecting the 'min_gallop &gt; 1' expression. '&gt;' possibly should be replaced with '&gt;&gt;'.</td>
       <td style='width: 65%;'>Consider inspecting the 'min_gallop &gt; 1' expression. '&gt;' possibly should be replaced with '&gt;&gt;'.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/oct/octave/liboctave/util/oct-sort.cc">oct-sort.cc (790)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/liboctave/util/oct-sort.cc">oct-sort.cc (790)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v602/ V602]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v602/ V602]</td>
       <td style='width: 65%;'>Consider inspecting the 'min_gallop &gt; 1' expression. '&gt;' possibly should be replaced with '&gt;&gt;'.</td>
       <td style='width: 65%;'>Consider inspecting the 'min_gallop &gt; 1' expression. '&gt;' possibly should be replaced with '&gt;&gt;'.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/oct/octave/liboctave/util/oct-sort.cc">oct-sort.cc (938)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/liboctave/util/oct-sort.cc">oct-sort.cc (938)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v602/ V602]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v602/ V602]</td>
       <td style='width: 65%;'>Consider inspecting the 'min_gallop &gt; 1' expression. '&gt;' possibly should be replaced with '&gt;&gt;'.</td>
       <td style='width: 65%;'>Consider inspecting the 'min_gallop &gt; 1' expression. '&gt;' possibly should be replaced with '&gt;&gt;'.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/oct/octave/liboctave/util/oct-sort.cc">oct-sort.cc (1079)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/liboctave/util/oct-sort.cc">oct-sort.cc (1079)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v602/ V602]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v602/ V602]</td>
       <td style='width: 65%;'>Consider inspecting the 'min_gallop &gt; 1' expression. '&gt;' possibly should be replaced with '&gt;&gt;'.</td>
       <td style='width: 65%;'>Consider inspecting the 'min_gallop &gt; 1' expression. '&gt;' possibly should be replaced with '&gt;&gt;'.</td>
1,073

edits

Navigation menu