timespec: prefer ‘assume’ to ‘assure’
commitf466816e06ec3516567c3edcd0219bd1f9b736eb
authorPaul Eggert <eggert@cs.ucla.edu>
Sun, 29 Oct 2017 23:22:41 +0000 (29 16:22 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Sun, 29 Oct 2017 23:23:07 +0000 (29 16:23 -0700)
tree31b830881aacc0cac7be07f716faa9cb715bcdb8
parentc1b1be5dc59f460f4249bb337987cc37dc2ed07f
timespec: prefer ‘assume’ to ‘assure’

This avoids some runtime tests.  The rest of the module makes
similar assumptions and there is little point to testing here.
* lib/timespec.h: Include verify.h instead of assure.h.
(timespec_cmp): Use ‘assume’, not ‘assure’.
Also, remove an unnecessary cast to ‘int’, as lots of other
code in this module now causes -Wconversion to complain, and
this is a problem with -Wconversion not with the code.

* modules/timespec (Depends-on): Depend on ‘verify’, not ‘assure’.
ChangeLog
lib/timespec.h
modules/timespec