1,073
edits
PVS static analyzer - 5.0 Release: Difference between revisions
Jump to navigation
Jump to search
m
PVS static analyzer - 5.0 Release (view source)
Revision as of 22:50, 3 January 2019
, 3 January 2019Mark bug "Won't Fix"
m (Mark bug fixed) |
m (Mark bug "Won't Fix") |
||
| Line 4,887: | Line 4,887: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-bool-mat.cc">ov-bool-mat.cc (317)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-bool-mat.cc">ov-bool-mat.cc (317)</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, "columns", nc)' is always false.</td> | <td style='width: 65%;'>Expression '!extract_keyword(is, "columns", nc)' is always false.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-bool-mat.cc">ov-bool-mat.cc (317)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-bool-mat.cc">ov-bool-mat.cc (317)</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 < 0.</td> | <td style='width: 65%;'>A part of conditional expression is always false: nc < 0.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-bool-mat.cc">ov-bool-mat.cc (320)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-bool-mat.cc">ov-bool-mat.cc (320)</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 > 0.</td> | <td style='width: 65%;'>A part of conditional expression is always false: nc > 0.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-bool-mat.cc">ov-bool-mat.cc (334)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-bool-mat.cc">ov-bool-mat.cc (334)</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 4,937: | Line 4,937: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-cell.cc">ov-cell.cc (847)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-cell.cc">ov-cell.cc (847)</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, "columns", nc)' is always false.</td> | <td style='width: 65%;'>Expression '!extract_keyword(is, "columns", nc)' is always false.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-cell.cc">ov-cell.cc (847)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-cell.cc">ov-cell.cc (847)</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 < 0.</td> | <td style='width: 65%;'>A part of conditional expression is always false: nc < 0.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-cell.cc">ov-cell.cc (850)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-cell.cc">ov-cell.cc (850)</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 > 0.</td> | <td style='width: 65%;'>A part of conditional expression is always false: nc > 0.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-cell.cc">ov-cell.cc (878)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-cell.cc">ov-cell.cc (878)</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,042: | Line 5,042: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-cx-mat.cc">ov-cx-mat.cc (389)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-cx-mat.cc">ov-cx-mat.cc (389)</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, "columns", nc)' is always false.</td> | <td style='width: 65%;'>Expression '!extract_keyword(is, "columns", nc)' is always false.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-cx-mat.cc">ov-cx-mat.cc (389)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-cx-mat.cc">ov-cx-mat.cc (389)</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 < 0.</td> | <td style='width: 65%;'>A part of conditional expression is always false: nc < 0.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-cx-mat.cc">ov-cx-mat.cc (392)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-cx-mat.cc">ov-cx-mat.cc (392)</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 > 0.</td> | <td style='width: 65%;'>A part of conditional expression is always false: nc > 0.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-cx-mat.cc">ov-cx-mat.cc (401)</div></td> | <td style='width: 30%; text-decoration: line-through;'><div title="/home/pavel/oct/octave/libinterp/octave-value/ov-cx-mat.cc">ov-cx-mat.cc (401)</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,167: | Line 5,167: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/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/oct/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, "columns", nc)' is always false.</td> | <td style='width: 65%;'>Expression '!extract_keyword(is, "columns", nc)' is always false.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/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/oct/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 < 0.</td> | <td style='width: 65%;'>A part of conditional expression is always false: nc < 0.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/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/oct/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 > 0.</td> | <td style='width: 65%;'>A part of conditional expression is always false: nc > 0.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/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/oct/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,192: | Line 5,192: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/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/oct/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, "columns", nc)' is always false.</td> | <td style='width: 65%;'>Expression '!extract_keyword(is, "columns", nc)' is always false.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/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/oct/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 < 0.</td> | <td style='width: 65%;'>A part of conditional expression is always false: nc < 0.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/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/oct/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 > 0.</td> | <td style='width: 65%;'>A part of conditional expression is always false: nc > 0.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/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/oct/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> | ||
| Line 5,292: | Line 5,292: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/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/oct/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, "columns", nc)' is always false.</td> | <td style='width: 65%;'>Expression '!extract_keyword(is, "columns", nc)' is always false.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/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/oct/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 < 0.</td> | <td style='width: 65%;'>A part of conditional expression is always false: nc < 0.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/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/oct/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 > 0.</td> | <td style='width: 65%;'>A part of conditional expression is always false: nc > 0.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/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/oct/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> | ||
| Line 5,337: | Line 5,337: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/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/oct/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/oct/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/oct/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, "length", len)' is always false.</td> | <td style='width: 65%;'>Expression '!extract_keyword(is, "length", len)' is always false.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/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/oct/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> | ||
| Line 5,357: | Line 5,357: | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/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/oct/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, "length", len)' is always false.</td> | <td style='width: 65%;'>Expression '!extract_keyword(is, "length", len)' is always false.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/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/oct/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 < 0.</td> | <td style='width: 65%;'>A part of conditional expression is always false: len < 0.</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td style='width: 30%;'><div title="/home/pavel/oct/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/oct/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/oct/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/oct/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 > 0' is always false.</td> | <td style='width: 65%;'>Expression 'len > 0' is always false.</td> | ||