]>
Commit | Line | Data |
---|---|---|
91b6eb11 | 1 | /* Test reporting of out-of-bounds access for dynamic arrays. |
dff8da6b | 2 | Copyright (C) 2017-2024 Free Software Foundation, Inc. |
91b6eb11 FW |
3 | This file is part of the GNU C Library. |
4 | ||
5 | The GNU C Library is free software; you can redistribute it and/or | |
6 | modify it under the terms of the GNU Lesser General Public | |
7 | License as published by the Free Software Foundation; either | |
8 | version 2.1 of the License, or (at your option) any later version. | |
9 | ||
10 | The GNU C Library is distributed in the hope that it will be useful, | |
11 | but WITHOUT ANY WARRANTY; without even the implied warranty of | |
12 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU | |
13 | Lesser General Public License for more details. | |
14 | ||
15 | You should have received a copy of the GNU Lesser General Public | |
16 | License along with the GNU C Library; if not, see | |
5a82c748 | 17 | <https://www.gnu.org/licenses/>. */ |
91b6eb11 FW |
18 | |
19 | #include "tst-dynarray-shared.h" | |
20 | ||
21 | #include <signal.h> | |
22 | #include <stdint.h> | |
23 | #include <string.h> | |
24 | #include <support/capture_subprocess.h> | |
25 | #include <support/check.h> | |
26 | ||
27 | /* Run CALLBACK and check that the data on standard error equals | |
28 | EXPECTED. */ | |
29 | static void | |
30 | check (const char *test, void (*callback) (void *), size_t index, | |
31 | const char *expected) | |
32 | { | |
33 | struct support_capture_subprocess result | |
34 | = support_capture_subprocess (callback, &index); | |
35 | if (strcmp (result.err.buffer, expected) != 0) | |
36 | { | |
37 | support_record_failure (); | |
38 | printf ("error: test %s (%zu) unexpected standard error data\n" | |
39 | " expected: %s\n" | |
40 | " actual: %s\n", | |
41 | test, index, expected, result.err.buffer); | |
42 | } | |
43 | TEST_VERIFY (strlen (result.out.buffer) == 0); | |
44 | TEST_VERIFY (WIFSIGNALED (result.status)); | |
45 | if (WIFSIGNALED (result.status)) | |
46 | TEST_VERIFY (WTERMSIG (result.status) == SIGABRT); | |
47 | support_capture_subprocess_free (&result); | |
48 | } | |
49 | ||
50 | /* Try indexing an empty array. */ | |
51 | static void | |
52 | test_empty (void *closure) | |
53 | { | |
54 | size_t *pindex = closure; | |
55 | struct dynarray_int dyn; | |
56 | dynarray_int_init (&dyn); | |
57 | dynarray_int_at (&dyn, *pindex); | |
58 | } | |
59 | ||
60 | /* Try indexing a one-element array. */ | |
61 | static void | |
62 | test_one (void *closure) | |
63 | { | |
64 | size_t *pindex = closure; | |
65 | struct dynarray_int dyn; | |
66 | dynarray_int_init (&dyn); | |
67 | TEST_VERIFY (dynarray_int_resize (&dyn, 1)); | |
68 | dynarray_int_at (&dyn, *pindex); | |
69 | } | |
70 | ||
71 | /* Try indexing a longer array. */ | |
72 | static void | |
73 | test_many (void *closure) | |
74 | { | |
75 | size_t *pindex = closure; | |
76 | struct dynarray_int dyn; | |
77 | dynarray_int_init (&dyn); | |
78 | TEST_VERIFY (dynarray_int_resize (&dyn, 5371)); | |
79 | dynarray_int_at (&dyn, *pindex); | |
80 | } | |
81 | ||
82 | /* (size_t) -1 for use in string literals. */ | |
83 | #if SIZE_WIDTH == 32 | |
84 | # define MINUS_1 "4294967295" | |
85 | #elif SIZE_WIDTH == 64 | |
86 | # define MINUS_1 "18446744073709551615" | |
87 | #else | |
88 | # error "unknown value for SIZE_WIDTH" | |
89 | #endif | |
90 | ||
91 | static int | |
92 | do_test (void) | |
93 | { | |
94 | TEST_VERIFY (setenv ("LIBC_FATAL_STDERR_", "1", 1) == 0); | |
95 | ||
96 | check ("test_empty", test_empty, 0, | |
97 | "Fatal glibc error: array index 0 not less than array length 0\n"); | |
98 | check ("test_empty", test_empty, 1, | |
99 | "Fatal glibc error: array index 1 not less than array length 0\n"); | |
100 | check ("test_empty", test_empty, -1, | |
101 | "Fatal glibc error: array index " MINUS_1 | |
102 | " not less than array length 0\n"); | |
103 | ||
104 | check ("test_one", test_one, 1, | |
105 | "Fatal glibc error: array index 1 not less than array length 1\n"); | |
106 | check ("test_one", test_one, 2, | |
107 | "Fatal glibc error: array index 2 not less than array length 1\n"); | |
108 | check ("test_one", test_one, -1, | |
109 | "Fatal glibc error: array index " MINUS_1 | |
110 | " not less than array length 1\n"); | |
111 | ||
112 | check ("test_many", test_many, 5371, | |
113 | "Fatal glibc error: array index 5371" | |
114 | " not less than array length 5371\n"); | |
115 | check ("test_many", test_many, 5372, | |
116 | "Fatal glibc error: array index 5372" | |
117 | " not less than array length 5371\n"); | |
118 | check ("test_many", test_many, -1, | |
119 | "Fatal glibc error: array index " MINUS_1 | |
120 | " not less than array length 5371\n"); | |
121 | ||
122 | return 0; | |
123 | } | |
124 | ||
125 | #include <support/test-driver.c> |