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));