== ub_rec.log: UBSan shift-UB census (recover mode; edge+exhaustive+sr64 batteries) ==
UBSAN-FIRED(recover): __udivti3.c:274:25 (value=18446744073709551615 shift=64)
UBSAN-FIRED(recover): __udivti3.c:277:18 (value=18446744073709551615 shift=64)
UBSAN-FIRED(recover): __udivti3.c:274:25 (value=18446744073709551615 shift=64)
UBSAN-FIRED(recover): __udivti3.c:277:18 (value=18446744073709551615 shift=64)
UBSAN-FIRED(recover): __udivti3.c:274:25 (value=18446744073709551615 shift=64)
...
UBSAN-FIRED(recover): __udivti3.c:235:20 (value=34 shift=69)
UBSAN-FIRED(recover): __udivti3.c:236:14 (value=16045690984503098046 shift=4294967291)
UBSAN-FIRED(recover): __udivti3.c:240:26 (value=34 shift=4294967291)
total events:
1017186
events by site:
182427 udivti3.c:235
182427 udivti3.c:231
180402 udivti3.c:240
180402 udivti3.c:236
73701 udivti3.c:243
73701 udivti3.c:238
71676 udivti3.c:242
71676 udivti3.c:233
 387 udivti3.c:277
 387 udivti3.c:274

final result of the same run:
R random vectors: 0 (seeds 243f6a8885a308d3:13198a2e03707344)
TOTAL checked=4515771 mismatches=0
PASS: all vectors match hardware division