PVS static analyzer - 5.0 Release: Difference between revisions

     </tr>

     <tr>

       <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>

     </tr>

     <tr>

       <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>

     </tr>

     <tr>

       <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>

     </tr>

     <tr>

       <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>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>

       <td style='width: 65%;'>An odd precise comparison: octave::math::x_nint(d) != d. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>

       <td style='width: 65%;'>An odd precise comparison: octave::math::x_nint(d) != d. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>

       <td style='width: 65%;'>An odd precise comparison: octave::math::x_nint(d) != d. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>

       <td style='width: 65%;'>An odd precise comparison: octave::math::x_nint(d) != d. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>

       <td style='width: 65%;'>An odd precise comparison: octave::math::x_nint(d) != d. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>

       <td style='width: 65%;'>An odd precise comparison: octave::math::x_nint(d) != d. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>

       <td style='width: 65%;'>An odd precise comparison: octave::math::x_nint(d) != d. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>

       <td style='width: 65%;'>An odd precise comparison: octave::math::x_nint(d) != d. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v1016/ V1016]</td>

       <td style='width: 65%;'>Expression 'umap &lt; 0' is always false.</td>

     </tr>

     <tr>

       <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>

     </tr>

     <tr>

       <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>

     </tr>

     <tr>

       <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>

     </tr>

     <tr>

       <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>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v773/ V773]</td>

       <td style='width: 65%;'>The 'typ' pointer was not released in destructor. A memory leak is possible.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v601/ V601]</td>

       <td style='width: 65%;'>The bool type is implicitly cast to the double type. Inspect the first argument.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>

       <td style='width: 65%;'>An odd precise comparison: octave_read_value &lt;double&gt; (is) != 0.0. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v550/ V550]</td>

       <td style='width: 65%;'>An odd precise comparison: dtmp != 0.0. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>

     </tr>

     <tr>

       <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>

     </tr>

     <tr>

       <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>

     </tr>

     <tr>

       <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>

     </tr>

     <tr>

       <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>

     </tr>

     <tr>

       <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>

     </tr>

     <tr>

       <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 'of'.</td>

     </tr>

     <tr>

       <td style='width: 5%;'>[https://www.viva64.com/en/w/v783/ V783]</td>

       <td style='width: 65%;'>Dereferencing of the invalid iterator '++ (idx.begin())' might take place.</td>

     </tr>

     <tr>

       <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>

     </tr>

     <tr>

       <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>

     </tr>

     <tr>

       <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>

     </tr>

     <tr>

       <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>

     </tr>

     <tr>

       <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>

     </tr>

     <tr>

       <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>

     </tr>

     <tr>

       <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>

     </tr>

     <tr>

       <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>

     </tr>

     <tr>

       <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>