Question about the function timespec_cmp in timespec.h

[Dingbao Xie]

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