PVS static analyzer - 5.0 Release: Difference between revisions

Jump to navigation Jump to search
m
Mark bug fixed
m (Mark bug "Won't Fix")
m (Mark bug fixed)
(17 intermediate revisions by the same user not shown)
Line 878: Line 878:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/dldfcn/__eigs__.cc">__eigs__.cc (333)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/dldfcn/__eigs__.cc">__eigs__.cc (333)</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.double_value() != 0.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: tmp.double_value() != 0.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/dldfcn/__eigs__.cc">__eigs__.cc (340)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/dldfcn/__eigs__.cc">__eigs__.cc (340)</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.double_value() != 0.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: tmp.double_value() != 0.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/dldfcn/__eigs__.cc">__eigs__.cc (369)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/dldfcn/__eigs__.cc">__eigs__.cc (369)</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.double_value() != 0.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: tmp.double_value() != 0.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/dldfcn/__eigs__.cc">__eigs__.cc (462)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/dldfcn/__eigs__.cc">__eigs__.cc (462)</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: sigmai != 0.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: sigmai != 0.0. It's probably better to use a comparison with defined precision: fabs(A - B) &gt; Epsilon.</td>
Line 1,043: Line 1,043:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/dldfcn/__init_fltk__.cc">__init_fltk__.cc (742)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/dldfcn/__init_fltk__.cc">__init_fltk__.cc (742)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v773/ V773]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v773/ V773]</td>
       <td style='width: 65%;'>The 'm_menubar' pointer was not released in destructor. A memory leak is possible.</td>
       <td style='width: 65%;'>The 'm_menubar' pointer was not released in destructor. A memory leak is possible.</td>
Line 1,483: Line 1,483:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-float.h">ov-float.h (149)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-float.h">ov-float.h (149)</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>
Line 4,928: Line 4,928:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-fcn-handle.cc">ov-fcn-handle.cc (1748)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-fcn-handle.cc">ov-fcn-handle.cc (1748)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v1004/ V1004]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v1004/ V1004]</td>
       <td style='width: 65%;'>The 'fh' pointer was used unsafely after it was verified against nullptr. Check lines: 1741, 1748.</td>
       <td style='width: 65%;'>The 'fh' pointer was used unsafely after it was verified against nullptr. Check lines: 1741, 1748.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-fcn-handle.cc">ov-fcn-handle.cc (1989)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-fcn-handle.cc">ov-fcn-handle.cc (1989)</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 'idx_expr'.</td>
       <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'idx_expr'.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-fcn-handle.cc">ov-fcn-handle.cc (2046)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-fcn-handle.cc">ov-fcn-handle.cc (2046)</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 'elt_id'.</td>
       <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'elt_id'.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-fcn-handle.cc">ov-fcn-handle.cc (2073)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-fcn-handle.cc">ov-fcn-handle.cc (2073)</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 'head_id'.</td>
       <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'head_id'.</td>
Line 4,963: Line 4,963:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/octave-value/ov-fcn-inline.cc">ov-fcn-inline.cc (986)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/octave-value/ov-fcn-inline.cc">ov-fcn-inline.cc (986)</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 'old'.</td>
       <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'old'.</td>
Line 5,903: Line 5,903:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/__magick_read__.cc">__magick_read__.cc (772)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/__magick_read__.cc">__magick_read__.cc (772)</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 'static_locale'. A constructor of the string class expects a valid pointer.</td>
       <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'static_locale'. A constructor of the string class expects a valid pointer.</td>
Line 6,003: Line 6,003:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/dot.cc">dot.cc (48)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/dot.cc">dot.cc (48)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v656/ V656]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v656/ V656]</td>
       <td style='width: 65%;'>Variables 'z(i)', 'tmp_m' are initialized through the call to the same function. It's probably an error or un-optimized code. Consider inspecting the 'x(i)' expression. Check lines: 47, 48.</td>
       <td style='width: 65%;'>Variables 'z(i)', 'tmp_m' are initialized through the call to the same function. It's probably an error or un-optimized code. Consider inspecting the 'x(i)' expression. Check lines: 47, 48.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/dot.cc">dot.cc (53)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/dot.cc">dot.cc (53)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v656/ V656]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v656/ V656]</td>
       <td style='width: 65%;'>Variables 'z(i)', 'tmp_n' are initialized through the call to the same function. It's probably an error or un-optimized code. Consider inspecting the 'x(i)' expression. Check lines: 52, 53.</td>
       <td style='width: 65%;'>Variables 'z(i)', 'tmp_n' are initialized through the call to the same function. It's probably an error or un-optimized code. Consider inspecting the 'x(i)' expression. Check lines: 52, 53.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/dot.cc">dot.cc (300)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/dot.cc">dot.cc (300)</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: match.</td>
       <td style='width: 65%;'>A part of conditional expression is always true: match.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/dot.cc">dot.cc (286)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/dot.cc">dot.cc (286)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v525/ V525]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v525/ V525]</td>
       <td style='width: 65%;'>The code contains the collection of similar blocks. Check items 'dimx', 'dimx', 'dimy' in lines 286, 287, 288.</td>
       <td style='width: 65%;'>The code contains the collection of similar blocks. Check items 'dimx', 'dimx', 'dimy' in lines 286, 287, 288.</td>
Line 6,838: Line 6,838:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/load-save.cc">load-save.cc (1510)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/load-save.cc">load-save.cc (1510)</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: append.</td>
       <td style='width: 65%;'>A part of conditional expression is always false: append.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/ls-hdf5.cc">ls-hdf5.cc (1011)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/ls-hdf5.cc">ls-hdf5.cc (1011)</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 'retval &gt;= 0' is always true.</td>
       <td style='width: 65%;'>Expression 'retval &gt;= 0' is always true.</td>
Line 6,898: Line 6,898:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/lu.cc">lu.cc (171)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/lu.cc">lu.cc (171)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v656/ V656]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v656/ V656]</td>
       <td style='width: 65%;'>Variables 'thres(0)', 'thres(1)' are initialized through the call to the same function. It's probably an error or un-optimized code. Consider inspecting the 'tmp(0)' expression. Check lines: 170, 171.</td>
       <td style='width: 65%;'>Variables 'thres(0)', 'thres(1)' are initialized through the call to the same function. It's probably an error or un-optimized code. Consider inspecting the 'tmp(0)' expression. Check lines: 170, 171.</td>
Line 7,028: Line 7,028:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (107)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (107)</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: ival == dval. 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: ival == dval. 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/corefcn/oct-stream.cc">oct-stream.cc (166)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (166)</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: dnr == 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: dnr == 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/corefcn/oct-stream.cc">oct-stream.cc (572)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (572)</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 '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>
       <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>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (893)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (893)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v764/ V764]</td>
       <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>
       <td style='width: 65%;'>Possible incorrect order of arguments passed to 'process_conversion' function: 'type' and 'modifier'.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (1272)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (1272)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v768/ V768]</td>
       <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>
       <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>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (2336)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (2336)</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 '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>
       <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>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (2485)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (2485)</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: val.imag() == 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: val.imag() == 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/corefcn/oct-stream.cc">oct-stream.cc (2495)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (2495)</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: !progress.</td>
       <td style='width: 65%;'>A part of conditional expression is always true: !progress.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (2646)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (2646)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v765/ V765]</td>
       <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>
       <td style='width: 65%;'>A compound assignment expression 'size += size + 1' is suspicious. Consider inspecting it for a possible error.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (2789)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (2789)</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 'width_left' is always true.</td>
       <td style='width: 65%;'>Expression 'width_left' is always true.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (2838)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (2838)</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 'width_left' is always true.</td>
       <td style='width: 65%;'>Expression 'width_left' is always true.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (2846)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (2846)</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 'width_left' is always true.</td>
       <td style='width: 65%;'>Expression 'width_left' is always true.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (3249)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (3249)</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: v.imag() == 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: v.imag() == 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/corefcn/oct-stream.cc">oct-stream.cc (3261)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (3261)</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: v.imag() == 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: v.imag() == 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/corefcn/oct-stream.cc">oct-stream.cc (3480)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (3480)</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 'elem'.</td>
       <td style='width: 65%;'>There might be dereferencing of a potential null pointer 'elem'.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (5447)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (5447)</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: math::x_nint(dval) != dval. 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: math::x_nint(dval) != dval. 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/corefcn/oct-stream.cc">oct-stream.cc (5474)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (5474)</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: math::x_nint(dval) == dval. 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: math::x_nint(dval) == dval. 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/corefcn/oct-stream.cc">oct-stream.cc (5523)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (5523)</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: math::x_nint(dval) == dval. 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: math::x_nint(dval) == dval. 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/corefcn/oct-stream.cc">oct-stream.cc (5618)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (5618)</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: dval == math::fix(dval). 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: dval == math::fix(dval). 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/corefcn/oct-stream.cc">oct-stream.cc (5645)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (5645)</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: dval == math::fix(dval). 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: dval == math::fix(dval). 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/corefcn/oct-stream.cc">oct-stream.cc (2510)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/oct-stream.cc">oct-stream.cc (2510)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v730/ V730]</td>
       <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>
       <td style='width: 65%;'>Not all members of a class are initialized inside the constructor. Consider inspecting: delim_len.</td>
Line 7,223: Line 7,223:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (415)</div></td>
       <td style='width: 30%; text-decoration: line-through; text-decoration: line-through; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (415)</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: inf_or_nan.</td>
       <td style='width: 65%;'>A part of conditional expression is always false: inf_or_nan.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (517)</div></td>
       <td style='width: 30%; text-decoration: line-through; text-decoration: line-through; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (517)</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: fw &lt; 5.</td>
       <td style='width: 65%;'>A part of conditional expression is always false: fw &lt; 5.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (690)</div></td>
       <td style='width: 30%; text-decoration: line-through; text-decoration: line-through; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (690)</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: r_fw &lt; 5.</td>
       <td style='width: 65%;'>A part of conditional expression is always false: r_fw &lt; 5.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (758)</div></td>
       <td style='width: 30%; text-decoration: line-through; text-decoration: line-through; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (758)</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: inf_or_nan.</td>
       <td style='width: 65%;'>A part of conditional expression is always false: inf_or_nan.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (909)</div></td>
       <td style='width: 30%; text-decoration: line-through; text-decoration: line-through; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (909)</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: r_fw &lt; 5.</td>
       <td style='width: 65%;'>A part of conditional expression is always false: r_fw &lt; 5.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (1256)</div></td>
       <td style='width: 30%; text-decoration: line-through; text-decoration: line-through; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (1256)</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: max_abs == 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: max_abs == 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/corefcn/pr-output.cc">pr-output.cc (1258)</div></td>
       <td style='width: 30%; text-decoration: line-through; text-decoration: line-through; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (1258)</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: min_abs == 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: min_abs == 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/corefcn/pr-output.cc">pr-output.cc (1423)</div></td>
       <td style='width: 30%; text-decoration: line-through; text-decoration: line-through; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (1423)</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: scale != 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: scale != 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/corefcn/pr-output.cc">pr-output.cc (1520)</div></td>
       <td style='width: 30%; text-decoration: line-through; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (1520)</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: scale != 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: scale != 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/corefcn/pr-output.cc">pr-output.cc (1840)</div></td>
       <td style='width: 30%; text-decoration: line-through; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (1840)</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: j &lt; lim.</td>
       <td style='width: 65%;'>A part of conditional expression is always true: j &lt; lim.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (1956)</div></td>
       <td style='width: 30%; text-decoration: line-through; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (1956)</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: j &lt; lim.</td>
       <td style='width: 65%;'>A part of conditional expression is always true: j &lt; lim.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (2094)</div></td>
       <td style='width: 30%; text-decoration: line-through; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (2094)</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 'i &lt; m' is always true.</td>
       <td style='width: 65%;'>Expression 'i &lt; m' is always true.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (2250)</div></td>
       <td style='width: 30%; text-decoration: line-through; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (2250)</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: j &lt; lim.</td>
       <td style='width: 65%;'>A part of conditional expression is always true: j &lt; lim.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (2420)</div></td>
       <td style='width: 30%; text-decoration: line-through; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (2420)</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: increment != 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: increment != 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/corefcn/pr-output.cc">pr-output.cc (2428)</div></td>
       <td style='width: 30%; text-decoration: line-through; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (2428)</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: increment != 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: increment != 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/corefcn/pr-output.cc">pr-output.cc (2694)</div></td>
       <td style='width: 30%; text-decoration: line-through; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/pr-output.cc">pr-output.cc (2694)</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 'i &lt; m' is always true.</td>
       <td style='width: 65%;'>Expression 'i &lt; m' is always true.</td>
Line 7,313: Line 7,313:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/sparse-xdiv.cc">sparse-xdiv.cc (377)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/sparse-xdiv.cc">sparse-xdiv.cc (377)</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: a == 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: a == 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/corefcn/sparse-xpow.cc">sparse-xpow.cc (49)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/sparse-xpow.cc">sparse-xpow.cc (49)</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: octave::math::x_nint(x) == x. 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: octave::math::x_nint(x) == x. 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/corefcn/sparse-xpow.cc">sparse-xpow.cc (485)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/sparse-xpow.cc">sparse-xpow.cc (485)</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: b == 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: b == 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/corefcn/sparse-xpow.cc">sparse-xpow.cc (690)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/sparse-xpow.cc">sparse-xpow.cc (690)</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: b == 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: b == 0.0. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
Line 7,368: Line 7,368:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/libinterp/corefcn/utils.cc">utils.cc (1103)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/libinterp/corefcn/utils.cc">utils.cc (1103)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v656/ V656]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v656/ V656]</td>
       <td style='width: 65%;'>Variables 'dim(0)', 'dim(1)' are initialized through the call to the same function. It's probably an error or un-optimized code. Consider inspecting the 'v(0)' expression. Check lines: 1102, 1103.</td>
       <td style='width: 65%;'>Variables 'dim(0)', 'dim(1)' are initialized through the call to the same function. It's probably an error or un-optimized code. Consider inspecting the 'v(0)' expression. Check lines: 1102, 1103.</td>
Line 7,438: Line 7,438:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/array/CDiagMatrix.cc">CDiagMatrix.cc (250)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/CDiagMatrix.cc">CDiagMatrix.cc (250)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v728/ V728]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v728/ V728]</td>
       <td style='width: 65%;'>An excessive check can be simplified. The '||' operator is surrounded by opposite expressions 'r &lt;= c' and 'r &gt; c'. </td>
       <td style='width: 65%;'>An excessive check can be simplified. The '||' operator is surrounded by opposite expressions 'r &lt;= c' and 'r &gt; c'. </td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/array/CDiagMatrix.cc">CDiagMatrix.cc (262)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/CDiagMatrix.cc">CDiagMatrix.cc (262)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v1004/ V1004]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v1004/ V1004]</td>
       <td style='width: 65%;'>The 's' pointer was used unsafely after it was verified against nullptr. Check lines: 259, 262.</td>
       <td style='width: 65%;'>The 's' pointer was used unsafely after it was verified against nullptr. Check lines: 259, 262.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/array/CDiagMatrix.cc">CDiagMatrix.cc (269)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/CDiagMatrix.cc">CDiagMatrix.cc (269)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td>
       <td style='width: 65%;'>Non-void function should return a value.</td>
       <td style='width: 65%;'>Non-void function should return a value.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/array/CDiagMatrix.cc">CDiagMatrix.cc (280)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/CDiagMatrix.cc">CDiagMatrix.cc (280)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v728/ V728]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v728/ V728]</td>
       <td style='width: 65%;'>An excessive check can be simplified. The '||' operator is surrounded by opposite expressions 'r &gt;= c' and 'r &lt; c'. </td>
       <td style='width: 65%;'>An excessive check can be simplified. The '||' operator is surrounded by opposite expressions 'r &gt;= c' and 'r &lt; c'. </td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/array/CDiagMatrix.cc">CDiagMatrix.cc (292)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/CDiagMatrix.cc">CDiagMatrix.cc (292)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v1004/ V1004]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v1004/ V1004]</td>
       <td style='width: 65%;'>The 's' pointer was used unsafely after it was verified against nullptr. Check lines: 289, 292.</td>
       <td style='width: 65%;'>The 's' pointer was used unsafely after it was verified against nullptr. Check lines: 289, 292.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/array/CDiagMatrix.cc">CDiagMatrix.cc (299)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/CDiagMatrix.cc">CDiagMatrix.cc (299)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td>
       <td style='width: 65%;'>Non-void function should return a value.</td>
       <td style='width: 65%;'>Non-void function should return a value.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/array/CDiagMatrix.cc">CDiagMatrix.cc (345)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/CDiagMatrix.cc">CDiagMatrix.cc (345)</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: val == 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: val == 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/liboctave/array/CDiagMatrix.cc">CDiagMatrix.cc (490)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/CDiagMatrix.cc">CDiagMatrix.cc (490)</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: amx == 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: amx == 0. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
Line 8,328: Line 8,328:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/array/dDiagMatrix.cc">dDiagMatrix.cc (173)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/dDiagMatrix.cc">dDiagMatrix.cc (173)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v728/ V728]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v728/ V728]</td>
       <td style='width: 65%;'>An excessive check can be simplified. The '||' operator is surrounded by opposite expressions 'r &lt;= c' and 'r &gt; c'. </td>
       <td style='width: 65%;'>An excessive check can be simplified. The '||' operator is surrounded by opposite expressions 'r &lt;= c' and 'r &gt; c'. </td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/array/dDiagMatrix.cc">dDiagMatrix.cc (185)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/dDiagMatrix.cc">dDiagMatrix.cc (185)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v1004/ V1004]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v1004/ V1004]</td>
       <td style='width: 65%;'>The 's' pointer was used unsafely after it was verified against nullptr. Check lines: 182, 185.</td>
       <td style='width: 65%;'>The 's' pointer was used unsafely after it was verified against nullptr. Check lines: 182, 185.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/array/dDiagMatrix.cc">dDiagMatrix.cc (192)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/dDiagMatrix.cc">dDiagMatrix.cc (192)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td>
       <td style='width: 65%;'>Non-void function should return a value.</td>
       <td style='width: 65%;'>Non-void function should return a value.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/array/dDiagMatrix.cc">dDiagMatrix.cc (203)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/dDiagMatrix.cc">dDiagMatrix.cc (203)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v728/ V728]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v728/ V728]</td>
       <td style='width: 65%;'>An excessive check can be simplified. The '||' operator is surrounded by opposite expressions 'r &gt;= c' and 'r &lt; c'. </td>
       <td style='width: 65%;'>An excessive check can be simplified. The '||' operator is surrounded by opposite expressions 'r &gt;= c' and 'r &lt; c'. </td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/array/dDiagMatrix.cc">dDiagMatrix.cc (215)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/dDiagMatrix.cc">dDiagMatrix.cc (215)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v1004/ V1004]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v1004/ V1004]</td>
       <td style='width: 65%;'>The 's' pointer was used unsafely after it was verified against nullptr. Check lines: 212, 215.</td>
       <td style='width: 65%;'>The 's' pointer was used unsafely after it was verified against nullptr. Check lines: 212, 215.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/array/dDiagMatrix.cc">dDiagMatrix.cc (222)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/dDiagMatrix.cc">dDiagMatrix.cc (222)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td>
       <td style='width: 65%;'>Non-void function should return a value.</td>
       <td style='width: 65%;'>Non-void function should return a value.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/array/dDiagMatrix.cc">dDiagMatrix.cc (266)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/dDiagMatrix.cc">dDiagMatrix.cc (266)</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: val == 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: val == 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/liboctave/array/dDiagMatrix.cc">dDiagMatrix.cc (326)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/dDiagMatrix.cc">dDiagMatrix.cc (326)</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: amx == 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: amx == 0. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
Line 9,303: Line 9,303:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/array/fCDiagMatrix.cc">fCDiagMatrix.cc (254)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/fCDiagMatrix.cc">fCDiagMatrix.cc (254)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v728/ V728]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v728/ V728]</td>
       <td style='width: 65%;'>An excessive check can be simplified. The '||' operator is surrounded by opposite expressions 'r &lt;= c' and 'r &gt; c'. </td>
       <td style='width: 65%;'>An excessive check can be simplified. The '||' operator is surrounded by opposite expressions 'r &lt;= c' and 'r &gt; c'. </td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/array/fCDiagMatrix.cc">fCDiagMatrix.cc (266)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/fCDiagMatrix.cc">fCDiagMatrix.cc (266)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v1004/ V1004]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v1004/ V1004]</td>
       <td style='width: 65%;'>The 's' pointer was used unsafely after it was verified against nullptr. Check lines: 263, 266.</td>
       <td style='width: 65%;'>The 's' pointer was used unsafely after it was verified against nullptr. Check lines: 263, 266.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/array/fCDiagMatrix.cc">fCDiagMatrix.cc (273)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/fCDiagMatrix.cc">fCDiagMatrix.cc (273)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td>
       <td style='width: 65%;'>Non-void function should return a value.</td>
       <td style='width: 65%;'>Non-void function should return a value.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/array/fCDiagMatrix.cc">fCDiagMatrix.cc (284)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/fCDiagMatrix.cc">fCDiagMatrix.cc (284)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v728/ V728]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v728/ V728]</td>
       <td style='width: 65%;'>An excessive check can be simplified. The '||' operator is surrounded by opposite expressions 'r &gt;= c' and 'r &lt; c'. </td>
       <td style='width: 65%;'>An excessive check can be simplified. The '||' operator is surrounded by opposite expressions 'r &gt;= c' and 'r &lt; c'. </td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/array/fCDiagMatrix.cc">fCDiagMatrix.cc (296)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/fCDiagMatrix.cc">fCDiagMatrix.cc (296)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v1004/ V1004]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v1004/ V1004]</td>
       <td style='width: 65%;'>The 's' pointer was used unsafely after it was verified against nullptr. Check lines: 293, 296.</td>
       <td style='width: 65%;'>The 's' pointer was used unsafely after it was verified against nullptr. Check lines: 293, 296.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/array/fCDiagMatrix.cc">fCDiagMatrix.cc (303)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/fCDiagMatrix.cc">fCDiagMatrix.cc (303)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td>
       <td style='width: 65%;'>Non-void function should return a value.</td>
       <td style='width: 65%;'>Non-void function should return a value.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/array/fCDiagMatrix.cc">fCDiagMatrix.cc (349)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/fCDiagMatrix.cc">fCDiagMatrix.cc (349)</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: val == 0.0f. 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: val == 0.0f. 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/liboctave/array/fCDiagMatrix.cc">fCDiagMatrix.cc (494)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/fCDiagMatrix.cc">fCDiagMatrix.cc (494)</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: amx == 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: amx == 0. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
Line 9,408: Line 9,408:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/array/fDiagMatrix.cc">fDiagMatrix.cc (173)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/fDiagMatrix.cc">fDiagMatrix.cc (173)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v728/ V728]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v728/ V728]</td>
       <td style='width: 65%;'>An excessive check can be simplified. The '||' operator is surrounded by opposite expressions 'r &lt;= c' and 'r &gt; c'. </td>
       <td style='width: 65%;'>An excessive check can be simplified. The '||' operator is surrounded by opposite expressions 'r &lt;= c' and 'r &gt; c'. </td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/array/fDiagMatrix.cc">fDiagMatrix.cc (185)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/fDiagMatrix.cc">fDiagMatrix.cc (185)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v1004/ V1004]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v1004/ V1004]</td>
       <td style='width: 65%;'>The 's' pointer was used unsafely after it was verified against nullptr. Check lines: 182, 185.</td>
       <td style='width: 65%;'>The 's' pointer was used unsafely after it was verified against nullptr. Check lines: 182, 185.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/array/fDiagMatrix.cc">fDiagMatrix.cc (192)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/fDiagMatrix.cc">fDiagMatrix.cc (192)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td>
       <td style='width: 65%;'>Non-void function should return a value.</td>
       <td style='width: 65%;'>Non-void function should return a value.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/array/fDiagMatrix.cc">fDiagMatrix.cc (203)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/fDiagMatrix.cc">fDiagMatrix.cc (203)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v728/ V728]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v728/ V728]</td>
       <td style='width: 65%;'>An excessive check can be simplified. The '||' operator is surrounded by opposite expressions 'r &gt;= c' and 'r &lt; c'. </td>
       <td style='width: 65%;'>An excessive check can be simplified. The '||' operator is surrounded by opposite expressions 'r &gt;= c' and 'r &lt; c'. </td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/array/fDiagMatrix.cc">fDiagMatrix.cc (215)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/fDiagMatrix.cc">fDiagMatrix.cc (215)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v1004/ V1004]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v1004/ V1004]</td>
       <td style='width: 65%;'>The 's' pointer was used unsafely after it was verified against nullptr. Check lines: 212, 215.</td>
       <td style='width: 65%;'>The 's' pointer was used unsafely after it was verified against nullptr. Check lines: 212, 215.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/array/fDiagMatrix.cc">fDiagMatrix.cc (222)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/fDiagMatrix.cc">fDiagMatrix.cc (222)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v591/ V591]</td>
       <td style='width: 65%;'>Non-void function should return a value.</td>
       <td style='width: 65%;'>Non-void function should return a value.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/array/fDiagMatrix.cc">fDiagMatrix.cc (266)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/fDiagMatrix.cc">fDiagMatrix.cc (266)</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: val == 0.0f. 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: val == 0.0f. 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/liboctave/array/fDiagMatrix.cc">fDiagMatrix.cc (326)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/array/fDiagMatrix.cc">fDiagMatrix.cc (326)</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: amx == 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: amx == 0. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
Line 9,928: Line 9,928:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/numeric/EIG.cc">EIG.cc (136)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/numeric/EIG.cc">EIG.cc (136)</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: wi.elem(j) == 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: wi.elem(j) == 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/liboctave/numeric/EIG.cc">EIG.cc (490)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/numeric/EIG.cc">EIG.cc (490)</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.elem(j) == 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: ai.elem(j) == 0.0. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
Line 9,953: Line 9,953:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/numeric/LSODE.cc">LSODE.cc (440)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/numeric/LSODE.cc">LSODE.cc (440)</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: next_crit == next_out. 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: next_crit == next_out. It's probably better to use a comparison with defined precision: fabs(A - B) &lt; Epsilon.</td>
Line 10,358: Line 10,358:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/numeric/oct-norm.cc">oct-norm.cc (466)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/numeric/oct-norm.cc">oct-norm.cc (466)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v764/ V764]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v764/ V764]</td>
       <td style='width: 65%;'>Possible incorrect order of arguments passed to 'dual_p' function: 'q' and 'p'.</td>
       <td style='width: 65%;'>Possible incorrect order of arguments passed to 'dual_p' function: 'q' and 'p'.</td>
Line 10,523: Line 10,523:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/system/lo-sysdep.cc">lo-sysdep.cc (173)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/system/lo-sysdep.cc">lo-sysdep.cc (173)</div></td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v575/ V575]</td>
       <td style='width: 5%;'>[https://www.viva64.com/en/w/v575/ V575]</td>
       <td style='width: 65%;'>The potential null pointer is passed into 'sprintf' function. Inspect the first argument. Check lines: 173, 171.</td>
       <td style='width: 65%;'>The potential null pointer is passed into 'sprintf' function. Inspect the first argument. Check lines: 173, 171.</td>
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/system/lo-sysinfo.cc">lo-sysinfo.cc (69)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/system/lo-sysinfo.cc">lo-sysinfo.cc (69)</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 '!retval.empty()' is always false.</td>
       <td style='width: 65%;'>Expression '!retval.empty()' is always false.</td>
Line 10,758: Line 10,758:
     </tr>
     </tr>
     <tr>
     <tr>
       <td style='width: 30%;'><div title="/home/pavel/octave/liboctave/util/oct-mutex.cc">oct-mutex.cc (45)</div></td>
       <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/octave/liboctave/util/oct-mutex.cc">oct-mutex.cc (45)</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 'unlock' function is fully equivalent to the body of 'lock' function.</td>
       <td style='width: 65%;'>It is odd that the body of 'unlock' function is fully equivalent to the body of 'lock' function.</td>
1,072

edits

Navigation menu