PVS static analyzer - 5.0 Release: Difference between revisions

     </tr>

     <tr>

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

       <td style='width: 65%;'>An odd precise comparison: ival == dval. 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/v550/ V550]</td>

       <td style='width: 65%;'>An odd precise comparison: dnr == 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 'width' 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/v764/ V764]</td>

       <td style='width: 65%;'>Possible incorrect order of arguments passed to 'process_conversion' function: 'type' and 'modifier'.</td>

     </tr>

     <tr>

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

       <td style='width: 65%;'>The variable 'flags' is of enum type. It is odd that it is used as a variable of a Boolean-type.</td>

     </tr>

     <tr>

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

       <td style='width: 65%;'>The 'width', 'prec', 'bitwidth' arguments are non-constant references. 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: val.imag() == 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/v560/ V560]</td>

       <td style='width: 65%;'>A part of conditional expression is always true: !progress.</td>

     </tr>

     <tr>

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

       <td style='width: 65%;'>A compound assignment expression 'size += size + 1' is suspicious. Consider inspecting it for a possible error.</td>

     </tr>

     <tr>

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

       <td style='width: 65%;'>Expression 'width_left' is always true.</td>

     </tr>

     <tr>

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

       <td style='width: 65%;'>Expression 'width_left' is always true.</td>

     </tr>

     <tr>

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

       <td style='width: 65%;'>Expression 'width_left' is always true.</td>

     </tr>

     <tr>

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

       <td style='width: 65%;'>An odd precise comparison: v.imag() == 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/v550/ V550]</td>

       <td style='width: 65%;'>An odd precise comparison: v.imag() == 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/v522/ V522]</td>

       <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'elem'.</td>

     </tr>

     <tr>

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

       <td style='width: 65%;'>An odd precise comparison: math::x_nint(dval) != dval. 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: math::x_nint(dval) == dval. 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/v550/ V550]</td>

       <td style='width: 65%;'>An odd precise comparison: math::x_nint(dval) == dval. 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/v550/ V550]</td>

       <td style='width: 65%;'>An odd precise comparison: dval == math::fix(dval). 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/v550/ V550]</td>

       <td style='width: 65%;'>An odd precise comparison: dval == math::fix(dval). 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/v730/ V730]</td>

       <td style='width: 65%;'>Not all members of a class are initialized inside the constructor. Consider inspecting: delim_len.</td>