Dear maintainer, I tried to test the latest version of coreutils with klee. klee reported an integer overflow in function timespec_cmp (located in file timespec.h) when a.tv_sec=0, b.tv_sec=0, a.tv_nsec=0, b.tv_nsec=LONG_MIN.
But I failed to reproduce it with the test case produced by klee. Is it possible to trigger such overflow? -- Dingbao Xie
