Details
Description
src/cache/cache_las.c:
1144 /*
|
1145 * Never expect an entry with prepare locked state or
|
1146 * with durable timestamp as max timestamp or with
|
1147 * in-progress prepare state and non-zero durable
|
1148 * timestamp. In all other cases the durable timestamp
|
1149 * is higher or same as the las timestamp.
|
1150 */
|
|
CID 1399759 (#1 of 1): Constant expression result (CONSTANT_EXPRESSION_RESULT)
|
always_true_or: The "or" condition prepare_state != 2 || durable_timestamp != 18446744073709551615UL || (prepare_state != 1 || durable_timestamp == 0UL) will always be true because prepare_state cannot be equal to two different values at the same time, so it must be not equal to at least one of them.
|
1151 WT_ASSERT(session,
|
1152 prepare_state != WT_PREPARE_LOCKED ||
|
1153 durable_timestamp != WT_TS_MAX ||
|
1154 (prepare_state != WT_PREPARE_INPROGRESS ||
|
1155 durable_timestamp == 0));
|