diff options
Diffstat (limited to 'lib/timespec.h')
| -rw-r--r-- | lib/timespec.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/timespec.h b/lib/timespec.h index eef3030d9c5..94ba8d0b6a0 100644 --- a/lib/timespec.h +++ b/lib/timespec.h | |||
| @@ -87,7 +87,7 @@ timespec_cmp (struct timespec a, struct timespec b) | |||
| 87 | return 1; | 87 | return 1; |
| 88 | 88 | ||
| 89 | /* Pacify gcc -Wstrict-overflow (bleeding-edge circa 2017-10-02). See: | 89 | /* Pacify gcc -Wstrict-overflow (bleeding-edge circa 2017-10-02). See: |
| 90 | http://lists.gnu.org/r/bug-gnulib/2017-10/msg00006.html */ | 90 | https://lists.gnu.org/r/bug-gnulib/2017-10/msg00006.html */ |
| 91 | assume (-1 <= a.tv_nsec && a.tv_nsec <= 2 * TIMESPEC_RESOLUTION); | 91 | assume (-1 <= a.tv_nsec && a.tv_nsec <= 2 * TIMESPEC_RESOLUTION); |
| 92 | assume (-1 <= b.tv_nsec && b.tv_nsec <= 2 * TIMESPEC_RESOLUTION); | 92 | assume (-1 <= b.tv_nsec && b.tv_nsec <= 2 * TIMESPEC_RESOLUTION); |
| 93 | 93 | ||