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 }