// PARAM: --enable ana.int.def_exc --enable ana.int.interval
// ldv-benchmarks: u__linux-concurrency_safety__drivers---net---ethernet---amd---pcnet32.ko.c
#include <assert.h>

int main() {
  int debug_value = -1;

  if ((unsigned int)debug_value > 31U)
    assert(1); // reachable
  else
    assert(1); // NOWARN (unreachable)

  return 0;
}
Add unsound negative int to unsigned int branch invariant test
Add unsound negative int to unsigned int branch invariant test
