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

int main() {
    // should be LP64
    unsigned long n = 16;
    unsigned long size = 4912;

    assert(!(0xffffffffffffffffUL / size < n)); // UNKNOWN (for now)
}
// PARAM: --enable ana.int.interval --enable ana.int.def_exc
// issue #120
#include <assert.h>

int main() {
    // should be LP64
    unsigned long n = 16;
    unsigned long size = 4912;

    assert(!(0xffffffffffffffffUL / size < n));
}

Remove UNKNOWN annotation from assert that now succeeds
Testcase: Remove UNKNOWN annotation from assert that now succeeds
