assert(!intv.is_bottom()) in void SplitDBM::set(const variable_t x, const interval_t& intv)

[Alan-Jowett]

Test case that triggers it

test-case: 32bit multiplication - uninitialized register

pre: []

code:
  <start>: |
    w0 *= 1207967752
    w0 *= r0

post: []

message: []