//PARAM: --enable ana.int.def_exc
#include<assert.h>

int main() {
  unsigned int top;
  unsigned int x;
  top = 7;
  if (top == 3){
    return 0;
  }

  x = top * 1073741824u;
  assert(x != 3221225472u); // UNKNOWN!
  return 0;
}

Add failing test case for multiplication with DefExc
Add failing test case for multiplication with DefExc
