On 09/12/14 01:50, Dingbao Xie wrote: > 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?
The tv_nsec values are constrained to values such that the subtraction can not overflow. Details are in the comment above that function. thanks, Pádraig.
