21. Condition upd == NULL, taking true branch.
|
22. var_compare_op: Comparing upd to null implies that upd might be null.
|
23. Condition !skipped_birthmark, taking false branch.
|
219 if (upd == NULL && !skipped_birthmark) {
|
220 /*
|
221 * Callers of this function set the cursor slot to an impossible
|
222 * value to check we're not trying to return on-page values when
|
223 * the update list should have been sufficient (which happens,
|
224 * for example, if an update list was truncated, deleting some
|
225 * standard update required by a previous modify update). Assert
|
226 * the case.
|
227 */
|
228 WT_ASSERT(session, cbt->slot != UINT32_MAX);
|
229
|
230 WT_ERR(__value_return(session, cbt));
|
|
CID 1383853 (#1 of 1): Dereference after null check (FORWARD_NULL)
|
24. var_deref_op: Dereferencing null pointer upd.
|
231 } else if (upd->type == WT_UPDATE_TOMBSTONE || skipped_birthmark)
|
232 WT_ERR(__wt_buf_set(session, &cursor->value, "", 0));
|
233 else
|
234 WT_ERR(__wt_buf_set(session,
|
235 &cursor->value, upd->data, upd->size));
|