PVS static analyzer - 5.0 Release: Difference between revisions

Jump to navigation Jump to search

PVS static analyzer - 5.0 Release (edit)

Revision as of 21:52, 6 January 2019

1,457 bytes added ,  6 January 2019
m
Mark bug fixed
m (Mark bug fixed)
m (Mark bug fixed)
Line 4,978: Line 4,978:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-flt-complex.cc">ov-flt-complex.cc (70)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-flt-complex.cc">ov-flt-complex.cc (70)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 65%;'>An odd precise comparison: im == 0.0. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
       <td style='width: 65%;'>An odd precise comparison: im == 0.0. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
Line 4,993: Line 4,993:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-flt-cx-mat.cc">ov-flt-cx-mat.cc (83)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-flt-cx-mat.cc">ov-flt-cx-mat.cc (83)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 65%;'>An odd precise comparison: c.imag() == 0.0. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
       <td style='width: 65%;'>An odd precise comparison: c.imag() == 0.0. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-flt-cx-mat.cc">ov-flt-cx-mat.cc (363)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-flt-cx-mat.cc">ov-flt-cx-mat.cc (363)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td>
       <td style='width: 65%;'>Expression '!extract_keyword(is, &quot;columns&quot;, nc)' is always false.</td>
       <td style='width: 65%;'>Expression '!extract_keyword(is, &quot;columns&quot;, nc)' is always false.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-flt-cx-mat.cc">ov-flt-cx-mat.cc (363)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-flt-cx-mat.cc">ov-flt-cx-mat.cc (363)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v560/ V560]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v560/ V560]</td>
       <td style='width: 65%;'>A part of conditional expression is always false: nc &lt; 0.</td>
       <td style='width: 65%;'>A part of conditional expression is always false: nc &lt; 0.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-flt-cx-mat.cc">ov-flt-cx-mat.cc (366)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-flt-cx-mat.cc">ov-flt-cx-mat.cc (366)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v560/ V560]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v560/ V560]</td>
       <td style='width: 65%;'>A part of conditional expression is always false: nc &gt; 0.</td>
       <td style='width: 65%;'>A part of conditional expression is always false: nc &gt; 0.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-flt-cx-mat.cc">ov-flt-cx-mat.cc (375)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-flt-cx-mat.cc">ov-flt-cx-mat.cc (375)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v560/ V560]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v560/ V560]</td>
       <td style='width: 65%;'>A part of conditional expression is always true: nc == 0.</td>
       <td style='width: 65%;'>A part of conditional expression is always true: nc == 0.</td>
Line 5,023: Line 5,023:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-flt-re-mat.cc">ov-flt-re-mat.cc (440)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-flt-re-mat.cc">ov-flt-re-mat.cc (440)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td>
       <td style='width: 65%;'>Expression '!extract_keyword(is, &quot;columns&quot;, nc)' is always false.</td>
       <td style='width: 65%;'>Expression '!extract_keyword(is, &quot;columns&quot;, nc)' is always false.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-flt-re-mat.cc">ov-flt-re-mat.cc (440)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-flt-re-mat.cc">ov-flt-re-mat.cc (440)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v560/ V560]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v560/ V560]</td>
       <td style='width: 65%;'>A part of conditional expression is always false: nc &lt; 0.</td>
       <td style='width: 65%;'>A part of conditional expression is always false: nc &lt; 0.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-flt-re-mat.cc">ov-flt-re-mat.cc (443)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-flt-re-mat.cc">ov-flt-re-mat.cc (443)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v560/ V560]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v560/ V560]</td>
       <td style='width: 65%;'>A part of conditional expression is always false: nc &gt; 0.</td>
       <td style='width: 65%;'>A part of conditional expression is always false: nc &gt; 0.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-flt-re-mat.cc">ov-flt-re-mat.cc (452)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-flt-re-mat.cc">ov-flt-re-mat.cc (452)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v560/ V560]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v560/ V560]</td>
       <td style='width: 65%;'>A part of conditional expression is always true: nc == 0.</td>
       <td style='width: 65%;'>A part of conditional expression is always true: nc == 0.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-flt-re-mat.cc">ov-flt-re-mat.cc (748)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-flt-re-mat.cc">ov-flt-re-mat.cc (748)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 65%;'>An odd precise comparison: tmp.imag() == 0.0. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
       <td style='width: 65%;'>An odd precise comparison: tmp.imag() == 0.0. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
Line 5,063: Line 5,063:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/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/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>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-range.cc">ov-range.cc (481)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-range.cc">ov-range.cc (481)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 65%;'>An odd precise comparison: range.inc() != 1. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>
       <td style='width: 65%;'>An odd precise comparison: range.inc() != 1. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-range.cc">ov-range.cc (530)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-range.cc">ov-range.cc (530)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 65%;'>An odd precise comparison: inc != 0. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>
       <td style='width: 65%;'>An odd precise comparison: inc != 0. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-range.cc">ov-range.cc (537)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-range.cc">ov-range.cc (537)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 65%;'>An odd precise comparison: inc != 0. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>
       <td style='width: 65%;'>An odd precise comparison: inc != 0. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-range.cc">ov-range.cc (560)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-range.cc">ov-range.cc (560)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 65%;'>An odd precise comparison: inc != 0. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>
       <td style='width: 65%;'>An odd precise comparison: inc != 0. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-range.cc">ov-range.cc (577)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-range.cc">ov-range.cc (577)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 65%;'>An odd precise comparison: inc == 0. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
       <td style='width: 65%;'>An odd precise comparison: inc == 0. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-range.cc">ov-range.cc (607)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-range.cc">ov-range.cc (607)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 65%;'>An odd precise comparison: inc != 0. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>
       <td style='width: 65%;'>An odd precise comparison: inc != 0. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>
Line 5,103: Line 5,103:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-range.cc">ov-range.cc (674)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-range.cc">ov-range.cc (674)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 65%;'>An odd precise comparison: r.inc() != 0. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>
       <td style='width: 65%;'>An odd precise comparison: r.inc() != 0. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>
Line 5,113: Line 5,113:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-range.cc">ov-range.cc (748)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-range.cc">ov-range.cc (748)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 65%;'>An odd precise comparison: rangevals[2] != 0. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>
       <td style='width: 65%;'>An odd precise comparison: rangevals[2] != 0. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/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/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>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-re-mat.cc">ov-re-mat.cc (543)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-re-mat.cc">ov-re-mat.cc (543)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td>
       <td style='width: 65%;'>Expression '!extract_keyword(is, &quot;columns&quot;, nc)' is always false.</td>
       <td style='width: 65%;'>Expression '!extract_keyword(is, &quot;columns&quot;, nc)' is always false.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-re-mat.cc">ov-re-mat.cc (543)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-re-mat.cc">ov-re-mat.cc (543)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v560/ V560]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v560/ V560]</td>
       <td style='width: 65%;'>A part of conditional expression is always false: nc &lt; 0.</td>
       <td style='width: 65%;'>A part of conditional expression is always false: nc &lt; 0.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-re-mat.cc">ov-re-mat.cc (546)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-re-mat.cc">ov-re-mat.cc (546)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v560/ V560]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v560/ V560]</td>
       <td style='width: 65%;'>A part of conditional expression is always false: nc &gt; 0.</td>
       <td style='width: 65%;'>A part of conditional expression is always false: nc &gt; 0.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-re-mat.cc">ov-re-mat.cc (555)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-re-mat.cc">ov-re-mat.cc (555)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v560/ V560]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v560/ V560]</td>
       <td style='width: 65%;'>A part of conditional expression is always true: nc == 0.</td>
       <td style='width: 65%;'>A part of conditional expression is always true: nc == 0.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/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/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>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-re-mat.cc">ov-re-mat.cc (875)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-re-mat.cc">ov-re-mat.cc (875)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 65%;'>An odd precise comparison: tmp.imag() == 0.0. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
       <td style='width: 65%;'>An odd precise comparison: tmp.imag() == 0.0. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
Line 5,168: Line 5,168:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-str-mat.cc">ov-str-mat.cc (404)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-str-mat.cc">ov-str-mat.cc (404)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v614/ V614]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v614/ V614]</td>
       <td style='width: 65%;'>Uninitialized variable 'len' used. Consider checking the third actual argument of the 'extract_keyword' function.</td>
       <td style='width: 65%;'>Uninitialized variable 'len' used. Consider checking the third actual argument of the 'extract_keyword' function.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-str-mat.cc">ov-str-mat.cc (404)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-str-mat.cc">ov-str-mat.cc (404)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td>
       <td style='width: 65%;'>Expression '!extract_keyword(is, &quot;length&quot;, len)' is always false.</td>
       <td style='width: 65%;'>Expression '!extract_keyword(is, &quot;length&quot;, len)' is always false.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-struct.cc">ov-struct.cc (785)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-struct.cc">ov-struct.cc (785)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td>
       <td style='width: 65%;'>Expression 'len == 0' is always true.</td>
       <td style='width: 65%;'>Expression 'len == 0' is always true.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/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/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>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-struct.cc">ov-struct.cc (1418)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-struct.cc">ov-struct.cc (1418)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td>
       <td style='width: 65%;'>Expression '!extract_keyword(is, &quot;length&quot;, len)' is always false.</td>
       <td style='width: 65%;'>Expression '!extract_keyword(is, &quot;length&quot;, len)' is always false.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-struct.cc">ov-struct.cc (1418)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-struct.cc">ov-struct.cc (1418)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v560/ V560]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v560/ V560]</td>
       <td style='width: 65%;'>A part of conditional expression is always false: len &lt; 0.</td>
       <td style='width: 65%;'>A part of conditional expression is always false: len &lt; 0.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-struct.cc">ov-struct.cc (1445)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-struct.cc">ov-struct.cc (1445)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td>
       <td style='width: 65%;'>Expression 'len == 0' is always true.</td>
       <td style='width: 65%;'>Expression 'len == 0' is always true.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-struct.cc">ov-struct.cc (1421)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-struct.cc">ov-struct.cc (1421)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v547/ V547]</td>
       <td style='width: 65%;'>Expression 'len &gt; 0' is always false.</td>
       <td style='width: 65%;'>Expression 'len &gt; 0' is always false.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/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/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>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-usr-fcn.cc">ov-usr-fcn.cc (827)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-usr-fcn.cc">ov-usr-fcn.cc (827)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 65%;'>An odd precise comparison: k != octave::math::fix(k). It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>
       <td style='width: 65%;'>An odd precise comparison: k != octave::math::fix(k). It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-usr-fcn.cc">ov-usr-fcn.cc (830)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-usr-fcn.cc">ov-usr-fcn.cc (830)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 65%;'>An odd precise comparison: k == 1. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
       <td style='width: 65%;'>An odd precise comparison: k == 1. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov.cc">ov.cc (1824)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov.cc">ov.cc (1824)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 65%;'>An odd precise comparison: ai == v. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
       <td style='width: 65%;'>An odd precise comparison: ai == v. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov.cc">ov.cc (1894)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov.cc">ov.cc (1894)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 65%;'>An odd precise comparison: ai == v. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
       <td style='width: 65%;'>An odd precise comparison: ai == v. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
Line 5,243: Line 5,243:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-base-sparse.cc">ov-base-sparse.cc (388)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-base-sparse.cc">ov-base-sparse.cc (388)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 65%;'>An odd precise comparison: pct == 100. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
       <td style='width: 65%;'>An odd precise comparison: pct == 100. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
Line 5,253: Line 5,253:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-cx-sparse.cc">ov-cx-sparse.cc (78)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-cx-sparse.cc">ov-cx-sparse.cc (78)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>
       <td style='width: 65%;'>An odd precise comparison: c.imag() == 0.0. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
       <td style='width: 65%;'>An odd precise comparison: c.imag() == 0.0. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/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/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,268: Line 5,268:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/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/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>
Line 5,278: Line 5,278:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/parse-tree/bp-table.cc">bp-table.cc (444)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/parse-tree/bp-table.cc">bp-table.cc (444)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v522/ V522]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v522/ V522]</td>
       <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'stop_flag'.</td>
       <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'stop_flag'.</td>
Line 5,293: Line 5,293:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/parse-tree/bp-table.cc">bp-table.cc (535)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/parse-tree/bp-table.cc">bp-table.cc (535)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v522/ V522]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v522/ V522]</td>
       <td style='width: 65%;'>There might be dereferencing of a potential null pointer.</td>
       <td style='width: 65%;'>There might be dereferencing of a potential null pointer.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/parse-tree/bp-table.cc">bp-table.cc (587)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/parse-tree/bp-table.cc">bp-table.cc (587)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v783/ V783]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v783/ V783]</td>
       <td style='width: 65%;'>Dereferencing of the invalid iterator 'ret_one.find(i)' might take place.</td>
       <td style='width: 65%;'>Dereferencing of the invalid iterator 'ret_one.find(i)' might take place.</td>
Rik
1,072

edits

Retrieved from "https://wiki.octave.org/Special:MobileDiff/11558"

Navigation menu