1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
|
/* Test inttostr functions, and incidentally, INT_BUFSIZE_BOUND
Copyright (C) 2010-2014 Free Software Foundation, Inc.
This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 3 of the License, or
(at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program. If not, see <http://www.gnu.org/licenses/>. */
/* Written by Jim Meyering. */
#include <config.h>
#include "inttostr.h"
#include "intprops.h"
#include <inttypes.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "macros.h"
#define STREQ(a, b) (strcmp (a, b) == 0)
#define FMT(T) (TYPE_SIGNED (T) ? "%jd" : "%ju")
#define CAST_VAL(T,V) (TYPE_SIGNED (T) ? (intmax_t) (V) : (uintmax_t) (V))
#define V_min(T) (CAST_VAL (T, TYPE_MINIMUM (T)))
#define V_max(T) (CAST_VAL (T, TYPE_MAXIMUM (T)))
#define IS_TIGHT(T) (_GL_SIGNED_TYPE_OR_EXPR (T) == TYPE_SIGNED (T))
#define ISDIGIT(c) ((unsigned int) (c) - '0' <= 9)
/* Verify that an inttostr function works as advertised.
Convert maximum and minimum (per-type, T) values using both snprintf --
with a cast to intmax_t or uintmax_t -- and FN, and compare the
resulting strings. Use malloc for the inttostr buffer, so that if
we ever exceed the usually-tight INT_BUFSIZE_BOUND, tools like
valgrind will detect the failure. */
#define CK(T, Fn) \
do \
{ \
char ref[100]; \
char *buf = malloc (INT_BUFSIZE_BOUND (T)); \
char const *p; \
ASSERT (buf); \
*buf = '\0'; \
ASSERT (snprintf (ref, sizeof ref, FMT (T), V_min (T)) < sizeof ref); \
ASSERT (STREQ ((p = Fn (TYPE_MINIMUM (T), buf)), ref)); \
/* Ensure that INT_BUFSIZE_BOUND is tight for signed types. */ \
ASSERT (! TYPE_SIGNED (T) || (p == buf && *p == '-')); \
ASSERT (snprintf (ref, sizeof ref, FMT (T), V_max (T)) < sizeof ref); \
ASSERT (STREQ ((p = Fn (TYPE_MAXIMUM (T), buf)), ref)); \
/* For unsigned types, the bound is not always tight. */ \
ASSERT (! IS_TIGHT (T) || TYPE_SIGNED (T) \
|| (p == buf && ISDIGIT (*p))); \
free (buf); \
} \
while (0)
int
main (void)
{
size_t b_size = 2;
char *b = malloc (b_size);
ASSERT (b);
/* Ideally we would rely on the snprintf-posix module, in which case
this guard would not be required, but due to limitations in gnulib's
implementation (see modules/snprintf-posix), we cannot. */
if (snprintf (b, b_size, "%ju", (uintmax_t) 3) == 1
&& b[0] == '3' && b[1] == '\0')
{
CK (int, inttostr);
CK (unsigned int, uinttostr);
CK (off_t, offtostr);
CK (uintmax_t, umaxtostr);
CK (intmax_t, imaxtostr);
return 0;
}
/* snprintf doesn't accept %ju; skip this test. */
return 77;
}
|
