An integer overflow occurs, with the result converted to a wider integer type

Defect 114135 (STATIC_C)
Checker OVERFLOW_BEFORE_WIDEN (subcategory none)
File: /test/format/ops.c
Function prepare_transaction
/test/format/ops.c, line: 525
Potentially overflowing expression "mmrand(&tinfo->rnd, 1U, 10U) << longwait" with type "uint32_t" (32 bits, unsigned) is evaluated using 32-bit arithmetic, and then used in a context that expects an expression of type "uint64_t" (64 bits, unsigned).

                pause_ms = mmrand(&tinfo->rnd, 1, 10) << longwait;