Description
Coverity false positive:
1188 */
|
8. Condition start == NULL, taking true branch
|
1189 if (start == NULL) {
|
|
CID 1374542 (#1 of 1): Dereference after null check (FORWARD_NULL)
|
9. var_deref_op: Dereferencing null pointer stop.
|
1190 WT_ERR(__session_open_cursor(
|
1191 (WT_SESSION *)session, stop->uri, NULL, NULL, &start));
|
1192 local_start = true;
|
CID 1357531: Explicit null dereferenced (FORWARD_NULL) [select issue]
|
1193 WT_ERR(start->next(start));
|
1194 }
|