blob: 50db4fb22e161d2e57cbd43f36d32fe7469ab5a4 [file] [log] [blame]
Irina Tirdeab5f053b2012-09-08 09:17:54 +03001/*
2 * Copyright (C) 2012 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
Elliott Hughes416d7dd2014-08-18 17:28:32 -070017#define _GNU_SOURCE 1
18
Elliott Hughes09c39d62014-08-19 14:30:30 -070019#include <string.h>
Irina Tirdeab5f053b2012-09-08 09:17:54 +030020
21#include <errno.h>
Elliott Hughes09c39d62014-08-19 14:30:30 -070022#include <gtest/gtest.h>
Dan Alberte5fdaa42014-06-14 01:04:31 +000023#include <malloc.h>
Anna Tikhonova036154b2012-10-05 15:21:11 +040024#include <math.h>
Elliott Hughesd2a9fb32015-07-27 20:55:03 -070025#include <stdint.h>
Colin Cross4c5595c2021-08-16 15:51:59 -070026#include <sys/cdefs.h>
Irina Tirdeab5f053b2012-09-08 09:17:54 +030027
Christopher Ferris71766c22016-02-12 17:24:27 -080028#include <algorithm>
29#include <vector>
30
Christopher Ferrisb687ad32013-11-06 17:32:11 -080031#include "buffer_tests.h"
Elliott Hughes95646e62023-09-21 14:11:19 -070032#include "utils.h"
Christopher Ferrisb687ad32013-11-06 17:32:11 -080033
Christopher Ferris13f26a72016-01-13 13:47:58 -080034#if defined(NOFORTIFY)
35#define STRING_TEST string_nofortify
36#else
37#define STRING_TEST string
38#endif
39
Christopher Ferris14687652014-11-10 13:58:17 -080040#if defined(__BIONIC__)
41#define STRLCPY_SUPPORTED
42#define STRLCAT_SUPPORTED
43#endif
44
Chih-Hung Hsiehd61ca372016-06-03 10:18:07 -070045constexpr auto KB = 1024;
46constexpr auto SMALL = 1 * KB;
47constexpr auto MEDIUM = 4 * KB;
48constexpr auto LARGE = 64 * KB;
Anna Tikhonova036154b2012-10-05 15:21:11 +040049
50static int signum(int i) {
51 if (i < 0) {
52 return -1;
53 } else if (i > 0) {
54 return 1;
55 }
56 return 0;
57}
58
Christopher Ferris13f26a72016-01-13 13:47:58 -080059TEST(STRING_TEST, strerror) {
Irina Tirdeab5f053b2012-09-08 09:17:54 +030060 // Valid.
61 ASSERT_STREQ("Success", strerror(0));
Steven Moreland4ef83d62021-10-07 00:19:18 +000062 ASSERT_STREQ("Operation not permitted", strerror(1));
Irina Tirdeab5f053b2012-09-08 09:17:54 +030063
64 // Invalid.
Elliott Hughese6e60062013-01-10 16:01:59 -080065 ASSERT_STREQ("Unknown error -1", strerror(-1));
Elliott Hugheseebf5fd2018-11-30 16:56:43 -080066 ASSERT_STREQ("Unknown error 134", strerror(EHWPOISON + 1));
Irina Tirdeab5f053b2012-09-08 09:17:54 +030067}
68
Elliott Hughes7cebf832020-08-12 14:25:41 -070069TEST(STRING_TEST, strerror_l) {
70 // bionic just forwards to strerror(3).
71 ASSERT_STREQ("Success", strerror_l(0, LC_GLOBAL_LOCALE));
72}
73
Christopher Ferrisf04935c2013-12-20 18:43:21 -080074#if defined(__BIONIC__)
Elliott Hughesad88a082012-10-24 18:37:21 -070075static void* ConcurrentStrErrorFn(void*) {
Irina Tirdeab5f053b2012-09-08 09:17:54 +030076 bool equal = (strcmp("Unknown error 2002", strerror(2002)) == 0);
77 return reinterpret_cast<void*>(equal);
78}
Christopher Ferrisf04935c2013-12-20 18:43:21 -080079#endif // __BIONIC__
Irina Tirdeab5f053b2012-09-08 09:17:54 +030080
Christopher Ferrisf04935c2013-12-20 18:43:21 -080081// glibc's strerror isn't thread safe, only its strsignal.
Christopher Ferris13f26a72016-01-13 13:47:58 -080082TEST(STRING_TEST, strerror_concurrent) {
Christopher Ferrisf04935c2013-12-20 18:43:21 -080083#if defined(__BIONIC__)
Irina Tirdeab5f053b2012-09-08 09:17:54 +030084 const char* strerror1001 = strerror(1001);
85 ASSERT_STREQ("Unknown error 1001", strerror1001);
86
87 pthread_t t;
Yi Kong32bc0fc2018-08-02 17:31:13 -070088 ASSERT_EQ(0, pthread_create(&t, nullptr, ConcurrentStrErrorFn, nullptr));
Irina Tirdeab5f053b2012-09-08 09:17:54 +030089 void* result;
90 ASSERT_EQ(0, pthread_join(t, &result));
91 ASSERT_TRUE(static_cast<bool>(result));
92
93 ASSERT_STREQ("Unknown error 1001", strerror1001);
Christopher Ferrisf04935c2013-12-20 18:43:21 -080094#else // __BIONIC__
Elliott Hughesbcaa4542019-03-08 15:20:23 -080095 GTEST_SKIP() << "thread-safe strerror not available";
Christopher Ferrisf04935c2013-12-20 18:43:21 -080096#endif // __BIONIC__
Irina Tirdeab5f053b2012-09-08 09:17:54 +030097}
Elliott Hughesad88a082012-10-24 18:37:21 -070098
Christopher Ferris13f26a72016-01-13 13:47:58 -080099TEST(STRING_TEST, gnu_strerror_r) {
Colin Cross4c5595c2021-08-16 15:51:59 -0700100#if !defined(ANDROID_HOST_MUSL)
Irina Tirdeab5f053b2012-09-08 09:17:54 +0300101 char buf[256];
102
Elliott Hughes416d7dd2014-08-18 17:28:32 -0700103 // Note that glibc doesn't necessarily write into the buffer.
104
Irina Tirdeab5f053b2012-09-08 09:17:54 +0300105 // Valid.
Elliott Hughes416d7dd2014-08-18 17:28:32 -0700106 ASSERT_STREQ("Success", strerror_r(0, buf, sizeof(buf)));
107#if defined(__BIONIC__)
Irina Tirdeab5f053b2012-09-08 09:17:54 +0300108 ASSERT_STREQ("Success", buf);
Elliott Hughes416d7dd2014-08-18 17:28:32 -0700109#endif
Steven Moreland4ef83d62021-10-07 00:19:18 +0000110 ASSERT_STREQ("Operation not permitted", strerror_r(1, buf, sizeof(buf)));
Elliott Hughes416d7dd2014-08-18 17:28:32 -0700111#if defined(__BIONIC__)
Steven Moreland4ef83d62021-10-07 00:19:18 +0000112 ASSERT_STREQ("Operation not permitted", buf);
Elliott Hughes416d7dd2014-08-18 17:28:32 -0700113#endif
Irina Tirdeab5f053b2012-09-08 09:17:54 +0300114
115 // Invalid.
Elliott Hughes416d7dd2014-08-18 17:28:32 -0700116 ASSERT_STREQ("Unknown error -1", strerror_r(-1, buf, sizeof(buf)));
Nick Kralevich60605892013-01-15 10:35:09 -0800117 ASSERT_STREQ("Unknown error -1", buf);
Elliott Hughes416d7dd2014-08-18 17:28:32 -0700118 ASSERT_STREQ("Unknown error 1234", strerror_r(1234, buf, sizeof(buf)));
Irina Tirdeab5f053b2012-09-08 09:17:54 +0300119 ASSERT_STREQ("Unknown error 1234", buf);
120
121 // Buffer too small.
Elliott Hughes416d7dd2014-08-18 17:28:32 -0700122 errno = 0;
123 memset(buf, 0, sizeof(buf));
124 ASSERT_EQ(buf, strerror_r(4567, buf, 2));
125 ASSERT_STREQ("U", buf);
126 // The GNU strerror_r doesn't set errno (the POSIX one sets it to ERANGE).
Elliott Hughes95646e62023-09-21 14:11:19 -0700127 ASSERT_ERRNO(0);
Colin Cross7da20342021-07-28 11:18:11 -0700128#else
129 GTEST_SKIP() << "musl doesn't have GNU strerror_r";
130#endif
Irina Tirdeab5f053b2012-09-08 09:17:54 +0300131}
Irina Tirdeab5f053b2012-09-08 09:17:54 +0300132
Christopher Ferris13f26a72016-01-13 13:47:58 -0800133TEST(STRING_TEST, strsignal) {
Irina Tirdeab5f053b2012-09-08 09:17:54 +0300134 // A regular signal.
135 ASSERT_STREQ("Hangup", strsignal(1));
136
137 // A real-time signal.
Elliott Hughes0990d4f2014-04-30 09:45:40 -0700138 ASSERT_STREQ("Real-time signal 14", strsignal(SIGRTMIN + 14));
139 // One of the signals the C library keeps to itself.
Colin Cross23b986c2022-10-19 15:03:59 -0700140 ASSERT_STREQ("Unknown signal 32", strsignal(32)); // __SIGRTMIN
Irina Tirdeab5f053b2012-09-08 09:17:54 +0300141
142 // Errors.
143 ASSERT_STREQ("Unknown signal -1", strsignal(-1)); // Too small.
144 ASSERT_STREQ("Unknown signal 0", strsignal(0)); // Still too small.
145 ASSERT_STREQ("Unknown signal 1234", strsignal(1234)); // Too large.
146}
147
Elliott Hughesad88a082012-10-24 18:37:21 -0700148static void* ConcurrentStrSignalFn(void*) {
Irina Tirdeab5f053b2012-09-08 09:17:54 +0300149 bool equal = (strcmp("Unknown signal 2002", strsignal(2002)) == 0);
150 return reinterpret_cast<void*>(equal);
151}
152
Christopher Ferris13f26a72016-01-13 13:47:58 -0800153TEST(STRING_TEST, strsignal_concurrent) {
Irina Tirdeab5f053b2012-09-08 09:17:54 +0300154 const char* strsignal1001 = strsignal(1001);
155 ASSERT_STREQ("Unknown signal 1001", strsignal1001);
156
157 pthread_t t;
Yi Kong32bc0fc2018-08-02 17:31:13 -0700158 ASSERT_EQ(0, pthread_create(&t, nullptr, ConcurrentStrSignalFn, nullptr));
Irina Tirdeab5f053b2012-09-08 09:17:54 +0300159 void* result;
160 ASSERT_EQ(0, pthread_join(t, &result));
161 ASSERT_TRUE(static_cast<bool>(result));
162
163 ASSERT_STREQ("Unknown signal 1001", strsignal1001);
164}
Anna Tikhonova036154b2012-10-05 15:21:11 +0400165
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700166// TODO: where did this number come from?
Anna Tikhonova036154b2012-10-05 15:21:11 +0400167#define ITER 500
168
169// For every length we want to test, vary and change alignment
170// of allocated memory, fill it with some values, calculate
171// expected result and then run function and compare what we got.
172// These tests contributed by Intel Corporation.
173// TODO: make these tests more intention-revealing and less random.
Alexander Ivchenkobaa91f42013-06-27 12:55:46 +0400174template<class Character>
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700175class StringTestState {
176 public:
Chih-Hung Hsieh62e3a072016-05-03 12:08:05 -0700177 explicit StringTestState(size_t MAX_LEN) : MAX_LEN(MAX_LEN), align1_index_(0), align2_index_(0) {
Anna Tikhonova036154b2012-10-05 15:21:11 +0400178 int max_alignment = 64;
179
180 // TODO: fix the tests to not sometimes use twice their specified "MAX_LEN".
Dan Alberte5fdaa42014-06-14 01:04:31 +0000181 glob_ptr = reinterpret_cast<Character*>(memalign(sysconf(_SC_PAGESIZE), 2 * sizeof(Character) * MAX_LEN + max_alignment));
182 glob_ptr1 = reinterpret_cast<Character*>(memalign(sysconf(_SC_PAGESIZE), 2 * sizeof(Character) * MAX_LEN + max_alignment));
183 glob_ptr2 = reinterpret_cast<Character*>(memalign(sysconf(_SC_PAGESIZE), 2 * sizeof(Character) * MAX_LEN + max_alignment));
Anna Tikhonova036154b2012-10-05 15:21:11 +0400184
185 InitLenArray();
186
187 srandom(1234);
188 }
189
190 ~StringTestState() {
191 free(glob_ptr);
192 free(glob_ptr1);
193 free(glob_ptr2);
194 }
195
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700196 void BeginIterations() {
197 align1_index_ = 0;
198 align2_index_ = 0;
Anna Tikhonova036154b2012-10-05 15:21:11 +0400199
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700200 ResetPointers();
201 }
202
203 bool HasNextIteration() {
204 return (align1_index_ != (alignments_size - 1) || align2_index_ != (alignments_size - 1));
205 }
206
207 void NextIteration() {
208 if (align1_index_ == (alignments_size - 1) && align2_index_ == (alignments_size - 1)) {
209 return;
210 }
211
212 if (align1_index_ == (alignments_size - 1)) {
213 align1_index_ = 0;
214 align2_index_++;
215 } else {
216 align1_index_++;
217 }
218
219 ResetPointers();
Anna Tikhonova036154b2012-10-05 15:21:11 +0400220 }
221
222 const size_t MAX_LEN;
Alexander Ivchenkobaa91f42013-06-27 12:55:46 +0400223 Character *ptr, *ptr1, *ptr2;
Anna Tikhonova036154b2012-10-05 15:21:11 +0400224 size_t n;
Dmitriy Ivanov7b956ed2014-09-04 12:47:07 -0700225 size_t len[ITER + 1];
Anna Tikhonova036154b2012-10-05 15:21:11 +0400226
227 private:
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700228 static size_t alignments[];
229 static size_t alignments_size;
Alexander Ivchenkobaa91f42013-06-27 12:55:46 +0400230 Character *glob_ptr, *glob_ptr1, *glob_ptr2;
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700231 size_t align1_index_, align2_index_;
Anna Tikhonova036154b2012-10-05 15:21:11 +0400232
233 // Calculate input lengths and fill state.len with them.
234 // Test small lengths with more density than big ones. Manually push
235 // smallest (0) and biggest (MAX_LEN) lengths. Avoid repeats.
236 // Return number of lengths to test.
237 void InitLenArray() {
238 n = 0;
239 len[n++] = 0;
240 for (size_t i = 1; i < ITER; ++i) {
Dmitriy Ivanov7b956ed2014-09-04 12:47:07 -0700241 size_t l = static_cast<size_t>(exp(log(static_cast<double>(MAX_LEN)) * i / ITER));
Anna Tikhonova036154b2012-10-05 15:21:11 +0400242 if (l != len[n - 1]) {
243 len[n++] = l;
244 }
245 }
246 len[n++] = MAX_LEN;
247 }
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700248
249 void ResetPointers() {
250 if (align1_index_ == alignments_size || align2_index_ == alignments_size) {
251 ptr = ptr1 = ptr2 = nullptr;
252 } else {
253 ptr = glob_ptr + alignments[align1_index_];
254 ptr1 = glob_ptr1 + alignments[align1_index_];
255 ptr2 = glob_ptr2 + alignments[align2_index_];
256 }
257 }
Anna Tikhonova036154b2012-10-05 15:21:11 +0400258};
259
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700260template<class Character>
261size_t StringTestState<Character>::alignments[] = { 24, 32, 16, 48, 0, 1, 2, 3, 4, 5, 6, 7, 11 };
262
263template<class Character>
264size_t StringTestState<Character>::alignments_size = sizeof(alignments)/sizeof(size_t);
265
Christopher Ferris13f26a72016-01-13 13:47:58 -0800266TEST(STRING_TEST, strcat) {
Alexander Ivchenkobaa91f42013-06-27 12:55:46 +0400267 StringTestState<char> state(SMALL);
Anna Tikhonova036154b2012-10-05 15:21:11 +0400268 for (size_t i = 1; i < state.n; i++) {
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700269 for (state.BeginIterations(); state.HasNextIteration(); state.NextIteration()) {
Anna Tikhonova036154b2012-10-05 15:21:11 +0400270 memset(state.ptr2, '\2', state.MAX_LEN);
271 state.ptr2[state.MAX_LEN - 1] = '\0';
272 memcpy(state.ptr, state.ptr2, 2 * state.MAX_LEN);
273
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700274 memset(state.ptr1, 'L', state.len[i]);
Anna Tikhonova036154b2012-10-05 15:21:11 +0400275 state.ptr1[random() % state.len[i]] = '\0';
276 state.ptr1[state.len[i] - 1] = '\0';
277
278 strcpy(state.ptr + state.MAX_LEN - 1, state.ptr1);
279
280 EXPECT_TRUE(strcat(state.ptr2, state.ptr1) == state.ptr2);
281 EXPECT_TRUE(memcmp(state.ptr, state.ptr2, 2 * state.MAX_LEN) == 0);
282 }
283 }
284}
285
Nick Kralevich13476de2013-06-03 10:58:06 -0700286// one byte target with "\0" source
Christopher Ferris13f26a72016-01-13 13:47:58 -0800287TEST(STRING_TEST, strcpy2) {
Nick Kralevich13476de2013-06-03 10:58:06 -0700288 char buf[1];
289 char* orig = strdup("");
Christopher Ferris950a58e2014-04-04 14:38:18 -0700290 ASSERT_EQ(buf, strcpy(buf, orig));
Nick Kralevich13476de2013-06-03 10:58:06 -0700291 ASSERT_EQ('\0', buf[0]);
292 free(orig);
293}
294
295// multibyte target where we under fill target
Christopher Ferris13f26a72016-01-13 13:47:58 -0800296TEST(STRING_TEST, strcpy3) {
Nick Kralevich13476de2013-06-03 10:58:06 -0700297 char buf[10];
298 char* orig = strdup("12345");
299 memset(buf, 'A', sizeof(buf));
Christopher Ferris950a58e2014-04-04 14:38:18 -0700300 ASSERT_EQ(buf, strcpy(buf, orig));
301 ASSERT_STREQ("12345", buf);
Nick Kralevich13476de2013-06-03 10:58:06 -0700302 ASSERT_EQ('A', buf[6]);
303 ASSERT_EQ('A', buf[7]);
304 ASSERT_EQ('A', buf[8]);
305 ASSERT_EQ('A', buf[9]);
306 free(orig);
307}
308
309// multibyte target where we fill target exactly
Christopher Ferris13f26a72016-01-13 13:47:58 -0800310TEST(STRING_TEST, strcpy4) {
Nick Kralevich13476de2013-06-03 10:58:06 -0700311 char buf[10];
312 char* orig = strdup("123456789");
313 memset(buf, 'A', sizeof(buf));
Christopher Ferris950a58e2014-04-04 14:38:18 -0700314 ASSERT_EQ(buf, strcpy(buf, orig));
315 ASSERT_STREQ("123456789", buf);
316 free(orig);
317}
318
319// one byte target with "\0" source
Christopher Ferris13f26a72016-01-13 13:47:58 -0800320TEST(STRING_TEST, stpcpy2) {
Christopher Ferris950a58e2014-04-04 14:38:18 -0700321 char buf[1];
322 char* orig = strdup("");
323 ASSERT_EQ(buf, stpcpy(buf, orig));
324 ASSERT_EQ('\0', buf[0]);
325 free(orig);
326}
327
328// multibyte target where we under fill target
Christopher Ferris13f26a72016-01-13 13:47:58 -0800329TEST(STRING_TEST, stpcpy3) {
Christopher Ferris950a58e2014-04-04 14:38:18 -0700330 char buf[10];
331 char* orig = strdup("12345");
332 memset(buf, 'A', sizeof(buf));
333 ASSERT_EQ(buf+strlen(orig), stpcpy(buf, orig));
334 ASSERT_STREQ("12345", buf);
335 ASSERT_EQ('A', buf[6]);
336 ASSERT_EQ('A', buf[7]);
337 ASSERT_EQ('A', buf[8]);
338 ASSERT_EQ('A', buf[9]);
339 free(orig);
340}
341
342// multibyte target where we fill target exactly
Christopher Ferris13f26a72016-01-13 13:47:58 -0800343TEST(STRING_TEST, stpcpy4) {
Christopher Ferris950a58e2014-04-04 14:38:18 -0700344 char buf[10];
345 char* orig = strdup("123456789");
346 memset(buf, 'A', sizeof(buf));
347 ASSERT_EQ(buf+strlen(orig), stpcpy(buf, orig));
348 ASSERT_STREQ("123456789", buf);
Nick Kralevich13476de2013-06-03 10:58:06 -0700349 free(orig);
350}
351
Christopher Ferris13f26a72016-01-13 13:47:58 -0800352TEST(STRING_TEST, strcat2) {
Nick Kralevichcf870192013-05-30 16:48:53 -0700353 char buf[10];
354 memset(buf, 'A', sizeof(buf));
355 buf[0] = 'a';
356 buf[1] = '\0';
357 char* res = strcat(buf, "01234");
358 ASSERT_EQ(buf, res);
Christopher Ferris950a58e2014-04-04 14:38:18 -0700359 ASSERT_STREQ("a01234", buf);
Nick Kralevichcf870192013-05-30 16:48:53 -0700360 ASSERT_EQ('A', buf[7]);
361 ASSERT_EQ('A', buf[8]);
362 ASSERT_EQ('A', buf[9]);
363}
364
Christopher Ferris13f26a72016-01-13 13:47:58 -0800365TEST(STRING_TEST, strcat3) {
Nick Kralevichcf870192013-05-30 16:48:53 -0700366 char buf[10];
367 memset(buf, 'A', sizeof(buf));
368 buf[0] = 'a';
369 buf[1] = '\0';
370 char* res = strcat(buf, "01234567");
371 ASSERT_EQ(buf, res);
Christopher Ferris950a58e2014-04-04 14:38:18 -0700372 ASSERT_STREQ("a01234567", buf);
Nick Kralevichcf870192013-05-30 16:48:53 -0700373}
374
Christopher Ferris13f26a72016-01-13 13:47:58 -0800375TEST(STRING_TEST, strncat2) {
Nick Kralevichcf870192013-05-30 16:48:53 -0700376 char buf[10];
377 memset(buf, 'A', sizeof(buf));
378 buf[0] = 'a';
379 buf[1] = '\0';
380 char* res = strncat(buf, "01234", sizeof(buf) - strlen(buf) - 1);
381 ASSERT_EQ(buf, res);
Christopher Ferris950a58e2014-04-04 14:38:18 -0700382 ASSERT_STREQ("a01234", buf);
Nick Kralevichcf870192013-05-30 16:48:53 -0700383 ASSERT_EQ('A', buf[7]);
384 ASSERT_EQ('A', buf[8]);
385 ASSERT_EQ('A', buf[9]);
386}
387
Christopher Ferris13f26a72016-01-13 13:47:58 -0800388TEST(STRING_TEST, strncat3) {
Nick Kralevichcf870192013-05-30 16:48:53 -0700389 char buf[10];
390 memset(buf, 'A', sizeof(buf));
391 buf[0] = 'a';
392 buf[1] = '\0';
393 char* res = strncat(buf, "0123456789", 5);
394 ASSERT_EQ(buf, res);
Christopher Ferris950a58e2014-04-04 14:38:18 -0700395 ASSERT_STREQ("a01234", buf);
Nick Kralevichcf870192013-05-30 16:48:53 -0700396 ASSERT_EQ('A', buf[7]);
397 ASSERT_EQ('A', buf[8]);
398 ASSERT_EQ('A', buf[9]);
399}
400
Christopher Ferris13f26a72016-01-13 13:47:58 -0800401TEST(STRING_TEST, strncat4) {
Nick Kralevichcf870192013-05-30 16:48:53 -0700402 char buf[10];
403 memset(buf, 'A', sizeof(buf));
404 buf[0] = 'a';
405 buf[1] = '\0';
406 char* res = strncat(buf, "01234567", 8);
407 ASSERT_EQ(buf, res);
Christopher Ferris950a58e2014-04-04 14:38:18 -0700408 ASSERT_STREQ("a01234567", buf);
Nick Kralevichcf870192013-05-30 16:48:53 -0700409}
410
Christopher Ferris13f26a72016-01-13 13:47:58 -0800411TEST(STRING_TEST, strncat5) {
Nick Kralevichcf870192013-05-30 16:48:53 -0700412 char buf[10];
413 memset(buf, 'A', sizeof(buf));
414 buf[0] = 'a';
415 buf[1] = '\0';
416 char* res = strncat(buf, "01234567", 9);
417 ASSERT_EQ(buf, res);
Christopher Ferris950a58e2014-04-04 14:38:18 -0700418 ASSERT_STREQ("a01234567", buf);
Nick Kralevichcf870192013-05-30 16:48:53 -0700419}
420
Christopher Ferris13f26a72016-01-13 13:47:58 -0800421TEST(STRING_TEST, strchr_with_0) {
Nick Kralevich4f40e512013-04-19 16:54:22 -0700422 char buf[10];
423 const char* s = "01234";
424 memcpy(buf, s, strlen(s) + 1);
425 EXPECT_TRUE(strchr(buf, '\0') == (buf + strlen(s)));
426}
427
Christopher Ferris13f26a72016-01-13 13:47:58 -0800428TEST(STRING_TEST, strchr_multiple) {
Christopher Ferris3a657d02014-06-27 12:33:22 -0700429 char str[128];
430 memset(str, 'a', sizeof(str) - 1);
431 str[sizeof(str)-1] = '\0';
432
433 // Verify that strchr finds the first occurrence of 'a' in a string
434 // filled with 'a' characters. Iterate over the string putting
435 // non 'a' characters at the front of the string during each iteration
436 // and continue to verify that strchr can find the first occurrence
437 // properly. The idea is to cover all possible alignments of the location
438 // of the first occurrence of the 'a' character and which includes
439 // other 'a' characters close by.
440 for (size_t i = 0; i < sizeof(str) - 1; i++) {
441 EXPECT_EQ(&str[i], strchr(str, 'a'));
442 str[i] = 'b';
443 }
444}
445
Christopher Ferris13f26a72016-01-13 13:47:58 -0800446TEST(STRING_TEST, strchr) {
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700447 int seek_char = 'R';
Anna Tikhonova036154b2012-10-05 15:21:11 +0400448
Alexander Ivchenkobaa91f42013-06-27 12:55:46 +0400449 StringTestState<char> state(SMALL);
Anna Tikhonova036154b2012-10-05 15:21:11 +0400450 for (size_t i = 1; i < state.n; i++) {
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700451 for (state.BeginIterations(); state.HasNextIteration(); state.NextIteration()) {
Anna Tikhonova036154b2012-10-05 15:21:11 +0400452 if (~seek_char > 0) {
453 memset(state.ptr1, ~seek_char, state.len[i]);
454 } else {
455 memset(state.ptr1, '\1', state.len[i]);
456 }
457 state.ptr1[state.len[i] - 1] = '\0';
458
Dmitriy Ivanov7b956ed2014-09-04 12:47:07 -0700459 size_t pos = random() % state.MAX_LEN;
Anna Tikhonova036154b2012-10-05 15:21:11 +0400460 char* expected;
461 if (pos >= state.len[i] - 1) {
462 if (seek_char == 0) {
463 expected = state.ptr1 + state.len[i] - 1;
464 } else {
Yi Kong32bc0fc2018-08-02 17:31:13 -0700465 expected = nullptr;
Anna Tikhonova036154b2012-10-05 15:21:11 +0400466 }
467 } else {
468 state.ptr1[pos] = seek_char;
469 expected = state.ptr1 + pos;
470 }
471
472 ASSERT_TRUE(strchr(state.ptr1, seek_char) == expected);
473 }
474 }
475}
476
Christopher Ferris13f26a72016-01-13 13:47:58 -0800477TEST(STRING_TEST, strchrnul) {
Elliott Hughes7ac3c122015-08-26 09:59:29 -0700478 const char* s = "01234222";
479 EXPECT_TRUE(strchrnul(s, '2') == &s[2]);
480 EXPECT_TRUE(strchrnul(s, '8') == (s + strlen(s)));
481 EXPECT_TRUE(strchrnul(s, '\0') == (s + strlen(s)));
482}
483
Christopher Ferris13f26a72016-01-13 13:47:58 -0800484TEST(STRING_TEST, strcmp) {
Alexander Ivchenkobaa91f42013-06-27 12:55:46 +0400485 StringTestState<char> state(SMALL);
Anna Tikhonova036154b2012-10-05 15:21:11 +0400486 for (size_t i = 1; i < state.n; i++) {
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700487 for (state.BeginIterations(); state.HasNextIteration(); state.NextIteration()) {
Anna Tikhonova036154b2012-10-05 15:21:11 +0400488 memset(state.ptr1, 'v', state.MAX_LEN);
489 memset(state.ptr2, 'n', state.MAX_LEN);
490 state.ptr1[state.len[i] - 1] = '\0';
491 state.ptr2[state.len[i] - 1] = '\0';
492
Dmitriy Ivanov7b956ed2014-09-04 12:47:07 -0700493 size_t pos = 1 + (random() % (state.MAX_LEN - 1));
Anna Tikhonova036154b2012-10-05 15:21:11 +0400494 int actual;
495 int expected;
496 if (pos >= state.len[i] - 1) {
497 memcpy(state.ptr1, state.ptr2, state.len[i]);
498 expected = 0;
499 actual = strcmp(state.ptr1, state.ptr2);
500 } else {
501 memcpy(state.ptr1, state.ptr2, pos);
502 if (state.ptr1[pos] > state.ptr2[pos]) {
503 expected = 1;
504 } else if (state.ptr1[pos] == state.ptr2[pos]) {
505 state.ptr1[pos + 1] = '\0';
506 state.ptr2[pos + 1] = '\0';
507 expected = 0;
508 } else {
509 expected = -1;
510 }
511 actual = strcmp(state.ptr1, state.ptr2);
512 }
513
514 ASSERT_EQ(expected, signum(actual));
515 }
516 }
517}
518
Christopher Ferris13f26a72016-01-13 13:47:58 -0800519TEST(STRING_TEST, stpcpy) {
Christopher Ferris950a58e2014-04-04 14:38:18 -0700520 StringTestState<char> state(SMALL);
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700521 for (state.BeginIterations(); state.HasNextIteration(); state.NextIteration()) {
Christopher Ferris950a58e2014-04-04 14:38:18 -0700522 size_t pos = random() % state.MAX_LEN;
523
524 memset(state.ptr1, '\2', pos);
525 state.ptr1[pos] = '\0';
526 state.ptr1[state.MAX_LEN - 1] = '\0';
527
528 memcpy(state.ptr, state.ptr1, state.MAX_LEN);
529
530 memset(state.ptr2, '\1', state.MAX_LEN);
531 state.ptr2[state.MAX_LEN - 1] = '\0';
532
533 memset(state.ptr + state.MAX_LEN, '\1', state.MAX_LEN);
534 memcpy(state.ptr + state.MAX_LEN, state.ptr1, pos + 1);
535 state.ptr[2 * state.MAX_LEN - 1] = '\0';
536
537 ASSERT_TRUE(stpcpy(state.ptr2, state.ptr1) == state.ptr2 + strlen(state.ptr1));
538 ASSERT_FALSE((memcmp(state.ptr1, state.ptr, state.MAX_LEN)) != 0 ||
539 (memcmp(state.ptr2, state.ptr + state.MAX_LEN, state.MAX_LEN) != 0));
540 }
541}
542
Christopher Ferris13f26a72016-01-13 13:47:58 -0800543TEST(STRING_TEST, strcpy) {
Alexander Ivchenkobaa91f42013-06-27 12:55:46 +0400544 StringTestState<char> state(SMALL);
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700545 for (state.BeginIterations(); state.HasNextIteration(); state.NextIteration()) {
Anna Tikhonova036154b2012-10-05 15:21:11 +0400546 size_t pos = random() % state.MAX_LEN;
547
548 memset(state.ptr1, '\2', pos);
549 state.ptr1[pos] = '\0';
550 state.ptr1[state.MAX_LEN - 1] = '\0';
551
552 memcpy(state.ptr, state.ptr1, state.MAX_LEN);
553
554 memset(state.ptr2, '\1', state.MAX_LEN);
555 state.ptr2[state.MAX_LEN - 1] = '\0';
556
557 memset(state.ptr + state.MAX_LEN, '\1', state.MAX_LEN);
558 memcpy(state.ptr + state.MAX_LEN, state.ptr1, pos + 1);
559 state.ptr[2 * state.MAX_LEN - 1] = '\0';
560
561 ASSERT_TRUE(strcpy(state.ptr2, state.ptr1) == state.ptr2);
562 ASSERT_FALSE((memcmp(state.ptr1, state.ptr, state.MAX_LEN)) != 0 ||
563 (memcmp(state.ptr2, state.ptr + state.MAX_LEN, state.MAX_LEN) != 0));
564 }
565}
566
Christopher Ferris13f26a72016-01-13 13:47:58 -0800567TEST(STRING_TEST, strlcat) {
Christopher Ferris14687652014-11-10 13:58:17 -0800568#if defined(STRLCAT_SUPPORTED)
Alexander Ivchenkobaa91f42013-06-27 12:55:46 +0400569 StringTestState<char> state(SMALL);
Anna Tikhonova036154b2012-10-05 15:21:11 +0400570 for (size_t i = 0; i < state.n; i++) {
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700571 for (state.BeginIterations(); state.HasNextIteration(); state.NextIteration()) {
Anna Tikhonova036154b2012-10-05 15:21:11 +0400572 memset(state.ptr2, '\2', state.MAX_LEN + state.len[i]);
573 state.ptr2[state.MAX_LEN - 1] = '\0';
574 memcpy(state.ptr, state.ptr2, state.MAX_LEN + state.len[i]);
575
Dmitriy Ivanov7b956ed2014-09-04 12:47:07 -0700576 size_t pos = random() % state.MAX_LEN;
Anna Tikhonova036154b2012-10-05 15:21:11 +0400577 memset(state.ptr1, '\3', pos);
578 state.ptr1[pos] = '\0';
579 if (pos < state.len[i]) {
580 memcpy(state.ptr + state.MAX_LEN - 1, state.ptr1, pos + 1);
581 } else {
582 memcpy(state.ptr + state.MAX_LEN - 1, state.ptr1, state.len[i]);
583 state.ptr[state.MAX_LEN + state.len[i] - 1] = '\0';
584 }
585
586 strlcat(state.ptr2, state.ptr1, state.MAX_LEN + state.len[i]);
587
588 ASSERT_TRUE(memcmp(state.ptr, state.ptr2, state.MAX_LEN + state.len[i]) == 0);
589 }
590 }
Christopher Ferris14687652014-11-10 13:58:17 -0800591#else
Elliott Hughesbcaa4542019-03-08 15:20:23 -0800592 GTEST_SKIP() << "strlcat not available";
Christopher Ferris14687652014-11-10 13:58:17 -0800593#endif
Anna Tikhonova036154b2012-10-05 15:21:11 +0400594}
Anna Tikhonova036154b2012-10-05 15:21:11 +0400595
Christopher Ferris13f26a72016-01-13 13:47:58 -0800596TEST(STRING_TEST, strlcpy) {
Christopher Ferris14687652014-11-10 13:58:17 -0800597#if defined(STRLCPY_SUPPORTED)
Alexander Ivchenkobaa91f42013-06-27 12:55:46 +0400598 StringTestState<char> state(SMALL);
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700599 for (state.BeginIterations(); state.HasNextIteration(); state.NextIteration()) {
600 int rand = 'O';
Anna Tikhonova036154b2012-10-05 15:21:11 +0400601 memset(state.ptr1, rand, state.MAX_LEN);
602
603 size_t pos = random() % state.MAX_LEN;
604 if (pos < state.MAX_LEN) {
605 state.ptr1[pos] = '\0';
606 }
607 memcpy(state.ptr, state.ptr1, state.MAX_LEN);
608
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700609 memset(state.ptr2, 'I', state.MAX_LEN);
Anna Tikhonova036154b2012-10-05 15:21:11 +0400610 memcpy(state.ptr + state.MAX_LEN, state.ptr2, state.MAX_LEN);
611
612 if (pos > state.MAX_LEN - 1) {
613 memcpy(state.ptr + state.MAX_LEN, state.ptr1, state.MAX_LEN);
614 state.ptr[2 * state.MAX_LEN - 1] = '\0';
615 } else {
616 memcpy(state.ptr + state.MAX_LEN, state.ptr1, pos + 1);
617 }
618
619 ASSERT_EQ(strlcpy(state.ptr2, state.ptr1, state.MAX_LEN), strlen(state.ptr1));
620 ASSERT_FALSE((memcmp(state.ptr1, state.ptr, state.MAX_LEN) != 0) ||
621 (memcmp(state.ptr2, state.ptr + state.MAX_LEN, state.MAX_LEN) != 0));
622 }
Christopher Ferris14687652014-11-10 13:58:17 -0800623#else
Elliott Hughesbcaa4542019-03-08 15:20:23 -0800624 GTEST_SKIP() << "strlcpy not available";
Christopher Ferris14687652014-11-10 13:58:17 -0800625#endif
Anna Tikhonova036154b2012-10-05 15:21:11 +0400626}
Anna Tikhonova036154b2012-10-05 15:21:11 +0400627
Christopher Ferris13f26a72016-01-13 13:47:58 -0800628TEST(STRING_TEST, strncat) {
Alexander Ivchenkobaa91f42013-06-27 12:55:46 +0400629 StringTestState<char> state(SMALL);
Anna Tikhonova036154b2012-10-05 15:21:11 +0400630 for (size_t i = 1; i < state.n; i++) {
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700631 for (state.BeginIterations(); state.HasNextIteration(); state.NextIteration()) {
Anna Tikhonova036154b2012-10-05 15:21:11 +0400632 memset(state.ptr2, '\2', state.MAX_LEN);
633 state.ptr2[state.MAX_LEN - 1] = '\0';
634 memcpy(state.ptr, state.ptr2, 2 * state.MAX_LEN);
635
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700636 memset(state.ptr1, 'I', state.len[i]);
Anna Tikhonova036154b2012-10-05 15:21:11 +0400637 state.ptr1[random() % state.len[i]] = '\0';
638 state.ptr1[state.len[i] - 1] = '\0';
639
640 size_t pos = strlen(state.ptr1);
641
642 size_t actual = random() % state.len[i];
643 strncpy(state.ptr + state.MAX_LEN - 1, state.ptr1, std::min(actual, pos));
644 state.ptr[state.MAX_LEN + std::min(actual, pos) - 1] = '\0';
645
646 ASSERT_TRUE(strncat(state.ptr2, state.ptr1, actual) == state.ptr2);
647 ASSERT_EQ(memcmp(state.ptr, state.ptr2, 2 * state.MAX_LEN), 0);
648 }
649 }
650}
651
Christopher Ferris13f26a72016-01-13 13:47:58 -0800652TEST(STRING_TEST, strncmp) {
Alexander Ivchenkobaa91f42013-06-27 12:55:46 +0400653 StringTestState<char> state(SMALL);
Anna Tikhonova036154b2012-10-05 15:21:11 +0400654 for (size_t i = 1; i < state.n; i++) {
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700655 for (state.BeginIterations(); state.HasNextIteration(); state.NextIteration()) {
Anna Tikhonova036154b2012-10-05 15:21:11 +0400656 memset(state.ptr1, 'v', state.MAX_LEN);
657 memset(state.ptr2, 'n', state.MAX_LEN);
658 state.ptr1[state.len[i] - 1] = '\0';
659 state.ptr2[state.len[i] - 1] = '\0';
660
Dmitriy Ivanov7b956ed2014-09-04 12:47:07 -0700661 size_t pos = 1 + (random() % (state.MAX_LEN - 1));
Anna Tikhonova036154b2012-10-05 15:21:11 +0400662 int actual;
663 int expected;
664 if (pos >= state.len[i] - 1) {
665 memcpy(state.ptr1, state.ptr2, state.len[i]);
666 expected = 0;
667 actual = strncmp(state.ptr1, state.ptr2, state.len[i]);
668 } else {
669 memcpy(state.ptr1, state.ptr2, pos);
670 if (state.ptr1[pos] > state.ptr2[pos]) {
671 expected = 1;
672 } else if (state.ptr1[pos] == state.ptr2[pos]) {
673 state.ptr1[pos + 1] = '\0';
674 state.ptr2[pos + 1] = '\0';
675 expected = 0;
676 } else {
677 expected = -1;
678 }
679 actual = strncmp(state.ptr1, state.ptr2, state.len[i]);
680 }
681
682 ASSERT_EQ(expected, signum(actual));
683 }
684 }
685}
686
Christopher Ferris13f26a72016-01-13 13:47:58 -0800687TEST(STRING_TEST, stpncpy) {
Christopher Ferris950a58e2014-04-04 14:38:18 -0700688 StringTestState<char> state(SMALL);
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700689 for (state.BeginIterations(); state.HasNextIteration(); state.NextIteration()) {
690 memset(state.ptr1, 'J', state.MAX_LEN);
Christopher Ferris950a58e2014-04-04 14:38:18 -0700691 // Choose a random size for our src buffer.
692 size_t ptr1_len = random() % state.MAX_LEN;
693 state.ptr1[ptr1_len] = '\0';
694 // Copy ptr1 into ptr, used to verify that ptr1 does not get modified.
695 memcpy(state.ptr, state.ptr1, state.MAX_LEN);
696 // Init ptr2 to a set value.
697 memset(state.ptr2, '\1', state.MAX_LEN);
698
699 // Choose a random amount of data to copy.
700 size_t copy_len = random() % state.MAX_LEN;
701
702 // Set the second half of ptr to the expected pattern in ptr2.
703 memset(state.ptr + state.MAX_LEN, '\1', state.MAX_LEN);
704 memcpy(state.ptr + state.MAX_LEN, state.ptr1, copy_len);
705 size_t expected_end;
706 if (copy_len > ptr1_len) {
707 memset(state.ptr + state.MAX_LEN + ptr1_len, '\0', copy_len - ptr1_len);
708 expected_end = ptr1_len;
709 } else {
710 expected_end = copy_len;
711 }
712
713 ASSERT_EQ(state.ptr2 + expected_end, stpncpy(state.ptr2, state.ptr1, copy_len));
714
715 // Verify ptr1 was not modified.
716 ASSERT_EQ(0, memcmp(state.ptr1, state.ptr, state.MAX_LEN));
717 // Verify ptr2 contains the expected data.
718 ASSERT_EQ(0, memcmp(state.ptr2, state.ptr + state.MAX_LEN, state.MAX_LEN));
719 }
720}
721
Christopher Ferris13f26a72016-01-13 13:47:58 -0800722TEST(STRING_TEST, strncpy) {
Alexander Ivchenkobaa91f42013-06-27 12:55:46 +0400723 StringTestState<char> state(SMALL);
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700724 for (state.BeginIterations(); state.HasNextIteration(); state.NextIteration()) {
Christopher Ferris950a58e2014-04-04 14:38:18 -0700725 // Choose a random value to fill the string, except \0 (string terminator),
726 // or \1 (guarantees it's different from anything in ptr2).
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700727 memset(state.ptr1, 'K', state.MAX_LEN);
Christopher Ferris950a58e2014-04-04 14:38:18 -0700728 // Choose a random size for our src buffer.
729 size_t ptr1_len = random() % state.MAX_LEN;
730 state.ptr1[ptr1_len] = '\0';
731 // Copy ptr1 into ptr, used to verify that ptr1 does not get modified.
Anna Tikhonova036154b2012-10-05 15:21:11 +0400732 memcpy(state.ptr, state.ptr1, state.MAX_LEN);
Christopher Ferris950a58e2014-04-04 14:38:18 -0700733 // Init ptr2 to a set value.
Anna Tikhonova036154b2012-10-05 15:21:11 +0400734 memset(state.ptr2, '\1', state.MAX_LEN);
735
Christopher Ferris950a58e2014-04-04 14:38:18 -0700736 // Choose a random amount of data to copy.
737 size_t copy_len = random() % state.MAX_LEN;
738
739 // Set the second half of ptr to the expected pattern in ptr2.
740 memset(state.ptr + state.MAX_LEN, '\1', state.MAX_LEN);
741 memcpy(state.ptr + state.MAX_LEN, state.ptr1, copy_len);
742 size_t expected_end;
743 if (copy_len > ptr1_len) {
744 memset(state.ptr + state.MAX_LEN + ptr1_len, '\0', copy_len - ptr1_len);
745 expected_end = ptr1_len;
Anna Tikhonova036154b2012-10-05 15:21:11 +0400746 } else {
Christopher Ferris950a58e2014-04-04 14:38:18 -0700747 expected_end = copy_len;
Anna Tikhonova036154b2012-10-05 15:21:11 +0400748 }
749
Christopher Ferris950a58e2014-04-04 14:38:18 -0700750 ASSERT_EQ(state.ptr2 + expected_end, stpncpy(state.ptr2, state.ptr1, copy_len));
Anna Tikhonova036154b2012-10-05 15:21:11 +0400751
Christopher Ferris950a58e2014-04-04 14:38:18 -0700752 // Verify ptr1 was not modified.
753 ASSERT_EQ(0, memcmp(state.ptr1, state.ptr, state.MAX_LEN));
754 // Verify ptr2 contains the expected data.
755 ASSERT_EQ(0, memcmp(state.ptr2, state.ptr + state.MAX_LEN, state.MAX_LEN));
Anna Tikhonova036154b2012-10-05 15:21:11 +0400756 }
757}
758
Christopher Ferris13f26a72016-01-13 13:47:58 -0800759TEST(STRING_TEST, strrchr) {
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700760 int seek_char = 'M';
Alexander Ivchenkobaa91f42013-06-27 12:55:46 +0400761 StringTestState<char> state(SMALL);
Anna Tikhonova036154b2012-10-05 15:21:11 +0400762 for (size_t i = 1; i < state.n; i++) {
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700763 for (state.BeginIterations(); state.HasNextIteration(); state.NextIteration()) {
Anna Tikhonova036154b2012-10-05 15:21:11 +0400764 if (~seek_char > 0) {
765 memset(state.ptr1, ~seek_char, state.len[i]);
766 } else {
767 memset(state.ptr1, '\1', state.len[i]);
768 }
769 state.ptr1[state.len[i] - 1] = '\0';
770
Dmitriy Ivanov7b956ed2014-09-04 12:47:07 -0700771 size_t pos = random() % state.MAX_LEN;
Anna Tikhonova036154b2012-10-05 15:21:11 +0400772 char* expected;
773 if (pos >= state.len[i] - 1) {
774 if (seek_char == 0) {
775 expected = state.ptr1 + state.len[i] - 1;
776 } else {
Yi Kong32bc0fc2018-08-02 17:31:13 -0700777 expected = nullptr;
Anna Tikhonova036154b2012-10-05 15:21:11 +0400778 }
779 } else {
780 state.ptr1[pos] = seek_char;
781 expected = state.ptr1 + pos;
782 }
783
784 ASSERT_TRUE(strrchr(state.ptr1, seek_char) == expected);
785 }
786 }
787}
788
Christopher Ferris13f26a72016-01-13 13:47:58 -0800789TEST(STRING_TEST, memchr) {
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700790 int seek_char = 'N';
Alexander Ivchenkobaa91f42013-06-27 12:55:46 +0400791 StringTestState<char> state(SMALL);
Anna Tikhonova036154b2012-10-05 15:21:11 +0400792 for (size_t i = 0; i < state.n; i++) {
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700793 for (state.BeginIterations(); state.HasNextIteration(); state.NextIteration()) {
Anna Tikhonova036154b2012-10-05 15:21:11 +0400794 memset(state.ptr1, ~seek_char, state.len[i]);
795
Dmitriy Ivanov7b956ed2014-09-04 12:47:07 -0700796 size_t pos = random() % state.MAX_LEN;
Anna Tikhonova036154b2012-10-05 15:21:11 +0400797 char* expected;
798 if (pos >= state.len[i]) {
Yi Kong32bc0fc2018-08-02 17:31:13 -0700799 expected = nullptr;
Anna Tikhonova036154b2012-10-05 15:21:11 +0400800 } else {
801 state.ptr1[pos] = seek_char;
802 expected = state.ptr1 + pos;
803 }
804
805 ASSERT_TRUE(memchr(state.ptr1, seek_char, state.len[i]) == expected);
806 }
807 }
808}
809
Christopher Ferris13f26a72016-01-13 13:47:58 -0800810TEST(STRING_TEST, memchr_zero) {
Christopher Ferrise03e1ea2014-07-30 16:06:56 -0700811 uint8_t* buffer;
812 ASSERT_EQ(0, posix_memalign(reinterpret_cast<void**>(&buffer), 64, 64));
813 memset(buffer, 10, 64);
Yi Kong32bc0fc2018-08-02 17:31:13 -0700814 ASSERT_TRUE(nullptr == memchr(buffer, 5, 0));
815 ASSERT_TRUE(nullptr == memchr(buffer, 10, 0));
Christopher Ferrise03e1ea2014-07-30 16:06:56 -0700816}
817
Christopher Ferris13f26a72016-01-13 13:47:58 -0800818TEST(STRING_TEST, memrchr) {
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700819 int seek_char = 'P';
Alexander Ivchenkobaa91f42013-06-27 12:55:46 +0400820 StringTestState<char> state(SMALL);
Anna Tikhonova036154b2012-10-05 15:21:11 +0400821 for (size_t i = 0; i < state.n; i++) {
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700822 for (state.BeginIterations(); state.HasNextIteration(); state.NextIteration()) {
Anna Tikhonova036154b2012-10-05 15:21:11 +0400823 memset(state.ptr1, ~seek_char, state.len[i]);
824
Dmitriy Ivanov7b956ed2014-09-04 12:47:07 -0700825 size_t pos = random() % state.MAX_LEN;
Anna Tikhonova036154b2012-10-05 15:21:11 +0400826 char* expected;
827 if (pos >= state.len[i]) {
Yi Kong32bc0fc2018-08-02 17:31:13 -0700828 expected = nullptr;
Anna Tikhonova036154b2012-10-05 15:21:11 +0400829 } else {
830 state.ptr1[pos] = seek_char;
831 expected = state.ptr1 + pos;
832 }
833
834 ASSERT_TRUE(memrchr(state.ptr1, seek_char, state.len[i]) == expected);
835 }
836 }
837}
838
Christopher Ferris13f26a72016-01-13 13:47:58 -0800839TEST(STRING_TEST, memcmp) {
Alexander Ivchenkobaa91f42013-06-27 12:55:46 +0400840 StringTestState<char> state(SMALL);
Anna Tikhonova036154b2012-10-05 15:21:11 +0400841 for (size_t i = 0; i < state.n; i++) {
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700842 for (state.BeginIterations(); state.HasNextIteration(); state.NextIteration()) {
843 int c1 = 'A';
844 int c2 = 'N';
Anna Tikhonova036154b2012-10-05 15:21:11 +0400845 memset(state.ptr1, c1, state.MAX_LEN);
846 memset(state.ptr2, c1, state.MAX_LEN);
847
848 int pos = (state.len[i] == 0) ? 0 : (random() % state.len[i]);
849 state.ptr2[pos] = c2;
850
851 int expected = (static_cast<int>(c1) - static_cast<int>(c2));
852 int actual = memcmp(state.ptr1, state.ptr2, state.MAX_LEN);
853
854 ASSERT_EQ(signum(expected), signum(actual));
855 }
856 }
857}
858
Christopher Ferris13f26a72016-01-13 13:47:58 -0800859TEST(STRING_TEST, wmemcmp) {
Alexander Ivchenkobaa91f42013-06-27 12:55:46 +0400860 StringTestState<wchar_t> state(SMALL);
861
862 for (size_t i = 0; i < state.n; i++) {
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700863 for (state.BeginIterations(); state.HasNextIteration(); state.NextIteration()) {
Alexander Ivchenkobaa91f42013-06-27 12:55:46 +0400864 long long mask = ((long long) 1 << 8 * sizeof(wchar_t)) - 1;
865 int c1 = rand() & mask;
866 int c2 = rand() & mask;
867 wmemset(state.ptr1, c1, state.MAX_LEN);
868 wmemset(state.ptr2, c1, state.MAX_LEN);
869
870 int pos = (state.len[i] == 0) ? 0 : (random() % state.len[i]);
871 state.ptr2[pos] = c2;
872
873 int expected = (static_cast<int>(c1) - static_cast<int>(c2));
874 int actual = wmemcmp(state.ptr1, state.ptr2, (size_t) state.MAX_LEN);
875
876 ASSERT_EQ(signum(expected), signum(actual));
877 }
878 }
879}
880
Christopher Ferris13f26a72016-01-13 13:47:58 -0800881TEST(STRING_TEST, memcpy) {
Alexander Ivchenkobaa91f42013-06-27 12:55:46 +0400882 StringTestState<char> state(LARGE);
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700883 int rand = 4;
Anna Tikhonova036154b2012-10-05 15:21:11 +0400884 for (size_t i = 0; i < state.n - 1; i++) {
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700885 for (state.BeginIterations(); state.HasNextIteration(); state.NextIteration()) {
Anna Tikhonova036154b2012-10-05 15:21:11 +0400886 size_t pos = random() % (state.MAX_LEN - state.len[i]);
887
888 memset(state.ptr1, rand, state.len[i]);
889 memset(state.ptr1 + state.len[i], ~rand, state.MAX_LEN - state.len[i]);
890
891 memset(state.ptr2, rand, state.len[i]);
892 memset(state.ptr2 + state.len[i], ~rand, state.MAX_LEN - state.len[i]);
893 memset(state.ptr2 + pos, '\0', state.len[i]);
894
895 ASSERT_FALSE(memcpy(state.ptr2 + pos, state.ptr1 + pos, state.len[i]) != state.ptr2 + pos);
896 ASSERT_EQ(0, memcmp(state.ptr1, state.ptr2, state.MAX_LEN));
897 }
898 }
899}
900
Christopher Ferris13f26a72016-01-13 13:47:58 -0800901TEST(STRING_TEST, memset) {
Alexander Ivchenkobaa91f42013-06-27 12:55:46 +0400902 StringTestState<char> state(LARGE);
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700903 char ch = 'P';
Anna Tikhonova036154b2012-10-05 15:21:11 +0400904 for (size_t i = 0; i < state.n - 1; i++) {
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700905 for (state.BeginIterations(); state.HasNextIteration(); state.NextIteration()) {
Anna Tikhonova036154b2012-10-05 15:21:11 +0400906 memset(state.ptr1, ~ch, state.MAX_LEN);
907 memcpy(state.ptr2, state.ptr1, state.MAX_LEN);
908
909 size_t pos = random () % (state.MAX_LEN - state.len[i]);
910 for (size_t k = pos; k < pos + state.len[i]; k++) {
911 state.ptr1[k] = ch;
912 }
913
914 ASSERT_TRUE(memset(state.ptr2 + pos, ch, state.len[i]) == state.ptr2 + pos);
915
916 ASSERT_EQ(0, memcmp(state.ptr1, state.ptr2, state.MAX_LEN));
917 }
918 }
919}
920
Christopher Ferris13f26a72016-01-13 13:47:58 -0800921TEST(STRING_TEST, memmove) {
Alexander Ivchenkobaa91f42013-06-27 12:55:46 +0400922 StringTestState<char> state(LARGE);
Anna Tikhonova036154b2012-10-05 15:21:11 +0400923 for (size_t i = 0; i < state.n - 1; i++) {
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700924 for (state.BeginIterations(); state.HasNextIteration(); state.NextIteration()) {
925 memset(state.ptr1, 'Q', 2 * state.MAX_LEN);
Anna Tikhonova036154b2012-10-05 15:21:11 +0400926
927 size_t pos = random() % (state.MAX_LEN - state.len[i]);
928
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700929 memset(state.ptr1, 'R', state.len[i]);
Anna Tikhonova036154b2012-10-05 15:21:11 +0400930 memcpy(state.ptr2, state.ptr1, 2 * state.MAX_LEN);
931 memcpy(state.ptr, state.ptr1, state.len[i]);
932 memcpy(state.ptr1 + pos, state.ptr, state.len[i]);
933
934 ASSERT_TRUE(memmove(state.ptr2 + pos, state.ptr2, state.len[i]) == state.ptr2 + pos);
935 ASSERT_EQ(0, memcmp(state.ptr2, state.ptr1, 2 * state.MAX_LEN));
936 }
937 }
938}
939
Christopher Ferris13f26a72016-01-13 13:47:58 -0800940TEST(STRING_TEST, memmove_cache_size) {
Varvara Rainchikfce86142014-05-27 12:41:55 +0400941 size_t len = 600000;
942 int max_alignment = 31;
943 int alignments[] = {0, 5, 11, 29, 30};
944 char* ptr = reinterpret_cast<char*>(malloc(sizeof(char) * len));
945 char* ptr1 = reinterpret_cast<char*>(malloc(2 * sizeof(char) * len));
946 char* glob_ptr2 = reinterpret_cast<char*>(malloc(2 * sizeof(char) * len + max_alignment));
947 size_t pos = 64;
948
Yi Kong32bc0fc2018-08-02 17:31:13 -0700949 ASSERT_TRUE(ptr != nullptr);
950 ASSERT_TRUE(ptr1 != nullptr);
951 ASSERT_TRUE(glob_ptr2 != nullptr);
Varvara Rainchikfce86142014-05-27 12:41:55 +0400952
953 for (int i = 0; i < 5; i++) {
954 char* ptr2 = glob_ptr2 + alignments[i];
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -0700955 memset(ptr1, 'S', 2 * len);
956 memset(ptr1, 'T', len);
Varvara Rainchikfce86142014-05-27 12:41:55 +0400957 memcpy(ptr2, ptr1, 2 * len);
958 memcpy(ptr, ptr1, len);
959 memcpy(ptr1 + pos, ptr, len);
960
961 ASSERT_TRUE(memmove(ptr2 + pos, ptr, len) == ptr2 + pos);
962 ASSERT_EQ(0, memcmp(ptr2, ptr1, 2 * len));
963 }
964 free(ptr);
965 free(ptr1);
966 free(glob_ptr2);
967}
968
Shu Zhang6c80ccd2014-05-12 18:12:15 +0800969static void verify_memmove(char* src_copy, char* dst, char* src, size_t size) {
970 memset(dst, 0, size);
971 memcpy(src, src_copy, size);
972 ASSERT_EQ(dst, memmove(dst, src, size));
973 ASSERT_EQ(0, memcmp(dst, src_copy, size));
974}
975
976#define MEMMOVE_DATA_SIZE (1024*1024*3)
977
Christopher Ferris13f26a72016-01-13 13:47:58 -0800978TEST(STRING_TEST, memmove_check) {
Shu Zhang6c80ccd2014-05-12 18:12:15 +0800979 char* buffer = reinterpret_cast<char*>(malloc(MEMMOVE_DATA_SIZE));
Yi Kong32bc0fc2018-08-02 17:31:13 -0700980 ASSERT_TRUE(buffer != nullptr);
Shu Zhang6c80ccd2014-05-12 18:12:15 +0800981
982 char* src_data = reinterpret_cast<char*>(malloc(MEMMOVE_DATA_SIZE));
Yi Kong32bc0fc2018-08-02 17:31:13 -0700983 ASSERT_TRUE(src_data != nullptr);
Shu Zhang6c80ccd2014-05-12 18:12:15 +0800984 // Initialize to a known pattern to copy into src for each test and
985 // to compare dst against.
986 for (size_t i = 0; i < MEMMOVE_DATA_SIZE; i++) {
987 src_data[i] = (i + 1) % 255;
988 }
989
990 // Check all different dst offsets between 0 and 127 inclusive.
991 char* src = buffer;
992 for (size_t i = 0; i < 127; i++) {
993 char* dst = buffer + 256 + i;
994 // Small copy.
995 verify_memmove(src_data, dst, src, 1024);
996
997 // Medium copy.
998 verify_memmove(src_data, dst, src, 64 * 1024);
999
1000 // Medium copy.
1001 verify_memmove(src_data, dst, src, 1024 * 1024 + 128 * 1024);
1002 }
1003
1004 // Check all leftover size offsets between 1 and 127 inclusive.
1005 char* dst = buffer + 256;
1006 src = buffer;
1007 for (size_t size = 1; size < 127; size++) {
1008 // Small copy.
1009 verify_memmove(src_data, dst, src, 1024);
1010
1011 // Medium copy.
1012 verify_memmove(src_data, dst, src, 64 * 1024);
1013
1014 // Large copy.
1015 verify_memmove(src_data, dst, src, 1024 * 1024 + 128 * 1024);
1016 }
1017}
1018
Christopher Ferris13f26a72016-01-13 13:47:58 -08001019TEST(STRING_TEST, bcopy) {
Alexander Ivchenkobaa91f42013-06-27 12:55:46 +04001020 StringTestState<char> state(LARGE);
Anna Tikhonova036154b2012-10-05 15:21:11 +04001021 for (size_t i = 0; i < state.n; i++) {
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -07001022 for (state.BeginIterations(); state.HasNextIteration(); state.NextIteration()) {
1023 memset(state.ptr1, '4', state.MAX_LEN);
1024 memset(state.ptr1 + state.MAX_LEN, 'a', state.MAX_LEN);
Anna Tikhonova036154b2012-10-05 15:21:11 +04001025 memcpy(state.ptr2, state.ptr1, 2 * state.MAX_LEN);
1026
1027 size_t start = random() % (2 * state.MAX_LEN - state.len[i]);
1028 memcpy(state.ptr2 + start, state.ptr1, state.len[i]);
1029
1030 bcopy(state.ptr1, state.ptr1 + start, state.len[i]);
1031 ASSERT_EQ(0, memcmp(state.ptr1, state.ptr2, 2 * state.MAX_LEN));
1032 }
1033 }
1034}
1035
Christopher Ferris13f26a72016-01-13 13:47:58 -08001036TEST(STRING_TEST, bzero) {
Alexander Ivchenkobaa91f42013-06-27 12:55:46 +04001037 StringTestState<char> state(LARGE);
Dmitriy Ivanov1467dfe2014-08-13 11:24:37 -07001038 for (state.BeginIterations(); state.HasNextIteration(); state.NextIteration()) {
1039 memset(state.ptr1, 'R', state.MAX_LEN);
Anna Tikhonova036154b2012-10-05 15:21:11 +04001040
1041 size_t start = random() % state.MAX_LEN;
1042 size_t end = start + random() % (state.MAX_LEN - start);
1043
1044 memcpy(state.ptr2, state.ptr1, start);
1045 memset(state.ptr2 + start, '\0', end - start);
1046 memcpy(state.ptr2 + end, state.ptr1 + end, state.MAX_LEN - end);
1047
1048 bzero(state.ptr1 + start, end - start);
1049
1050 ASSERT_EQ(0, memcmp(state.ptr1, state.ptr2, state.MAX_LEN));
1051 }
1052}
Christopher Ferrisb687ad32013-11-06 17:32:11 -08001053
1054static void DoMemcpyTest(uint8_t* src, uint8_t* dst, size_t len) {
1055 memset(src, (len % 255) + 1, len);
1056 memset(dst, 0, len);
1057
1058 ASSERT_EQ(dst, memcpy(dst, src, len));
1059 ASSERT_TRUE(memcmp(src, dst, len) == 0);
1060}
1061
Christopher Ferris13f26a72016-01-13 13:47:58 -08001062TEST(STRING_TEST, memcpy_align) {
Christopher Ferrisb687ad32013-11-06 17:32:11 -08001063 RunSrcDstBufferAlignTest(LARGE, DoMemcpyTest);
1064}
1065
Christopher Ferris13f26a72016-01-13 13:47:58 -08001066TEST(STRING_TEST, memcpy_overread) {
Christopher Ferrisb687ad32013-11-06 17:32:11 -08001067 RunSrcDstBufferOverreadTest(DoMemcpyTest);
1068}
1069
Shu Zhang6c80ccd2014-05-12 18:12:15 +08001070static void DoMemmoveTest(uint8_t* src, uint8_t* dst, size_t len) {
1071 memset(src, (len % 255) + 1, len);
1072 memset(dst, 0, len);
1073
1074 ASSERT_EQ(dst, memmove(dst, src, len));
1075 ASSERT_TRUE(memcmp(src, dst, len) == 0);
1076}
1077
Christopher Ferris13f26a72016-01-13 13:47:58 -08001078TEST(STRING_TEST, memmove_align) {
Shu Zhang6c80ccd2014-05-12 18:12:15 +08001079 RunSrcDstBufferAlignTest(LARGE, DoMemmoveTest);
1080}
1081
Christopher Ferris13f26a72016-01-13 13:47:58 -08001082TEST(STRING_TEST, memmove_overread) {
Shu Zhang6c80ccd2014-05-12 18:12:15 +08001083 RunSrcDstBufferOverreadTest(DoMemmoveTest);
1084}
1085
Christopher Ferrisb687ad32013-11-06 17:32:11 -08001086static void DoMemsetTest(uint8_t* buf, size_t len) {
1087 for (size_t i = 0; i < len; i++) {
1088 buf[i] = 0;
1089 }
1090 int value = (len % 255) + 1;
1091 ASSERT_EQ(buf, memset(buf, value, len));
1092 for (size_t i = 0; i < len; i++) {
1093 ASSERT_EQ(value, buf[i]);
1094 }
1095}
1096
Christopher Ferris13f26a72016-01-13 13:47:58 -08001097TEST(STRING_TEST, memset_align) {
Christopher Ferrisb687ad32013-11-06 17:32:11 -08001098 RunSingleBufferAlignTest(LARGE, DoMemsetTest);
1099}
1100
1101static void DoStrlenTest(uint8_t* buf, size_t len) {
1102 if (len >= 1) {
1103 memset(buf, (32 + (len % 96)), len - 1);
1104 buf[len-1] = '\0';
1105 ASSERT_EQ(len-1, strlen(reinterpret_cast<char*>(buf)));
1106 }
1107}
1108
Christopher Ferris13f26a72016-01-13 13:47:58 -08001109TEST(STRING_TEST, strlen_align) {
Christopher Ferrisb687ad32013-11-06 17:32:11 -08001110 RunSingleBufferAlignTest(LARGE, DoStrlenTest);
1111}
1112
Christopher Ferris13f26a72016-01-13 13:47:58 -08001113TEST(STRING_TEST, strlen_overread) {
Christopher Ferrisb687ad32013-11-06 17:32:11 -08001114 RunSingleBufferOverreadTest(DoStrlenTest);
1115}
1116
1117static void DoStrcpyTest(uint8_t* src, uint8_t* dst, size_t len) {
1118 if (len >= 1) {
1119 memset(src, (32 + (len % 96)), len - 1);
1120 src[len-1] = '\0';
1121 memset(dst, 0, len);
1122 ASSERT_EQ(dst, reinterpret_cast<uint8_t*>(strcpy(reinterpret_cast<char*>(dst),
1123 reinterpret_cast<char*>(src))));
1124 ASSERT_TRUE(memcmp(src, dst, len) == 0);
1125 }
1126}
1127
Christopher Ferris13f26a72016-01-13 13:47:58 -08001128TEST(STRING_TEST, strcpy_align) {
Christopher Ferrisb687ad32013-11-06 17:32:11 -08001129 RunSrcDstBufferAlignTest(LARGE, DoStrcpyTest);
1130}
1131
Christopher Ferris13f26a72016-01-13 13:47:58 -08001132TEST(STRING_TEST, strcpy_overread) {
Christopher Ferrisb687ad32013-11-06 17:32:11 -08001133 RunSrcDstBufferOverreadTest(DoStrcpyTest);
1134}
1135
Christopher Ferris14687652014-11-10 13:58:17 -08001136#if defined(STRLCPY_SUPPORTED)
1137static void DoStrlcpyTest(uint8_t* src, uint8_t* dst, size_t len) {
1138 if (len >= 1) {
1139 memset(src, (32 + (len % 96)), len - 1);
1140 src[len-1] = '\0';
1141 memset(dst, 0, len);
1142 ASSERT_EQ(len-1, strlcpy(reinterpret_cast<char*>(dst),
1143 reinterpret_cast<char*>(src), len));
1144 ASSERT_TRUE(memcmp(src, dst, len) == 0);
1145 }
1146}
1147#endif
1148
Christopher Ferris13f26a72016-01-13 13:47:58 -08001149TEST(STRING_TEST, strlcpy_align) {
Christopher Ferris14687652014-11-10 13:58:17 -08001150#if defined(STRLCPY_SUPPORTED)
1151 RunSrcDstBufferAlignTest(LARGE, DoStrlcpyTest);
1152#else
Elliott Hughesbcaa4542019-03-08 15:20:23 -08001153 GTEST_SKIP() << "strlcpy not available";
Christopher Ferris14687652014-11-10 13:58:17 -08001154#endif
1155}
1156
Christopher Ferris13f26a72016-01-13 13:47:58 -08001157TEST(STRING_TEST, strlcpy_overread) {
Christopher Ferris14687652014-11-10 13:58:17 -08001158#if defined(STRLCPY_SUPPORTED)
1159 RunSrcDstBufferOverreadTest(DoStrlcpyTest);
1160#else
Elliott Hughesbcaa4542019-03-08 15:20:23 -08001161 GTEST_SKIP() << "strlcpy not available";
Christopher Ferris14687652014-11-10 13:58:17 -08001162#endif
1163}
1164
1165
Christopher Ferris950a58e2014-04-04 14:38:18 -07001166static void DoStpcpyTest(uint8_t* src, uint8_t* dst, size_t len) {
1167 if (len >= 1) {
1168 memset(src, (32 + (len % 96)), len - 1);
1169 src[len-1] = '\0';
1170 memset(dst, 0, len);
1171 ASSERT_EQ(dst+len-1, reinterpret_cast<uint8_t*>(stpcpy(reinterpret_cast<char*>(dst),
1172 reinterpret_cast<char*>(src))));
1173 ASSERT_TRUE(memcmp(src, dst, len) == 0);
1174 }
1175}
1176
Christopher Ferris13f26a72016-01-13 13:47:58 -08001177TEST(STRING_TEST, stpcpy_align) {
Christopher Ferris950a58e2014-04-04 14:38:18 -07001178 RunSrcDstBufferAlignTest(LARGE, DoStpcpyTest);
1179}
1180
Christopher Ferris13f26a72016-01-13 13:47:58 -08001181TEST(STRING_TEST, stpcpy_overread) {
Christopher Ferris950a58e2014-04-04 14:38:18 -07001182 RunSrcDstBufferOverreadTest(DoStpcpyTest);
1183}
1184
Christopher Ferrisb687ad32013-11-06 17:32:11 -08001185// Use our own incrementer to cut down on the total number of calls.
Christopher Ferrise5bbb6b2013-12-03 18:39:10 -08001186static size_t LargeSetIncrement(size_t len) {
Christopher Ferrisb687ad32013-11-06 17:32:11 -08001187 if (len >= 4096) {
1188 return 4096;
1189 } else if (len >= 1024) {
1190 return 1024;
1191 } else if (len >= 256) {
1192 return 256;
1193 }
1194 return 1;
1195}
1196
Christopher Ferrisfdfcfce2015-09-23 22:09:09 -07001197#define STRCAT_DST_LEN 64
Christopher Ferrisb687ad32013-11-06 17:32:11 -08001198
1199static void DoStrcatTest(uint8_t* src, uint8_t* dst, size_t len) {
1200 if (len >= 1) {
1201 int value = 32 + (len % 96);
1202 memset(src, value, len - 1);
1203 src[len-1] = '\0';
1204
1205 if (len >= STRCAT_DST_LEN) {
1206 // Create a small buffer for doing quick compares in each loop.
1207 uint8_t cmp_buf[STRCAT_DST_LEN];
1208 // Make sure dst string contains a different value then the src string.
1209 int value2 = 32 + (value + 2) % 96;
1210 memset(cmp_buf, value2, sizeof(cmp_buf));
1211
Christopher Ferrisfdfcfce2015-09-23 22:09:09 -07001212 for (size_t i = 1; i <= STRCAT_DST_LEN;) {
Christopher Ferrisb687ad32013-11-06 17:32:11 -08001213 memset(dst, value2, i-1);
1214 memset(dst+i-1, 0, len-i);
1215 src[len-i] = '\0';
1216 ASSERT_EQ(dst, reinterpret_cast<uint8_t*>(strcat(reinterpret_cast<char*>(dst),
1217 reinterpret_cast<char*>(src))));
1218 ASSERT_TRUE(memcmp(dst, cmp_buf, i-1) == 0);
1219 ASSERT_TRUE(memcmp(src, dst+i-1, len-i+1) == 0);
Christopher Ferrisfdfcfce2015-09-23 22:09:09 -07001220 // This is an expensive loop, so don't loop through every value,
1221 // get to a certain size and then start doubling.
1222 if (i < 16) {
1223 i++;
1224 } else {
1225 i <<= 1;
1226 }
Christopher Ferrisb687ad32013-11-06 17:32:11 -08001227 }
1228 } else {
1229 dst[0] = '\0';
1230 ASSERT_EQ(dst, reinterpret_cast<uint8_t*>(strcat(reinterpret_cast<char*>(dst),
1231 reinterpret_cast<char*>(src))));
1232 ASSERT_TRUE(memcmp(src, dst, len) == 0);
1233 }
1234 }
1235}
1236
Christopher Ferris13f26a72016-01-13 13:47:58 -08001237TEST(STRING_TEST, strcat_align) {
Christopher Ferrise5bbb6b2013-12-03 18:39:10 -08001238 RunSrcDstBufferAlignTest(MEDIUM, DoStrcatTest, LargeSetIncrement);
Christopher Ferrisb687ad32013-11-06 17:32:11 -08001239}
1240
Christopher Ferris13f26a72016-01-13 13:47:58 -08001241TEST(STRING_TEST, strcat_overread) {
Christopher Ferrisb687ad32013-11-06 17:32:11 -08001242 RunSrcDstBufferOverreadTest(DoStrcatTest);
1243}
Christopher Ferrise5bbb6b2013-12-03 18:39:10 -08001244
Christopher Ferris14687652014-11-10 13:58:17 -08001245#if defined(STRLCAT_SUPPORTED)
1246static void DoStrlcatTest(uint8_t* src, uint8_t* dst, size_t len) {
1247 if (len >= 1) {
1248 int value = 32 + (len % 96);
1249 memset(src, value, len - 1);
1250 src[len-1] = '\0';
1251
1252 if (len >= STRCAT_DST_LEN) {
1253 // Create a small buffer for doing quick compares in each loop.
1254 uint8_t cmp_buf[STRCAT_DST_LEN];
1255 // Make sure dst string contains a different value then the src string.
1256 int value2 = 32 + (value + 2) % 96;
1257 memset(cmp_buf, value2, sizeof(cmp_buf));
1258
Christopher Ferrisfdfcfce2015-09-23 22:09:09 -07001259 for (size_t i = 1; i <= STRCAT_DST_LEN;) {
Christopher Ferris14687652014-11-10 13:58:17 -08001260 memset(dst, value2, i-1);
1261 memset(dst+i-1, 0, len-i);
1262 src[len-i] = '\0';
1263 ASSERT_EQ(len-1, strlcat(reinterpret_cast<char*>(dst),
1264 reinterpret_cast<char*>(src), len));
1265 ASSERT_TRUE(memcmp(dst, cmp_buf, i-1) == 0);
1266 ASSERT_TRUE(memcmp(src, dst+i-1, len-i+1) == 0);
Christopher Ferrisfdfcfce2015-09-23 22:09:09 -07001267 // This is an expensive loop, so don't loop through every value,
1268 // get to a certain size and then start doubling.
1269 if (i < 16) {
1270 i++;
1271 } else {
1272 i <<= 1;
1273 }
Christopher Ferris14687652014-11-10 13:58:17 -08001274 }
1275 } else {
1276 dst[0] = '\0';
1277 ASSERT_EQ(len-1, strlcat(reinterpret_cast<char*>(dst),
1278 reinterpret_cast<char*>(src), len));
1279 ASSERT_TRUE(memcmp(src, dst, len) == 0);
1280 }
1281 }
1282}
1283#endif
1284
Christopher Ferris13f26a72016-01-13 13:47:58 -08001285TEST(STRING_TEST, strlcat_align) {
Christopher Ferris14687652014-11-10 13:58:17 -08001286#if defined(STRLCAT_SUPPORTED)
1287 RunSrcDstBufferAlignTest(MEDIUM, DoStrlcatTest, LargeSetIncrement);
1288#else
Elliott Hughesbcaa4542019-03-08 15:20:23 -08001289 GTEST_SKIP() << "strlcat not available";
Christopher Ferris14687652014-11-10 13:58:17 -08001290#endif
1291}
1292
Christopher Ferris13f26a72016-01-13 13:47:58 -08001293TEST(STRING_TEST, strlcat_overread) {
Christopher Ferris14687652014-11-10 13:58:17 -08001294#if defined(STRLCAT_SUPPORTED)
1295 RunSrcDstBufferOverreadTest(DoStrlcatTest);
1296#else
Elliott Hughesbcaa4542019-03-08 15:20:23 -08001297 GTEST_SKIP() << "strlcat not available";
Christopher Ferris14687652014-11-10 13:58:17 -08001298#endif
1299}
1300
Christopher Ferrise5bbb6b2013-12-03 18:39:10 -08001301static void DoStrcmpTest(uint8_t* buf1, uint8_t* buf2, size_t len) {
1302 if (len >= 1) {
1303 memset(buf1, (32 + (len % 96)), len - 1);
1304 buf1[len-1] = '\0';
1305 memset(buf2, (32 + (len % 96)), len - 1);
1306 buf2[len-1] = '\0';
1307 ASSERT_EQ(0, strcmp(reinterpret_cast<char*>(buf1),
1308 reinterpret_cast<char*>(buf2)));
1309 }
1310}
1311
1312static void DoStrcmpFailTest(uint8_t* buf1, uint8_t* buf2, size_t len1, size_t len2) {
1313 // Do string length differences.
1314 int c = (32 + (len1 % 96));
1315 memset(buf1, c, len1 - 1);
1316 buf1[len1-1] = '\0';
1317 memset(buf2, c, len2 - 1);
1318 buf2[len2-1] = '\0';
1319 ASSERT_NE(0, strcmp(reinterpret_cast<char*>(buf1),
1320 reinterpret_cast<char*>(buf2)));
1321
1322 // Do single character differences.
1323 size_t len;
1324 if (len1 > len2) {
1325 len = len2;
1326 } else {
1327 len = len1;
1328 }
1329 // Need at least a two character buffer to do this test.
1330 if (len > 1) {
1331 buf1[len-1] = '\0';
1332 buf2[len-1] = '\0';
1333 int diff_c = (c + 1) % 96;
1334
1335 buf1[len-2] = diff_c;
1336 ASSERT_NE(0, strcmp(reinterpret_cast<char*>(buf1),
1337 reinterpret_cast<char*>(buf2)));
1338
1339 buf1[len-2] = c;
1340 buf2[len-2] = diff_c;
1341 ASSERT_NE(0, strcmp(reinterpret_cast<char*>(buf1),
1342 reinterpret_cast<char*>(buf2)));
1343 }
1344}
1345
Christopher Ferris13f26a72016-01-13 13:47:58 -08001346TEST(STRING_TEST, strcmp_align) {
Christopher Ferrise5bbb6b2013-12-03 18:39:10 -08001347 RunCmpBufferAlignTest(MEDIUM, DoStrcmpTest, DoStrcmpFailTest, LargeSetIncrement);
1348}
1349
Christopher Ferris13f26a72016-01-13 13:47:58 -08001350TEST(STRING_TEST, strcmp_overread) {
Christopher Ferrise5bbb6b2013-12-03 18:39:10 -08001351 RunCmpBufferOverreadTest(DoStrcmpTest, DoStrcmpFailTest);
1352}
1353
1354static void DoMemcmpTest(uint8_t* buf1, uint8_t* buf2, size_t len) {
1355 memset(buf1, len+1, len);
1356 memset(buf2, len+1, len);
1357 ASSERT_EQ(0, memcmp(buf1, buf2, len));
1358}
1359
1360static void DoMemcmpFailTest(uint8_t* buf1, uint8_t* buf2, size_t len1, size_t len2) {
1361 size_t len;
1362 if (len1 > len2) {
1363 len = len2;
1364 } else {
1365 len = len1;
1366 }
1367
1368 memset(buf1, len2+1, len);
1369 buf1[len-1] = len2;
1370 memset(buf2, len2+1, len);
1371 ASSERT_NE(0, memcmp(buf1, buf2, len));
1372
1373 buf1[len-1] = len2+1;
1374 buf2[len-1] = len2;
1375 ASSERT_NE(0, memcmp(buf1, buf2, len));
1376}
1377
Christopher Ferris13f26a72016-01-13 13:47:58 -08001378TEST(STRING_TEST, memcmp_align) {
Christopher Ferrise5bbb6b2013-12-03 18:39:10 -08001379 RunCmpBufferAlignTest(MEDIUM, DoMemcmpTest, DoMemcmpFailTest, LargeSetIncrement);
1380}
1381
Christopher Ferris13f26a72016-01-13 13:47:58 -08001382TEST(STRING_TEST, memcmp_overread) {
Christopher Ferrise5bbb6b2013-12-03 18:39:10 -08001383 RunCmpBufferOverreadTest(DoMemcmpTest, DoMemcmpFailTest);
1384}
Christopher Ferris3a657d02014-06-27 12:33:22 -07001385
Christopher Ferris2f030af2017-05-08 14:24:29 -07001386static void DoMemchrTest(uint8_t* buf, size_t len) {
1387 if (len >= 1) {
1388 int value = len % 128;
1389 int search_value = (len % 128) + 1;
1390 memset(buf, value, len);
1391 // The buffer does not contain the search value.
1392 ASSERT_EQ(nullptr, memchr(buf, search_value, len));
1393 if (len >= 2) {
1394 buf[0] = search_value;
1395 // The search value is the first element in the buffer.
1396 ASSERT_EQ(&buf[0], memchr(buf, search_value, len));
1397
1398 buf[0] = value;
1399 buf[len - 1] = search_value;
1400 // The search value is the last element in the buffer.
1401 ASSERT_EQ(&buf[len - 1], memchr(buf, search_value, len));
1402 }
1403 }
1404}
1405
1406TEST(STRING_TEST, memchr_align) {
1407 RunSingleBufferAlignTest(MEDIUM, DoMemchrTest);
1408}
1409
1410TEST(STRING_TEST, memchr_overread) {
1411 RunSingleBufferOverreadTest(DoMemchrTest);
1412}
1413
Christopher Ferris3a657d02014-06-27 12:33:22 -07001414static void DoStrchrTest(uint8_t* buf, size_t len) {
1415 if (len >= 1) {
1416 char value = 32 + (len % 96);
1417 char search_value = 33 + (len % 96);
1418 memset(buf, value, len - 1);
Christopher Ferris2f030af2017-05-08 14:24:29 -07001419 buf[len - 1] = '\0';
1420 // The buffer does not contain the search value.
1421 ASSERT_EQ(nullptr, strchr(reinterpret_cast<char*>(buf), search_value));
1422 // Search for the special '\0' character.
1423 ASSERT_EQ(reinterpret_cast<char*>(&buf[len - 1]), strchr(reinterpret_cast<char*>(buf), '\0'));
Christopher Ferris3a657d02014-06-27 12:33:22 -07001424 if (len >= 2) {
1425 buf[0] = search_value;
Christopher Ferris2f030af2017-05-08 14:24:29 -07001426 // The search value is the first element in the buffer.
1427 ASSERT_EQ(reinterpret_cast<char*>(&buf[0]), strchr(reinterpret_cast<char*>(buf),
1428 search_value));
1429
Christopher Ferris3a657d02014-06-27 12:33:22 -07001430 buf[0] = value;
Christopher Ferris2f030af2017-05-08 14:24:29 -07001431 buf[len - 2] = search_value;
1432 // The search value is the second to last element in the buffer.
1433 // The last element is the '\0' character.
1434 ASSERT_EQ(reinterpret_cast<char*>(&buf[len - 2]), strchr(reinterpret_cast<char*>(buf),
1435 search_value));
Christopher Ferris3a657d02014-06-27 12:33:22 -07001436 }
1437 }
1438}
1439
Christopher Ferris13f26a72016-01-13 13:47:58 -08001440TEST(STRING_TEST, strchr_align) {
Christopher Ferris3a657d02014-06-27 12:33:22 -07001441 RunSingleBufferAlignTest(MEDIUM, DoStrchrTest);
1442}
1443
Christopher Ferris13f26a72016-01-13 13:47:58 -08001444TEST(STRING_TEST, strchr_overread) {
Christopher Ferris3a657d02014-06-27 12:33:22 -07001445 RunSingleBufferOverreadTest(DoStrchrTest);
1446}
Elliott Hughes09c39d62014-08-19 14:30:30 -07001447
Christopher Ferris2f030af2017-05-08 14:24:29 -07001448static void DoStrrchrTest(uint8_t* buf, size_t len) {
1449 if (len >= 1) {
1450 char value = 32 + (len % 96);
1451 char search_value = 33 + (len % 96);
1452 memset(buf, value, len - 1);
1453 buf[len - 1] = '\0';
1454 // The buffer does not contain the search value.
1455 ASSERT_EQ(nullptr, strrchr(reinterpret_cast<char*>(buf), search_value));
1456 // Search for the special '\0' character.
1457 ASSERT_EQ(reinterpret_cast<char*>(&buf[len - 1]), strrchr(reinterpret_cast<char*>(buf), '\0'));
1458 if (len >= 2) {
1459 buf[0] = search_value;
1460 // The search value is the first element in the buffer.
1461 ASSERT_EQ(reinterpret_cast<char*>(&buf[0]), strrchr(reinterpret_cast<char*>(buf),
1462 search_value));
1463
1464 buf[0] = value;
1465 buf[len - 2] = search_value;
1466 // The search value is the second to last element in the buffer.
1467 // The last element is the '\0' character.
1468 ASSERT_EQ(reinterpret_cast<char*>(&buf[len - 2]), strrchr(reinterpret_cast<char*>(buf),
1469 search_value));
1470 }
1471 }
1472}
1473
1474TEST(STRING_TEST, strrchr_align) {
1475 RunSingleBufferAlignTest(MEDIUM, DoStrrchrTest);
1476}
1477
1478TEST(STRING_TEST, strrchr_overread) {
1479 RunSingleBufferOverreadTest(DoStrrchrTest);
1480}
1481
Colin Cross4c5595c2021-08-16 15:51:59 -07001482#if !defined(ANDROID_HOST_MUSL)
Elliott Hughes09c39d62014-08-19 14:30:30 -07001483static void TestBasename(const char* in, const char* expected_out) {
1484 errno = 0;
1485 const char* out = basename(in);
1486 ASSERT_STREQ(expected_out, out) << in;
Elliott Hughes95646e62023-09-21 14:11:19 -07001487 ASSERT_ERRNO(0) << in;
Elliott Hughes09c39d62014-08-19 14:30:30 -07001488}
Colin Cross7da20342021-07-28 11:18:11 -07001489#endif
Elliott Hughes09c39d62014-08-19 14:30:30 -07001490
Christopher Ferris13f26a72016-01-13 13:47:58 -08001491TEST(STRING_TEST, __gnu_basename) {
Colin Cross4c5595c2021-08-16 15:51:59 -07001492#if !defined(ANDROID_HOST_MUSL)
Elliott Hughes09c39d62014-08-19 14:30:30 -07001493 TestBasename("", "");
1494 TestBasename("/usr/lib", "lib");
1495 TestBasename("/usr/", "");
1496 TestBasename("usr", "usr");
1497 TestBasename("/", "");
1498 TestBasename(".", ".");
1499 TestBasename("..", "..");
1500 TestBasename("///", "");
1501 TestBasename("//usr//lib//", "");
Colin Cross7da20342021-07-28 11:18:11 -07001502#else
1503 GTEST_SKIP() << "musl doesn't have GNU basename";
1504#endif
Elliott Hughes09c39d62014-08-19 14:30:30 -07001505}
Elliott Hughes41ef9022015-02-14 13:21:22 -08001506
Christopher Ferris13f26a72016-01-13 13:47:58 -08001507TEST(STRING_TEST, strnlen_147048) {
Elliott Hughes41ef9022015-02-14 13:21:22 -08001508 // https://code.google.com/p/android/issues/detail?id=147048
1509 char stack_src[64] = {0};
1510 EXPECT_EQ(0U, strnlen(stack_src, 1024*1024*1024));
1511 char* heap_src = new char[1];
1512 *heap_src = '\0';
1513 EXPECT_EQ(0U, strnlen(heap_src, 1024*1024*1024));
1514 delete[] heap_src;
1515}
Elliott Hughes3cfb52a2015-02-18 21:29:13 -08001516
Christopher Ferris13f26a72016-01-13 13:47:58 -08001517TEST(STRING_TEST, strnlen_74741) {
Elliott Hughesd2a9fb32015-07-27 20:55:03 -07001518 ASSERT_EQ(4U, strnlen("test", SIZE_MAX));
1519}
1520
Christopher Ferris13f26a72016-01-13 13:47:58 -08001521TEST(STRING_TEST, mempcpy) {
Elliott Hughes3cfb52a2015-02-18 21:29:13 -08001522 char dst[6];
1523 ASSERT_EQ(&dst[4], reinterpret_cast<char*>(mempcpy(dst, "hello", 4)));
1524}
Christopher Ferris71766c22016-02-12 17:24:27 -08001525
1526// clang depends on the fact that a memcpy where src and dst is the same
1527// still operates correctly. This test verifies that this assumption
1528// holds true.
1529// See https://llvm.org/bugs/show_bug.cgi?id=11763 for more information.
1530static std::vector<uint8_t> g_memcpy_same_buffer;
1531
1532static void DoMemcpySameTest(uint8_t* buffer, size_t len) {
1533 memcpy(buffer, g_memcpy_same_buffer.data(), len);
1534 ASSERT_EQ(buffer, memcpy(buffer, buffer, len));
1535 ASSERT_TRUE(memcmp(buffer, g_memcpy_same_buffer.data(), len) == 0);
1536}
1537
1538TEST(STRING_TEST, memcpy_src_dst_same) {
1539 g_memcpy_same_buffer.resize(MEDIUM);
1540 for (size_t i = 0; i < MEDIUM; i++) {
1541 g_memcpy_same_buffer[i] = i;
1542 }
1543 RunSingleBufferAlignTest(MEDIUM, DoMemcpySameTest);
1544}
Elliott Hughescae33ad2016-08-15 14:14:40 -07001545
1546TEST(STRING_TEST, memmem_strstr_empty_needle) {
1547 const char* some_haystack = "haystack";
1548 const char* empty_haystack = "";
1549
1550 ASSERT_EQ(some_haystack, memmem(some_haystack, 8, "", 0));
1551 ASSERT_EQ(empty_haystack, memmem(empty_haystack, 0, "", 0));
1552
1553 ASSERT_EQ(some_haystack, strstr(some_haystack, ""));
1554 ASSERT_EQ(empty_haystack, strstr(empty_haystack, ""));
1555}
1556
1557TEST(STRING_TEST, memmem_smoke) {
Elliott Hughes5633caa2020-08-06 14:32:43 -07001558 const char haystack[] = "big\0daddy/giant\0haystacks!";
1559
1560 // The current memmem() implementation has special cases for needles of
1561 // lengths 0, 1, 2, 3, and 4, plus a long needle case. We test matches at the
1562 // beginning, middle, and end of the haystack.
1563
1564 ASSERT_EQ(haystack + 0, memmem(haystack, sizeof(haystack), "", 0));
1565
Elliott Hughescae33ad2016-08-15 14:14:40 -07001566 ASSERT_EQ(haystack + 0, memmem(haystack, sizeof(haystack), "b", 1));
Elliott Hughes5633caa2020-08-06 14:32:43 -07001567 ASSERT_EQ(haystack + 0, memmem(haystack, sizeof(haystack), "bi", 2));
1568 ASSERT_EQ(haystack + 0, memmem(haystack, sizeof(haystack), "big", 3));
1569 ASSERT_EQ(haystack + 0, memmem(haystack, sizeof(haystack), "big\0", 4));
1570 ASSERT_EQ(haystack + 0, memmem(haystack, sizeof(haystack), "big\0d", 5));
1571
1572 ASSERT_EQ(haystack + 2, memmem(haystack, sizeof(haystack), "g", 1));
1573 ASSERT_EQ(haystack + 10, memmem(haystack, sizeof(haystack), "gi", 2));
1574 ASSERT_EQ(haystack + 10, memmem(haystack, sizeof(haystack), "gia", 3));
1575 ASSERT_EQ(haystack + 10, memmem(haystack, sizeof(haystack), "gian", 4));
1576 ASSERT_EQ(haystack + 10, memmem(haystack, sizeof(haystack), "giant", 5));
1577
1578 ASSERT_EQ(haystack + 25, memmem(haystack, sizeof(haystack), "!", 1));
1579 ASSERT_EQ(haystack + 24, memmem(haystack, sizeof(haystack), "s!", 2));
1580 ASSERT_EQ(haystack + 23, memmem(haystack, sizeof(haystack), "ks!", 3));
1581 ASSERT_EQ(haystack + 22, memmem(haystack, sizeof(haystack), "cks!", 4));
1582 ASSERT_EQ(haystack + 21, memmem(haystack, sizeof(haystack), "acks!", 5));
Elliott Hughescae33ad2016-08-15 14:14:40 -07001583}
1584
1585TEST(STRING_TEST, strstr_smoke) {
Elliott Hughesc6b38ae2019-11-22 11:15:42 -08001586 const char* haystack = "big daddy/giant haystacks!";
1587
1588 // The current strstr() implementation has special cases for needles of
1589 // lengths 0, 1, 2, 3, and 4, plus a long needle case. We test matches at the
1590 // beginning, middle, and end of the haystack.
1591
1592 ASSERT_EQ(haystack + 0, strstr(haystack, ""));
1593
Elliott Hughescae33ad2016-08-15 14:14:40 -07001594 ASSERT_EQ(haystack + 0, strstr(haystack, "b"));
Elliott Hughesc6b38ae2019-11-22 11:15:42 -08001595 ASSERT_EQ(haystack + 0, strstr(haystack, "bi"));
1596 ASSERT_EQ(haystack + 0, strstr(haystack, "big"));
1597 ASSERT_EQ(haystack + 0, strstr(haystack, "big "));
1598 ASSERT_EQ(haystack + 0, strstr(haystack, "big d"));
1599
1600 ASSERT_EQ(haystack + 2, strstr(haystack, "g"));
1601 ASSERT_EQ(haystack + 10, strstr(haystack, "gi"));
1602 ASSERT_EQ(haystack + 10, strstr(haystack, "gia"));
1603 ASSERT_EQ(haystack + 10, strstr(haystack, "gian"));
1604 ASSERT_EQ(haystack + 10, strstr(haystack, "giant"));
1605
1606 ASSERT_EQ(haystack + 25, strstr(haystack, "!"));
1607 ASSERT_EQ(haystack + 24, strstr(haystack, "s!"));
1608 ASSERT_EQ(haystack + 23, strstr(haystack, "ks!"));
1609 ASSERT_EQ(haystack + 22, strstr(haystack, "cks!"));
1610 ASSERT_EQ(haystack + 21, strstr(haystack, "acks!"));
Elliott Hughescae33ad2016-08-15 14:14:40 -07001611}
Elliott Hughesfbac97a2019-02-04 16:46:24 -08001612
1613TEST(STRING_TEST, strcasestr_smoke) {
1614 const char* haystack = "bIg dAdDy/gIaNt hAyStAcKs";
1615 ASSERT_EQ(haystack, strcasestr(haystack, ""));
1616 ASSERT_EQ(haystack + 0, strcasestr(haystack, "B"));
1617 ASSERT_EQ(haystack + 1, strcasestr(haystack, "i"));
1618 ASSERT_EQ(haystack + 4, strcasestr(haystack, "Da"));
1619}
1620
1621TEST(STRING_TEST, strcoll_smoke) {
1622 ASSERT_TRUE(strcoll("aab", "aac") < 0);
1623 ASSERT_TRUE(strcoll("aab", "aab") == 0);
1624 ASSERT_TRUE(strcoll("aac", "aab") > 0);
1625}
1626
Elliott Hughes7cebf832020-08-12 14:25:41 -07001627TEST(STRING_TEST, strcoll_l_smoke) {
1628 // bionic just forwards to strcoll(3).
1629 ASSERT_TRUE(strcoll_l("aab", "aac", LC_GLOBAL_LOCALE) < 0);
1630 ASSERT_TRUE(strcoll_l("aab", "aab", LC_GLOBAL_LOCALE) == 0);
1631 ASSERT_TRUE(strcoll_l("aac", "aab", LC_GLOBAL_LOCALE) > 0);
1632}
1633
Elliott Hughesfbac97a2019-02-04 16:46:24 -08001634TEST(STRING_TEST, strxfrm_smoke) {
1635 const char* src1 = "aab";
1636 char dst1[16] = {};
Elliott Hughes2e71c172020-08-06 13:53:40 -07001637 // Dry run.
1638 ASSERT_EQ(strxfrm(dst1, src1, 0), 3U);
1639 ASSERT_STREQ(dst1, "");
1640 // Really do it.
1641 ASSERT_EQ(strxfrm(dst1, src1, sizeof(dst1)), 3U);
1642
Elliott Hughesfbac97a2019-02-04 16:46:24 -08001643 const char* src2 = "aac";
1644 char dst2[16] = {};
Elliott Hughes2e71c172020-08-06 13:53:40 -07001645 // Dry run.
1646 ASSERT_EQ(strxfrm(dst2, src2, 0), 3U);
1647 ASSERT_STREQ(dst2, "");
1648 // Really do it.
1649 ASSERT_EQ(strxfrm(dst2, src2, sizeof(dst2)), 3U);
1650
1651 // The "transform" of two different strings should cause different outputs.
Elliott Hughesfbac97a2019-02-04 16:46:24 -08001652 ASSERT_TRUE(strcmp(dst1, dst2) < 0);
1653}
1654
Elliott Hughes7cebf832020-08-12 14:25:41 -07001655TEST(STRING_TEST, strxfrm_l_smoke) {
1656 // bionic just forwards to strxfrm(3), so this is a subset of the
1657 // strxfrm test.
1658 const char* src1 = "aab";
1659 char dst1[16] = {};
1660 ASSERT_EQ(strxfrm_l(dst1, src1, 0, LC_GLOBAL_LOCALE), 3U);
1661 ASSERT_STREQ(dst1, "");
1662 ASSERT_EQ(strxfrm_l(dst1, src1, sizeof(dst1), LC_GLOBAL_LOCALE), 3U);
1663}
1664
Elliott Hughesfbac97a2019-02-04 16:46:24 -08001665TEST(STRING_TEST, memccpy_smoke) {
1666 char dst[32];
1667
1668 memset(dst, 0, sizeof(dst));
1669 char* p = static_cast<char*>(memccpy(dst, "hello world", ' ', 32));
1670 ASSERT_STREQ("hello ", dst);
1671 ASSERT_EQ(ptrdiff_t(6), p - dst);
1672
1673 memset(dst, 0, sizeof(dst));
1674 ASSERT_EQ(nullptr, memccpy(dst, "hello world", ' ', 4));
1675 ASSERT_STREQ("hell", dst);
1676}
Elliott Hughes0d642432022-08-10 23:35:03 +00001677
1678TEST(STRING_TEST, memset_explicit_smoke) {
1679#if defined(__BIONIC__)
1680 // We can't reliably test that the compiler won't optimize out calls to
1681 // memset_explicit(), but we can at least check that it behaves like memset.
1682 char buf[32];
1683 memset_explicit(buf, 'x', sizeof(buf));
1684 ASSERT_TRUE(memcmp(buf, "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx", sizeof(buf)) == 0);
1685#else
1686 GTEST_SKIP() << "memset_explicit not available";
1687#endif
1688}