blob: b7162b3c081bd189e1fe97fd6b82ec7097adc260 [file] [log] [blame]
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00001//===-- msan_test.cc ------------------------------------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file is a part of MemorySanitizer.
11//
12// MemorySanitizer unit tests.
13//===----------------------------------------------------------------------===//
14
Evgeniy Stepanov6e5ff892013-03-22 09:01:26 +000015#ifndef MSAN_EXTERNAL_TEST_CONFIG
16#include "msan_test_config.h"
17#endif // MSAN_EXTERNAL_TEST_CONFIG
18
Stephen Hines2d1fdb22014-05-28 23:58:16 -070019#include "sanitizer_common/tests/sanitizer_test_utils.h"
20
Stephen Hines6a211c52014-07-21 00:49:56 -070021#include "sanitizer/allocator_interface.h"
Evgeniy Stepanov0231c502012-12-25 12:39:56 +000022#include "sanitizer/msan_interface.h"
Stephen Hines86277eb2015-03-23 12:06:32 -070023
24#if defined(__FreeBSD__)
25# define _KERNEL // To declare 'shminfo' structure.
26# include <sys/shm.h>
27# undef _KERNEL
28extern "C" {
29// <sys/shm.h> doesn't declare these functions in _KERNEL mode.
30void *shmat(int, const void *, int);
31int shmget(key_t, size_t, int);
32int shmctl(int, int, struct shmid_ds *);
33int shmdt(const void *);
34}
35#endif
Evgeniy Stepanov0231c502012-12-25 12:39:56 +000036
Evgeniy Stepanovff6c9fb2013-07-04 13:19:41 +000037#include <inttypes.h>
Evgeniy Stepanov0231c502012-12-25 12:39:56 +000038#include <stdlib.h>
39#include <stdarg.h>
40#include <stdio.h>
Evgeniy Stepanov0231c502012-12-25 12:39:56 +000041#include <wchar.h>
Evgeniy Stepanov7cbbb292013-03-14 11:34:39 +000042#include <math.h>
Evgeniy Stepanov0231c502012-12-25 12:39:56 +000043
Evgeniy Stepanov9530eb72013-04-23 14:05:15 +000044#include <arpa/inet.h>
Evgeniy Stepanove03345b2013-01-17 13:42:17 +000045#include <dlfcn.h>
Evgeniy Stepanov103a63e2013-04-23 12:01:20 +000046#include <grp.h>
Evgeniy Stepanov0231c502012-12-25 12:39:56 +000047#include <unistd.h>
Evgeniy Stepanov2bba4ef2013-05-16 13:00:25 +000048#include <link.h>
Evgeniy Stepanov0231c502012-12-25 12:39:56 +000049#include <limits.h>
50#include <sys/time.h>
Evgeniy Stepanove18e3f02013-08-12 13:19:53 +000051#include <poll.h>
Evgeniy Stepanov0231c502012-12-25 12:39:56 +000052#include <sys/types.h>
53#include <sys/stat.h>
54#include <fcntl.h>
55#include <sys/resource.h>
56#include <sys/ioctl.h>
Evgeniy Stepanov5cee73e2013-10-18 11:14:16 +000057#include <sys/statvfs.h>
Evgeniy Stepanov0231c502012-12-25 12:39:56 +000058#include <sys/utsname.h>
59#include <sys/mman.h>
Evgeniy Stepanovd97a15a2013-03-14 12:49:23 +000060#include <dirent.h>
Evgeniy Stepanove4bdda52013-04-01 14:47:21 +000061#include <pwd.h>
Evgeniy Stepanov134fe8a2013-04-08 13:45:12 +000062#include <sys/socket.h>
Evgeniy Stepanov0a2cc372013-05-23 11:10:23 +000063#include <netdb.h>
Evgeniy Stepanovc5a38552013-09-24 14:38:22 +000064#include <wordexp.h>
Evgeniy Stepanov10362d62013-10-24 14:47:34 +000065#include <sys/ipc.h>
66#include <sys/shm.h>
Evgeniy Stepanov0231c502012-12-25 12:39:56 +000067
Stephen Hines86277eb2015-03-23 12:06:32 -070068#if !defined(__FreeBSD__)
69# include <malloc.h>
70# include <sys/sysinfo.h>
71# include <sys/vfs.h>
72# include <mntent.h>
73# include <netinet/ether.h>
74#else
75# include <signal.h>
76# include <netinet/in.h>
77# include <pthread_np.h>
78# include <sys/uio.h>
79# include <sys/mount.h>
80# include <sys/sysctl.h>
81# include <net/ethernet.h>
82# define f_namelen f_namemax // FreeBSD names this statfs field so.
83# define cpu_set_t cpuset_t
84extern "C" {
85// FreeBSD's <ssp/string.h> defines mempcpy() to be a macro expanding into
86// a __builtin___mempcpy_chk() call, but since Msan RTL defines it as an
87// ordinary function, we can declare it here to complete the tests.
88void *mempcpy(void *dest, const void *src, size_t n);
89}
90#endif
91
Evgeniy Stepanov0231c502012-12-25 12:39:56 +000092#if defined(__i386__) || defined(__x86_64__)
93# include <emmintrin.h>
94# define MSAN_HAS_M128 1
95#else
96# define MSAN_HAS_M128 0
97#endif
98
Stephen Hines2d1fdb22014-05-28 23:58:16 -070099#ifdef __AVX2__
100# include <immintrin.h>
101#endif
102
Stephen Hines86277eb2015-03-23 12:06:32 -0700103// On FreeBSD procfs is not enabled by default.
104#if defined(__FreeBSD__)
105# define FILE_TO_READ "/bin/cat"
106# define DIR_TO_READ "/bin"
107# define SUBFILE_TO_READ "cat"
108# define SYMLINK_TO_READ "/usr/bin/tar"
109# define SUPERUSER_GROUP "wheel"
110#else
111# define FILE_TO_READ "/proc/self/stat"
112# define DIR_TO_READ "/proc/self"
113# define SUBFILE_TO_READ "stat"
114# define SYMLINK_TO_READ "/proc/self/exe"
115# define SUPERUSER_GROUP "root"
116#endif
117
118const size_t kPageSize = 4096;
119const size_t kMaxPathLength = 4096;
Evgeniy Stepanov97160a82013-09-02 09:24:53 +0000120
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000121typedef unsigned char U1;
122typedef unsigned short U2; // NOLINT
123typedef unsigned int U4;
124typedef unsigned long long U8; // NOLINT
125typedef signed char S1;
126typedef signed short S2; // NOLINT
127typedef signed int S4;
128typedef signed long long S8; // NOLINT
129#define NOINLINE __attribute__((noinline))
130#define INLINE __attribute__((always_inline))
131
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000132static bool TrackingOrigins() {
133 S8 x;
134 __msan_set_origin(&x, sizeof(x), 0x1234);
Evgeniy Stepanov250f2212013-01-30 13:12:08 +0000135 U4 origin = __msan_get_origin(&x);
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000136 __msan_set_origin(&x, sizeof(x), 0);
Stephen Hines86277eb2015-03-23 12:06:32 -0700137 return __msan_origin_is_descendant_or_same(origin, 0x1234);
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000138}
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000139
Stephen Hines86277eb2015-03-23 12:06:32 -0700140#define EXPECT_ORIGIN(expected, origin) \
141 EXPECT_TRUE(__msan_origin_is_descendant_or_same((origin), (expected)))
142
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000143#define EXPECT_UMR(action) \
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000144 do { \
145 __msan_set_expect_umr(1); \
146 action; \
147 __msan_set_expect_umr(0); \
148 } while (0)
149
Stephen Hines86277eb2015-03-23 12:06:32 -0700150#define EXPECT_UMR_O(action, origin) \
151 do { \
152 __msan_set_expect_umr(1); \
153 action; \
154 __msan_set_expect_umr(0); \
155 if (TrackingOrigins()) EXPECT_ORIGIN(origin, __msan_get_umr_origin()); \
156 } while (0)
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000157
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000158#define EXPECT_POISONED(x) ExpectPoisoned(x)
159
160template<typename T>
161void ExpectPoisoned(const T& t) {
162 EXPECT_NE(-1, __msan_test_shadow((void*)&t, sizeof(t)));
163}
164
165#define EXPECT_POISONED_O(x, origin) \
166 ExpectPoisonedWithOrigin(x, origin)
167
168template<typename T>
169void ExpectPoisonedWithOrigin(const T& t, unsigned origin) {
170 EXPECT_NE(-1, __msan_test_shadow((void*)&t, sizeof(t)));
Stephen Hines86277eb2015-03-23 12:06:32 -0700171 if (TrackingOrigins()) EXPECT_ORIGIN(origin, __msan_get_origin((void *)&t));
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000172}
173
Stephen Hines86277eb2015-03-23 12:06:32 -0700174#define EXPECT_NOT_POISONED(x) EXPECT_EQ(true, TestForNotPoisoned((x)))
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000175
176template<typename T>
Stephen Hines86277eb2015-03-23 12:06:32 -0700177bool TestForNotPoisoned(const T& t) {
178 return __msan_test_shadow((void*)&t, sizeof(t)) == -1;
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000179}
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000180
181static U8 poisoned_array[100];
182template<class T>
183T *GetPoisoned(int i = 0, T val = 0) {
184 T *res = (T*)&poisoned_array[i];
185 *res = val;
186 __msan_poison(&poisoned_array[i], sizeof(T));
187 return res;
188}
189
190template<class T>
Evgeniy Stepanov250f2212013-01-30 13:12:08 +0000191T *GetPoisonedO(int i, U4 origin, T val = 0) {
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000192 T *res = (T*)&poisoned_array[i];
193 *res = val;
194 __msan_poison(&poisoned_array[i], sizeof(T));
195 __msan_set_origin(&poisoned_array[i], sizeof(T), origin);
196 return res;
197}
198
Stephen Hines6a211c52014-07-21 00:49:56 -0700199template<typename T>
200T Poisoned(T v = 0, T s = (T)(-1)) {
201 __msan_partial_poison(&v, &s, sizeof(T));
202 return v;
203}
204
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000205template<class T> NOINLINE T ReturnPoisoned() { return *GetPoisoned<T>(); }
206
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000207static volatile int g_one = 1;
208static volatile int g_zero = 0;
209static volatile int g_0 = 0;
210static volatile int g_1 = 1;
211
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000212S4 a_s4[100];
213S8 a_s8[100];
214
Evgeniy Stepanov12c46932013-01-29 14:33:29 +0000215// Check that malloc poisons memory.
216// A lot of tests below depend on this.
217TEST(MemorySanitizerSanity, PoisonInMalloc) {
218 int *x = (int*)malloc(sizeof(int));
219 EXPECT_POISONED(*x);
220 free(x);
221}
222
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000223TEST(MemorySanitizer, NegativeTest1) {
224 S4 *x = GetPoisoned<S4>();
225 if (g_one)
226 *x = 0;
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000227 EXPECT_NOT_POISONED(*x);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000228}
229
230TEST(MemorySanitizer, PositiveTest1) {
231 // Load to store.
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000232 EXPECT_POISONED(*GetPoisoned<S1>());
233 EXPECT_POISONED(*GetPoisoned<S2>());
234 EXPECT_POISONED(*GetPoisoned<S4>());
235 EXPECT_POISONED(*GetPoisoned<S8>());
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000236
237 // S->S conversions.
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000238 EXPECT_POISONED(*GetPoisoned<S1>());
239 EXPECT_POISONED(*GetPoisoned<S1>());
240 EXPECT_POISONED(*GetPoisoned<S1>());
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000241
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000242 EXPECT_POISONED(*GetPoisoned<S2>());
243 EXPECT_POISONED(*GetPoisoned<S2>());
244 EXPECT_POISONED(*GetPoisoned<S2>());
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000245
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000246 EXPECT_POISONED(*GetPoisoned<S4>());
247 EXPECT_POISONED(*GetPoisoned<S4>());
248 EXPECT_POISONED(*GetPoisoned<S4>());
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000249
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000250 EXPECT_POISONED(*GetPoisoned<S8>());
251 EXPECT_POISONED(*GetPoisoned<S8>());
252 EXPECT_POISONED(*GetPoisoned<S8>());
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000253
254 // ZExt
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000255 EXPECT_POISONED(*GetPoisoned<U1>());
256 EXPECT_POISONED(*GetPoisoned<U1>());
257 EXPECT_POISONED(*GetPoisoned<U1>());
258 EXPECT_POISONED(*GetPoisoned<U2>());
259 EXPECT_POISONED(*GetPoisoned<U2>());
260 EXPECT_POISONED(*GetPoisoned<U4>());
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000261
262 // Unary ops.
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000263 EXPECT_POISONED(- *GetPoisoned<S4>());
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000264
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000265 EXPECT_UMR(a_s4[g_zero] = 100 / *GetPoisoned<S4>(0, 1));
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000266
267
268 a_s4[g_zero] = 1 - *GetPoisoned<S4>();
269 a_s4[g_zero] = 1 + *GetPoisoned<S4>();
270}
271
272TEST(MemorySanitizer, Phi1) {
273 S4 c;
274 if (g_one) {
275 c = *GetPoisoned<S4>();
276 } else {
Evgeniy Stepanov12c46932013-01-29 14:33:29 +0000277 break_optimization(0);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000278 c = 0;
279 }
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000280 EXPECT_POISONED(c);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000281}
282
283TEST(MemorySanitizer, Phi2) {
284 S4 i = *GetPoisoned<S4>();
285 S4 n = g_one;
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000286 EXPECT_UMR(for (; i < g_one; i++););
287 EXPECT_POISONED(i);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000288}
289
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000290NOINLINE void Arg1ExpectUMR(S4 a1) { EXPECT_POISONED(a1); }
291NOINLINE void Arg2ExpectUMR(S4 a1, S4 a2) { EXPECT_POISONED(a2); }
292NOINLINE void Arg3ExpectUMR(S1 a1, S4 a2, S8 a3) { EXPECT_POISONED(a3); }
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000293
294TEST(MemorySanitizer, ArgTest) {
295 Arg1ExpectUMR(*GetPoisoned<S4>());
296 Arg2ExpectUMR(0, *GetPoisoned<S4>());
297 Arg3ExpectUMR(0, 1, *GetPoisoned<S8>());
298}
299
300
301TEST(MemorySanitizer, CallAndRet) {
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000302 ReturnPoisoned<S1>();
303 ReturnPoisoned<S2>();
304 ReturnPoisoned<S4>();
305 ReturnPoisoned<S8>();
306
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000307 EXPECT_POISONED(ReturnPoisoned<S1>());
308 EXPECT_POISONED(ReturnPoisoned<S2>());
309 EXPECT_POISONED(ReturnPoisoned<S4>());
310 EXPECT_POISONED(ReturnPoisoned<S8>());
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000311}
312
313// malloc() in the following test may be optimized to produce a compile-time
314// undef value. Check that we trap on the volatile assignment anyway.
315TEST(MemorySanitizer, DISABLED_MallocNoIdent) {
316 S4 *x = (int*)malloc(sizeof(S4));
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000317 EXPECT_POISONED(*x);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000318 free(x);
319}
320
321TEST(MemorySanitizer, Malloc) {
322 S4 *x = (int*)Ident(malloc(sizeof(S4)));
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000323 EXPECT_POISONED(*x);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000324 free(x);
325}
326
327TEST(MemorySanitizer, Realloc) {
328 S4 *x = (int*)Ident(realloc(0, sizeof(S4)));
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000329 EXPECT_POISONED(x[0]);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000330 x[0] = 1;
331 x = (int*)Ident(realloc(x, 2 * sizeof(S4)));
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000332 EXPECT_NOT_POISONED(x[0]); // Ok, was inited before.
333 EXPECT_POISONED(x[1]);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000334 x = (int*)Ident(realloc(x, 3 * sizeof(S4)));
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000335 EXPECT_NOT_POISONED(x[0]); // Ok, was inited before.
336 EXPECT_POISONED(x[2]);
337 EXPECT_POISONED(x[1]);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000338 x[2] = 1; // Init this here. Check that after realloc it is poisoned again.
339 x = (int*)Ident(realloc(x, 2 * sizeof(S4)));
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000340 EXPECT_NOT_POISONED(x[0]); // Ok, was inited before.
341 EXPECT_POISONED(x[1]);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000342 x = (int*)Ident(realloc(x, 3 * sizeof(S4)));
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000343 EXPECT_POISONED(x[1]);
344 EXPECT_POISONED(x[2]);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000345 free(x);
346}
347
348TEST(MemorySanitizer, Calloc) {
349 S4 *x = (int*)Ident(calloc(1, sizeof(S4)));
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000350 EXPECT_NOT_POISONED(*x); // Should not be poisoned.
Stephen Hines2d1fdb22014-05-28 23:58:16 -0700351 EXPECT_EQ(0, *x);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000352 free(x);
353}
354
Stephen Hines2d1fdb22014-05-28 23:58:16 -0700355TEST(MemorySanitizer, CallocReturnsZeroMem) {
356 size_t sizes[] = {16, 1000, 10000, 100000, 2100000};
357 for (size_t s = 0; s < sizeof(sizes)/sizeof(sizes[0]); s++) {
358 size_t size = sizes[s];
359 for (size_t iter = 0; iter < 5; iter++) {
360 char *x = Ident((char*)calloc(1, size));
361 EXPECT_EQ(x[0], 0);
362 EXPECT_EQ(x[size - 1], 0);
363 EXPECT_EQ(x[size / 2], 0);
364 EXPECT_EQ(x[size / 3], 0);
365 EXPECT_EQ(x[size / 4], 0);
366 memset(x, 0x42, size);
367 free(Ident(x));
368 }
369 }
370}
371
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000372TEST(MemorySanitizer, AndOr) {
373 U4 *p = GetPoisoned<U4>();
374 // We poison two bytes in the midle of a 4-byte word to make the test
375 // correct regardless of endianness.
376 ((U1*)p)[1] = 0;
377 ((U1*)p)[2] = 0xff;
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000378 EXPECT_NOT_POISONED(*p & 0x00ffff00);
379 EXPECT_NOT_POISONED(*p & 0x00ff0000);
380 EXPECT_NOT_POISONED(*p & 0x0000ff00);
381 EXPECT_POISONED(*p & 0xff000000);
382 EXPECT_POISONED(*p & 0x000000ff);
383 EXPECT_POISONED(*p & 0x0000ffff);
384 EXPECT_POISONED(*p & 0xffff0000);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000385
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000386 EXPECT_NOT_POISONED(*p | 0xff0000ff);
387 EXPECT_NOT_POISONED(*p | 0xff00ffff);
388 EXPECT_NOT_POISONED(*p | 0xffff00ff);
389 EXPECT_POISONED(*p | 0xff000000);
390 EXPECT_POISONED(*p | 0x000000ff);
391 EXPECT_POISONED(*p | 0x0000ffff);
392 EXPECT_POISONED(*p | 0xffff0000);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000393
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000394 EXPECT_POISONED(*GetPoisoned<bool>() & *GetPoisoned<bool>());
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000395}
396
397template<class T>
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000398static bool applyNot(T value, T shadow) {
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000399 __msan_partial_poison(&value, &shadow, sizeof(T));
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000400 return !value;
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000401}
402
403TEST(MemorySanitizer, Not) {
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000404 EXPECT_NOT_POISONED(applyNot<U4>(0x0, 0x0));
405 EXPECT_NOT_POISONED(applyNot<U4>(0xFFFFFFFF, 0x0));
406 EXPECT_POISONED(applyNot<U4>(0xFFFFFFFF, 0xFFFFFFFF));
407 EXPECT_NOT_POISONED(applyNot<U4>(0xFF000000, 0x0FFFFFFF));
408 EXPECT_NOT_POISONED(applyNot<U4>(0xFF000000, 0x00FFFFFF));
409 EXPECT_NOT_POISONED(applyNot<U4>(0xFF000000, 0x0000FFFF));
410 EXPECT_NOT_POISONED(applyNot<U4>(0xFF000000, 0x00000000));
411 EXPECT_POISONED(applyNot<U4>(0xFF000000, 0xFF000000));
412 EXPECT_NOT_POISONED(applyNot<U4>(0xFF800000, 0xFF000000));
413 EXPECT_POISONED(applyNot<U4>(0x00008000, 0x00008000));
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000414
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000415 EXPECT_NOT_POISONED(applyNot<U1>(0x0, 0x0));
416 EXPECT_NOT_POISONED(applyNot<U1>(0xFF, 0xFE));
417 EXPECT_NOT_POISONED(applyNot<U1>(0xFF, 0x0));
418 EXPECT_POISONED(applyNot<U1>(0xFF, 0xFF));
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000419
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000420 EXPECT_POISONED(applyNot<void*>((void*)0xFFFFFF, (void*)(-1)));
421 EXPECT_NOT_POISONED(applyNot<void*>((void*)0xFFFFFF, (void*)(-2)));
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000422}
423
424TEST(MemorySanitizer, Shift) {
425 U4 *up = GetPoisoned<U4>();
426 ((U1*)up)[0] = 0;
427 ((U1*)up)[3] = 0xff;
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000428 EXPECT_NOT_POISONED(*up >> 30);
429 EXPECT_NOT_POISONED(*up >> 24);
430 EXPECT_POISONED(*up >> 23);
431 EXPECT_POISONED(*up >> 10);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000432
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000433 EXPECT_NOT_POISONED(*up << 30);
434 EXPECT_NOT_POISONED(*up << 24);
435 EXPECT_POISONED(*up << 23);
436 EXPECT_POISONED(*up << 10);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000437
438 S4 *sp = (S4*)up;
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000439 EXPECT_NOT_POISONED(*sp >> 30);
440 EXPECT_NOT_POISONED(*sp >> 24);
441 EXPECT_POISONED(*sp >> 23);
442 EXPECT_POISONED(*sp >> 10);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000443
444 sp = GetPoisoned<S4>();
445 ((S1*)sp)[1] = 0;
446 ((S1*)sp)[2] = 0;
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000447 EXPECT_POISONED(*sp >> 31);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000448
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000449 EXPECT_POISONED(100 >> *GetPoisoned<S4>());
450 EXPECT_POISONED(100U >> *GetPoisoned<S4>());
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000451}
452
453NOINLINE static int GetPoisonedZero() {
454 int *zero = new int;
455 *zero = 0;
456 __msan_poison(zero, sizeof(*zero));
457 int res = *zero;
458 delete zero;
459 return res;
460}
461
462TEST(MemorySanitizer, LoadFromDirtyAddress) {
463 int *a = new int;
464 *a = 0;
Evgeniy Stepanov12c46932013-01-29 14:33:29 +0000465 EXPECT_UMR(break_optimization((void*)(U8)a[GetPoisonedZero()]));
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000466 delete a;
467}
468
469TEST(MemorySanitizer, StoreToDirtyAddress) {
470 int *a = new int;
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000471 EXPECT_UMR(a[GetPoisonedZero()] = 0);
Evgeniy Stepanov12c46932013-01-29 14:33:29 +0000472 break_optimization(a);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000473 delete a;
474}
475
476
477NOINLINE void StackTestFunc() {
478 S4 p4;
479 S4 ok4 = 1;
480 S2 p2;
481 S2 ok2 = 1;
482 S1 p1;
483 S1 ok1 = 1;
Evgeniy Stepanov12c46932013-01-29 14:33:29 +0000484 break_optimization(&p4);
485 break_optimization(&ok4);
486 break_optimization(&p2);
487 break_optimization(&ok2);
488 break_optimization(&p1);
489 break_optimization(&ok1);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000490
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000491 EXPECT_POISONED(p4);
492 EXPECT_POISONED(p2);
493 EXPECT_POISONED(p1);
494 EXPECT_NOT_POISONED(ok1);
495 EXPECT_NOT_POISONED(ok2);
496 EXPECT_NOT_POISONED(ok4);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000497}
498
499TEST(MemorySanitizer, StackTest) {
500 StackTestFunc();
501}
502
503NOINLINE void StackStressFunc() {
504 int foo[10000];
Evgeniy Stepanov12c46932013-01-29 14:33:29 +0000505 break_optimization(foo);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000506}
507
508TEST(MemorySanitizer, DISABLED_StackStressTest) {
509 for (int i = 0; i < 1000000; i++)
510 StackStressFunc();
511}
512
513template<class T>
514void TestFloatingPoint() {
515 static volatile T v;
516 static T g[100];
Evgeniy Stepanov12c46932013-01-29 14:33:29 +0000517 break_optimization(&g);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000518 T *x = GetPoisoned<T>();
519 T *y = GetPoisoned<T>(1);
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000520 EXPECT_POISONED(*x);
521 EXPECT_POISONED((long long)*x);
522 EXPECT_POISONED((int)*x);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000523 g[0] = *x;
524 g[1] = *x + *y;
525 g[2] = *x - *y;
526 g[3] = *x * *y;
527}
528
529TEST(MemorySanitizer, FloatingPointTest) {
530 TestFloatingPoint<float>();
531 TestFloatingPoint<double>();
532}
533
534TEST(MemorySanitizer, DynMem) {
535 S4 x = 0;
536 S4 *y = GetPoisoned<S4>();
537 memcpy(y, &x, g_one * sizeof(S4));
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000538 EXPECT_NOT_POISONED(*y);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000539}
540
541static char *DynRetTestStr;
542
543TEST(MemorySanitizer, DynRet) {
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000544 ReturnPoisoned<S8>();
Stephen Hines86277eb2015-03-23 12:06:32 -0700545 EXPECT_NOT_POISONED(atoi("0"));
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000546}
547
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000548TEST(MemorySanitizer, DynRet1) {
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000549 ReturnPoisoned<S8>();
550}
551
552struct LargeStruct {
553 S4 x[10];
554};
555
556NOINLINE
557LargeStruct LargeRetTest() {
558 LargeStruct res;
559 res.x[0] = *GetPoisoned<S4>();
560 res.x[1] = *GetPoisoned<S4>();
561 res.x[2] = *GetPoisoned<S4>();
562 res.x[3] = *GetPoisoned<S4>();
563 res.x[4] = *GetPoisoned<S4>();
564 res.x[5] = *GetPoisoned<S4>();
565 res.x[6] = *GetPoisoned<S4>();
566 res.x[7] = *GetPoisoned<S4>();
567 res.x[8] = *GetPoisoned<S4>();
568 res.x[9] = *GetPoisoned<S4>();
569 return res;
570}
571
Alexey Samsonov67505a82013-07-16 12:51:53 +0000572TEST(MemorySanitizer, strcmp) {
573 char s1[10];
574 char s2[10];
575 strncpy(s1, "foo", 10);
576 s2[0] = 'f';
577 s2[1] = 'n';
578 EXPECT_GT(strcmp(s1, s2), 0);
579 s2[1] = 'o';
580 int res;
581 EXPECT_UMR(res = strcmp(s1, s2));
582 EXPECT_NOT_POISONED(res);
583 EXPECT_EQ(strncmp(s1, s2, 1), 0);
584}
585
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000586TEST(MemorySanitizer, LargeRet) {
587 LargeStruct a = LargeRetTest();
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000588 EXPECT_POISONED(a.x[0]);
589 EXPECT_POISONED(a.x[9]);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000590}
591
Evgeniy Stepanov12049792013-08-08 11:44:05 +0000592TEST(MemorySanitizer, strerror) {
593 char *buf = strerror(EINVAL);
594 EXPECT_NOT_POISONED(strlen(buf));
595 buf = strerror(123456);
596 EXPECT_NOT_POISONED(strlen(buf));
597}
598
599TEST(MemorySanitizer, strerror_r) {
600 errno = 0;
601 char buf[1000];
Stephen Hines86277eb2015-03-23 12:06:32 -0700602 char *res = (char*) (size_t) strerror_r(EINVAL, buf, sizeof(buf));
Evgeniy Stepanov12049792013-08-08 11:44:05 +0000603 ASSERT_EQ(0, errno);
604 if (!res) res = buf; // POSIX version success.
605 EXPECT_NOT_POISONED(strlen(res));
606}
607
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000608TEST(MemorySanitizer, fread) {
609 char *x = new char[32];
Stephen Hines86277eb2015-03-23 12:06:32 -0700610 FILE *f = fopen(FILE_TO_READ, "r");
Stephen Hines2d1fdb22014-05-28 23:58:16 -0700611 ASSERT_TRUE(f != NULL);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000612 fread(x, 1, 32, f);
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000613 EXPECT_NOT_POISONED(x[0]);
614 EXPECT_NOT_POISONED(x[16]);
615 EXPECT_NOT_POISONED(x[31]);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000616 fclose(f);
Stephen Hines6d186232014-11-26 17:56:19 -0800617 delete[] x;
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000618}
619
620TEST(MemorySanitizer, read) {
621 char *x = new char[32];
Stephen Hines86277eb2015-03-23 12:06:32 -0700622 int fd = open(FILE_TO_READ, O_RDONLY);
Stephen Hines2d1fdb22014-05-28 23:58:16 -0700623 ASSERT_GT(fd, 0);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000624 int sz = read(fd, x, 32);
Stephen Hines2d1fdb22014-05-28 23:58:16 -0700625 ASSERT_EQ(sz, 32);
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000626 EXPECT_NOT_POISONED(x[0]);
627 EXPECT_NOT_POISONED(x[16]);
628 EXPECT_NOT_POISONED(x[31]);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000629 close(fd);
Stephen Hines6d186232014-11-26 17:56:19 -0800630 delete[] x;
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000631}
632
633TEST(MemorySanitizer, pread) {
634 char *x = new char[32];
Stephen Hines86277eb2015-03-23 12:06:32 -0700635 int fd = open(FILE_TO_READ, O_RDONLY);
Stephen Hines2d1fdb22014-05-28 23:58:16 -0700636 ASSERT_GT(fd, 0);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000637 int sz = pread(fd, x, 32, 0);
Stephen Hines2d1fdb22014-05-28 23:58:16 -0700638 ASSERT_EQ(sz, 32);
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000639 EXPECT_NOT_POISONED(x[0]);
640 EXPECT_NOT_POISONED(x[16]);
641 EXPECT_NOT_POISONED(x[31]);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000642 close(fd);
Stephen Hines6d186232014-11-26 17:56:19 -0800643 delete[] x;
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000644}
645
Evgeniy Stepanovb916e6a2013-06-24 10:43:23 +0000646TEST(MemorySanitizer, readv) {
647 char buf[2011];
648 struct iovec iov[2];
649 iov[0].iov_base = buf + 1;
650 iov[0].iov_len = 5;
651 iov[1].iov_base = buf + 10;
652 iov[1].iov_len = 2000;
Stephen Hines86277eb2015-03-23 12:06:32 -0700653 int fd = open(FILE_TO_READ, O_RDONLY);
Stephen Hines2d1fdb22014-05-28 23:58:16 -0700654 ASSERT_GT(fd, 0);
Evgeniy Stepanovb916e6a2013-06-24 10:43:23 +0000655 int sz = readv(fd, iov, 2);
Stephen Hines2d1fdb22014-05-28 23:58:16 -0700656 ASSERT_GE(sz, 0);
Stephen Hines86277eb2015-03-23 12:06:32 -0700657 ASSERT_LE(sz, 5 + 2000);
Stephen Hines2d1fdb22014-05-28 23:58:16 -0700658 ASSERT_GT((size_t)sz, iov[0].iov_len);
Evgeniy Stepanovb916e6a2013-06-24 10:43:23 +0000659 EXPECT_POISONED(buf[0]);
660 EXPECT_NOT_POISONED(buf[1]);
661 EXPECT_NOT_POISONED(buf[5]);
662 EXPECT_POISONED(buf[6]);
663 EXPECT_POISONED(buf[9]);
664 EXPECT_NOT_POISONED(buf[10]);
665 EXPECT_NOT_POISONED(buf[10 + (sz - 1) - 5]);
666 EXPECT_POISONED(buf[11 + (sz - 1) - 5]);
667 close(fd);
668}
669
670TEST(MemorySanitizer, preadv) {
671 char buf[2011];
672 struct iovec iov[2];
673 iov[0].iov_base = buf + 1;
674 iov[0].iov_len = 5;
675 iov[1].iov_base = buf + 10;
676 iov[1].iov_len = 2000;
Stephen Hines86277eb2015-03-23 12:06:32 -0700677 int fd = open(FILE_TO_READ, O_RDONLY);
Stephen Hines2d1fdb22014-05-28 23:58:16 -0700678 ASSERT_GT(fd, 0);
Evgeniy Stepanovb916e6a2013-06-24 10:43:23 +0000679 int sz = preadv(fd, iov, 2, 3);
Stephen Hines2d1fdb22014-05-28 23:58:16 -0700680 ASSERT_GE(sz, 0);
Stephen Hines86277eb2015-03-23 12:06:32 -0700681 ASSERT_LE(sz, 5 + 2000);
Stephen Hines2d1fdb22014-05-28 23:58:16 -0700682 ASSERT_GT((size_t)sz, iov[0].iov_len);
Evgeniy Stepanovb916e6a2013-06-24 10:43:23 +0000683 EXPECT_POISONED(buf[0]);
684 EXPECT_NOT_POISONED(buf[1]);
685 EXPECT_NOT_POISONED(buf[5]);
686 EXPECT_POISONED(buf[6]);
687 EXPECT_POISONED(buf[9]);
688 EXPECT_NOT_POISONED(buf[10]);
689 EXPECT_NOT_POISONED(buf[10 + (sz - 1) - 5]);
690 EXPECT_POISONED(buf[11 + (sz - 1) - 5]);
691 close(fd);
692}
693
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000694// FIXME: fails now.
695TEST(MemorySanitizer, DISABLED_ioctl) {
696 struct winsize ws;
697 EXPECT_EQ(ioctl(2, TIOCGWINSZ, &ws), 0);
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000698 EXPECT_NOT_POISONED(ws.ws_col);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000699}
700
701TEST(MemorySanitizer, readlink) {
702 char *x = new char[1000];
Stephen Hines86277eb2015-03-23 12:06:32 -0700703 readlink(SYMLINK_TO_READ, x, 1000);
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000704 EXPECT_NOT_POISONED(x[0]);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000705 delete [] x;
706}
707
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000708TEST(MemorySanitizer, stat) {
709 struct stat* st = new struct stat;
Stephen Hines86277eb2015-03-23 12:06:32 -0700710 int res = stat(FILE_TO_READ, st);
Stephen Hines2d1fdb22014-05-28 23:58:16 -0700711 ASSERT_EQ(0, res);
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000712 EXPECT_NOT_POISONED(st->st_dev);
713 EXPECT_NOT_POISONED(st->st_mode);
714 EXPECT_NOT_POISONED(st->st_size);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000715}
716
Evgeniy Stepanovbb229422013-09-09 13:40:41 +0000717TEST(MemorySanitizer, fstatat) {
718 struct stat* st = new struct stat;
Stephen Hines86277eb2015-03-23 12:06:32 -0700719 int dirfd = open(DIR_TO_READ, O_RDONLY);
Stephen Hines2d1fdb22014-05-28 23:58:16 -0700720 ASSERT_GT(dirfd, 0);
Stephen Hines86277eb2015-03-23 12:06:32 -0700721 int res = fstatat(dirfd, SUBFILE_TO_READ, st, 0);
Stephen Hines2d1fdb22014-05-28 23:58:16 -0700722 ASSERT_EQ(0, res);
Evgeniy Stepanovbb229422013-09-09 13:40:41 +0000723 EXPECT_NOT_POISONED(st->st_dev);
724 EXPECT_NOT_POISONED(st->st_mode);
725 EXPECT_NOT_POISONED(st->st_size);
726 close(dirfd);
727}
728
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000729TEST(MemorySanitizer, statfs) {
Evgeniy Stepanov5cee73e2013-10-18 11:14:16 +0000730 struct statfs st;
731 int res = statfs("/", &st);
Stephen Hines2d1fdb22014-05-28 23:58:16 -0700732 ASSERT_EQ(0, res);
Evgeniy Stepanov5cee73e2013-10-18 11:14:16 +0000733 EXPECT_NOT_POISONED(st.f_type);
734 EXPECT_NOT_POISONED(st.f_bfree);
735 EXPECT_NOT_POISONED(st.f_namelen);
736}
737
738TEST(MemorySanitizer, statvfs) {
739 struct statvfs st;
740 int res = statvfs("/", &st);
Stephen Hines2d1fdb22014-05-28 23:58:16 -0700741 ASSERT_EQ(0, res);
Evgeniy Stepanov5cee73e2013-10-18 11:14:16 +0000742 EXPECT_NOT_POISONED(st.f_bsize);
743 EXPECT_NOT_POISONED(st.f_blocks);
744 EXPECT_NOT_POISONED(st.f_bfree);
745 EXPECT_NOT_POISONED(st.f_namemax);
746}
747
748TEST(MemorySanitizer, fstatvfs) {
749 struct statvfs st;
750 int fd = open("/", O_RDONLY | O_DIRECTORY);
751 int res = fstatvfs(fd, &st);
Stephen Hines2d1fdb22014-05-28 23:58:16 -0700752 ASSERT_EQ(0, res);
Evgeniy Stepanov5cee73e2013-10-18 11:14:16 +0000753 EXPECT_NOT_POISONED(st.f_bsize);
754 EXPECT_NOT_POISONED(st.f_blocks);
755 EXPECT_NOT_POISONED(st.f_bfree);
756 EXPECT_NOT_POISONED(st.f_namemax);
757 close(fd);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000758}
759
760TEST(MemorySanitizer, pipe) {
761 int* pipefd = new int[2];
762 int res = pipe(pipefd);
Stephen Hines2d1fdb22014-05-28 23:58:16 -0700763 ASSERT_EQ(0, res);
Evgeniy Stepanov11929002013-01-22 12:29:00 +0000764 EXPECT_NOT_POISONED(pipefd[0]);
765 EXPECT_NOT_POISONED(pipefd[1]);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +0000766 close(pipefd[0]);
767 close(pipefd[1]);
768}
769
Evgeniy Stepanov134fe8a2013-04-08 13:45:12 +0000770TEST(MemorySanitizer, pipe2) {
771 int* pipefd = new int[2];
772 int res = pipe2(pipefd, O_NONBLOCK);
Stephen Hines2d1fdb22014-05-28 23:58:16 -0700773 ASSERT_EQ(0, res);
Evgeniy Stepanov134fe8a2013-04-08 13:45:12 +0000774 EXPECT_NOT_POISONED(pipefd[0]);
775 EXPECT_NOT_POISONED(pipefd[1]);
776 close(pipefd[0]);
777 close(pipefd[1]);
778}
779
780TEST(MemorySanitizer, socketpair) {
781 int sv[2];
782 int res = socketpair(AF_UNIX, SOCK_STREAM, 0, sv);
Stephen Hines2d1fdb22014-05-28 23:58:16 -0700783 ASSERT_EQ(0, res);
Evgeniy Stepanov134fe8a2013-04-08 13:45:12 +0000784 EXPECT_NOT_POISONED(sv[0]);
785 EXPECT_NOT_POISONED(sv[1]);
786 close(sv[0]);
787 close(sv[1]);
788}
789
Evgeniy Stepanove18e3f02013-08-12 13:19:53 +0000790TEST(MemorySanitizer, poll) {
791 int* pipefd = new int[2];
792 int res = pipe(pipefd);
793 ASSERT_EQ(0, res);
794
795 char data = 42;
796 res = write(pipefd[1], &data, 1);
797 ASSERT_EQ(1, res);
798
799 pollfd fds[2];
800 fds[0].fd = pipefd[0];
801 fds[0].events = POLLIN;
802 fds[1].fd = pipefd[1];
803 fds[1].events = POLLIN;
804 res = poll(fds, 2, 500);
805 ASSERT_EQ(1, res);
806 EXPECT_NOT_POISONED(fds[0].revents);
807 EXPECT_NOT_POISONED(fds[1].revents);
808
809 close(pipefd[0]);
810 close(pipefd[1]);
811}
812
Stephen Hines86277eb2015-03-23 12:06:32 -0700813// There is no ppoll() on FreeBSD.
814#if !defined (__FreeBSD__)
Evgeniy Stepanov47177ef2013-08-27 11:10:20 +0000815TEST(MemorySanitizer, ppoll) {
816 int* pipefd = new int[2];
817 int res = pipe(pipefd);
818 ASSERT_EQ(0, res);
819
820 char data = 42;
821 res = write(pipefd[1], &data, 1);
822 ASSERT_EQ(1, res);
823
824 pollfd fds[2];
825 fds[0].fd = pipefd[0];
826 fds[0].events = POLLIN;
827 fds[1].fd = pipefd[1];
828 fds[1].events = POLLIN;
829 sigset_t ss;
830 sigemptyset(&ss);
831 res = ppoll(fds, 2, NULL, &ss);
832 ASSERT_EQ(1, res);
833 EXPECT_NOT_POISONED(fds[0].revents);
834 EXPECT_NOT_POISONED(fds[1].revents);
835
836 close(pipefd[0]);
837 close(pipefd[1]);
838}
Stephen Hines86277eb2015-03-23 12:06:32 -0700839#endif
Evgeniy Stepanov47177ef2013-08-27 11:10:20 +0000840
Evgeniy Stepanove18e3f02013-08-12 13:19:53 +0000841TEST(MemorySanitizer, poll_positive) {
842 int* pipefd = new int[2];
843 int res = pipe(pipefd);
844 ASSERT_EQ(0, res);
845
846 pollfd fds[2];
847 fds[0].fd = pipefd[0];
848 fds[0].events = POLLIN;
849 // fds[1].fd uninitialized
850 fds[1].events = POLLIN;
851 EXPECT_UMR(poll(fds, 2, 0));
852
853 close(pipefd[0]);
854 close(pipefd[1]);
855}
856
Evgeniy Stepanov9f58c5c2013-05-22 13:46:22 +0000857TEST(MemorySanitizer, bind_getsockname) {
858 int sock = socket(AF_UNIX, SOCK_STREAM, 0);
859
860 struct sockaddr_in sai;
861 memset(&sai, 0, sizeof(sai));
862 sai.sin_family = AF_UNIX;
863 int res = bind(sock, (struct sockaddr *)&sai, sizeof(sai));
864
Stephen Hines2d1fdb22014-05-28 23:58:16 -0700865 ASSERT_EQ(0, res);
Evgeniy Stepanov9f58c5c2013-05-22 13:46:22 +0000866 char buf[200];
867 socklen_t addrlen;
868 EXPECT_UMR(getsockname(sock, (struct sockaddr *)&buf, &addrlen));
869
870 addrlen = sizeof(buf);
871 res = getsockname(sock, (struct sockaddr *)&buf, &addrlen);
872 EXPECT_NOT_POISONED(addrlen);
873 EXPECT_NOT_POISONED(buf[0]);
874 EXPECT_NOT_POISONED(buf[addrlen - 1]);
875 EXPECT_POISONED(buf[addrlen]);
876 close(sock);
877}
878
Evgeniy Stepanov9d1525e2013-05-29 09:09:58 +0000879TEST(MemorySanitizer, accept) {
880 int listen_socket = socket(AF_INET, SOCK_STREAM, 0);
881 ASSERT_LT(0, listen_socket);
882
883 struct sockaddr_in sai;
Evgeniy Stepanovab8bf092013-10-17 11:32:30 +0000884 memset(&sai, 0, sizeof(sai));
Evgeniy Stepanov9d1525e2013-05-29 09:09:58 +0000885 sai.sin_family = AF_INET;
886 sai.sin_port = 0;
887 sai.sin_addr.s_addr = htonl(INADDR_LOOPBACK);
888 int res = bind(listen_socket, (struct sockaddr *)&sai, sizeof(sai));
889 ASSERT_EQ(0, res);
890
891 res = listen(listen_socket, 1);
892 ASSERT_EQ(0, res);
893
894 socklen_t sz = sizeof(sai);
895 res = getsockname(listen_socket, (struct sockaddr *)&sai, &sz);
896 ASSERT_EQ(0, res);
897 ASSERT_EQ(sizeof(sai), sz);
Evgeniy Stepanovbc33e132013-05-29 11:49:25 +0000898
Evgeniy Stepanov9d1525e2013-05-29 09:09:58 +0000899 int connect_socket = socket(AF_INET, SOCK_STREAM, 0);
900 ASSERT_LT(0, connect_socket);
901 res = fcntl(connect_socket, F_SETFL, O_NONBLOCK);
902 ASSERT_EQ(0, res);
903 res = connect(connect_socket, (struct sockaddr *)&sai, sizeof(sai));
Stephen Hines86277eb2015-03-23 12:06:32 -0700904 // On FreeBSD this connection completes immediately.
905 if (res != 0) {
906 ASSERT_EQ(-1, res);
907 ASSERT_EQ(EINPROGRESS, errno);
908 }
Evgeniy Stepanov9d1525e2013-05-29 09:09:58 +0000909
910 __msan_poison(&sai, sizeof(sai));
Evgeniy Stepanovbc33e132013-05-29 11:49:25 +0000911 int new_sock = accept(listen_socket, (struct sockaddr *)&sai, &sz);
Evgeniy Stepanov9d1525e2013-05-29 09:09:58 +0000912 ASSERT_LT(0, new_sock);
913 ASSERT_EQ(sizeof(sai), sz);
914 EXPECT_NOT_POISONED(sai);
915
Evgeniy Stepanovbc33e132013-05-29 11:49:25 +0000916 __msan_poison(&sai, sizeof(sai));
917 res = getpeername(new_sock, (struct sockaddr *)&sai, &sz);
918 ASSERT_EQ(0, res);
919 ASSERT_EQ(sizeof(sai), sz);
920 EXPECT_NOT_POISONED(sai);
921
Evgeniy Stepanov9d1525e2013-05-29 09:09:58 +0000922 close(new_sock);
923 close(connect_socket);
924 close(listen_socket);
925}
926
Evgeniy Stepanov512c6162013-05-29 12:33:31 +0000927TEST(MemorySanitizer, getaddrinfo) {
928 struct addrinfo *ai;
929 struct addrinfo hints;
930 memset(&hints, 0, sizeof(hints));
931 hints.ai_family = AF_INET;
932 int res = getaddrinfo("localhost", NULL, &hints, &ai);
933 ASSERT_EQ(0, res);
934 EXPECT_NOT_POISONED(*ai);
935 ASSERT_EQ(sizeof(sockaddr_in), ai->ai_addrlen);
936 EXPECT_NOT_POISONED(*(sockaddr_in*)ai->ai_addr);
937}
938
Evgeniy Stepanov9eedf482013-07-01 13:51:31 +0000939TEST(MemorySanitizer, getnameinfo) {
940 struct sockaddr_in sai;
Evgeniy Stepanovab8bf092013-10-17 11:32:30 +0000941 memset(&sai, 0, sizeof(sai));
Evgeniy Stepanov9eedf482013-07-01 13:51:31 +0000942 sai.sin_family = AF_INET;
943 sai.sin_port = 80;
944 sai.sin_addr.s_addr = htonl(INADDR_LOOPBACK);
945 char host[500];
946 char serv[500];
947 int res = getnameinfo((struct sockaddr *)&sai, sizeof(sai), host,
948 sizeof(host), serv, sizeof(serv), 0);
949 ASSERT_EQ(0, res);
950 EXPECT_NOT_POISONED(host[0]);
951 EXPECT_POISONED(host[sizeof(host) - 1]);
952
Stephen Hines2d1fdb22014-05-28 23:58:16 -0700953 ASSERT_NE(0U, strlen(host));
Evgeniy Stepanov9eedf482013-07-01 13:51:31 +0000954 EXPECT_NOT_POISONED(serv[0]);
955 EXPECT_POISONED(serv[sizeof(serv) - 1]);
Stephen Hines2d1fdb22014-05-28 23:58:16 -0700956 ASSERT_NE(0U, strlen(serv));
Evgeniy Stepanov9eedf482013-07-01 13:51:31 +0000957}
958
Evgeniy Stepanov0a2cc372013-05-23 11:10:23 +0000959#define EXPECT_HOSTENT_NOT_POISONED(he) \
960 do { \
961 EXPECT_NOT_POISONED(*(he)); \
962 ASSERT_NE((void *) 0, (he)->h_name); \
963 ASSERT_NE((void *) 0, (he)->h_aliases); \
964 ASSERT_NE((void *) 0, (he)->h_addr_list); \
965 EXPECT_NOT_POISONED(strlen((he)->h_name)); \
966 char **p = (he)->h_aliases; \
967 while (*p) { \
968 EXPECT_NOT_POISONED(strlen(*p)); \
969 ++p; \
970 } \
971 char **q = (he)->h_addr_list; \
972 while (*q) { \
973 EXPECT_NOT_POISONED(*q[0]); \
974 ++q; \
975 } \
976 EXPECT_NOT_POISONED(*q); \
977 } while (0)
978
979TEST(MemorySanitizer, gethostent) {
980 struct hostent *he = gethostent();
981 ASSERT_NE((void *)NULL, he);
982 EXPECT_HOSTENT_NOT_POISONED(he);
983}
984
Evgeniy Stepanov263800b2013-06-27 13:21:00 +0000985#ifndef MSAN_TEST_DISABLE_GETHOSTBYNAME
986
Evgeniy Stepanov0a2cc372013-05-23 11:10:23 +0000987TEST(MemorySanitizer, gethostbyname) {
988 struct hostent *he = gethostbyname("localhost");
989 ASSERT_NE((void *)NULL, he);
990 EXPECT_HOSTENT_NOT_POISONED(he);
991}
992
Evgeniy Stepanov263800b2013-06-27 13:21:00 +0000993#endif // MSAN_TEST_DISABLE_GETHOSTBYNAME
994
Evgeniy Stepanovab8bf092013-10-17 11:32:30 +0000995TEST(MemorySanitizer, recvmsg) {
996 int server_socket = socket(AF_INET, SOCK_DGRAM, 0);
997 ASSERT_LT(0, server_socket);
998
999 struct sockaddr_in sai;
1000 memset(&sai, 0, sizeof(sai));
1001 sai.sin_family = AF_INET;
1002 sai.sin_port = 0;
1003 sai.sin_addr.s_addr = htonl(INADDR_LOOPBACK);
1004 int res = bind(server_socket, (struct sockaddr *)&sai, sizeof(sai));
1005 ASSERT_EQ(0, res);
1006
1007 socklen_t sz = sizeof(sai);
1008 res = getsockname(server_socket, (struct sockaddr *)&sai, &sz);
1009 ASSERT_EQ(0, res);
1010 ASSERT_EQ(sizeof(sai), sz);
1011
1012
1013 int client_socket = socket(AF_INET, SOCK_DGRAM, 0);
1014 ASSERT_LT(0, client_socket);
1015
1016 struct sockaddr_in client_sai;
1017 memset(&client_sai, 0, sizeof(client_sai));
1018 client_sai.sin_family = AF_INET;
1019 client_sai.sin_port = 0;
1020 client_sai.sin_addr.s_addr = htonl(INADDR_LOOPBACK);
1021 res = bind(client_socket, (struct sockaddr *)&client_sai, sizeof(client_sai));
1022 ASSERT_EQ(0, res);
1023
1024 sz = sizeof(client_sai);
1025 res = getsockname(client_socket, (struct sockaddr *)&client_sai, &sz);
1026 ASSERT_EQ(0, res);
1027 ASSERT_EQ(sizeof(client_sai), sz);
1028
Evgeniy Stepanovab8bf092013-10-17 11:32:30 +00001029 const char *s = "message text";
1030 struct iovec iov;
1031 iov.iov_base = (void *)s;
1032 iov.iov_len = strlen(s) + 1;
1033 struct msghdr msg;
1034 memset(&msg, 0, sizeof(msg));
1035 msg.msg_name = &sai;
1036 msg.msg_namelen = sizeof(sai);
1037 msg.msg_iov = &iov;
1038 msg.msg_iovlen = 1;
1039 res = sendmsg(client_socket, &msg, 0);
1040 ASSERT_LT(0, res);
1041
1042
1043 char buf[1000];
1044 struct iovec recv_iov;
1045 recv_iov.iov_base = (void *)&buf;
1046 recv_iov.iov_len = sizeof(buf);
1047 struct sockaddr_in recv_sai;
1048 struct msghdr recv_msg;
1049 memset(&recv_msg, 0, sizeof(recv_msg));
1050 recv_msg.msg_name = &recv_sai;
1051 recv_msg.msg_namelen = sizeof(recv_sai);
1052 recv_msg.msg_iov = &recv_iov;
1053 recv_msg.msg_iovlen = 1;
1054 res = recvmsg(server_socket, &recv_msg, 0);
1055 ASSERT_LT(0, res);
1056
1057 ASSERT_EQ(sizeof(recv_sai), recv_msg.msg_namelen);
1058 EXPECT_NOT_POISONED(*(struct sockaddr_in *)recv_msg.msg_name);
1059 EXPECT_STREQ(s, buf);
1060
1061 close(server_socket);
1062 close(client_socket);
1063}
1064
Evgeniy Stepanov0a2cc372013-05-23 11:10:23 +00001065TEST(MemorySanitizer, gethostbyname2) {
1066 struct hostent *he = gethostbyname2("localhost", AF_INET);
1067 ASSERT_NE((void *)NULL, he);
1068 EXPECT_HOSTENT_NOT_POISONED(he);
1069}
1070
1071TEST(MemorySanitizer, gethostbyaddr) {
1072 in_addr_t addr = inet_addr("127.0.0.1");
1073 EXPECT_NOT_POISONED(addr);
1074 struct hostent *he = gethostbyaddr(&addr, sizeof(addr), AF_INET);
1075 ASSERT_NE((void *)NULL, he);
1076 EXPECT_HOSTENT_NOT_POISONED(he);
1077}
1078
1079TEST(MemorySanitizer, gethostent_r) {
1080 char buf[2000];
1081 struct hostent he;
1082 struct hostent *result;
1083 int err;
1084 int res = gethostent_r(&he, buf, sizeof(buf), &result, &err);
1085 ASSERT_EQ(0, res);
1086 EXPECT_NOT_POISONED(result);
1087 ASSERT_NE((void *)NULL, result);
1088 EXPECT_HOSTENT_NOT_POISONED(result);
1089 EXPECT_NOT_POISONED(err);
1090}
1091
1092TEST(MemorySanitizer, gethostbyname_r) {
1093 char buf[2000];
1094 struct hostent he;
1095 struct hostent *result;
1096 int err;
1097 int res = gethostbyname_r("localhost", &he, buf, sizeof(buf), &result, &err);
1098 ASSERT_EQ(0, res);
1099 EXPECT_NOT_POISONED(result);
1100 ASSERT_NE((void *)NULL, result);
1101 EXPECT_HOSTENT_NOT_POISONED(result);
1102 EXPECT_NOT_POISONED(err);
1103}
1104
Stephen Hines2d1fdb22014-05-28 23:58:16 -07001105TEST(MemorySanitizer, gethostbyname_r_bad_host_name) {
1106 char buf[2000];
1107 struct hostent he;
1108 struct hostent *result;
1109 int err;
1110 int res = gethostbyname_r("bad-host-name", &he, buf, sizeof(buf), &result, &err);
1111 ASSERT_EQ((struct hostent *)0, result);
1112 EXPECT_NOT_POISONED(err);
1113}
1114
1115TEST(MemorySanitizer, gethostbyname_r_erange) {
1116 char buf[5];
1117 struct hostent he;
1118 struct hostent *result;
1119 int err;
1120 int res = gethostbyname_r("localhost", &he, buf, sizeof(buf), &result, &err);
1121 ASSERT_EQ(ERANGE, res);
1122 EXPECT_NOT_POISONED(err);
1123}
1124
Evgeniy Stepanov0a2cc372013-05-23 11:10:23 +00001125TEST(MemorySanitizer, gethostbyname2_r) {
1126 char buf[2000];
1127 struct hostent he;
1128 struct hostent *result;
1129 int err;
1130 int res = gethostbyname2_r("localhost", AF_INET, &he, buf, sizeof(buf),
1131 &result, &err);
1132 ASSERT_EQ(0, res);
1133 EXPECT_NOT_POISONED(result);
1134 ASSERT_NE((void *)NULL, result);
1135 EXPECT_HOSTENT_NOT_POISONED(result);
1136 EXPECT_NOT_POISONED(err);
1137}
1138
1139TEST(MemorySanitizer, gethostbyaddr_r) {
1140 char buf[2000];
1141 struct hostent he;
1142 struct hostent *result;
1143 int err;
1144 in_addr_t addr = inet_addr("127.0.0.1");
1145 EXPECT_NOT_POISONED(addr);
1146 int res = gethostbyaddr_r(&addr, sizeof(addr), AF_INET, &he, buf, sizeof(buf),
1147 &result, &err);
1148 ASSERT_EQ(0, res);
1149 EXPECT_NOT_POISONED(result);
1150 ASSERT_NE((void *)NULL, result);
1151 EXPECT_HOSTENT_NOT_POISONED(result);
1152 EXPECT_NOT_POISONED(err);
1153}
1154
Evgeniy Stepanovf32be422013-05-23 11:38:08 +00001155TEST(MemorySanitizer, getsockopt) {
1156 int sock = socket(AF_UNIX, SOCK_STREAM, 0);
1157 struct linger l[2];
1158 socklen_t sz = sizeof(l[0]);
1159 int res = getsockopt(sock, SOL_SOCKET, SO_LINGER, &l[0], &sz);
1160 ASSERT_EQ(0, res);
1161 ASSERT_EQ(sizeof(l[0]), sz);
1162 EXPECT_NOT_POISONED(l[0]);
1163 EXPECT_POISONED(*(char *)(l + 1));
1164}
1165
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00001166TEST(MemorySanitizer, getcwd) {
1167 char path[PATH_MAX + 1];
1168 char* res = getcwd(path, sizeof(path));
Stephen Hines2d1fdb22014-05-28 23:58:16 -07001169 ASSERT_TRUE(res != NULL);
Evgeniy Stepanov11929002013-01-22 12:29:00 +00001170 EXPECT_NOT_POISONED(path[0]);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00001171}
1172
Evgeniy Stepanov7eed04c2013-02-12 14:36:22 +00001173TEST(MemorySanitizer, getcwd_gnu) {
1174 char* res = getcwd(NULL, 0);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07001175 ASSERT_TRUE(res != NULL);
Evgeniy Stepanov7eed04c2013-02-12 14:36:22 +00001176 EXPECT_NOT_POISONED(res[0]);
1177 free(res);
1178}
1179
Stephen Hines86277eb2015-03-23 12:06:32 -07001180// There's no get_current_dir_name() on FreeBSD.
1181#if !defined(__FreeBSD__)
Evgeniy Stepanov80144892013-07-02 13:34:44 +00001182TEST(MemorySanitizer, get_current_dir_name) {
1183 char* res = get_current_dir_name();
Stephen Hines2d1fdb22014-05-28 23:58:16 -07001184 ASSERT_TRUE(res != NULL);
Evgeniy Stepanov80144892013-07-02 13:34:44 +00001185 EXPECT_NOT_POISONED(res[0]);
1186 free(res);
1187}
Stephen Hines86277eb2015-03-23 12:06:32 -07001188#endif
Evgeniy Stepanov80144892013-07-02 13:34:44 +00001189
Evgeniy Stepanov10362d62013-10-24 14:47:34 +00001190TEST(MemorySanitizer, shmctl) {
1191 int id = shmget(IPC_PRIVATE, 4096, 0644 | IPC_CREAT);
1192 ASSERT_GT(id, -1);
1193
1194 struct shmid_ds ds;
1195 int res = shmctl(id, IPC_STAT, &ds);
1196 ASSERT_GT(res, -1);
1197 EXPECT_NOT_POISONED(ds);
1198
Stephen Hines86277eb2015-03-23 12:06:32 -07001199 // FreeBSD does not support shmctl(IPC_INFO) and shmctl(SHM_INFO).
1200#if !defined(__FreeBSD__)
Evgeniy Stepanov10362d62013-10-24 14:47:34 +00001201 struct shminfo si;
1202 res = shmctl(id, IPC_INFO, (struct shmid_ds *)&si);
1203 ASSERT_GT(res, -1);
1204 EXPECT_NOT_POISONED(si);
1205
1206 struct shm_info s_i;
1207 res = shmctl(id, SHM_INFO, (struct shmid_ds *)&s_i);
1208 ASSERT_GT(res, -1);
1209 EXPECT_NOT_POISONED(s_i);
Stephen Hines86277eb2015-03-23 12:06:32 -07001210#endif
Evgeniy Stepanov10362d62013-10-24 14:47:34 +00001211
1212 res = shmctl(id, IPC_RMID, 0);
1213 ASSERT_GT(res, -1);
1214}
1215
Evgeniy Stepanovf3603892013-10-29 02:48:49 +00001216TEST(MemorySanitizer, shmat) {
1217 void *p = mmap(NULL, 4096, PROT_READ | PROT_WRITE,
Stephen Hines86277eb2015-03-23 12:06:32 -07001218 MAP_PRIVATE | MAP_ANONYMOUS, -1, 0);
Evgeniy Stepanovf3603892013-10-29 02:48:49 +00001219 ASSERT_NE(MAP_FAILED, p);
1220
1221 ((char *)p)[10] = *GetPoisoned<U1>();
1222 ((char *)p)[4095] = *GetPoisoned<U1>();
1223
1224 int res = munmap(p, 4096);
1225 ASSERT_EQ(0, res);
1226
1227 int id = shmget(IPC_PRIVATE, 4096, 0644 | IPC_CREAT);
1228 ASSERT_GT(id, -1);
1229
1230 void *q = shmat(id, p, 0);
1231 ASSERT_EQ(p, q);
1232
1233 EXPECT_NOT_POISONED(((char *)q)[0]);
1234 EXPECT_NOT_POISONED(((char *)q)[10]);
1235 EXPECT_NOT_POISONED(((char *)q)[4095]);
1236
1237 res = shmdt(q);
1238 ASSERT_EQ(0, res);
1239
1240 res = shmctl(id, IPC_RMID, 0);
1241 ASSERT_GT(res, -1);
1242}
1243
Stephen Hines86277eb2015-03-23 12:06:32 -07001244// There's no random_r() on FreeBSD.
1245#if !defined(__FreeBSD__)
Evgeniy Stepanovaff25aa2013-10-25 08:58:13 +00001246TEST(MemorySanitizer, random_r) {
1247 int32_t x;
1248 char z[64];
Evgeniy Stepanovaff25aa2013-10-25 08:58:13 +00001249 memset(z, 0, sizeof(z));
Evgeniy Stepanove46ecb12013-10-25 13:03:20 +00001250
1251 struct random_data buf;
1252 memset(&buf, 0, sizeof(buf));
1253
Evgeniy Stepanovaff25aa2013-10-25 08:58:13 +00001254 int res = initstate_r(0, z, sizeof(z), &buf);
1255 ASSERT_EQ(0, res);
1256
1257 res = random_r(&buf, &x);
1258 ASSERT_EQ(0, res);
1259 EXPECT_NOT_POISONED(x);
1260}
Stephen Hines86277eb2015-03-23 12:06:32 -07001261#endif
Evgeniy Stepanov10362d62013-10-24 14:47:34 +00001262
Evgeniy Stepanov5ec19bc2013-07-30 12:46:59 +00001263TEST(MemorySanitizer, confstr) {
1264 char buf[3];
1265 size_t res = confstr(_CS_PATH, buf, sizeof(buf));
1266 ASSERT_GT(res, sizeof(buf));
1267 EXPECT_NOT_POISONED(buf[0]);
1268 EXPECT_NOT_POISONED(buf[sizeof(buf) - 1]);
1269
1270 char buf2[1000];
1271 res = confstr(_CS_PATH, buf2, sizeof(buf2));
1272 ASSERT_LT(res, sizeof(buf2));
1273 EXPECT_NOT_POISONED(buf2[0]);
1274 EXPECT_NOT_POISONED(buf2[res - 1]);
1275 EXPECT_POISONED(buf2[res]);
1276 ASSERT_EQ(res, strlen(buf2) + 1);
1277}
1278
Stephen Hines86277eb2015-03-23 12:06:32 -07001279TEST(MemorySanitizer, opendir) {
1280 DIR *dir = opendir(".");
1281 closedir(dir);
1282
1283 char name[10] = ".";
1284 __msan_poison(name, sizeof(name));
1285 EXPECT_UMR(dir = opendir(name));
1286 closedir(dir);
1287}
1288
Evgeniy Stepanovd97a15a2013-03-14 12:49:23 +00001289TEST(MemorySanitizer, readdir) {
1290 DIR *dir = opendir(".");
1291 struct dirent *d = readdir(dir);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07001292 ASSERT_TRUE(d != NULL);
Evgeniy Stepanovd97a15a2013-03-14 12:49:23 +00001293 EXPECT_NOT_POISONED(d->d_name[0]);
1294 closedir(dir);
1295}
1296
Evgeniy Stepanovb5cf98f2013-06-26 15:00:53 +00001297TEST(MemorySanitizer, readdir_r) {
1298 DIR *dir = opendir(".");
1299 struct dirent d;
1300 struct dirent *pd;
1301 int res = readdir_r(dir, &d, &pd);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07001302 ASSERT_EQ(0, res);
Evgeniy Stepanovb5cf98f2013-06-26 15:00:53 +00001303 EXPECT_NOT_POISONED(pd);
1304 EXPECT_NOT_POISONED(d.d_name[0]);
1305 closedir(dir);
1306}
1307
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00001308TEST(MemorySanitizer, realpath) {
1309 const char* relpath = ".";
1310 char path[PATH_MAX + 1];
1311 char* res = realpath(relpath, path);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07001312 ASSERT_TRUE(res != NULL);
Evgeniy Stepanov11929002013-01-22 12:29:00 +00001313 EXPECT_NOT_POISONED(path[0]);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00001314}
1315
Evgeniy Stepanov12eb79d2013-07-09 09:53:37 +00001316TEST(MemorySanitizer, realpath_null) {
1317 const char* relpath = ".";
1318 char* res = realpath(relpath, NULL);
1319 printf("%d, %s\n", errno, strerror(errno));
Stephen Hines2d1fdb22014-05-28 23:58:16 -07001320 ASSERT_TRUE(res != NULL);
Evgeniy Stepanov12eb79d2013-07-09 09:53:37 +00001321 EXPECT_NOT_POISONED(res[0]);
1322 free(res);
1323}
1324
Stephen Hines86277eb2015-03-23 12:06:32 -07001325// There's no canonicalize_file_name() on FreeBSD.
1326#if !defined(__FreeBSD__)
Evgeniy Stepanov12eb79d2013-07-09 09:53:37 +00001327TEST(MemorySanitizer, canonicalize_file_name) {
1328 const char* relpath = ".";
1329 char* res = canonicalize_file_name(relpath);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07001330 ASSERT_TRUE(res != NULL);
Evgeniy Stepanov12eb79d2013-07-09 09:53:37 +00001331 EXPECT_NOT_POISONED(res[0]);
1332 free(res);
1333}
Stephen Hines86277eb2015-03-23 12:06:32 -07001334#endif
Evgeniy Stepanov12eb79d2013-07-09 09:53:37 +00001335
Evgeniy Stepanov534e2ba2013-08-01 11:14:14 +00001336extern char **environ;
1337
1338TEST(MemorySanitizer, setenv) {
1339 setenv("AAA", "BBB", 1);
1340 for (char **envp = environ; *envp; ++envp) {
1341 EXPECT_NOT_POISONED(*envp);
1342 EXPECT_NOT_POISONED(*envp[0]);
1343 }
1344}
1345
1346TEST(MemorySanitizer, putenv) {
1347 char s[] = "AAA=BBB";
1348 putenv(s);
1349 for (char **envp = environ; *envp; ++envp) {
1350 EXPECT_NOT_POISONED(*envp);
1351 EXPECT_NOT_POISONED(*envp[0]);
1352 }
1353}
1354
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00001355TEST(MemorySanitizer, memcpy) {
1356 char* x = new char[2];
1357 char* y = new char[2];
1358 x[0] = 1;
1359 x[1] = *GetPoisoned<char>();
1360 memcpy(y, x, 2);
Evgeniy Stepanov11929002013-01-22 12:29:00 +00001361 EXPECT_NOT_POISONED(y[0]);
1362 EXPECT_POISONED(y[1]);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00001363}
1364
Stephen Hines6a211c52014-07-21 00:49:56 -07001365void TestUnalignedMemcpy(unsigned left, unsigned right, bool src_is_aligned,
1366 bool src_is_poisoned, bool dst_is_poisoned) {
1367 fprintf(stderr, "%s(%d, %d, %d, %d, %d)\n", __func__, left, right,
1368 src_is_aligned, src_is_poisoned, dst_is_poisoned);
1369
1370 const unsigned sz = 20;
1371 U4 dst_origin, src_origin;
Evgeniy Stepanov450eee62013-10-24 11:56:03 +00001372 char *dst = (char *)malloc(sz);
Stephen Hines6a211c52014-07-21 00:49:56 -07001373 if (dst_is_poisoned)
1374 dst_origin = __msan_get_origin(dst);
1375 else
1376 memset(dst, 0, sz);
Evgeniy Stepanov450eee62013-10-24 11:56:03 +00001377
1378 char *src = (char *)malloc(sz);
Stephen Hines6a211c52014-07-21 00:49:56 -07001379 if (src_is_poisoned)
1380 src_origin = __msan_get_origin(src);
1381 else
1382 memset(src, 0, sz);
Evgeniy Stepanov450eee62013-10-24 11:56:03 +00001383
1384 memcpy(dst + left, src_is_aligned ? src + left : src, sz - left - right);
Stephen Hines6a211c52014-07-21 00:49:56 -07001385
1386 for (unsigned i = 0; i < (left & (~3U)); ++i)
1387 if (dst_is_poisoned)
1388 EXPECT_POISONED_O(dst[i], dst_origin);
1389 else
1390 EXPECT_NOT_POISONED(dst[i]);
1391
1392 for (unsigned i = 0; i < (right & (~3U)); ++i)
1393 if (dst_is_poisoned)
1394 EXPECT_POISONED_O(dst[sz - i - 1], dst_origin);
1395 else
1396 EXPECT_NOT_POISONED(dst[sz - i - 1]);
1397
1398 for (unsigned i = left; i < sz - right; ++i)
1399 if (src_is_poisoned)
1400 EXPECT_POISONED_O(dst[i], src_origin);
1401 else
1402 EXPECT_NOT_POISONED(dst[i]);
Evgeniy Stepanov450eee62013-10-24 11:56:03 +00001403
1404 free(dst);
1405 free(src);
1406}
1407
1408TEST(MemorySanitizer, memcpy_unaligned) {
Stephen Hines6a211c52014-07-21 00:49:56 -07001409 for (int i = 0; i < 10; ++i)
1410 for (int j = 0; j < 10; ++j)
1411 for (int aligned = 0; aligned < 2; ++aligned)
1412 for (int srcp = 0; srcp < 2; ++srcp)
1413 for (int dstp = 0; dstp < 2; ++dstp)
1414 TestUnalignedMemcpy(i, j, aligned, srcp, dstp);
Evgeniy Stepanov450eee62013-10-24 11:56:03 +00001415}
1416
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00001417TEST(MemorySanitizer, memmove) {
1418 char* x = new char[2];
1419 char* y = new char[2];
1420 x[0] = 1;
1421 x[1] = *GetPoisoned<char>();
1422 memmove(y, x, 2);
Evgeniy Stepanov11929002013-01-22 12:29:00 +00001423 EXPECT_NOT_POISONED(y[0]);
1424 EXPECT_POISONED(y[1]);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00001425}
1426
Evgeniy Stepanov5492ff92013-11-01 23:49:48 +00001427TEST(MemorySanitizer, memccpy_nomatch) {
1428 char* x = new char[5];
1429 char* y = new char[5];
1430 strcpy(x, "abc");
1431 memccpy(y, x, 'd', 4);
1432 EXPECT_NOT_POISONED(y[0]);
1433 EXPECT_NOT_POISONED(y[1]);
1434 EXPECT_NOT_POISONED(y[2]);
1435 EXPECT_NOT_POISONED(y[3]);
1436 EXPECT_POISONED(y[4]);
1437 delete[] x;
1438 delete[] y;
1439}
1440
1441TEST(MemorySanitizer, memccpy_match) {
1442 char* x = new char[5];
1443 char* y = new char[5];
1444 strcpy(x, "abc");
1445 memccpy(y, x, 'b', 4);
1446 EXPECT_NOT_POISONED(y[0]);
1447 EXPECT_NOT_POISONED(y[1]);
1448 EXPECT_POISONED(y[2]);
1449 EXPECT_POISONED(y[3]);
1450 EXPECT_POISONED(y[4]);
1451 delete[] x;
1452 delete[] y;
1453}
1454
1455TEST(MemorySanitizer, memccpy_nomatch_positive) {
1456 char* x = new char[5];
1457 char* y = new char[5];
1458 strcpy(x, "abc");
1459 EXPECT_UMR(memccpy(y, x, 'd', 5));
1460 delete[] x;
1461 delete[] y;
1462}
1463
1464TEST(MemorySanitizer, memccpy_match_positive) {
1465 char* x = new char[5];
1466 char* y = new char[5];
1467 x[0] = 'a';
1468 x[2] = 'b';
1469 EXPECT_UMR(memccpy(y, x, 'b', 5));
1470 delete[] x;
1471 delete[] y;
1472}
1473
Evgeniy Stepanovff6c9fb2013-07-04 13:19:41 +00001474TEST(MemorySanitizer, bcopy) {
1475 char* x = new char[2];
1476 char* y = new char[2];
1477 x[0] = 1;
1478 x[1] = *GetPoisoned<char>();
1479 bcopy(x, y, 2);
1480 EXPECT_NOT_POISONED(y[0]);
1481 EXPECT_POISONED(y[1]);
1482}
1483
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00001484TEST(MemorySanitizer, strdup) {
Evgeniy Stepanov8aa1ae02013-03-14 11:10:36 +00001485 char buf[4] = "abc";
1486 __msan_poison(buf + 2, sizeof(*buf));
1487 char *x = strdup(buf);
1488 EXPECT_NOT_POISONED(x[0]);
1489 EXPECT_NOT_POISONED(x[1]);
1490 EXPECT_POISONED(x[2]);
1491 EXPECT_NOT_POISONED(x[3]);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00001492 free(x);
1493}
1494
Evgeniy Stepanov8aa1ae02013-03-14 11:10:36 +00001495TEST(MemorySanitizer, strndup) {
1496 char buf[4] = "abc";
1497 __msan_poison(buf + 2, sizeof(*buf));
1498 char *x = strndup(buf, 3);
1499 EXPECT_NOT_POISONED(x[0]);
1500 EXPECT_NOT_POISONED(x[1]);
1501 EXPECT_POISONED(x[2]);
1502 EXPECT_NOT_POISONED(x[3]);
1503 free(x);
1504}
1505
1506TEST(MemorySanitizer, strndup_short) {
1507 char buf[4] = "abc";
1508 __msan_poison(buf + 1, sizeof(*buf));
1509 __msan_poison(buf + 2, sizeof(*buf));
1510 char *x = strndup(buf, 2);
1511 EXPECT_NOT_POISONED(x[0]);
1512 EXPECT_POISONED(x[1]);
Evgeniy Stepanov1d21bd12013-03-14 11:58:13 +00001513 EXPECT_NOT_POISONED(x[2]);
Evgeniy Stepanov8aa1ae02013-03-14 11:10:36 +00001514 free(x);
1515}
1516
1517
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00001518template<class T, int size>
1519void TestOverlapMemmove() {
1520 T *x = new T[size];
Stephen Hines2d1fdb22014-05-28 23:58:16 -07001521 ASSERT_GE(size, 3);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00001522 x[2] = 0;
1523 memmove(x, x + 1, (size - 1) * sizeof(T));
Evgeniy Stepanov11929002013-01-22 12:29:00 +00001524 EXPECT_NOT_POISONED(x[1]);
Stephen Hines6d186232014-11-26 17:56:19 -08001525 EXPECT_POISONED(x[0]);
1526 EXPECT_POISONED(x[2]);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00001527 delete [] x;
1528}
1529
1530TEST(MemorySanitizer, overlap_memmove) {
1531 TestOverlapMemmove<U1, 10>();
1532 TestOverlapMemmove<U1, 1000>();
1533 TestOverlapMemmove<U8, 4>();
1534 TestOverlapMemmove<U8, 1000>();
1535}
1536
1537TEST(MemorySanitizer, strcpy) { // NOLINT
1538 char* x = new char[3];
1539 char* y = new char[3];
1540 x[0] = 'a';
1541 x[1] = *GetPoisoned<char>(1, 1);
1542 x[2] = 0;
1543 strcpy(y, x); // NOLINT
Evgeniy Stepanov11929002013-01-22 12:29:00 +00001544 EXPECT_NOT_POISONED(y[0]);
1545 EXPECT_POISONED(y[1]);
1546 EXPECT_NOT_POISONED(y[2]);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00001547}
1548
1549TEST(MemorySanitizer, strncpy) { // NOLINT
1550 char* x = new char[3];
Stephen Hines6d186232014-11-26 17:56:19 -08001551 char* y = new char[5];
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00001552 x[0] = 'a';
1553 x[1] = *GetPoisoned<char>(1, 1);
Stephen Hines6d186232014-11-26 17:56:19 -08001554 x[2] = '\0';
1555 strncpy(y, x, 4); // NOLINT
Evgeniy Stepanov11929002013-01-22 12:29:00 +00001556 EXPECT_NOT_POISONED(y[0]);
1557 EXPECT_POISONED(y[1]);
Stephen Hines6d186232014-11-26 17:56:19 -08001558 EXPECT_NOT_POISONED(y[2]);
1559 EXPECT_NOT_POISONED(y[3]);
1560 EXPECT_POISONED(y[4]);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00001561}
1562
Evgeniy Stepanov4bbbe132013-07-01 15:19:37 +00001563TEST(MemorySanitizer, stpcpy) { // NOLINT
1564 char* x = new char[3];
1565 char* y = new char[3];
1566 x[0] = 'a';
1567 x[1] = *GetPoisoned<char>(1, 1);
1568 x[2] = 0;
1569 char *res = stpcpy(y, x); // NOLINT
1570 ASSERT_EQ(res, y + 2);
1571 EXPECT_NOT_POISONED(y[0]);
1572 EXPECT_POISONED(y[1]);
1573 EXPECT_NOT_POISONED(y[2]);
1574}
1575
Stephen Hines2d1fdb22014-05-28 23:58:16 -07001576TEST(MemorySanitizer, strcat) { // NOLINT
1577 char a[10];
1578 char b[] = "def";
1579 strcpy(a, "abc");
1580 __msan_poison(b + 1, 1);
1581 strcat(a, b);
1582 EXPECT_NOT_POISONED(a[3]);
1583 EXPECT_POISONED(a[4]);
1584 EXPECT_NOT_POISONED(a[5]);
1585 EXPECT_NOT_POISONED(a[6]);
1586 EXPECT_POISONED(a[7]);
1587}
1588
1589TEST(MemorySanitizer, strncat) { // NOLINT
1590 char a[10];
1591 char b[] = "def";
1592 strcpy(a, "abc");
1593 __msan_poison(b + 1, 1);
1594 strncat(a, b, 5);
1595 EXPECT_NOT_POISONED(a[3]);
1596 EXPECT_POISONED(a[4]);
1597 EXPECT_NOT_POISONED(a[5]);
1598 EXPECT_NOT_POISONED(a[6]);
1599 EXPECT_POISONED(a[7]);
1600}
1601
1602TEST(MemorySanitizer, strncat_overflow) { // NOLINT
1603 char a[10];
1604 char b[] = "def";
1605 strcpy(a, "abc");
1606 __msan_poison(b + 1, 1);
1607 strncat(a, b, 2);
1608 EXPECT_NOT_POISONED(a[3]);
1609 EXPECT_POISONED(a[4]);
1610 EXPECT_NOT_POISONED(a[5]);
1611 EXPECT_POISONED(a[6]);
1612 EXPECT_POISONED(a[7]);
1613}
1614
Stephen Hines86277eb2015-03-23 12:06:32 -07001615#define TEST_STRTO_INT(func_name, char_type, str_prefix) \
1616 TEST(MemorySanitizer, func_name) { \
1617 char_type *e; \
1618 EXPECT_EQ(1U, func_name(str_prefix##"1", &e, 10)); \
1619 EXPECT_NOT_POISONED((S8)e); \
Stephen Hines2d1fdb22014-05-28 23:58:16 -07001620 }
1621
Stephen Hines86277eb2015-03-23 12:06:32 -07001622#define TEST_STRTO_FLOAT(func_name, char_type, str_prefix) \
1623 TEST(MemorySanitizer, func_name) { \
1624 char_type *e; \
1625 EXPECT_NE(0, func_name(str_prefix##"1.5", &e)); \
1626 EXPECT_NOT_POISONED((S8)e); \
Stephen Hines2d1fdb22014-05-28 23:58:16 -07001627 }
1628
Stephen Hines86277eb2015-03-23 12:06:32 -07001629#define TEST_STRTO_FLOAT_LOC(func_name, char_type, str_prefix) \
Stephen Hines2d1fdb22014-05-28 23:58:16 -07001630 TEST(MemorySanitizer, func_name) { \
1631 locale_t loc = newlocale(LC_NUMERIC_MASK, "C", (locale_t)0); \
Stephen Hines86277eb2015-03-23 12:06:32 -07001632 char_type *e; \
1633 EXPECT_NE(0, func_name(str_prefix##"1.5", &e, loc)); \
Stephen Hines2d1fdb22014-05-28 23:58:16 -07001634 EXPECT_NOT_POISONED((S8)e); \
1635 freelocale(loc); \
1636 }
1637
Stephen Hines86277eb2015-03-23 12:06:32 -07001638#define TEST_STRTO_INT_LOC(func_name, char_type, str_prefix) \
Stephen Hines2d1fdb22014-05-28 23:58:16 -07001639 TEST(MemorySanitizer, func_name) { \
1640 locale_t loc = newlocale(LC_NUMERIC_MASK, "C", (locale_t)0); \
Stephen Hines86277eb2015-03-23 12:06:32 -07001641 char_type *e; \
1642 ASSERT_EQ(1U, func_name(str_prefix##"1", &e, 10, loc)); \
Stephen Hines2d1fdb22014-05-28 23:58:16 -07001643 EXPECT_NOT_POISONED((S8)e); \
1644 freelocale(loc); \
1645 }
1646
Stephen Hines86277eb2015-03-23 12:06:32 -07001647TEST_STRTO_INT(strtol, char, )
1648TEST_STRTO_INT(strtoll, char, )
1649TEST_STRTO_INT(strtoul, char, )
1650TEST_STRTO_INT(strtoull, char, )
Stephen Hines2d1fdb22014-05-28 23:58:16 -07001651
Stephen Hines86277eb2015-03-23 12:06:32 -07001652TEST_STRTO_FLOAT(strtof, char, )
1653TEST_STRTO_FLOAT(strtod, char, )
1654TEST_STRTO_FLOAT(strtold, char, )
Stephen Hines2d1fdb22014-05-28 23:58:16 -07001655
Stephen Hines86277eb2015-03-23 12:06:32 -07001656TEST_STRTO_FLOAT_LOC(strtof_l, char, )
1657TEST_STRTO_FLOAT_LOC(strtod_l, char, )
1658TEST_STRTO_FLOAT_LOC(strtold_l, char, )
Stephen Hines2d1fdb22014-05-28 23:58:16 -07001659
Stephen Hines86277eb2015-03-23 12:06:32 -07001660TEST_STRTO_INT_LOC(strtol_l, char, )
1661TEST_STRTO_INT_LOC(strtoll_l, char, )
1662TEST_STRTO_INT_LOC(strtoul_l, char, )
1663TEST_STRTO_INT_LOC(strtoull_l, char, )
1664
1665TEST_STRTO_INT(wcstol, wchar_t, L)
1666TEST_STRTO_INT(wcstoll, wchar_t, L)
1667TEST_STRTO_INT(wcstoul, wchar_t, L)
1668TEST_STRTO_INT(wcstoull, wchar_t, L)
1669
1670TEST_STRTO_FLOAT(wcstof, wchar_t, L)
1671TEST_STRTO_FLOAT(wcstod, wchar_t, L)
1672TEST_STRTO_FLOAT(wcstold, wchar_t, L)
1673
1674TEST_STRTO_FLOAT_LOC(wcstof_l, wchar_t, L)
1675TEST_STRTO_FLOAT_LOC(wcstod_l, wchar_t, L)
1676TEST_STRTO_FLOAT_LOC(wcstold_l, wchar_t, L)
1677
1678TEST_STRTO_INT_LOC(wcstol_l, wchar_t, L)
1679TEST_STRTO_INT_LOC(wcstoll_l, wchar_t, L)
1680TEST_STRTO_INT_LOC(wcstoul_l, wchar_t, L)
1681TEST_STRTO_INT_LOC(wcstoull_l, wchar_t, L)
1682
Stephen Hines2d1fdb22014-05-28 23:58:16 -07001683
Stephen Hines6a211c52014-07-21 00:49:56 -07001684TEST(MemorySanitizer, strtoimax) {
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00001685 char *e;
Stephen Hines2d1fdb22014-05-28 23:58:16 -07001686 ASSERT_EQ(1, strtoimax("1", &e, 10));
Evgeniy Stepanov11929002013-01-22 12:29:00 +00001687 EXPECT_NOT_POISONED((S8) e);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00001688}
1689
Stephen Hines6a211c52014-07-21 00:49:56 -07001690TEST(MemorySanitizer, strtoumax) {
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00001691 char *e;
Stephen Hines2d1fdb22014-05-28 23:58:16 -07001692 ASSERT_EQ(1U, strtoumax("1", &e, 10));
Evgeniy Stepanov11929002013-01-22 12:29:00 +00001693 EXPECT_NOT_POISONED((S8) e);
Evgeniy Stepanove03345b2013-01-17 13:42:17 +00001694}
1695
Evgeniy Stepanov3f4beff2013-10-14 11:52:40 +00001696#ifdef __GLIBC__
Stephen Hines2d1fdb22014-05-28 23:58:16 -07001697extern "C" float __strtof_l(const char *nptr, char **endptr, locale_t loc);
Stephen Hines86277eb2015-03-23 12:06:32 -07001698TEST_STRTO_FLOAT_LOC(__strtof_l, char, )
Evgeniy Stepanov3f4beff2013-10-14 11:52:40 +00001699extern "C" double __strtod_l(const char *nptr, char **endptr, locale_t loc);
Stephen Hines86277eb2015-03-23 12:06:32 -07001700TEST_STRTO_FLOAT_LOC(__strtod_l, char, )
Stephen Hines2d1fdb22014-05-28 23:58:16 -07001701extern "C" long double __strtold_l(const char *nptr, char **endptr,
1702 locale_t loc);
Stephen Hines86277eb2015-03-23 12:06:32 -07001703TEST_STRTO_FLOAT_LOC(__strtold_l, char, )
1704
1705extern "C" float __wcstof_l(const wchar_t *nptr, wchar_t **endptr, locale_t loc);
1706TEST_STRTO_FLOAT_LOC(__wcstof_l, wchar_t, L)
1707extern "C" double __wcstod_l(const wchar_t *nptr, wchar_t **endptr, locale_t loc);
1708TEST_STRTO_FLOAT_LOC(__wcstod_l, wchar_t, L)
1709extern "C" long double __wcstold_l(const wchar_t *nptr, wchar_t **endptr,
1710 locale_t loc);
1711TEST_STRTO_FLOAT_LOC(__wcstold_l, wchar_t, L)
Evgeniy Stepanov3f4beff2013-10-14 11:52:40 +00001712#endif // __GLIBC__
1713
Evgeniy Stepanovc87088b2013-05-29 10:03:11 +00001714TEST(MemorySanitizer, modf) {
1715 double x, y;
1716 x = modf(2.1, &y);
1717 EXPECT_NOT_POISONED(y);
1718}
1719
1720TEST(MemorySanitizer, modff) {
1721 float x, y;
1722 x = modff(2.1, &y);
1723 EXPECT_NOT_POISONED(y);
1724}
1725
1726TEST(MemorySanitizer, modfl) {
1727 long double x, y;
1728 x = modfl(2.1, &y);
1729 EXPECT_NOT_POISONED(y);
1730}
1731
Stephen Hines86277eb2015-03-23 12:06:32 -07001732// There's no sincos() on FreeBSD.
1733#if !defined(__FreeBSD__)
Evgeniy Stepanovf814b432013-10-29 19:49:35 +00001734TEST(MemorySanitizer, sincos) {
1735 double s, c;
1736 sincos(0.2, &s, &c);
1737 EXPECT_NOT_POISONED(s);
1738 EXPECT_NOT_POISONED(c);
1739}
Stephen Hines86277eb2015-03-23 12:06:32 -07001740#endif
Evgeniy Stepanovf814b432013-10-29 19:49:35 +00001741
Stephen Hines86277eb2015-03-23 12:06:32 -07001742// There's no sincosf() on FreeBSD.
1743#if !defined(__FreeBSD__)
Evgeniy Stepanovf814b432013-10-29 19:49:35 +00001744TEST(MemorySanitizer, sincosf) {
1745 float s, c;
1746 sincosf(0.2, &s, &c);
1747 EXPECT_NOT_POISONED(s);
1748 EXPECT_NOT_POISONED(c);
1749}
Stephen Hines86277eb2015-03-23 12:06:32 -07001750#endif
Evgeniy Stepanovf814b432013-10-29 19:49:35 +00001751
Stephen Hines86277eb2015-03-23 12:06:32 -07001752// There's no sincosl() on FreeBSD.
1753#if !defined(__FreeBSD__)
Evgeniy Stepanovf814b432013-10-29 19:49:35 +00001754TEST(MemorySanitizer, sincosl) {
1755 long double s, c;
1756 sincosl(0.2, &s, &c);
1757 EXPECT_NOT_POISONED(s);
1758 EXPECT_NOT_POISONED(c);
1759}
Stephen Hines86277eb2015-03-23 12:06:32 -07001760#endif
Evgeniy Stepanovf814b432013-10-29 19:49:35 +00001761
1762TEST(MemorySanitizer, remquo) {
1763 int quo;
1764 double res = remquo(29.0, 3.0, &quo);
1765 ASSERT_NE(0.0, res);
1766 EXPECT_NOT_POISONED(quo);
1767}
1768
1769TEST(MemorySanitizer, remquof) {
1770 int quo;
1771 float res = remquof(29.0, 3.0, &quo);
1772 ASSERT_NE(0.0, res);
1773 EXPECT_NOT_POISONED(quo);
1774}
1775
1776TEST(MemorySanitizer, remquol) {
1777 int quo;
1778 long double res = remquof(29.0, 3.0, &quo);
1779 ASSERT_NE(0.0, res);
1780 EXPECT_NOT_POISONED(quo);
1781}
1782
1783TEST(MemorySanitizer, lgamma) {
1784 double res = lgamma(1.1);
1785 ASSERT_NE(0.0, res);
1786 EXPECT_NOT_POISONED(signgam);
1787}
1788
1789TEST(MemorySanitizer, lgammaf) {
1790 float res = lgammaf(1.1);
1791 ASSERT_NE(0.0, res);
1792 EXPECT_NOT_POISONED(signgam);
1793}
1794
1795TEST(MemorySanitizer, lgammal) {
1796 long double res = lgammal(1.1);
1797 ASSERT_NE(0.0, res);
1798 EXPECT_NOT_POISONED(signgam);
1799}
1800
1801TEST(MemorySanitizer, lgamma_r) {
1802 int sgn;
1803 double res = lgamma_r(1.1, &sgn);
1804 ASSERT_NE(0.0, res);
1805 EXPECT_NOT_POISONED(sgn);
1806}
1807
1808TEST(MemorySanitizer, lgammaf_r) {
1809 int sgn;
1810 float res = lgammaf_r(1.1, &sgn);
1811 ASSERT_NE(0.0, res);
1812 EXPECT_NOT_POISONED(sgn);
1813}
1814
Stephen Hines86277eb2015-03-23 12:06:32 -07001815// There's no lgammal_r() on FreeBSD.
1816#if !defined(__FreeBSD__)
Evgeniy Stepanovf814b432013-10-29 19:49:35 +00001817TEST(MemorySanitizer, lgammal_r) {
1818 int sgn;
1819 long double res = lgammal_r(1.1, &sgn);
1820 ASSERT_NE(0.0, res);
1821 EXPECT_NOT_POISONED(sgn);
1822}
Stephen Hines86277eb2015-03-23 12:06:32 -07001823#endif
Evgeniy Stepanovf814b432013-10-29 19:49:35 +00001824
Stephen Hines86277eb2015-03-23 12:06:32 -07001825// There's no drand48_r() on FreeBSD.
1826#if !defined(__FreeBSD__)
Evgeniy Stepanov78d77c22013-10-29 22:25:27 +00001827TEST(MemorySanitizer, drand48_r) {
1828 struct drand48_data buf;
1829 srand48_r(0, &buf);
1830 double d;
1831 drand48_r(&buf, &d);
1832 EXPECT_NOT_POISONED(d);
1833}
Stephen Hines86277eb2015-03-23 12:06:32 -07001834#endif
Evgeniy Stepanov78d77c22013-10-29 22:25:27 +00001835
Stephen Hines86277eb2015-03-23 12:06:32 -07001836// There's no lrand48_r() on FreeBSD.
1837#if !defined(__FreeBSD__)
Evgeniy Stepanov78d77c22013-10-29 22:25:27 +00001838TEST(MemorySanitizer, lrand48_r) {
1839 struct drand48_data buf;
1840 srand48_r(0, &buf);
1841 long d;
1842 lrand48_r(&buf, &d);
1843 EXPECT_NOT_POISONED(d);
1844}
Stephen Hines86277eb2015-03-23 12:06:32 -07001845#endif
Evgeniy Stepanov78d77c22013-10-29 22:25:27 +00001846
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00001847TEST(MemorySanitizer, sprintf) { // NOLINT
1848 char buff[10];
Evgeniy Stepanov12c46932013-01-29 14:33:29 +00001849 break_optimization(buff);
Evgeniy Stepanov11929002013-01-22 12:29:00 +00001850 EXPECT_POISONED(buff[0]);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00001851 int res = sprintf(buff, "%d", 1234567); // NOLINT
Stephen Hines2d1fdb22014-05-28 23:58:16 -07001852 ASSERT_EQ(res, 7);
1853 ASSERT_EQ(buff[0], '1');
1854 ASSERT_EQ(buff[1], '2');
1855 ASSERT_EQ(buff[2], '3');
1856 ASSERT_EQ(buff[6], '7');
1857 ASSERT_EQ(buff[7], 0);
Evgeniy Stepanov11929002013-01-22 12:29:00 +00001858 EXPECT_POISONED(buff[8]);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00001859}
1860
1861TEST(MemorySanitizer, snprintf) {
1862 char buff[10];
Evgeniy Stepanov12c46932013-01-29 14:33:29 +00001863 break_optimization(buff);
Evgeniy Stepanov11929002013-01-22 12:29:00 +00001864 EXPECT_POISONED(buff[0]);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00001865 int res = snprintf(buff, sizeof(buff), "%d", 1234567);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07001866 ASSERT_EQ(res, 7);
1867 ASSERT_EQ(buff[0], '1');
1868 ASSERT_EQ(buff[1], '2');
1869 ASSERT_EQ(buff[2], '3');
1870 ASSERT_EQ(buff[6], '7');
1871 ASSERT_EQ(buff[7], 0);
Evgeniy Stepanov11929002013-01-22 12:29:00 +00001872 EXPECT_POISONED(buff[8]);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00001873}
1874
1875TEST(MemorySanitizer, swprintf) {
1876 wchar_t buff[10];
Stephen Hines2d1fdb22014-05-28 23:58:16 -07001877 ASSERT_EQ(4U, sizeof(wchar_t));
Evgeniy Stepanov12c46932013-01-29 14:33:29 +00001878 break_optimization(buff);
Evgeniy Stepanov11929002013-01-22 12:29:00 +00001879 EXPECT_POISONED(buff[0]);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00001880 int res = swprintf(buff, 9, L"%d", 1234567);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07001881 ASSERT_EQ(res, 7);
1882 ASSERT_EQ(buff[0], '1');
1883 ASSERT_EQ(buff[1], '2');
1884 ASSERT_EQ(buff[2], '3');
1885 ASSERT_EQ(buff[6], '7');
Pirama Arumuga Nainar799172d2016-03-03 15:50:30 -08001886 ASSERT_EQ(buff[7], L'\0');
Evgeniy Stepanov11929002013-01-22 12:29:00 +00001887 EXPECT_POISONED(buff[8]);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00001888}
1889
Evgeniy Stepanov0797ed42013-06-21 13:32:26 +00001890TEST(MemorySanitizer, asprintf) { // NOLINT
1891 char *pbuf;
1892 EXPECT_POISONED(pbuf);
1893 int res = asprintf(&pbuf, "%d", 1234567); // NOLINT
Stephen Hines2d1fdb22014-05-28 23:58:16 -07001894 ASSERT_EQ(res, 7);
Evgeniy Stepanov0797ed42013-06-21 13:32:26 +00001895 EXPECT_NOT_POISONED(pbuf);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07001896 ASSERT_EQ(pbuf[0], '1');
1897 ASSERT_EQ(pbuf[1], '2');
1898 ASSERT_EQ(pbuf[2], '3');
1899 ASSERT_EQ(pbuf[6], '7');
1900 ASSERT_EQ(pbuf[7], 0);
Evgeniy Stepanov0797ed42013-06-21 13:32:26 +00001901 free(pbuf);
1902}
1903
Alexey Samsonove43d2102013-07-12 11:59:58 +00001904TEST(MemorySanitizer, mbstowcs) {
1905 const char *x = "abc";
1906 wchar_t buff[10];
1907 int res = mbstowcs(buff, x, 2);
1908 EXPECT_EQ(2, res);
1909 EXPECT_EQ(L'a', buff[0]);
1910 EXPECT_EQ(L'b', buff[1]);
1911 EXPECT_POISONED(buff[2]);
1912 res = mbstowcs(buff, x, 10);
1913 EXPECT_EQ(3, res);
1914 EXPECT_NOT_POISONED(buff[3]);
1915}
1916
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00001917TEST(MemorySanitizer, wcstombs) {
1918 const wchar_t *x = L"abc";
1919 char buff[10];
1920 int res = wcstombs(buff, x, 4);
1921 EXPECT_EQ(res, 3);
1922 EXPECT_EQ(buff[0], 'a');
1923 EXPECT_EQ(buff[1], 'b');
1924 EXPECT_EQ(buff[2], 'c');
1925}
1926
Evgeniy Stepanovff6c9fb2013-07-04 13:19:41 +00001927TEST(MemorySanitizer, wcsrtombs) {
1928 const wchar_t *x = L"abc";
1929 const wchar_t *p = x;
1930 char buff[10];
1931 mbstate_t mbs;
Evgeniy Stepanov57a10952013-07-10 14:17:46 +00001932 memset(&mbs, 0, sizeof(mbs));
Evgeniy Stepanovff6c9fb2013-07-04 13:19:41 +00001933 int res = wcsrtombs(buff, &p, 4, &mbs);
1934 EXPECT_EQ(res, 3);
1935 EXPECT_EQ(buff[0], 'a');
1936 EXPECT_EQ(buff[1], 'b');
1937 EXPECT_EQ(buff[2], 'c');
Evgeniy Stepanov9b21ba62013-07-10 14:01:51 +00001938 EXPECT_EQ(buff[3], '\0');
1939 EXPECT_POISONED(buff[4]);
Evgeniy Stepanovff6c9fb2013-07-04 13:19:41 +00001940}
1941
1942TEST(MemorySanitizer, wcsnrtombs) {
1943 const wchar_t *x = L"abc";
1944 const wchar_t *p = x;
1945 char buff[10];
1946 mbstate_t mbs;
Evgeniy Stepanov57a10952013-07-10 14:17:46 +00001947 memset(&mbs, 0, sizeof(mbs));
Evgeniy Stepanovff6c9fb2013-07-04 13:19:41 +00001948 int res = wcsnrtombs(buff, &p, 2, 4, &mbs);
1949 EXPECT_EQ(res, 2);
1950 EXPECT_EQ(buff[0], 'a');
1951 EXPECT_EQ(buff[1], 'b');
Evgeniy Stepanov9b21ba62013-07-10 14:01:51 +00001952 EXPECT_POISONED(buff[2]);
Evgeniy Stepanovff6c9fb2013-07-04 13:19:41 +00001953}
1954
Pirama Arumuga Nainar799172d2016-03-03 15:50:30 -08001955TEST(MemorySanitizer, wcrtomb) {
1956 wchar_t x = L'a';
1957 char buff[10];
1958 mbstate_t mbs;
1959 memset(&mbs, 0, sizeof(mbs));
1960 size_t res = wcrtomb(buff, x, &mbs);
1961 EXPECT_EQ(res, (size_t)1);
1962 EXPECT_EQ(buff[0], 'a');
1963}
1964
Stephen Hines86277eb2015-03-23 12:06:32 -07001965TEST(MemorySanitizer, wmemset) {
1966 wchar_t x[25];
1967 break_optimization(x);
1968 EXPECT_POISONED(x[0]);
1969 wmemset(x, L'A', 10);
1970 EXPECT_EQ(x[0], L'A');
1971 EXPECT_EQ(x[9], L'A');
1972 EXPECT_POISONED(x[10]);
1973}
1974
Evgeniy Stepanov80144892013-07-02 13:34:44 +00001975TEST(MemorySanitizer, mbtowc) {
1976 const char *x = "abc";
1977 wchar_t wx;
1978 int res = mbtowc(&wx, x, 3);
1979 EXPECT_GT(res, 0);
1980 EXPECT_NOT_POISONED(wx);
1981}
1982
1983TEST(MemorySanitizer, mbrtowc) {
1984 const char *x = "abc";
1985 wchar_t wx;
1986 mbstate_t mbs;
1987 memset(&mbs, 0, sizeof(mbs));
1988 int res = mbrtowc(&wx, x, 3, &mbs);
1989 EXPECT_GT(res, 0);
1990 EXPECT_NOT_POISONED(wx);
1991}
1992
Stephen Hines2d1fdb22014-05-28 23:58:16 -07001993TEST(MemorySanitizer, wcsftime) {
1994 wchar_t x[100];
1995 time_t t = time(NULL);
1996 struct tm tms;
1997 struct tm *tmres = localtime_r(&t, &tms);
1998 ASSERT_NE((void *)0, tmres);
1999 size_t res = wcsftime(x, sizeof(x) / sizeof(x[0]), L"%Y-%m-%d", tmres);
2000 EXPECT_GT(res, 0UL);
2001 EXPECT_EQ(res, wcslen(x));
2002}
2003
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002004TEST(MemorySanitizer, gettimeofday) {
2005 struct timeval tv;
2006 struct timezone tz;
Evgeniy Stepanov12c46932013-01-29 14:33:29 +00002007 break_optimization(&tv);
2008 break_optimization(&tz);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07002009 ASSERT_EQ(16U, sizeof(tv));
2010 ASSERT_EQ(8U, sizeof(tz));
Evgeniy Stepanov11929002013-01-22 12:29:00 +00002011 EXPECT_POISONED(tv.tv_sec);
2012 EXPECT_POISONED(tv.tv_usec);
2013 EXPECT_POISONED(tz.tz_minuteswest);
2014 EXPECT_POISONED(tz.tz_dsttime);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07002015 ASSERT_EQ(0, gettimeofday(&tv, &tz));
Evgeniy Stepanov11929002013-01-22 12:29:00 +00002016 EXPECT_NOT_POISONED(tv.tv_sec);
2017 EXPECT_NOT_POISONED(tv.tv_usec);
2018 EXPECT_NOT_POISONED(tz.tz_minuteswest);
2019 EXPECT_NOT_POISONED(tz.tz_dsttime);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002020}
2021
Evgeniy Stepanove4bdda52013-04-01 14:47:21 +00002022TEST(MemorySanitizer, clock_gettime) {
2023 struct timespec tp;
2024 EXPECT_POISONED(tp.tv_sec);
2025 EXPECT_POISONED(tp.tv_nsec);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07002026 ASSERT_EQ(0, clock_gettime(CLOCK_REALTIME, &tp));
Evgeniy Stepanove4bdda52013-04-01 14:47:21 +00002027 EXPECT_NOT_POISONED(tp.tv_sec);
2028 EXPECT_NOT_POISONED(tp.tv_nsec);
2029}
2030
Evgeniy Stepanov7cdae162013-04-23 11:48:31 +00002031TEST(MemorySanitizer, clock_getres) {
2032 struct timespec tp;
2033 EXPECT_POISONED(tp.tv_sec);
2034 EXPECT_POISONED(tp.tv_nsec);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07002035 ASSERT_EQ(0, clock_getres(CLOCK_REALTIME, 0));
Evgeniy Stepanov7cdae162013-04-23 11:48:31 +00002036 EXPECT_POISONED(tp.tv_sec);
2037 EXPECT_POISONED(tp.tv_nsec);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07002038 ASSERT_EQ(0, clock_getres(CLOCK_REALTIME, &tp));
Evgeniy Stepanov7cdae162013-04-23 11:48:31 +00002039 EXPECT_NOT_POISONED(tp.tv_sec);
2040 EXPECT_NOT_POISONED(tp.tv_nsec);
2041}
2042
Evgeniy Stepanove4bdda52013-04-01 14:47:21 +00002043TEST(MemorySanitizer, getitimer) {
2044 struct itimerval it1, it2;
2045 int res;
2046 EXPECT_POISONED(it1.it_interval.tv_sec);
2047 EXPECT_POISONED(it1.it_interval.tv_usec);
2048 EXPECT_POISONED(it1.it_value.tv_sec);
2049 EXPECT_POISONED(it1.it_value.tv_usec);
2050 res = getitimer(ITIMER_VIRTUAL, &it1);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07002051 ASSERT_EQ(0, res);
Evgeniy Stepanove4bdda52013-04-01 14:47:21 +00002052 EXPECT_NOT_POISONED(it1.it_interval.tv_sec);
2053 EXPECT_NOT_POISONED(it1.it_interval.tv_usec);
2054 EXPECT_NOT_POISONED(it1.it_value.tv_sec);
2055 EXPECT_NOT_POISONED(it1.it_value.tv_usec);
2056
2057 it1.it_interval.tv_sec = it1.it_value.tv_sec = 10000;
2058 it1.it_interval.tv_usec = it1.it_value.tv_usec = 0;
2059
2060 res = setitimer(ITIMER_VIRTUAL, &it1, &it2);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07002061 ASSERT_EQ(0, res);
Evgeniy Stepanove4bdda52013-04-01 14:47:21 +00002062 EXPECT_NOT_POISONED(it2.it_interval.tv_sec);
2063 EXPECT_NOT_POISONED(it2.it_interval.tv_usec);
2064 EXPECT_NOT_POISONED(it2.it_value.tv_sec);
2065 EXPECT_NOT_POISONED(it2.it_value.tv_usec);
2066
2067 // Check that old_value can be 0, and disable the timer.
2068 memset(&it1, 0, sizeof(it1));
2069 res = setitimer(ITIMER_VIRTUAL, &it1, 0);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07002070 ASSERT_EQ(0, res);
Evgeniy Stepanove4bdda52013-04-01 14:47:21 +00002071}
2072
Evgeniy Stepanov39d68ed2013-08-06 09:54:33 +00002073TEST(MemorySanitizer, setitimer_null) {
2074 setitimer(ITIMER_VIRTUAL, 0, 0);
2075 // Not testing the return value, since it the behaviour seems to differ
2076 // between libc implementations and POSIX.
2077 // Should never crash, though.
2078}
2079
Evgeniy Stepanovfef66052013-04-08 08:25:22 +00002080TEST(MemorySanitizer, time) {
2081 time_t t;
2082 EXPECT_POISONED(t);
2083 time_t t2 = time(&t);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07002084 ASSERT_NE(t2, (time_t)-1);
Evgeniy Stepanovfef66052013-04-08 08:25:22 +00002085 EXPECT_NOT_POISONED(t);
2086}
2087
Evgeniy Stepanove4f9f8a2013-11-02 01:01:35 +00002088TEST(MemorySanitizer, strptime) {
2089 struct tm time;
2090 char *p = strptime("11/1/2013-05:39", "%m/%d/%Y-%H:%M", &time);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07002091 ASSERT_TRUE(p != NULL);
Evgeniy Stepanove4f9f8a2013-11-02 01:01:35 +00002092 EXPECT_NOT_POISONED(time.tm_sec);
2093 EXPECT_NOT_POISONED(time.tm_hour);
2094 EXPECT_NOT_POISONED(time.tm_year);
2095}
2096
Evgeniy Stepanov9358c582013-02-19 09:19:16 +00002097TEST(MemorySanitizer, localtime) {
2098 time_t t = 123;
2099 struct tm *time = localtime(&t);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07002100 ASSERT_TRUE(time != NULL);
Evgeniy Stepanov9358c582013-02-19 09:19:16 +00002101 EXPECT_NOT_POISONED(time->tm_sec);
2102 EXPECT_NOT_POISONED(time->tm_hour);
2103 EXPECT_NOT_POISONED(time->tm_year);
2104 EXPECT_NOT_POISONED(time->tm_isdst);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07002105 EXPECT_NE(0U, strlen(time->tm_zone));
Evgeniy Stepanov9358c582013-02-19 09:19:16 +00002106}
2107
2108TEST(MemorySanitizer, localtime_r) {
2109 time_t t = 123;
2110 struct tm time;
2111 struct tm *res = localtime_r(&t, &time);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07002112 ASSERT_TRUE(res != NULL);
Evgeniy Stepanov9358c582013-02-19 09:19:16 +00002113 EXPECT_NOT_POISONED(time.tm_sec);
2114 EXPECT_NOT_POISONED(time.tm_hour);
2115 EXPECT_NOT_POISONED(time.tm_year);
2116 EXPECT_NOT_POISONED(time.tm_isdst);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07002117 EXPECT_NE(0U, strlen(time.tm_zone));
Evgeniy Stepanov9358c582013-02-19 09:19:16 +00002118}
2119
Stephen Hines86277eb2015-03-23 12:06:32 -07002120// There's no getmntent() on FreeBSD.
2121#if !defined(__FreeBSD__)
Evgeniy Stepanov4d7297d2013-10-18 09:41:43 +00002122TEST(MemorySanitizer, getmntent) {
2123 FILE *fp = setmntent("/etc/fstab", "r");
2124 struct mntent *mnt = getmntent(fp);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07002125 ASSERT_TRUE(mnt != NULL);
2126 ASSERT_NE(0U, strlen(mnt->mnt_fsname));
2127 ASSERT_NE(0U, strlen(mnt->mnt_dir));
2128 ASSERT_NE(0U, strlen(mnt->mnt_type));
2129 ASSERT_NE(0U, strlen(mnt->mnt_opts));
Evgeniy Stepanov4d7297d2013-10-18 09:41:43 +00002130 EXPECT_NOT_POISONED(mnt->mnt_freq);
2131 EXPECT_NOT_POISONED(mnt->mnt_passno);
2132 fclose(fp);
2133}
Stephen Hines86277eb2015-03-23 12:06:32 -07002134#endif
Evgeniy Stepanov4d7297d2013-10-18 09:41:43 +00002135
Stephen Hines86277eb2015-03-23 12:06:32 -07002136// There's no getmntent_r() on FreeBSD.
2137#if !defined(__FreeBSD__)
Evgeniy Stepanov4d7297d2013-10-18 09:41:43 +00002138TEST(MemorySanitizer, getmntent_r) {
2139 FILE *fp = setmntent("/etc/fstab", "r");
2140 struct mntent mntbuf;
2141 char buf[1000];
2142 struct mntent *mnt = getmntent_r(fp, &mntbuf, buf, sizeof(buf));
Stephen Hines2d1fdb22014-05-28 23:58:16 -07002143 ASSERT_TRUE(mnt != NULL);
2144 ASSERT_NE(0U, strlen(mnt->mnt_fsname));
2145 ASSERT_NE(0U, strlen(mnt->mnt_dir));
2146 ASSERT_NE(0U, strlen(mnt->mnt_type));
2147 ASSERT_NE(0U, strlen(mnt->mnt_opts));
Evgeniy Stepanov4d7297d2013-10-18 09:41:43 +00002148 EXPECT_NOT_POISONED(mnt->mnt_freq);
2149 EXPECT_NOT_POISONED(mnt->mnt_passno);
2150 fclose(fp);
2151}
Stephen Hines86277eb2015-03-23 12:06:32 -07002152#endif
Evgeniy Stepanov4d7297d2013-10-18 09:41:43 +00002153
Evgeniy Stepanov369a9a62013-10-23 13:57:47 +00002154TEST(MemorySanitizer, ether) {
2155 const char *asc = "11:22:33:44:55:66";
2156 struct ether_addr *paddr = ether_aton(asc);
2157 EXPECT_NOT_POISONED(*paddr);
2158
2159 struct ether_addr addr;
2160 paddr = ether_aton_r(asc, &addr);
2161 ASSERT_EQ(paddr, &addr);
2162 EXPECT_NOT_POISONED(addr);
2163
2164 char *s = ether_ntoa(&addr);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07002165 ASSERT_NE(0U, strlen(s));
Evgeniy Stepanov369a9a62013-10-23 13:57:47 +00002166
2167 char buf[100];
2168 s = ether_ntoa_r(&addr, buf);
2169 ASSERT_EQ(s, buf);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07002170 ASSERT_NE(0U, strlen(buf));
Evgeniy Stepanov369a9a62013-10-23 13:57:47 +00002171}
2172
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002173TEST(MemorySanitizer, mmap) {
2174 const int size = 4096;
2175 void *p1, *p2;
2176 p1 = mmap(0, size, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANON, -1, 0);
2177 __msan_poison(p1, size);
2178 munmap(p1, size);
2179 for (int i = 0; i < 1000; i++) {
2180 p2 = mmap(0, size, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANON, -1, 0);
2181 if (p2 == p1)
2182 break;
2183 else
2184 munmap(p2, size);
2185 }
2186 if (p1 == p2) {
Evgeniy Stepanov11929002013-01-22 12:29:00 +00002187 EXPECT_NOT_POISONED(*(char*)p2);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002188 munmap(p2, size);
2189 }
2190}
2191
Stephen Hines86277eb2015-03-23 12:06:32 -07002192// There's no fcvt() on FreeBSD.
2193#if !defined(__FreeBSD__)
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002194// FIXME: enable and add ecvt.
2195// FIXME: check why msandr does nt handle fcvt.
2196TEST(MemorySanitizer, fcvt) {
2197 int a, b;
Evgeniy Stepanov12c46932013-01-29 14:33:29 +00002198 break_optimization(&a);
2199 break_optimization(&b);
Evgeniy Stepanov11929002013-01-22 12:29:00 +00002200 EXPECT_POISONED(a);
2201 EXPECT_POISONED(b);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002202 char *str = fcvt(12345.6789, 10, &a, &b);
Evgeniy Stepanov11929002013-01-22 12:29:00 +00002203 EXPECT_NOT_POISONED(a);
2204 EXPECT_NOT_POISONED(b);
Stephen Hines6d186232014-11-26 17:56:19 -08002205 ASSERT_NE(nullptr, str);
2206 EXPECT_NOT_POISONED(str[0]);
2207 ASSERT_NE(0U, strlen(str));
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002208}
Stephen Hines86277eb2015-03-23 12:06:32 -07002209#endif
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002210
Stephen Hines86277eb2015-03-23 12:06:32 -07002211// There's no fcvt_long() on FreeBSD.
2212#if !defined(__FreeBSD__)
Stephen Hines6d186232014-11-26 17:56:19 -08002213TEST(MemorySanitizer, fcvt_long) {
2214 int a, b;
2215 break_optimization(&a);
2216 break_optimization(&b);
2217 EXPECT_POISONED(a);
2218 EXPECT_POISONED(b);
2219 char *str = fcvt(111111112345.6789, 10, &a, &b);
2220 EXPECT_NOT_POISONED(a);
2221 EXPECT_NOT_POISONED(b);
2222 ASSERT_NE(nullptr, str);
2223 EXPECT_NOT_POISONED(str[0]);
2224 ASSERT_NE(0U, strlen(str));
2225}
Stephen Hines86277eb2015-03-23 12:06:32 -07002226#endif
Stephen Hines6d186232014-11-26 17:56:19 -08002227
Stephen Hines2d1fdb22014-05-28 23:58:16 -07002228TEST(MemorySanitizer, memchr) {
2229 char x[10];
2230 break_optimization(x);
2231 EXPECT_POISONED(x[0]);
2232 x[2] = '2';
2233 void *res;
2234 EXPECT_UMR(res = memchr(x, '2', 10));
2235 EXPECT_NOT_POISONED(res);
2236 x[0] = '0';
2237 x[1] = '1';
2238 res = memchr(x, '2', 10);
2239 EXPECT_EQ(&x[2], res);
2240 EXPECT_UMR(res = memchr(x, '3', 10));
2241 EXPECT_NOT_POISONED(res);
2242}
2243
2244TEST(MemorySanitizer, memrchr) {
2245 char x[10];
2246 break_optimization(x);
2247 EXPECT_POISONED(x[0]);
2248 x[9] = '9';
2249 void *res;
2250 EXPECT_UMR(res = memrchr(x, '9', 10));
2251 EXPECT_NOT_POISONED(res);
2252 x[0] = '0';
2253 x[1] = '1';
2254 res = memrchr(x, '0', 2);
2255 EXPECT_EQ(&x[0], res);
2256 EXPECT_UMR(res = memrchr(x, '7', 10));
2257 EXPECT_NOT_POISONED(res);
2258}
2259
Evgeniy Stepanov7cbbb292013-03-14 11:34:39 +00002260TEST(MemorySanitizer, frexp) {
2261 int x;
2262 x = *GetPoisoned<int>();
2263 double r = frexp(1.1, &x);
2264 EXPECT_NOT_POISONED(r);
2265 EXPECT_NOT_POISONED(x);
2266
2267 x = *GetPoisoned<int>();
2268 float rf = frexpf(1.1, &x);
2269 EXPECT_NOT_POISONED(rf);
2270 EXPECT_NOT_POISONED(x);
2271
2272 x = *GetPoisoned<int>();
2273 double rl = frexpl(1.1, &x);
2274 EXPECT_NOT_POISONED(rl);
2275 EXPECT_NOT_POISONED(x);
2276}
2277
Evgeniy Stepanov06658ea2013-04-04 08:22:52 +00002278namespace {
2279
2280static int cnt;
2281
2282void SigactionHandler(int signo, siginfo_t* si, void* uc) {
Stephen Hines2d1fdb22014-05-28 23:58:16 -07002283 ASSERT_EQ(signo, SIGPROF);
2284 ASSERT_TRUE(si != NULL);
Evgeniy Stepanov06658ea2013-04-04 08:22:52 +00002285 EXPECT_NOT_POISONED(si->si_errno);
2286 EXPECT_NOT_POISONED(si->si_pid);
2287#if __linux__
2288# if defined(__x86_64__)
2289 EXPECT_NOT_POISONED(((ucontext_t*)uc)->uc_mcontext.gregs[REG_RIP]);
2290# elif defined(__i386__)
2291 EXPECT_NOT_POISONED(((ucontext_t*)uc)->uc_mcontext.gregs[REG_EIP]);
2292# endif
2293#endif
2294 ++cnt;
2295}
2296
2297TEST(MemorySanitizer, sigaction) {
2298 struct sigaction act = {};
Evgeniy Stepanovcd3049d2013-04-05 12:58:07 +00002299 struct sigaction oldact = {};
Evgeniy Stepanov6d0b7f62013-04-15 13:35:05 +00002300 struct sigaction origact = {};
2301
2302 sigaction(SIGPROF, 0, &origact);
2303
Evgeniy Stepanov06658ea2013-04-04 08:22:52 +00002304 act.sa_flags |= SA_SIGINFO;
2305 act.sa_sigaction = &SigactionHandler;
2306 sigaction(SIGPROF, &act, 0);
2307
2308 kill(getpid(), SIGPROF);
2309
2310 act.sa_flags &= ~SA_SIGINFO;
2311 act.sa_handler = SIG_DFL;
2312 sigaction(SIGPROF, &act, 0);
2313
2314 act.sa_flags &= ~SA_SIGINFO;
2315 act.sa_handler = SIG_IGN;
Evgeniy Stepanovcd3049d2013-04-05 12:58:07 +00002316 sigaction(SIGPROF, &act, &oldact);
2317 EXPECT_FALSE(oldact.sa_flags & SA_SIGINFO);
2318 EXPECT_EQ(SIG_DFL, oldact.sa_handler);
Evgeniy Stepanov06658ea2013-04-04 08:22:52 +00002319 kill(getpid(), SIGPROF);
2320
2321 act.sa_flags |= SA_SIGINFO;
2322 act.sa_sigaction = &SigactionHandler;
Evgeniy Stepanovcd3049d2013-04-05 12:58:07 +00002323 sigaction(SIGPROF, &act, &oldact);
2324 EXPECT_FALSE(oldact.sa_flags & SA_SIGINFO);
2325 EXPECT_EQ(SIG_IGN, oldact.sa_handler);
Evgeniy Stepanov06658ea2013-04-04 08:22:52 +00002326 kill(getpid(), SIGPROF);
2327
2328 act.sa_flags &= ~SA_SIGINFO;
2329 act.sa_handler = SIG_DFL;
Evgeniy Stepanovcd3049d2013-04-05 12:58:07 +00002330 sigaction(SIGPROF, &act, &oldact);
2331 EXPECT_TRUE(oldact.sa_flags & SA_SIGINFO);
2332 EXPECT_EQ(&SigactionHandler, oldact.sa_sigaction);
Evgeniy Stepanov06658ea2013-04-04 08:22:52 +00002333 EXPECT_EQ(2, cnt);
Evgeniy Stepanov6d0b7f62013-04-15 13:35:05 +00002334
2335 sigaction(SIGPROF, &origact, 0);
Evgeniy Stepanov06658ea2013-04-04 08:22:52 +00002336}
2337
2338} // namespace
2339
Evgeniy Stepanov9a949a82013-09-25 14:47:43 +00002340
2341TEST(MemorySanitizer, sigemptyset) {
2342 sigset_t s;
2343 EXPECT_POISONED(s);
2344 int res = sigemptyset(&s);
2345 ASSERT_EQ(0, res);
2346 EXPECT_NOT_POISONED(s);
2347}
2348
2349TEST(MemorySanitizer, sigfillset) {
2350 sigset_t s;
2351 EXPECT_POISONED(s);
2352 int res = sigfillset(&s);
2353 ASSERT_EQ(0, res);
2354 EXPECT_NOT_POISONED(s);
2355}
2356
2357TEST(MemorySanitizer, sigpending) {
2358 sigset_t s;
2359 EXPECT_POISONED(s);
2360 int res = sigpending(&s);
2361 ASSERT_EQ(0, res);
2362 EXPECT_NOT_POISONED(s);
2363}
2364
2365TEST(MemorySanitizer, sigprocmask) {
2366 sigset_t s;
2367 EXPECT_POISONED(s);
2368 int res = sigprocmask(SIG_BLOCK, 0, &s);
2369 ASSERT_EQ(0, res);
2370 EXPECT_NOT_POISONED(s);
2371}
2372
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002373struct StructWithDtor {
2374 ~StructWithDtor();
2375};
2376
2377NOINLINE StructWithDtor::~StructWithDtor() {
Evgeniy Stepanov12c46932013-01-29 14:33:29 +00002378 break_optimization(0);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002379}
2380
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002381TEST(MemorySanitizer, Invoke) {
2382 StructWithDtor s; // Will cause the calls to become invokes.
Evgeniy Stepanov11929002013-01-22 12:29:00 +00002383 EXPECT_NOT_POISONED(0);
2384 EXPECT_POISONED(*GetPoisoned<int>());
2385 EXPECT_NOT_POISONED(0);
2386 EXPECT_POISONED(*GetPoisoned<int>());
2387 EXPECT_POISONED(ReturnPoisoned<S4>());
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002388}
2389
2390TEST(MemorySanitizer, ptrtoint) {
2391 // Test that shadow is propagated through pointer-to-integer conversion.
2392 void* p = (void*)0xABCD;
2393 __msan_poison(((char*)&p) + 1, sizeof(p));
Evgeniy Stepanov250f2212013-01-30 13:12:08 +00002394 EXPECT_NOT_POISONED((((uintptr_t)p) & 0xFF) == 0);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002395
2396 void* q = (void*)0xABCD;
2397 __msan_poison(&q, sizeof(q) - 1);
Evgeniy Stepanov250f2212013-01-30 13:12:08 +00002398 EXPECT_POISONED((((uintptr_t)q) & 0xFF) == 0);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002399}
2400
2401static void vaargsfn2(int guard, ...) {
2402 va_list vl;
2403 va_start(vl, guard);
Evgeniy Stepanov11929002013-01-22 12:29:00 +00002404 EXPECT_NOT_POISONED(va_arg(vl, int));
2405 EXPECT_NOT_POISONED(va_arg(vl, int));
2406 EXPECT_NOT_POISONED(va_arg(vl, int));
2407 EXPECT_POISONED(va_arg(vl, double));
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002408 va_end(vl);
2409}
2410
2411static void vaargsfn(int guard, ...) {
2412 va_list vl;
2413 va_start(vl, guard);
Evgeniy Stepanov11929002013-01-22 12:29:00 +00002414 EXPECT_NOT_POISONED(va_arg(vl, int));
2415 EXPECT_POISONED(va_arg(vl, int));
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002416 // The following call will overwrite __msan_param_tls.
2417 // Checks after it test that arg shadow was somehow saved across the call.
2418 vaargsfn2(1, 2, 3, 4, *GetPoisoned<double>());
Evgeniy Stepanov11929002013-01-22 12:29:00 +00002419 EXPECT_NOT_POISONED(va_arg(vl, int));
2420 EXPECT_POISONED(va_arg(vl, int));
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002421 va_end(vl);
2422}
2423
2424TEST(MemorySanitizer, VAArgTest) {
2425 int* x = GetPoisoned<int>();
2426 int* y = GetPoisoned<int>(4);
2427 vaargsfn(1, 13, *x, 42, *y);
2428}
2429
2430static void vaargsfn_many(int guard, ...) {
2431 va_list vl;
2432 va_start(vl, guard);
Evgeniy Stepanov11929002013-01-22 12:29:00 +00002433 EXPECT_NOT_POISONED(va_arg(vl, int));
2434 EXPECT_POISONED(va_arg(vl, int));
2435 EXPECT_NOT_POISONED(va_arg(vl, int));
2436 EXPECT_NOT_POISONED(va_arg(vl, int));
2437 EXPECT_NOT_POISONED(va_arg(vl, int));
2438 EXPECT_NOT_POISONED(va_arg(vl, int));
2439 EXPECT_NOT_POISONED(va_arg(vl, int));
2440 EXPECT_NOT_POISONED(va_arg(vl, int));
2441 EXPECT_NOT_POISONED(va_arg(vl, int));
2442 EXPECT_POISONED(va_arg(vl, int));
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002443 va_end(vl);
2444}
2445
2446TEST(MemorySanitizer, VAArgManyTest) {
2447 int* x = GetPoisoned<int>();
2448 int* y = GetPoisoned<int>(4);
2449 vaargsfn_many(1, 2, *x, 3, 4, 5, 6, 7, 8, 9, *y);
2450}
2451
2452static void vaargsfn_pass2(va_list vl) {
Evgeniy Stepanov11929002013-01-22 12:29:00 +00002453 EXPECT_NOT_POISONED(va_arg(vl, int));
2454 EXPECT_NOT_POISONED(va_arg(vl, int));
2455 EXPECT_POISONED(va_arg(vl, int));
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002456}
2457
2458static void vaargsfn_pass(int guard, ...) {
2459 va_list vl;
2460 va_start(vl, guard);
Evgeniy Stepanov11929002013-01-22 12:29:00 +00002461 EXPECT_POISONED(va_arg(vl, int));
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002462 vaargsfn_pass2(vl);
2463 va_end(vl);
2464}
2465
2466TEST(MemorySanitizer, VAArgPass) {
2467 int* x = GetPoisoned<int>();
2468 int* y = GetPoisoned<int>(4);
2469 vaargsfn_pass(1, *x, 2, 3, *y);
2470}
2471
2472static void vaargsfn_copy2(va_list vl) {
Evgeniy Stepanov11929002013-01-22 12:29:00 +00002473 EXPECT_NOT_POISONED(va_arg(vl, int));
2474 EXPECT_POISONED(va_arg(vl, int));
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002475}
2476
2477static void vaargsfn_copy(int guard, ...) {
2478 va_list vl;
2479 va_start(vl, guard);
Evgeniy Stepanov11929002013-01-22 12:29:00 +00002480 EXPECT_NOT_POISONED(va_arg(vl, int));
2481 EXPECT_POISONED(va_arg(vl, int));
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002482 va_list vl2;
2483 va_copy(vl2, vl);
2484 vaargsfn_copy2(vl2);
Evgeniy Stepanov11929002013-01-22 12:29:00 +00002485 EXPECT_NOT_POISONED(va_arg(vl, int));
2486 EXPECT_POISONED(va_arg(vl, int));
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002487 va_end(vl);
2488}
2489
2490TEST(MemorySanitizer, VAArgCopy) {
2491 int* x = GetPoisoned<int>();
2492 int* y = GetPoisoned<int>(4);
2493 vaargsfn_copy(1, 2, *x, 3, *y);
2494}
2495
2496static void vaargsfn_ptr(int guard, ...) {
2497 va_list vl;
2498 va_start(vl, guard);
Evgeniy Stepanov11929002013-01-22 12:29:00 +00002499 EXPECT_NOT_POISONED(va_arg(vl, int*));
2500 EXPECT_POISONED(va_arg(vl, int*));
2501 EXPECT_NOT_POISONED(va_arg(vl, int*));
2502 EXPECT_POISONED(va_arg(vl, double*));
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002503 va_end(vl);
2504}
2505
2506TEST(MemorySanitizer, VAArgPtr) {
2507 int** x = GetPoisoned<int*>();
2508 double** y = GetPoisoned<double*>(8);
2509 int z;
2510 vaargsfn_ptr(1, &z, *x, &z, *y);
2511}
2512
2513static void vaargsfn_overflow(int guard, ...) {
2514 va_list vl;
2515 va_start(vl, guard);
Evgeniy Stepanov11929002013-01-22 12:29:00 +00002516 EXPECT_NOT_POISONED(va_arg(vl, int));
2517 EXPECT_NOT_POISONED(va_arg(vl, int));
2518 EXPECT_POISONED(va_arg(vl, int));
2519 EXPECT_NOT_POISONED(va_arg(vl, int));
2520 EXPECT_NOT_POISONED(va_arg(vl, int));
2521 EXPECT_NOT_POISONED(va_arg(vl, int));
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002522
Evgeniy Stepanov11929002013-01-22 12:29:00 +00002523 EXPECT_NOT_POISONED(va_arg(vl, double));
2524 EXPECT_NOT_POISONED(va_arg(vl, double));
2525 EXPECT_NOT_POISONED(va_arg(vl, double));
2526 EXPECT_POISONED(va_arg(vl, double));
2527 EXPECT_NOT_POISONED(va_arg(vl, double));
2528 EXPECT_POISONED(va_arg(vl, int*));
2529 EXPECT_NOT_POISONED(va_arg(vl, double));
2530 EXPECT_NOT_POISONED(va_arg(vl, double));
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002531
Evgeniy Stepanov11929002013-01-22 12:29:00 +00002532 EXPECT_POISONED(va_arg(vl, int));
2533 EXPECT_POISONED(va_arg(vl, double));
2534 EXPECT_POISONED(va_arg(vl, int*));
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002535
Evgeniy Stepanov11929002013-01-22 12:29:00 +00002536 EXPECT_NOT_POISONED(va_arg(vl, int));
2537 EXPECT_NOT_POISONED(va_arg(vl, double));
2538 EXPECT_NOT_POISONED(va_arg(vl, int*));
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002539
Evgeniy Stepanov11929002013-01-22 12:29:00 +00002540 EXPECT_POISONED(va_arg(vl, int));
2541 EXPECT_POISONED(va_arg(vl, double));
2542 EXPECT_POISONED(va_arg(vl, int*));
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002543
2544 va_end(vl);
2545}
2546
2547TEST(MemorySanitizer, VAArgOverflow) {
2548 int* x = GetPoisoned<int>();
2549 double* y = GetPoisoned<double>(8);
2550 int** p = GetPoisoned<int*>(16);
2551 int z;
2552 vaargsfn_overflow(1,
2553 1, 2, *x, 4, 5, 6,
2554 1.1, 2.2, 3.3, *y, 5.5, *p, 7.7, 8.8,
2555 // the following args will overflow for sure
2556 *x, *y, *p,
2557 7, 9.9, &z,
2558 *x, *y, *p);
2559}
2560
2561static void vaargsfn_tlsoverwrite2(int guard, ...) {
2562 va_list vl;
2563 va_start(vl, guard);
Evgeniy Stepanov3c531df2013-08-23 12:13:18 +00002564 for (int i = 0; i < 20; ++i)
2565 EXPECT_NOT_POISONED(va_arg(vl, int));
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002566 va_end(vl);
2567}
2568
2569static void vaargsfn_tlsoverwrite(int guard, ...) {
2570 // This call will overwrite TLS contents unless it's backed up somewhere.
Evgeniy Stepanov3c531df2013-08-23 12:13:18 +00002571 vaargsfn_tlsoverwrite2(2,
2572 42, 42, 42, 42, 42,
2573 42, 42, 42, 42, 42,
2574 42, 42, 42, 42, 42,
2575 42, 42, 42, 42, 42); // 20x
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002576 va_list vl;
2577 va_start(vl, guard);
Evgeniy Stepanov3c531df2013-08-23 12:13:18 +00002578 for (int i = 0; i < 20; ++i)
2579 EXPECT_POISONED(va_arg(vl, int));
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002580 va_end(vl);
2581}
2582
2583TEST(MemorySanitizer, VAArgTLSOverwrite) {
2584 int* x = GetPoisoned<int>();
Evgeniy Stepanov3c531df2013-08-23 12:13:18 +00002585 vaargsfn_tlsoverwrite(1,
2586 *x, *x, *x, *x, *x,
2587 *x, *x, *x, *x, *x,
2588 *x, *x, *x, *x, *x,
2589 *x, *x, *x, *x, *x); // 20x
2590
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002591}
2592
2593struct StructByVal {
2594 int a, b, c, d, e, f;
2595};
2596
Stephen Hines2d1fdb22014-05-28 23:58:16 -07002597static void vaargsfn_structbyval(int guard, ...) {
2598 va_list vl;
2599 va_start(vl, guard);
2600 {
2601 StructByVal s = va_arg(vl, StructByVal);
2602 EXPECT_NOT_POISONED(s.a);
2603 EXPECT_POISONED(s.b);
2604 EXPECT_NOT_POISONED(s.c);
2605 EXPECT_POISONED(s.d);
2606 EXPECT_NOT_POISONED(s.e);
2607 EXPECT_POISONED(s.f);
2608 }
2609 {
2610 StructByVal s = va_arg(vl, StructByVal);
2611 EXPECT_NOT_POISONED(s.a);
2612 EXPECT_POISONED(s.b);
2613 EXPECT_NOT_POISONED(s.c);
2614 EXPECT_POISONED(s.d);
2615 EXPECT_NOT_POISONED(s.e);
2616 EXPECT_POISONED(s.f);
2617 }
2618 va_end(vl);
2619}
2620
2621TEST(MemorySanitizer, VAArgStructByVal) {
2622 StructByVal s;
2623 s.a = 1;
2624 s.b = *GetPoisoned<int>();
2625 s.c = 2;
2626 s.d = *GetPoisoned<int>();
2627 s.e = 3;
2628 s.f = *GetPoisoned<int>();
2629 vaargsfn_structbyval(0, s, s);
2630}
2631
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002632NOINLINE void StructByValTestFunc(struct StructByVal s) {
Evgeniy Stepanov11929002013-01-22 12:29:00 +00002633 EXPECT_NOT_POISONED(s.a);
2634 EXPECT_POISONED(s.b);
2635 EXPECT_NOT_POISONED(s.c);
2636 EXPECT_POISONED(s.d);
2637 EXPECT_NOT_POISONED(s.e);
2638 EXPECT_POISONED(s.f);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002639}
2640
2641NOINLINE void StructByValTestFunc1(struct StructByVal s) {
2642 StructByValTestFunc(s);
2643}
2644
2645NOINLINE void StructByValTestFunc2(int z, struct StructByVal s) {
2646 StructByValTestFunc(s);
2647}
2648
2649TEST(MemorySanitizer, StructByVal) {
2650 // Large aggregates are passed as "byval" pointer argument in LLVM.
2651 struct StructByVal s;
2652 s.a = 1;
2653 s.b = *GetPoisoned<int>();
2654 s.c = 2;
2655 s.d = *GetPoisoned<int>();
2656 s.e = 3;
2657 s.f = *GetPoisoned<int>();
2658 StructByValTestFunc(s);
2659 StructByValTestFunc1(s);
2660 StructByValTestFunc2(0, s);
2661}
2662
2663
2664#if MSAN_HAS_M128
Evgeniy Stepanovb921bf22013-04-16 14:09:47 +00002665NOINLINE __m128i m128Eq(__m128i *a, __m128i *b) { return _mm_cmpeq_epi16(*a, *b); }
2666NOINLINE __m128i m128Lt(__m128i *a, __m128i *b) { return _mm_cmplt_epi16(*a, *b); }
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002667TEST(MemorySanitizer, m128) {
2668 __m128i a = _mm_set1_epi16(0x1234);
2669 __m128i b = _mm_set1_epi16(0x7890);
Evgeniy Stepanov11929002013-01-22 12:29:00 +00002670 EXPECT_NOT_POISONED(m128Eq(&a, &b));
2671 EXPECT_NOT_POISONED(m128Lt(&a, &b));
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002672}
2673// FIXME: add more tests for __m128i.
2674#endif // MSAN_HAS_M128
2675
2676// We should not complain when copying this poisoned hole.
2677struct StructWithHole {
2678 U4 a;
2679 // 4-byte hole.
2680 U8 b;
2681};
2682
2683NOINLINE StructWithHole ReturnStructWithHole() {
2684 StructWithHole res;
2685 __msan_poison(&res, sizeof(res));
2686 res.a = 1;
2687 res.b = 2;
2688 return res;
2689}
2690
2691TEST(MemorySanitizer, StructWithHole) {
2692 StructWithHole a = ReturnStructWithHole();
Evgeniy Stepanov12c46932013-01-29 14:33:29 +00002693 break_optimization(&a);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002694}
2695
2696template <class T>
2697NOINLINE T ReturnStruct() {
2698 T res;
2699 __msan_poison(&res, sizeof(res));
2700 res.a = 1;
2701 return res;
2702}
2703
2704template <class T>
2705NOINLINE void TestReturnStruct() {
2706 T s1 = ReturnStruct<T>();
Evgeniy Stepanov11929002013-01-22 12:29:00 +00002707 EXPECT_NOT_POISONED(s1.a);
2708 EXPECT_POISONED(s1.b);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002709}
2710
2711struct SSS1 {
2712 int a, b, c;
2713};
2714struct SSS2 {
2715 int b, a, c;
2716};
2717struct SSS3 {
2718 int b, c, a;
2719};
2720struct SSS4 {
2721 int c, b, a;
2722};
2723
2724struct SSS5 {
2725 int a;
2726 float b;
2727};
2728struct SSS6 {
2729 int a;
2730 double b;
2731};
2732struct SSS7 {
2733 S8 b;
2734 int a;
2735};
2736struct SSS8 {
2737 S2 b;
2738 S8 a;
2739};
2740
2741TEST(MemorySanitizer, IntStruct3) {
2742 TestReturnStruct<SSS1>();
2743 TestReturnStruct<SSS2>();
2744 TestReturnStruct<SSS3>();
2745 TestReturnStruct<SSS4>();
2746 TestReturnStruct<SSS5>();
2747 TestReturnStruct<SSS6>();
2748 TestReturnStruct<SSS7>();
2749 TestReturnStruct<SSS8>();
2750}
2751
2752struct LongStruct {
2753 U1 a1, b1;
2754 U2 a2, b2;
2755 U4 a4, b4;
2756 U8 a8, b8;
2757};
2758
2759NOINLINE LongStruct ReturnLongStruct1() {
2760 LongStruct res;
2761 __msan_poison(&res, sizeof(res));
2762 res.a1 = res.a2 = res.a4 = res.a8 = 111;
2763 // leaves b1, .., b8 poisoned.
2764 return res;
2765}
2766
2767NOINLINE LongStruct ReturnLongStruct2() {
2768 LongStruct res;
2769 __msan_poison(&res, sizeof(res));
2770 res.b1 = res.b2 = res.b4 = res.b8 = 111;
2771 // leaves a1, .., a8 poisoned.
2772 return res;
2773}
2774
2775TEST(MemorySanitizer, LongStruct) {
2776 LongStruct s1 = ReturnLongStruct1();
2777 __msan_print_shadow(&s1, sizeof(s1));
Evgeniy Stepanov11929002013-01-22 12:29:00 +00002778 EXPECT_NOT_POISONED(s1.a1);
2779 EXPECT_NOT_POISONED(s1.a2);
2780 EXPECT_NOT_POISONED(s1.a4);
2781 EXPECT_NOT_POISONED(s1.a8);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002782
Evgeniy Stepanov11929002013-01-22 12:29:00 +00002783 EXPECT_POISONED(s1.b1);
2784 EXPECT_POISONED(s1.b2);
2785 EXPECT_POISONED(s1.b4);
2786 EXPECT_POISONED(s1.b8);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002787
2788 LongStruct s2 = ReturnLongStruct2();
2789 __msan_print_shadow(&s2, sizeof(s2));
Evgeniy Stepanov11929002013-01-22 12:29:00 +00002790 EXPECT_NOT_POISONED(s2.b1);
2791 EXPECT_NOT_POISONED(s2.b2);
2792 EXPECT_NOT_POISONED(s2.b4);
2793 EXPECT_NOT_POISONED(s2.b8);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002794
Evgeniy Stepanov11929002013-01-22 12:29:00 +00002795 EXPECT_POISONED(s2.a1);
2796 EXPECT_POISONED(s2.a2);
2797 EXPECT_POISONED(s2.a4);
2798 EXPECT_POISONED(s2.a8);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002799}
2800
2801TEST(MemorySanitizer, getrlimit) {
2802 struct rlimit limit;
2803 __msan_poison(&limit, sizeof(limit));
2804 int result = getrlimit(RLIMIT_DATA, &limit);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07002805 ASSERT_EQ(result, 0);
Evgeniy Stepanov2bba4ef2013-05-16 13:00:25 +00002806 EXPECT_NOT_POISONED(limit.rlim_cur);
2807 EXPECT_NOT_POISONED(limit.rlim_max);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002808}
2809
Evgeniy Stepanove03345b2013-01-17 13:42:17 +00002810TEST(MemorySanitizer, getrusage) {
2811 struct rusage usage;
2812 __msan_poison(&usage, sizeof(usage));
2813 int result = getrusage(RUSAGE_SELF, &usage);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07002814 ASSERT_EQ(result, 0);
Evgeniy Stepanov11929002013-01-22 12:29:00 +00002815 EXPECT_NOT_POISONED(usage.ru_utime.tv_sec);
2816 EXPECT_NOT_POISONED(usage.ru_utime.tv_usec);
2817 EXPECT_NOT_POISONED(usage.ru_stime.tv_sec);
2818 EXPECT_NOT_POISONED(usage.ru_stime.tv_usec);
2819 EXPECT_NOT_POISONED(usage.ru_maxrss);
2820 EXPECT_NOT_POISONED(usage.ru_minflt);
2821 EXPECT_NOT_POISONED(usage.ru_majflt);
2822 EXPECT_NOT_POISONED(usage.ru_inblock);
2823 EXPECT_NOT_POISONED(usage.ru_oublock);
2824 EXPECT_NOT_POISONED(usage.ru_nvcsw);
2825 EXPECT_NOT_POISONED(usage.ru_nivcsw);
Evgeniy Stepanove03345b2013-01-17 13:42:17 +00002826}
2827
Stephen Hines86277eb2015-03-23 12:06:32 -07002828#if defined(__FreeBSD__)
2829static void GetProgramPath(char *buf, size_t sz) {
2830 int mib[4] = { CTL_KERN, KERN_PROC, KERN_PROC_PATHNAME, -1 };
2831 int res = sysctl(mib, 4, buf, &sz, NULL, 0);
2832 ASSERT_EQ(0, res);
2833}
2834#elif defined(__GLIBC__)
2835static void GetProgramPath(char *buf, size_t sz) {
2836 extern char *program_invocation_name;
2837 int res = snprintf(buf, sz, "%s", program_invocation_name);
2838 ASSERT_GE(res, 0);
2839 ASSERT_LT((size_t)res, sz);
2840}
2841#else
Evgeniy Stepanov1aad6b52013-05-17 12:51:13 +00002842# error "TODO: port this"
2843#endif
2844
Evgeniy Stepanove03345b2013-01-17 13:42:17 +00002845static void dladdr_testfn() {}
2846
2847TEST(MemorySanitizer, dladdr) {
2848 Dl_info info;
2849 __msan_poison(&info, sizeof(info));
2850 int result = dladdr((const void*)dladdr_testfn, &info);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07002851 ASSERT_NE(result, 0);
Evgeniy Stepanov11929002013-01-22 12:29:00 +00002852 EXPECT_NOT_POISONED((unsigned long)info.dli_fname);
Evgeniy Stepanove03345b2013-01-17 13:42:17 +00002853 if (info.dli_fname)
Evgeniy Stepanov11929002013-01-22 12:29:00 +00002854 EXPECT_NOT_POISONED(strlen(info.dli_fname));
2855 EXPECT_NOT_POISONED((unsigned long)info.dli_fbase);
2856 EXPECT_NOT_POISONED((unsigned long)info.dli_sname);
Evgeniy Stepanove03345b2013-01-17 13:42:17 +00002857 if (info.dli_sname)
Evgeniy Stepanov11929002013-01-22 12:29:00 +00002858 EXPECT_NOT_POISONED(strlen(info.dli_sname));
2859 EXPECT_NOT_POISONED((unsigned long)info.dli_saddr);
Evgeniy Stepanove03345b2013-01-17 13:42:17 +00002860}
2861
Evgeniy Stepanov08104e62013-08-02 09:09:02 +00002862#ifndef MSAN_TEST_DISABLE_DLOPEN
2863
Evgeniy Stepanov2bba4ef2013-05-16 13:00:25 +00002864static int dl_phdr_callback(struct dl_phdr_info *info, size_t size, void *data) {
2865 (*(int *)data)++;
2866 EXPECT_NOT_POISONED(info->dlpi_addr);
2867 EXPECT_NOT_POISONED(strlen(info->dlpi_name));
2868 EXPECT_NOT_POISONED(info->dlpi_phnum);
2869 for (int i = 0; i < info->dlpi_phnum; ++i)
2870 EXPECT_NOT_POISONED(info->dlpi_phdr[i]);
2871 return 0;
2872}
2873
Evgeniy Stepanov263800b2013-06-27 13:21:00 +00002874// Compute the path to our loadable DSO. We assume it's in the same
2875// directory. Only use string routines that we intercept so far to do this.
Stephen Hines86277eb2015-03-23 12:06:32 -07002876static void GetPathToLoadable(char *buf, size_t sz) {
2877 char program_path[kMaxPathLength];
2878 GetProgramPath(program_path, sizeof(program_path));
2879
2880 const char *last_slash = strrchr(program_path, '/');
2881 ASSERT_NE(nullptr, last_slash);
2882 size_t dir_len = (size_t)(last_slash - program_path);
2883#if defined(__x86_64__)
2884 static const char basename[] = "libmsan_loadable.x86_64.so";
2885#elif defined(__MIPSEB__) || defined(MIPSEB)
2886 static const char basename[] = "libmsan_loadable.mips64.so";
2887#elif defined(__mips64)
2888 static const char basename[] = "libmsan_loadable.mips64el.so";
Pirama Arumuga Nainar799172d2016-03-03 15:50:30 -08002889#elif defined(__aarch64__)
2890 static const char basename[] = "libmsan_loadable.aarch64.so";
Stephen Hines86277eb2015-03-23 12:06:32 -07002891#endif
2892 int res = snprintf(buf, sz, "%.*s/%s",
2893 (int)dir_len, program_path, basename);
2894 ASSERT_GE(res, 0);
2895 ASSERT_LT((size_t)res, sz);
Evgeniy Stepanov263800b2013-06-27 13:21:00 +00002896}
2897
Evgeniy Stepanov2bba4ef2013-05-16 13:00:25 +00002898TEST(MemorySanitizer, dl_iterate_phdr) {
Stephen Hines86277eb2015-03-23 12:06:32 -07002899 char path[kMaxPathLength];
2900 GetPathToLoadable(path, sizeof(path));
Evgeniy Stepanov1aad6b52013-05-17 12:51:13 +00002901
2902 // Having at least one dlopen'ed library in the process makes this more
2903 // entertaining.
2904 void *lib = dlopen(path, RTLD_LAZY);
2905 ASSERT_NE((void*)0, lib);
2906
Evgeniy Stepanov2bba4ef2013-05-16 13:00:25 +00002907 int count = 0;
2908 int result = dl_iterate_phdr(dl_phdr_callback, &count);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07002909 ASSERT_GT(count, 0);
Stephen Hines86277eb2015-03-23 12:06:32 -07002910
Evgeniy Stepanov1aad6b52013-05-17 12:51:13 +00002911 dlclose(lib);
Evgeniy Stepanov2bba4ef2013-05-16 13:00:25 +00002912}
2913
Reid Kleckner0f92deb2013-03-11 18:07:42 +00002914TEST(MemorySanitizer, dlopen) {
Stephen Hines86277eb2015-03-23 12:06:32 -07002915 char path[kMaxPathLength];
2916 GetPathToLoadable(path, sizeof(path));
Reid Kleckner0f92deb2013-03-11 18:07:42 +00002917
2918 // We need to clear shadow for globals when doing dlopen. In order to test
2919 // this, we have to poison the shadow for the DSO before we load it. In
2920 // general this is difficult, but the loader tends to reload things in the
2921 // same place, so we open, close, and then reopen. The global should always
2922 // start out clean after dlopen.
2923 for (int i = 0; i < 2; i++) {
2924 void *lib = dlopen(path, RTLD_LAZY);
2925 if (lib == NULL) {
2926 printf("dlerror: %s\n", dlerror());
Stephen Hines2d1fdb22014-05-28 23:58:16 -07002927 ASSERT_TRUE(lib != NULL);
Reid Kleckner0f92deb2013-03-11 18:07:42 +00002928 }
2929 void **(*get_dso_global)() = (void **(*)())dlsym(lib, "get_dso_global");
Stephen Hines2d1fdb22014-05-28 23:58:16 -07002930 ASSERT_TRUE(get_dso_global != NULL);
Reid Kleckner0f92deb2013-03-11 18:07:42 +00002931 void **dso_global = get_dso_global();
2932 EXPECT_NOT_POISONED(*dso_global);
2933 __msan_poison(dso_global, sizeof(*dso_global));
2934 EXPECT_POISONED(*dso_global);
2935 dlclose(lib);
2936 }
Reid Kleckner0f92deb2013-03-11 18:07:42 +00002937}
Evgeniy Stepanov6c503b92013-03-22 11:59:49 +00002938
2939// Regression test for a crash in dlopen() interceptor.
2940TEST(MemorySanitizer, dlopenFailed) {
Stephen Hines86277eb2015-03-23 12:06:32 -07002941 const char *path = "/libmsan_loadable_does_not_exist.so";
Evgeniy Stepanov6c503b92013-03-22 11:59:49 +00002942 void *lib = dlopen(path, RTLD_LAZY);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07002943 ASSERT_TRUE(lib == NULL);
Evgeniy Stepanov6c503b92013-03-22 11:59:49 +00002944}
Reid Kleckner0f92deb2013-03-11 18:07:42 +00002945
Evgeniy Stepanov263800b2013-06-27 13:21:00 +00002946#endif // MSAN_TEST_DISABLE_DLOPEN
2947
Stephen Hines86277eb2015-03-23 12:06:32 -07002948// There's no sched_getaffinity() on FreeBSD.
2949#if !defined(__FreeBSD__)
Evgeniy Stepanov84ba74c2013-08-07 09:10:16 +00002950TEST(MemorySanitizer, sched_getaffinity) {
2951 cpu_set_t mask;
2952 int res = sched_getaffinity(getpid(), sizeof(mask), &mask);
2953 ASSERT_EQ(0, res);
2954 EXPECT_NOT_POISONED(mask);
2955}
Stephen Hines86277eb2015-03-23 12:06:32 -07002956#endif
Evgeniy Stepanov84ba74c2013-08-07 09:10:16 +00002957
Evgeniy Stepanov996c4f22013-01-18 11:17:23 +00002958TEST(MemorySanitizer, scanf) {
2959 const char *input = "42 hello";
2960 int* d = new int;
2961 char* s = new char[7];
2962 int res = sscanf(input, "%d %5s", d, s);
2963 printf("res %d\n", res);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07002964 ASSERT_EQ(res, 2);
Evgeniy Stepanov11929002013-01-22 12:29:00 +00002965 EXPECT_NOT_POISONED(*d);
2966 EXPECT_NOT_POISONED(s[0]);
2967 EXPECT_NOT_POISONED(s[1]);
2968 EXPECT_NOT_POISONED(s[2]);
2969 EXPECT_NOT_POISONED(s[3]);
2970 EXPECT_NOT_POISONED(s[4]);
2971 EXPECT_NOT_POISONED(s[5]);
2972 EXPECT_POISONED(s[6]);
Stephen Hines6d186232014-11-26 17:56:19 -08002973 delete[] s;
Evgeniy Stepanov996c4f22013-01-18 11:17:23 +00002974 delete d;
2975}
2976
Evgeniy Stepanovb9bf7002013-03-19 09:30:52 +00002977static void *SimpleThread_threadfn(void* data) {
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002978 return new int;
2979}
2980
2981TEST(MemorySanitizer, SimpleThread) {
2982 pthread_t t;
Evgeniy Stepanovb9bf7002013-03-19 09:30:52 +00002983 void *p;
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002984 int res = pthread_create(&t, NULL, SimpleThread_threadfn, NULL);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07002985 ASSERT_EQ(0, res);
Evgeniy Stepanove4bdda52013-04-01 14:47:21 +00002986 EXPECT_NOT_POISONED(t);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002987 res = pthread_join(t, &p);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07002988 ASSERT_EQ(0, res);
Evgeniy Stepanov65670922013-07-30 12:54:34 +00002989 EXPECT_NOT_POISONED(p);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00002990 delete (int*)p;
2991}
2992
Evgeniy Stepanovb9bf7002013-03-19 09:30:52 +00002993static void *SmallStackThread_threadfn(void* data) {
Evgeniy Stepanov10fd3222013-03-13 09:01:40 +00002994 return 0;
2995}
2996
Pirama Arumuga Nainar799172d2016-03-03 15:50:30 -08002997#ifdef PTHREAD_STACK_MIN
2998# define SMALLSTACKSIZE PTHREAD_STACK_MIN
2999# define SMALLPRESTACKSIZE PTHREAD_STACK_MIN
3000#else
3001# define SMALLSTACKSIZE 64 * 1024
3002# define SMALLPRESTACKSIZE 16 * 1024
3003#endif
3004
Evgeniy Stepanov10fd3222013-03-13 09:01:40 +00003005TEST(MemorySanitizer, SmallStackThread) {
3006 pthread_attr_t attr;
3007 pthread_t t;
Evgeniy Stepanovb9bf7002013-03-19 09:30:52 +00003008 void *p;
Evgeniy Stepanov10fd3222013-03-13 09:01:40 +00003009 int res;
3010 res = pthread_attr_init(&attr);
3011 ASSERT_EQ(0, res);
Pirama Arumuga Nainar799172d2016-03-03 15:50:30 -08003012 res = pthread_attr_setstacksize(&attr, SMALLSTACKSIZE);
Evgeniy Stepanov10fd3222013-03-13 09:01:40 +00003013 ASSERT_EQ(0, res);
Evgeniy Stepanovb9bf7002013-03-19 09:30:52 +00003014 res = pthread_create(&t, &attr, SmallStackThread_threadfn, NULL);
Evgeniy Stepanov10fd3222013-03-13 09:01:40 +00003015 ASSERT_EQ(0, res);
3016 res = pthread_join(t, &p);
3017 ASSERT_EQ(0, res);
3018 res = pthread_attr_destroy(&attr);
3019 ASSERT_EQ(0, res);
3020}
3021
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003022TEST(MemorySanitizer, SmallPreAllocatedStackThread) {
Evgeniy Stepanovb9bf7002013-03-19 09:30:52 +00003023 pthread_attr_t attr;
3024 pthread_t t;
3025 int res;
3026 res = pthread_attr_init(&attr);
3027 ASSERT_EQ(0, res);
3028 void *stack;
Pirama Arumuga Nainar799172d2016-03-03 15:50:30 -08003029 const size_t kStackSize = SMALLPRESTACKSIZE;
Evgeniy Stepanovb9bf7002013-03-19 09:30:52 +00003030 res = posix_memalign(&stack, 4096, kStackSize);
3031 ASSERT_EQ(0, res);
3032 res = pthread_attr_setstack(&attr, stack, kStackSize);
3033 ASSERT_EQ(0, res);
Evgeniy Stepanovb9bf7002013-03-19 09:30:52 +00003034 res = pthread_create(&t, &attr, SmallStackThread_threadfn, NULL);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003035 EXPECT_EQ(0, res);
3036 res = pthread_join(t, NULL);
3037 ASSERT_EQ(0, res);
Evgeniy Stepanovb9bf7002013-03-19 09:30:52 +00003038 res = pthread_attr_destroy(&attr);
3039 ASSERT_EQ(0, res);
3040}
3041
Evgeniy Stepanove236dbb2013-10-25 13:01:31 +00003042TEST(MemorySanitizer, pthread_attr_get) {
3043 pthread_attr_t attr;
3044 int res;
3045 res = pthread_attr_init(&attr);
3046 ASSERT_EQ(0, res);
3047 {
3048 int v;
3049 res = pthread_attr_getdetachstate(&attr, &v);
3050 ASSERT_EQ(0, res);
3051 EXPECT_NOT_POISONED(v);
3052 }
3053 {
3054 size_t v;
3055 res = pthread_attr_getguardsize(&attr, &v);
3056 ASSERT_EQ(0, res);
3057 EXPECT_NOT_POISONED(v);
3058 }
3059 {
3060 struct sched_param v;
3061 res = pthread_attr_getschedparam(&attr, &v);
3062 ASSERT_EQ(0, res);
3063 EXPECT_NOT_POISONED(v);
3064 }
3065 {
3066 int v;
3067 res = pthread_attr_getschedpolicy(&attr, &v);
3068 ASSERT_EQ(0, res);
3069 EXPECT_NOT_POISONED(v);
3070 }
3071 {
3072 int v;
3073 res = pthread_attr_getinheritsched(&attr, &v);
3074 ASSERT_EQ(0, res);
3075 EXPECT_NOT_POISONED(v);
3076 }
3077 {
3078 int v;
3079 res = pthread_attr_getscope(&attr, &v);
3080 ASSERT_EQ(0, res);
3081 EXPECT_NOT_POISONED(v);
3082 }
3083 {
Evgeniy Stepanove236dbb2013-10-25 13:01:31 +00003084 size_t v;
3085 res = pthread_attr_getstacksize(&attr, &v);
3086 ASSERT_EQ(0, res);
3087 EXPECT_NOT_POISONED(v);
3088 }
3089 {
3090 void *v;
3091 size_t w;
3092 res = pthread_attr_getstack(&attr, &v, &w);
3093 ASSERT_EQ(0, res);
3094 EXPECT_NOT_POISONED(v);
3095 EXPECT_NOT_POISONED(w);
3096 }
3097 {
3098 cpu_set_t v;
3099 res = pthread_attr_getaffinity_np(&attr, sizeof(v), &v);
3100 ASSERT_EQ(0, res);
3101 EXPECT_NOT_POISONED(v);
3102 }
3103 res = pthread_attr_destroy(&attr);
3104 ASSERT_EQ(0, res);
3105}
3106
Evgeniy Stepanov56d34722013-05-21 08:12:08 +00003107TEST(MemorySanitizer, pthread_getschedparam) {
3108 int policy;
3109 struct sched_param param;
3110 int res = pthread_getschedparam(pthread_self(), &policy, &param);
3111 ASSERT_EQ(0, res);
3112 EXPECT_NOT_POISONED(policy);
3113 EXPECT_NOT_POISONED(param.sched_priority);
3114}
3115
Evgeniy Stepanov737da2f2013-07-05 12:31:07 +00003116TEST(MemorySanitizer, pthread_key_create) {
3117 pthread_key_t key;
3118 int res = pthread_key_create(&key, NULL);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003119 ASSERT_EQ(0, res);
Evgeniy Stepanov737da2f2013-07-05 12:31:07 +00003120 EXPECT_NOT_POISONED(key);
3121 res = pthread_key_delete(key);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003122 ASSERT_EQ(0, res);
Evgeniy Stepanov737da2f2013-07-05 12:31:07 +00003123}
3124
Alexey Samsonov5e2d3772013-10-16 08:20:31 +00003125namespace {
3126struct SignalCondArg {
3127 pthread_cond_t* cond;
3128 pthread_mutex_t* mu;
Alexey Samsonovfc813462013-10-17 09:24:03 +00003129 bool broadcast;
Alexey Samsonov5e2d3772013-10-16 08:20:31 +00003130};
3131
3132void *SignalCond(void *param) {
3133 SignalCondArg *arg = reinterpret_cast<SignalCondArg *>(param);
3134 pthread_mutex_lock(arg->mu);
Alexey Samsonovfc813462013-10-17 09:24:03 +00003135 if (arg->broadcast)
3136 pthread_cond_broadcast(arg->cond);
3137 else
3138 pthread_cond_signal(arg->cond);
Alexey Samsonov5e2d3772013-10-16 08:20:31 +00003139 pthread_mutex_unlock(arg->mu);
3140 return 0;
3141}
3142} // namespace
3143
3144TEST(MemorySanitizer, pthread_cond_wait) {
3145 pthread_cond_t cond;
3146 pthread_mutex_t mu;
Alexey Samsonovfc813462013-10-17 09:24:03 +00003147 SignalCondArg args = {&cond, &mu, false};
Alexey Samsonov5e2d3772013-10-16 08:20:31 +00003148 pthread_cond_init(&cond, 0);
3149 pthread_mutex_init(&mu, 0);
Alexey Samsonov5e2d3772013-10-16 08:20:31 +00003150 pthread_mutex_lock(&mu);
Alexey Samsonovfc813462013-10-17 09:24:03 +00003151
3152 // signal
Alexey Samsonov5e2d3772013-10-16 08:20:31 +00003153 pthread_t thr;
3154 pthread_create(&thr, 0, SignalCond, &args);
3155 int res = pthread_cond_wait(&cond, &mu);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003156 ASSERT_EQ(0, res);
Alexey Samsonov5e2d3772013-10-16 08:20:31 +00003157 pthread_join(thr, 0);
Alexey Samsonovfc813462013-10-17 09:24:03 +00003158
3159 // broadcast
3160 args.broadcast = true;
3161 pthread_create(&thr, 0, SignalCond, &args);
3162 res = pthread_cond_wait(&cond, &mu);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003163 ASSERT_EQ(0, res);
Alexey Samsonovfc813462013-10-17 09:24:03 +00003164 pthread_join(thr, 0);
3165
Alexey Samsonov5e2d3772013-10-16 08:20:31 +00003166 pthread_mutex_unlock(&mu);
3167 pthread_mutex_destroy(&mu);
3168 pthread_cond_destroy(&cond);
3169}
3170
Evgeniy Stepanoveada1a82013-10-25 15:51:48 +00003171TEST(MemorySanitizer, tmpnam) {
3172 char s[L_tmpnam];
3173 char *res = tmpnam(s);
3174 ASSERT_EQ(s, res);
3175 EXPECT_NOT_POISONED(strlen(res));
3176}
3177
3178TEST(MemorySanitizer, tempnam) {
3179 char *res = tempnam(NULL, "zzz");
3180 EXPECT_NOT_POISONED(strlen(res));
3181 free(res);
3182}
3183
Evgeniy Stepanovb6c8e472013-04-23 13:27:36 +00003184TEST(MemorySanitizer, posix_memalign) {
3185 void *p;
3186 EXPECT_POISONED(p);
3187 int res = posix_memalign(&p, 4096, 13);
3188 ASSERT_EQ(0, res);
3189 EXPECT_NOT_POISONED(p);
Evgeniy Stepanov97160a82013-09-02 09:24:53 +00003190 EXPECT_EQ(0U, (uintptr_t)p % 4096);
3191 free(p);
3192}
3193
Stephen Hines86277eb2015-03-23 12:06:32 -07003194// There's no memalign() on FreeBSD.
3195#if !defined(__FreeBSD__)
Evgeniy Stepanov97160a82013-09-02 09:24:53 +00003196TEST(MemorySanitizer, memalign) {
3197 void *p = memalign(4096, 13);
3198 EXPECT_EQ(0U, (uintptr_t)p % kPageSize);
3199 free(p);
3200}
Stephen Hines86277eb2015-03-23 12:06:32 -07003201#endif
Evgeniy Stepanov97160a82013-09-02 09:24:53 +00003202
3203TEST(MemorySanitizer, valloc) {
3204 void *a = valloc(100);
3205 EXPECT_EQ(0U, (uintptr_t)a % kPageSize);
3206 free(a);
3207}
3208
Stephen Hines86277eb2015-03-23 12:06:32 -07003209// There's no pvalloc() on FreeBSD.
3210#if !defined(__FreeBSD__)
Evgeniy Stepanov97160a82013-09-02 09:24:53 +00003211TEST(MemorySanitizer, pvalloc) {
3212 void *p = pvalloc(kPageSize + 100);
3213 EXPECT_EQ(0U, (uintptr_t)p % kPageSize);
Stephen Hines6a211c52014-07-21 00:49:56 -07003214 EXPECT_EQ(2 * kPageSize, __sanitizer_get_allocated_size(p));
Evgeniy Stepanov97160a82013-09-02 09:24:53 +00003215 free(p);
3216
3217 p = pvalloc(0); // pvalloc(0) should allocate at least one page.
3218 EXPECT_EQ(0U, (uintptr_t)p % kPageSize);
Stephen Hines6a211c52014-07-21 00:49:56 -07003219 EXPECT_EQ(kPageSize, __sanitizer_get_allocated_size(p));
Evgeniy Stepanovb6c8e472013-04-23 13:27:36 +00003220 free(p);
3221}
Stephen Hines86277eb2015-03-23 12:06:32 -07003222#endif
Evgeniy Stepanovb6c8e472013-04-23 13:27:36 +00003223
Evgeniy Stepanov9530eb72013-04-23 14:05:15 +00003224TEST(MemorySanitizer, inet_pton) {
3225 const char *s = "1:0:0:0:0:0:0:8";
3226 unsigned char buf[sizeof(struct in6_addr)];
3227 int res = inet_pton(AF_INET6, s, buf);
3228 ASSERT_EQ(1, res);
3229 EXPECT_NOT_POISONED(buf[0]);
3230 EXPECT_NOT_POISONED(buf[sizeof(struct in6_addr) - 1]);
3231
3232 char s_out[INET6_ADDRSTRLEN];
3233 EXPECT_POISONED(s_out[3]);
3234 const char *q = inet_ntop(AF_INET6, buf, s_out, INET6_ADDRSTRLEN);
3235 ASSERT_NE((void*)0, q);
3236 EXPECT_NOT_POISONED(s_out[3]);
3237}
3238
Evgeniy Stepanov9d600872013-06-24 13:56:14 +00003239TEST(MemorySanitizer, inet_aton) {
3240 const char *s = "127.0.0.1";
3241 struct in_addr in[2];
3242 int res = inet_aton(s, in);
3243 ASSERT_NE(0, res);
3244 EXPECT_NOT_POISONED(in[0]);
3245 EXPECT_POISONED(*(char *)(in + 1));
3246}
3247
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00003248TEST(MemorySanitizer, uname) {
3249 struct utsname u;
3250 int res = uname(&u);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003251 ASSERT_EQ(0, res);
Evgeniy Stepanov11929002013-01-22 12:29:00 +00003252 EXPECT_NOT_POISONED(strlen(u.sysname));
3253 EXPECT_NOT_POISONED(strlen(u.nodename));
3254 EXPECT_NOT_POISONED(strlen(u.release));
3255 EXPECT_NOT_POISONED(strlen(u.version));
3256 EXPECT_NOT_POISONED(strlen(u.machine));
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00003257}
3258
Evgeniy Stepanov95d05882013-01-23 10:43:38 +00003259TEST(MemorySanitizer, gethostname) {
3260 char buf[100];
3261 int res = gethostname(buf, 100);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003262 ASSERT_EQ(0, res);
Evgeniy Stepanov95d05882013-01-23 10:43:38 +00003263 EXPECT_NOT_POISONED(strlen(buf));
3264}
3265
Stephen Hines86277eb2015-03-23 12:06:32 -07003266// There's no sysinfo() on FreeBSD.
3267#if !defined(__FreeBSD__)
Evgeniy Stepanov359d7fc2013-06-24 14:25:33 +00003268TEST(MemorySanitizer, sysinfo) {
3269 struct sysinfo info;
3270 int res = sysinfo(&info);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003271 ASSERT_EQ(0, res);
Evgeniy Stepanov359d7fc2013-06-24 14:25:33 +00003272 EXPECT_NOT_POISONED(info);
3273}
Stephen Hines86277eb2015-03-23 12:06:32 -07003274#endif
Evgeniy Stepanov359d7fc2013-06-24 14:25:33 +00003275
Evgeniy Stepanove4bdda52013-04-01 14:47:21 +00003276TEST(MemorySanitizer, getpwuid) {
3277 struct passwd *p = getpwuid(0); // root
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003278 ASSERT_TRUE(p != NULL);
Evgeniy Stepanove4bdda52013-04-01 14:47:21 +00003279 EXPECT_NOT_POISONED(p->pw_name);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003280 ASSERT_TRUE(p->pw_name != NULL);
Evgeniy Stepanove4bdda52013-04-01 14:47:21 +00003281 EXPECT_NOT_POISONED(p->pw_name[0]);
3282 EXPECT_NOT_POISONED(p->pw_uid);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003283 ASSERT_EQ(0U, p->pw_uid);
3284}
3285
3286TEST(MemorySanitizer, getpwuid_r) {
3287 struct passwd pwd;
3288 struct passwd *pwdres;
3289 char buf[10000];
3290 int res = getpwuid_r(0, &pwd, buf, sizeof(buf), &pwdres);
3291 ASSERT_EQ(0, res);
3292 EXPECT_NOT_POISONED(pwd.pw_name);
3293 ASSERT_TRUE(pwd.pw_name != NULL);
3294 EXPECT_NOT_POISONED(pwd.pw_name[0]);
3295 EXPECT_NOT_POISONED(pwd.pw_uid);
3296 ASSERT_EQ(0U, pwd.pw_uid);
3297 EXPECT_NOT_POISONED(pwdres);
Evgeniy Stepanove4bdda52013-04-01 14:47:21 +00003298}
3299
3300TEST(MemorySanitizer, getpwnam_r) {
3301 struct passwd pwd;
3302 struct passwd *pwdres;
3303 char buf[10000];
3304 int res = getpwnam_r("root", &pwd, buf, sizeof(buf), &pwdres);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003305 ASSERT_EQ(0, res);
Evgeniy Stepanove4bdda52013-04-01 14:47:21 +00003306 EXPECT_NOT_POISONED(pwd.pw_name);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003307 ASSERT_TRUE(pwd.pw_name != NULL);
Evgeniy Stepanove4bdda52013-04-01 14:47:21 +00003308 EXPECT_NOT_POISONED(pwd.pw_name[0]);
3309 EXPECT_NOT_POISONED(pwd.pw_uid);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003310 ASSERT_EQ(0U, pwd.pw_uid);
3311 EXPECT_NOT_POISONED(pwdres);
Evgeniy Stepanove4bdda52013-04-01 14:47:21 +00003312}
3313
3314TEST(MemorySanitizer, getpwnam_r_positive) {
3315 struct passwd pwd;
3316 struct passwd *pwdres;
3317 char s[5];
3318 strncpy(s, "abcd", 5);
3319 __msan_poison(s, 5);
3320 char buf[10000];
3321 int res;
3322 EXPECT_UMR(res = getpwnam_r(s, &pwd, buf, sizeof(buf), &pwdres));
3323}
3324
Evgeniy Stepanov103a63e2013-04-23 12:01:20 +00003325TEST(MemorySanitizer, getgrnam_r) {
3326 struct group grp;
3327 struct group *grpres;
3328 char buf[10000];
Stephen Hines86277eb2015-03-23 12:06:32 -07003329 int res = getgrnam_r(SUPERUSER_GROUP, &grp, buf, sizeof(buf), &grpres);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003330 ASSERT_EQ(0, res);
Stephen Hines86277eb2015-03-23 12:06:32 -07003331 // Note that getgrnam_r() returns 0 if the matching group is not found.
3332 ASSERT_NE(nullptr, grpres);
Evgeniy Stepanov103a63e2013-04-23 12:01:20 +00003333 EXPECT_NOT_POISONED(grp.gr_name);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003334 ASSERT_TRUE(grp.gr_name != NULL);
Evgeniy Stepanov103a63e2013-04-23 12:01:20 +00003335 EXPECT_NOT_POISONED(grp.gr_name[0]);
3336 EXPECT_NOT_POISONED(grp.gr_gid);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003337 EXPECT_NOT_POISONED(grpres);
3338}
3339
3340TEST(MemorySanitizer, getpwent) {
3341 setpwent();
3342 struct passwd *p = getpwent();
3343 ASSERT_TRUE(p != NULL);
3344 EXPECT_NOT_POISONED(p->pw_name);
3345 ASSERT_TRUE(p->pw_name != NULL);
3346 EXPECT_NOT_POISONED(p->pw_name[0]);
3347 EXPECT_NOT_POISONED(p->pw_uid);
3348}
3349
3350TEST(MemorySanitizer, getpwent_r) {
3351 struct passwd pwd;
3352 struct passwd *pwdres;
3353 char buf[10000];
3354 setpwent();
3355 int res = getpwent_r(&pwd, buf, sizeof(buf), &pwdres);
3356 ASSERT_EQ(0, res);
3357 EXPECT_NOT_POISONED(pwd.pw_name);
3358 ASSERT_TRUE(pwd.pw_name != NULL);
3359 EXPECT_NOT_POISONED(pwd.pw_name[0]);
3360 EXPECT_NOT_POISONED(pwd.pw_uid);
3361 EXPECT_NOT_POISONED(pwdres);
3362}
3363
Stephen Hines86277eb2015-03-23 12:06:32 -07003364// There's no fgetpwent() on FreeBSD.
3365#if !defined(__FreeBSD__)
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003366TEST(MemorySanitizer, fgetpwent) {
3367 FILE *fp = fopen("/etc/passwd", "r");
3368 struct passwd *p = fgetpwent(fp);
3369 ASSERT_TRUE(p != NULL);
3370 EXPECT_NOT_POISONED(p->pw_name);
3371 ASSERT_TRUE(p->pw_name != NULL);
3372 EXPECT_NOT_POISONED(p->pw_name[0]);
3373 EXPECT_NOT_POISONED(p->pw_uid);
3374 fclose(fp);
3375}
Stephen Hines86277eb2015-03-23 12:06:32 -07003376#endif
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003377
3378TEST(MemorySanitizer, getgrent) {
3379 setgrent();
3380 struct group *p = getgrent();
3381 ASSERT_TRUE(p != NULL);
3382 EXPECT_NOT_POISONED(p->gr_name);
3383 ASSERT_TRUE(p->gr_name != NULL);
3384 EXPECT_NOT_POISONED(p->gr_name[0]);
3385 EXPECT_NOT_POISONED(p->gr_gid);
3386}
3387
Stephen Hines86277eb2015-03-23 12:06:32 -07003388// There's no fgetgrent() on FreeBSD.
3389#if !defined(__FreeBSD__)
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003390TEST(MemorySanitizer, fgetgrent) {
3391 FILE *fp = fopen("/etc/group", "r");
3392 struct group *grp = fgetgrent(fp);
3393 ASSERT_TRUE(grp != NULL);
3394 EXPECT_NOT_POISONED(grp->gr_name);
3395 ASSERT_TRUE(grp->gr_name != NULL);
3396 EXPECT_NOT_POISONED(grp->gr_name[0]);
3397 EXPECT_NOT_POISONED(grp->gr_gid);
3398 for (char **p = grp->gr_mem; *p; ++p) {
3399 EXPECT_NOT_POISONED((*p)[0]);
3400 EXPECT_TRUE(strlen(*p) > 0);
3401 }
3402 fclose(fp);
3403}
Stephen Hines86277eb2015-03-23 12:06:32 -07003404#endif
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003405
3406TEST(MemorySanitizer, getgrent_r) {
3407 struct group grp;
3408 struct group *grpres;
3409 char buf[10000];
3410 setgrent();
3411 int res = getgrent_r(&grp, buf, sizeof(buf), &grpres);
3412 ASSERT_EQ(0, res);
3413 EXPECT_NOT_POISONED(grp.gr_name);
3414 ASSERT_TRUE(grp.gr_name != NULL);
3415 EXPECT_NOT_POISONED(grp.gr_name[0]);
3416 EXPECT_NOT_POISONED(grp.gr_gid);
3417 EXPECT_NOT_POISONED(grpres);
3418}
3419
Stephen Hines86277eb2015-03-23 12:06:32 -07003420// There's no fgetgrent_r() on FreeBSD.
3421#if !defined(__FreeBSD__)
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003422TEST(MemorySanitizer, fgetgrent_r) {
3423 FILE *fp = fopen("/etc/group", "r");
3424 struct group grp;
3425 struct group *grpres;
3426 char buf[10000];
3427 setgrent();
3428 int res = fgetgrent_r(fp, &grp, buf, sizeof(buf), &grpres);
3429 ASSERT_EQ(0, res);
3430 EXPECT_NOT_POISONED(grp.gr_name);
3431 ASSERT_TRUE(grp.gr_name != NULL);
3432 EXPECT_NOT_POISONED(grp.gr_name[0]);
3433 EXPECT_NOT_POISONED(grp.gr_gid);
3434 EXPECT_NOT_POISONED(grpres);
3435 fclose(fp);
Evgeniy Stepanov103a63e2013-04-23 12:01:20 +00003436}
Stephen Hines86277eb2015-03-23 12:06:32 -07003437#endif
Evgeniy Stepanov103a63e2013-04-23 12:01:20 +00003438
Evgeniy Stepanovedff34b2013-08-12 11:01:40 +00003439TEST(MemorySanitizer, getgroups) {
3440 int n = getgroups(0, 0);
3441 gid_t *gids = new gid_t[n];
3442 int res = getgroups(n, gids);
3443 ASSERT_EQ(n, res);
3444 for (int i = 0; i < n; ++i)
3445 EXPECT_NOT_POISONED(gids[i]);
3446}
3447
Evgeniy Stepanovc5a38552013-09-24 14:38:22 +00003448TEST(MemorySanitizer, wordexp) {
3449 wordexp_t w;
3450 int res = wordexp("a b c", &w, 0);
3451 ASSERT_EQ(0, res);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003452 ASSERT_EQ(3U, w.we_wordc);
Evgeniy Stepanovc5a38552013-09-24 14:38:22 +00003453 ASSERT_STREQ("a", w.we_wordv[0]);
3454 ASSERT_STREQ("b", w.we_wordv[1]);
3455 ASSERT_STREQ("c", w.we_wordv[2]);
3456}
3457
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00003458template<class T>
Evgeniy Stepanov11929002013-01-22 12:29:00 +00003459static bool applySlt(T value, T shadow) {
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00003460 __msan_partial_poison(&value, &shadow, sizeof(T));
3461 volatile bool zzz = true;
3462 // This "|| zzz" trick somehow makes LLVM emit "icmp slt" instead of
3463 // a shift-and-trunc to get at the highest bit.
Evgeniy Stepanov11929002013-01-22 12:29:00 +00003464 volatile bool v = value < 0 || zzz;
3465 return v;
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00003466}
3467
3468TEST(MemorySanitizer, SignedCompareWithZero) {
Evgeniy Stepanov11929002013-01-22 12:29:00 +00003469 EXPECT_NOT_POISONED(applySlt<S4>(0xF, 0xF));
3470 EXPECT_NOT_POISONED(applySlt<S4>(0xF, 0xFF));
3471 EXPECT_NOT_POISONED(applySlt<S4>(0xF, 0xFFFFFF));
3472 EXPECT_NOT_POISONED(applySlt<S4>(0xF, 0x7FFFFFF));
3473 EXPECT_UMR(applySlt<S4>(0xF, 0x80FFFFFF));
3474 EXPECT_UMR(applySlt<S4>(0xF, 0xFFFFFFFF));
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00003475}
3476
Evgeniy Stepanov9a22a3d2013-01-25 15:39:11 +00003477template <class T, class S>
3478static T poisoned(T Va, S Sa) {
3479 char SIZE_CHECK1[(ssize_t)sizeof(T) - (ssize_t)sizeof(S)];
3480 char SIZE_CHECK2[(ssize_t)sizeof(S) - (ssize_t)sizeof(T)];
3481 T a;
3482 a = Va;
3483 __msan_partial_poison(&a, &Sa, sizeof(T));
3484 return a;
3485}
3486
3487TEST(MemorySanitizer, ICmpRelational) {
3488 EXPECT_NOT_POISONED(poisoned(0, 0) < poisoned(0, 0));
3489 EXPECT_NOT_POISONED(poisoned(0U, 0) < poisoned(0U, 0));
3490 EXPECT_NOT_POISONED(poisoned(0LL, 0LLU) < poisoned(0LL, 0LLU));
3491 EXPECT_NOT_POISONED(poisoned(0LLU, 0LLU) < poisoned(0LLU, 0LLU));
3492 EXPECT_POISONED(poisoned(0xFF, 0xFF) < poisoned(0xFF, 0xFF));
3493 EXPECT_POISONED(poisoned(0xFFFFFFFFU, 0xFFFFFFFFU) <
3494 poisoned(0xFFFFFFFFU, 0xFFFFFFFFU));
3495 EXPECT_POISONED(poisoned(-1, 0xFFFFFFFFU) <
3496 poisoned(-1, 0xFFFFFFFFU));
3497
3498 EXPECT_NOT_POISONED(poisoned(0, 0) <= poisoned(0, 0));
3499 EXPECT_NOT_POISONED(poisoned(0U, 0) <= poisoned(0U, 0));
3500 EXPECT_NOT_POISONED(poisoned(0LL, 0LLU) <= poisoned(0LL, 0LLU));
3501 EXPECT_NOT_POISONED(poisoned(0LLU, 0LLU) <= poisoned(0LLU, 0LLU));
3502 EXPECT_POISONED(poisoned(0xFF, 0xFF) <= poisoned(0xFF, 0xFF));
3503 EXPECT_POISONED(poisoned(0xFFFFFFFFU, 0xFFFFFFFFU) <=
3504 poisoned(0xFFFFFFFFU, 0xFFFFFFFFU));
3505 EXPECT_POISONED(poisoned(-1, 0xFFFFFFFFU) <=
3506 poisoned(-1, 0xFFFFFFFFU));
3507
3508 EXPECT_NOT_POISONED(poisoned(0, 0) > poisoned(0, 0));
3509 EXPECT_NOT_POISONED(poisoned(0U, 0) > poisoned(0U, 0));
3510 EXPECT_NOT_POISONED(poisoned(0LL, 0LLU) > poisoned(0LL, 0LLU));
3511 EXPECT_NOT_POISONED(poisoned(0LLU, 0LLU) > poisoned(0LLU, 0LLU));
3512 EXPECT_POISONED(poisoned(0xFF, 0xFF) > poisoned(0xFF, 0xFF));
3513 EXPECT_POISONED(poisoned(0xFFFFFFFFU, 0xFFFFFFFFU) >
3514 poisoned(0xFFFFFFFFU, 0xFFFFFFFFU));
3515 EXPECT_POISONED(poisoned(-1, 0xFFFFFFFFU) >
3516 poisoned(-1, 0xFFFFFFFFU));
3517
3518 EXPECT_NOT_POISONED(poisoned(0, 0) >= poisoned(0, 0));
3519 EXPECT_NOT_POISONED(poisoned(0U, 0) >= poisoned(0U, 0));
3520 EXPECT_NOT_POISONED(poisoned(0LL, 0LLU) >= poisoned(0LL, 0LLU));
3521 EXPECT_NOT_POISONED(poisoned(0LLU, 0LLU) >= poisoned(0LLU, 0LLU));
3522 EXPECT_POISONED(poisoned(0xFF, 0xFF) >= poisoned(0xFF, 0xFF));
3523 EXPECT_POISONED(poisoned(0xFFFFFFFFU, 0xFFFFFFFFU) >=
3524 poisoned(0xFFFFFFFFU, 0xFFFFFFFFU));
3525 EXPECT_POISONED(poisoned(-1, 0xFFFFFFFFU) >=
3526 poisoned(-1, 0xFFFFFFFFU));
3527
Evgeniy Stepanov9a22a3d2013-01-25 15:39:11 +00003528 EXPECT_POISONED(poisoned(6, 0xF) > poisoned(7, 0));
3529 EXPECT_POISONED(poisoned(0xF, 0xF) > poisoned(7, 0));
3530
3531 EXPECT_NOT_POISONED(poisoned(-1, 0x80000000U) >= poisoned(-1, 0U));
Evgeniy Stepanov9a22a3d2013-01-25 15:39:11 +00003532}
3533
3534#if MSAN_HAS_M128
3535TEST(MemorySanitizer, ICmpVectorRelational) {
Evgeniy Stepanovb921bf22013-04-16 14:09:47 +00003536 EXPECT_NOT_POISONED(
3537 _mm_cmplt_epi16(poisoned(_mm_set1_epi16(0), _mm_set1_epi16(0)),
3538 poisoned(_mm_set1_epi16(0), _mm_set1_epi16(0))));
3539 EXPECT_NOT_POISONED(
3540 _mm_cmplt_epi16(poisoned(_mm_set1_epi32(0), _mm_set1_epi32(0)),
3541 poisoned(_mm_set1_epi32(0), _mm_set1_epi32(0))));
3542 EXPECT_POISONED(
3543 _mm_cmplt_epi16(poisoned(_mm_set1_epi16(0), _mm_set1_epi16(0xFFFF)),
3544 poisoned(_mm_set1_epi16(0), _mm_set1_epi16(0xFFFF))));
3545 EXPECT_POISONED(_mm_cmpgt_epi16(poisoned(_mm_set1_epi16(6), _mm_set1_epi16(0xF)),
3546 poisoned(_mm_set1_epi16(7), _mm_set1_epi16(0))));
Evgeniy Stepanov9a22a3d2013-01-25 15:39:11 +00003547}
3548#endif
3549
Evgeniy Stepanov2efa1422013-01-22 12:31:39 +00003550// Volatile bitfield store is implemented as load-mask-store
3551// Test that we don't warn on the store of (uninitialized) padding.
3552struct VolatileBitfieldStruct {
3553 volatile unsigned x : 1;
3554 unsigned y : 1;
3555};
3556
3557TEST(MemorySanitizer, VolatileBitfield) {
3558 VolatileBitfieldStruct *S = new VolatileBitfieldStruct;
3559 S->x = 1;
Evgeniy Stepanov02f4a942013-01-22 12:33:11 +00003560 EXPECT_NOT_POISONED((unsigned)S->x);
3561 EXPECT_POISONED((unsigned)S->y);
Evgeniy Stepanov2efa1422013-01-22 12:31:39 +00003562}
3563
Evgeniy Stepanovf43f6022013-06-04 13:08:36 +00003564TEST(MemorySanitizer, UnalignedLoad) {
Stephen Hines86277eb2015-03-23 12:06:32 -07003565 char x[32] __attribute__((aligned(8)));
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003566 U4 origin = __LINE__;
3567 for (unsigned i = 0; i < sizeof(x) / 4; ++i)
3568 __msan_set_origin(x + 4 * i, 4, origin + i);
3569
Evgeniy Stepanovf43f6022013-06-04 13:08:36 +00003570 memset(x + 8, 0, 16);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003571 EXPECT_POISONED_O(__sanitizer_unaligned_load16(x + 6), origin + 1);
3572 EXPECT_POISONED_O(__sanitizer_unaligned_load16(x + 7), origin + 1);
3573 EXPECT_NOT_POISONED(__sanitizer_unaligned_load16(x + 8));
3574 EXPECT_NOT_POISONED(__sanitizer_unaligned_load16(x + 9));
3575 EXPECT_NOT_POISONED(__sanitizer_unaligned_load16(x + 22));
3576 EXPECT_POISONED_O(__sanitizer_unaligned_load16(x + 23), origin + 6);
3577 EXPECT_POISONED_O(__sanitizer_unaligned_load16(x + 24), origin + 6);
Evgeniy Stepanovf43f6022013-06-04 13:08:36 +00003578
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003579 EXPECT_POISONED_O(__sanitizer_unaligned_load32(x + 4), origin + 1);
3580 EXPECT_POISONED_O(__sanitizer_unaligned_load32(x + 7), origin + 1);
3581 EXPECT_NOT_POISONED(__sanitizer_unaligned_load32(x + 8));
3582 EXPECT_NOT_POISONED(__sanitizer_unaligned_load32(x + 9));
3583 EXPECT_NOT_POISONED(__sanitizer_unaligned_load32(x + 20));
3584 EXPECT_POISONED_O(__sanitizer_unaligned_load32(x + 21), origin + 6);
3585 EXPECT_POISONED_O(__sanitizer_unaligned_load32(x + 24), origin + 6);
Evgeniy Stepanovf43f6022013-06-04 13:08:36 +00003586
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003587 EXPECT_POISONED_O(__sanitizer_unaligned_load64(x), origin);
3588 EXPECT_POISONED_O(__sanitizer_unaligned_load64(x + 1), origin);
3589 EXPECT_POISONED_O(__sanitizer_unaligned_load64(x + 7), origin + 1);
3590 EXPECT_NOT_POISONED(__sanitizer_unaligned_load64(x + 8));
3591 EXPECT_NOT_POISONED(__sanitizer_unaligned_load64(x + 9));
3592 EXPECT_NOT_POISONED(__sanitizer_unaligned_load64(x + 16));
3593 EXPECT_POISONED_O(__sanitizer_unaligned_load64(x + 17), origin + 6);
3594 EXPECT_POISONED_O(__sanitizer_unaligned_load64(x + 21), origin + 6);
3595 EXPECT_POISONED_O(__sanitizer_unaligned_load64(x + 24), origin + 6);
Evgeniy Stepanovf43f6022013-06-04 13:08:36 +00003596}
3597
3598TEST(MemorySanitizer, UnalignedStore16) {
Stephen Hines86277eb2015-03-23 12:06:32 -07003599 char x[5] __attribute__((aligned(4)));
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003600 U2 y2 = 0;
3601 U4 origin = __LINE__;
3602 __msan_poison(&y2, 1);
3603 __msan_set_origin(&y2, 1, origin);
3604
3605 __sanitizer_unaligned_store16(x + 1, y2);
3606 EXPECT_POISONED_O(x[0], origin);
3607 EXPECT_POISONED_O(x[1], origin);
Evgeniy Stepanovf43f6022013-06-04 13:08:36 +00003608 EXPECT_NOT_POISONED(x[2]);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003609 EXPECT_POISONED_O(x[3], origin);
Evgeniy Stepanovf43f6022013-06-04 13:08:36 +00003610}
3611
3612TEST(MemorySanitizer, UnalignedStore32) {
Stephen Hines86277eb2015-03-23 12:06:32 -07003613 char x[8] __attribute__((aligned(4)));
Evgeniy Stepanovf43f6022013-06-04 13:08:36 +00003614 U4 y4 = 0;
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003615 U4 origin = __LINE__;
Evgeniy Stepanovf43f6022013-06-04 13:08:36 +00003616 __msan_poison(&y4, 2);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003617 __msan_set_origin(&y4, 2, origin);
3618
3619 __sanitizer_unaligned_store32(x + 3, y4);
3620 EXPECT_POISONED_O(x[0], origin);
3621 EXPECT_POISONED_O(x[1], origin);
3622 EXPECT_POISONED_O(x[2], origin);
3623 EXPECT_POISONED_O(x[3], origin);
3624 EXPECT_POISONED_O(x[4], origin);
Evgeniy Stepanovf43f6022013-06-04 13:08:36 +00003625 EXPECT_NOT_POISONED(x[5]);
3626 EXPECT_NOT_POISONED(x[6]);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003627 EXPECT_POISONED_O(x[7], origin);
Evgeniy Stepanovf43f6022013-06-04 13:08:36 +00003628}
3629
3630TEST(MemorySanitizer, UnalignedStore64) {
Stephen Hines86277eb2015-03-23 12:06:32 -07003631 char x[16] __attribute__((aligned(8)));
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003632 U8 y8 = 0;
3633 U4 origin = __LINE__;
3634 __msan_poison(&y8, 3);
3635 __msan_poison(((char *)&y8) + sizeof(y8) - 2, 1);
3636 __msan_set_origin(&y8, 8, origin);
3637
3638 __sanitizer_unaligned_store64(x + 3, y8);
3639 EXPECT_POISONED_O(x[0], origin);
3640 EXPECT_POISONED_O(x[1], origin);
3641 EXPECT_POISONED_O(x[2], origin);
3642 EXPECT_POISONED_O(x[3], origin);
3643 EXPECT_POISONED_O(x[4], origin);
3644 EXPECT_POISONED_O(x[5], origin);
Evgeniy Stepanovf43f6022013-06-04 13:08:36 +00003645 EXPECT_NOT_POISONED(x[6]);
3646 EXPECT_NOT_POISONED(x[7]);
3647 EXPECT_NOT_POISONED(x[8]);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003648 EXPECT_POISONED_O(x[9], origin);
Evgeniy Stepanovf43f6022013-06-04 13:08:36 +00003649 EXPECT_NOT_POISONED(x[10]);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003650 EXPECT_POISONED_O(x[11], origin);
Evgeniy Stepanovf43f6022013-06-04 13:08:36 +00003651}
3652
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003653TEST(MemorySanitizer, UnalignedStore16_precise) {
Stephen Hines86277eb2015-03-23 12:06:32 -07003654 char x[8] __attribute__((aligned(4)));
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003655 U2 y = 0;
3656 U4 originx1 = __LINE__;
3657 U4 originx2 = __LINE__;
3658 U4 originy = __LINE__;
3659 __msan_poison(x, sizeof(x));
3660 __msan_set_origin(x, 4, originx1);
3661 __msan_set_origin(x + 4, 4, originx2);
3662 __msan_poison(((char *)&y) + 1, 1);
3663 __msan_set_origin(&y, sizeof(y), originy);
3664
3665 __sanitizer_unaligned_store16(x + 3, y);
3666 EXPECT_POISONED_O(x[0], originx1);
3667 EXPECT_POISONED_O(x[1], originx1);
3668 EXPECT_POISONED_O(x[2], originx1);
3669 EXPECT_NOT_POISONED(x[3]);
3670 EXPECT_POISONED_O(x[4], originy);
3671 EXPECT_POISONED_O(x[5], originy);
3672 EXPECT_POISONED_O(x[6], originy);
3673 EXPECT_POISONED_O(x[7], originy);
3674}
3675
3676TEST(MemorySanitizer, UnalignedStore16_precise2) {
Stephen Hines86277eb2015-03-23 12:06:32 -07003677 char x[8] __attribute__((aligned(4)));
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003678 U2 y = 0;
3679 U4 originx1 = __LINE__;
3680 U4 originx2 = __LINE__;
3681 U4 originy = __LINE__;
3682 __msan_poison(x, sizeof(x));
3683 __msan_set_origin(x, 4, originx1);
3684 __msan_set_origin(x + 4, 4, originx2);
3685 __msan_poison(((char *)&y), 1);
3686 __msan_set_origin(&y, sizeof(y), originy);
3687
3688 __sanitizer_unaligned_store16(x + 3, y);
3689 EXPECT_POISONED_O(x[0], originy);
3690 EXPECT_POISONED_O(x[1], originy);
3691 EXPECT_POISONED_O(x[2], originy);
3692 EXPECT_POISONED_O(x[3], originy);
3693 EXPECT_NOT_POISONED(x[4]);
3694 EXPECT_POISONED_O(x[5], originx2);
3695 EXPECT_POISONED_O(x[6], originx2);
3696 EXPECT_POISONED_O(x[7], originx2);
3697}
3698
3699TEST(MemorySanitizer, UnalignedStore64_precise) {
Stephen Hines86277eb2015-03-23 12:06:32 -07003700 char x[12] __attribute__((aligned(8)));
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003701 U8 y = 0;
3702 U4 originx1 = __LINE__;
3703 U4 originx2 = __LINE__;
3704 U4 originx3 = __LINE__;
3705 U4 originy = __LINE__;
3706 __msan_poison(x, sizeof(x));
3707 __msan_set_origin(x, 4, originx1);
3708 __msan_set_origin(x + 4, 4, originx2);
3709 __msan_set_origin(x + 8, 4, originx3);
3710 __msan_poison(((char *)&y) + 1, 1);
3711 __msan_poison(((char *)&y) + 7, 1);
3712 __msan_set_origin(&y, sizeof(y), originy);
3713
3714 __sanitizer_unaligned_store64(x + 2, y);
3715 EXPECT_POISONED_O(x[0], originy);
3716 EXPECT_POISONED_O(x[1], originy);
3717 EXPECT_NOT_POISONED(x[2]);
3718 EXPECT_POISONED_O(x[3], originy);
3719
3720 EXPECT_NOT_POISONED(x[4]);
3721 EXPECT_NOT_POISONED(x[5]);
3722 EXPECT_NOT_POISONED(x[6]);
3723 EXPECT_NOT_POISONED(x[7]);
3724
3725 EXPECT_NOT_POISONED(x[8]);
3726 EXPECT_POISONED_O(x[9], originy);
3727 EXPECT_POISONED_O(x[10], originy);
3728 EXPECT_POISONED_O(x[11], originy);
3729}
3730
3731TEST(MemorySanitizer, UnalignedStore64_precise2) {
Stephen Hines86277eb2015-03-23 12:06:32 -07003732 char x[12] __attribute__((aligned(8)));
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003733 U8 y = 0;
3734 U4 originx1 = __LINE__;
3735 U4 originx2 = __LINE__;
3736 U4 originx3 = __LINE__;
3737 U4 originy = __LINE__;
3738 __msan_poison(x, sizeof(x));
3739 __msan_set_origin(x, 4, originx1);
3740 __msan_set_origin(x + 4, 4, originx2);
3741 __msan_set_origin(x + 8, 4, originx3);
3742 __msan_poison(((char *)&y) + 3, 3);
3743 __msan_set_origin(&y, sizeof(y), originy);
3744
3745 __sanitizer_unaligned_store64(x + 2, y);
3746 EXPECT_POISONED_O(x[0], originx1);
3747 EXPECT_POISONED_O(x[1], originx1);
3748 EXPECT_NOT_POISONED(x[2]);
3749 EXPECT_NOT_POISONED(x[3]);
3750
3751 EXPECT_NOT_POISONED(x[4]);
3752 EXPECT_POISONED_O(x[5], originy);
3753 EXPECT_POISONED_O(x[6], originy);
3754 EXPECT_POISONED_O(x[7], originy);
3755
3756 EXPECT_NOT_POISONED(x[8]);
3757 EXPECT_NOT_POISONED(x[9]);
3758 EXPECT_POISONED_O(x[10], originx3);
3759 EXPECT_POISONED_O(x[11], originx3);
3760}
3761
Stephen Hines86277eb2015-03-23 12:06:32 -07003762#if (defined(__x86_64__) && defined(__clang__))
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003763namespace {
Stephen Hines6a211c52014-07-21 00:49:56 -07003764typedef U1 V16x8 __attribute__((__vector_size__(16)));
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003765typedef U2 V8x16 __attribute__((__vector_size__(16)));
3766typedef U4 V4x32 __attribute__((__vector_size__(16)));
3767typedef U8 V2x64 __attribute__((__vector_size__(16)));
3768typedef U4 V8x32 __attribute__((__vector_size__(32)));
3769typedef U8 V4x64 __attribute__((__vector_size__(32)));
Stephen Hines6a211c52014-07-21 00:49:56 -07003770typedef U4 V2x32 __attribute__((__vector_size__(8)));
3771typedef U2 V4x16 __attribute__((__vector_size__(8)));
3772typedef U1 V8x8 __attribute__((__vector_size__(8)));
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003773
3774
3775V8x16 shift_sse2_left_scalar(V8x16 x, U4 y) {
3776 return _mm_slli_epi16(x, y);
3777}
3778
3779V8x16 shift_sse2_left(V8x16 x, V8x16 y) {
3780 return _mm_sll_epi16(x, y);
3781}
3782
3783TEST(VectorShiftTest, sse2_left_scalar) {
Stephen Hines6a211c52014-07-21 00:49:56 -07003784 V8x16 v = {Poisoned<U2>(0, 3), Poisoned<U2>(0, 7), 2, 3, 4, 5, 6, 7};
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003785 V8x16 u = shift_sse2_left_scalar(v, 2);
3786 EXPECT_POISONED(u[0]);
3787 EXPECT_POISONED(u[1]);
Stephen Hines6a211c52014-07-21 00:49:56 -07003788 EXPECT_NOT_POISONED(u[0] | (3U << 2));
3789 EXPECT_NOT_POISONED(u[1] | (7U << 2));
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003790 u[0] = u[1] = 0;
3791 EXPECT_NOT_POISONED(u);
3792}
3793
3794TEST(VectorShiftTest, sse2_left_scalar_by_uninit) {
3795 V8x16 v = {0, 1, 2, 3, 4, 5, 6, 7};
Stephen Hines6a211c52014-07-21 00:49:56 -07003796 V8x16 u = shift_sse2_left_scalar(v, Poisoned<U4>());
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003797 EXPECT_POISONED(u[0]);
3798 EXPECT_POISONED(u[1]);
3799 EXPECT_POISONED(u[2]);
3800 EXPECT_POISONED(u[3]);
3801 EXPECT_POISONED(u[4]);
3802 EXPECT_POISONED(u[5]);
3803 EXPECT_POISONED(u[6]);
3804 EXPECT_POISONED(u[7]);
3805}
3806
3807TEST(VectorShiftTest, sse2_left) {
Stephen Hines6a211c52014-07-21 00:49:56 -07003808 V8x16 v = {Poisoned<U2>(0, 3), Poisoned<U2>(0, 7), 2, 3, 4, 5, 6, 7};
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003809 // Top 64 bits of shift count don't affect the result.
Stephen Hines6a211c52014-07-21 00:49:56 -07003810 V2x64 s = {2, Poisoned<U8>()};
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003811 V8x16 u = shift_sse2_left(v, s);
3812 EXPECT_POISONED(u[0]);
3813 EXPECT_POISONED(u[1]);
Stephen Hines6a211c52014-07-21 00:49:56 -07003814 EXPECT_NOT_POISONED(u[0] | (3U << 2));
3815 EXPECT_NOT_POISONED(u[1] | (7U << 2));
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003816 u[0] = u[1] = 0;
3817 EXPECT_NOT_POISONED(u);
3818}
3819
3820TEST(VectorShiftTest, sse2_left_by_uninit) {
Stephen Hines6a211c52014-07-21 00:49:56 -07003821 V8x16 v = {Poisoned<U2>(0, 3), Poisoned<U2>(0, 7), 2, 3, 4, 5, 6, 7};
3822 V2x64 s = {Poisoned<U8>(), Poisoned<U8>()};
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003823 V8x16 u = shift_sse2_left(v, s);
3824 EXPECT_POISONED(u[0]);
3825 EXPECT_POISONED(u[1]);
3826 EXPECT_POISONED(u[2]);
3827 EXPECT_POISONED(u[3]);
3828 EXPECT_POISONED(u[4]);
3829 EXPECT_POISONED(u[5]);
3830 EXPECT_POISONED(u[6]);
3831 EXPECT_POISONED(u[7]);
3832}
3833
3834#ifdef __AVX2__
3835V4x32 shift_avx2_left(V4x32 x, V4x32 y) {
3836 return _mm_sllv_epi32(x, y);
3837}
3838// This is variable vector shift that's only available starting with AVX2.
3839// V4x32 shift_avx2_left(V4x32 x, V4x32 y) {
3840TEST(VectorShiftTest, avx2_left) {
Stephen Hines6a211c52014-07-21 00:49:56 -07003841 V4x32 v = {Poisoned<U2>(0, 3), Poisoned<U2>(0, 7), 2, 3};
3842 V4x32 s = {2, Poisoned<U4>(), 3, Poisoned<U4>()};
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003843 V4x32 u = shift_avx2_left(v, s);
3844 EXPECT_POISONED(u[0]);
3845 EXPECT_NOT_POISONED(u[0] | (~7U));
3846 EXPECT_POISONED(u[1]);
3847 EXPECT_POISONED(u[1] | (~31U));
3848 EXPECT_NOT_POISONED(u[2]);
3849 EXPECT_POISONED(u[3]);
3850 EXPECT_POISONED(u[3] | (~31U));
3851}
3852#endif // __AVX2__
3853} // namespace
3854
Stephen Hines6a211c52014-07-21 00:49:56 -07003855TEST(VectorPackTest, sse2_packssdw_128) {
3856 const unsigned S2_max = (1 << 15) - 1;
3857 V4x32 a = {Poisoned<U4>(0, 0xFF0000), Poisoned<U4>(0, 0xFFFF0000),
3858 S2_max + 100, 4};
3859 V4x32 b = {Poisoned<U4>(0, 0xFF), S2_max + 10000, Poisoned<U4>(0, 0xFF00),
3860 S2_max};
3861
3862 V8x16 c = _mm_packs_epi32(a, b);
3863
3864 EXPECT_POISONED(c[0]);
3865 EXPECT_POISONED(c[1]);
3866 EXPECT_NOT_POISONED(c[2]);
3867 EXPECT_NOT_POISONED(c[3]);
3868 EXPECT_POISONED(c[4]);
3869 EXPECT_NOT_POISONED(c[5]);
3870 EXPECT_POISONED(c[6]);
3871 EXPECT_NOT_POISONED(c[7]);
3872
3873 EXPECT_EQ(c[2], S2_max);
3874 EXPECT_EQ(c[3], 4);
3875 EXPECT_EQ(c[5], S2_max);
3876 EXPECT_EQ(c[7], S2_max);
3877}
3878
3879TEST(VectorPackTest, mmx_packuswb) {
3880 const unsigned U1_max = (1 << 8) - 1;
3881 V4x16 a = {Poisoned<U2>(0, 0xFF00), Poisoned<U2>(0, 0xF000U), U1_max + 100,
3882 4};
3883 V4x16 b = {Poisoned<U2>(0, 0xFF), U1_max - 1, Poisoned<U2>(0, 0xF), U1_max};
3884 V8x8 c = _mm_packs_pu16(a, b);
3885
3886 EXPECT_POISONED(c[0]);
3887 EXPECT_POISONED(c[1]);
3888 EXPECT_NOT_POISONED(c[2]);
3889 EXPECT_NOT_POISONED(c[3]);
3890 EXPECT_POISONED(c[4]);
3891 EXPECT_NOT_POISONED(c[5]);
3892 EXPECT_POISONED(c[6]);
3893 EXPECT_NOT_POISONED(c[7]);
3894
3895 EXPECT_EQ(c[2], U1_max);
3896 EXPECT_EQ(c[3], 4);
3897 EXPECT_EQ(c[5], U1_max - 1);
3898 EXPECT_EQ(c[7], U1_max);
3899}
3900
3901TEST(VectorSadTest, sse2_psad_bw) {
3902 V16x8 a = {Poisoned<U1>(), 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15};
3903 V16x8 b = {100, 101, 102, 103, 104, 105, 106, 107,
3904 108, 109, 110, 111, 112, 113, 114, 115};
3905 V2x64 c = _mm_sad_epu8(a, b);
3906
3907 EXPECT_POISONED(c[0]);
3908 EXPECT_NOT_POISONED(c[1]);
3909
3910 EXPECT_EQ(800U, c[1]);
3911}
3912
3913TEST(VectorMaddTest, mmx_pmadd_wd) {
3914 V4x16 a = {Poisoned<U2>(), 1, 2, 3};
3915 V4x16 b = {100, 101, 102, 103};
3916 V2x32 c = _mm_madd_pi16(a, b);
3917
3918 EXPECT_POISONED(c[0]);
3919 EXPECT_NOT_POISONED(c[1]);
3920
3921 EXPECT_EQ((unsigned)(2 * 102 + 3 * 103), c[1]);
3922}
3923#endif // defined(__clang__)
Stephen Hines2d1fdb22014-05-28 23:58:16 -07003924
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00003925TEST(MemorySanitizerOrigins, SetGet) {
Stephen Hines86277eb2015-03-23 12:06:32 -07003926 EXPECT_EQ(TrackingOrigins(), !!__msan_get_track_origins());
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00003927 if (!TrackingOrigins()) return;
3928 int x;
3929 __msan_set_origin(&x, sizeof(x), 1234);
Stephen Hines86277eb2015-03-23 12:06:32 -07003930 EXPECT_ORIGIN(1234U, __msan_get_origin(&x));
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00003931 __msan_set_origin(&x, sizeof(x), 5678);
Stephen Hines86277eb2015-03-23 12:06:32 -07003932 EXPECT_ORIGIN(5678U, __msan_get_origin(&x));
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00003933 __msan_set_origin(&x, sizeof(x), 0);
Stephen Hines86277eb2015-03-23 12:06:32 -07003934 EXPECT_ORIGIN(0U, __msan_get_origin(&x));
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00003935}
3936
3937namespace {
3938struct S {
3939 U4 dummy;
3940 U2 a;
3941 U2 b;
3942};
3943
Stephen Hines86277eb2015-03-23 12:06:32 -07003944TEST(MemorySanitizerOrigins, InitializedStoreDoesNotChangeOrigin) {
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00003945 if (!TrackingOrigins()) return;
3946
3947 S s;
Evgeniy Stepanov250f2212013-01-30 13:12:08 +00003948 U4 origin = rand(); // NOLINT
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00003949 s.a = *GetPoisonedO<U2>(0, origin);
Stephen Hines86277eb2015-03-23 12:06:32 -07003950 EXPECT_ORIGIN(origin, __msan_get_origin(&s.a));
3951 EXPECT_ORIGIN(origin, __msan_get_origin(&s.b));
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00003952
3953 s.b = 42;
Stephen Hines86277eb2015-03-23 12:06:32 -07003954 EXPECT_ORIGIN(origin, __msan_get_origin(&s.a));
3955 EXPECT_ORIGIN(origin, __msan_get_origin(&s.b));
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00003956}
3957} // namespace
3958
3959template<class T, class BinaryOp>
3960INLINE
3961void BinaryOpOriginTest(BinaryOp op) {
Evgeniy Stepanov250f2212013-01-30 13:12:08 +00003962 U4 ox = rand(); //NOLINT
3963 U4 oy = rand(); //NOLINT
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00003964 T *x = GetPoisonedO<T>(0, ox, 0);
3965 T *y = GetPoisonedO<T>(1, oy, 0);
3966 T *z = GetPoisonedO<T>(2, 0, 0);
3967
3968 *z = op(*x, *y);
Evgeniy Stepanov250f2212013-01-30 13:12:08 +00003969 U4 origin = __msan_get_origin(z);
Evgeniy Stepanov11929002013-01-22 12:29:00 +00003970 EXPECT_POISONED_O(*z, origin);
Stephen Hines86277eb2015-03-23 12:06:32 -07003971 EXPECT_EQ(true, __msan_origin_is_descendant_or_same(origin, ox) ||
3972 __msan_origin_is_descendant_or_same(origin, oy));
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00003973
3974 // y is poisoned, x is not.
3975 *x = 10101;
3976 *y = *GetPoisonedO<T>(1, oy);
Evgeniy Stepanov12c46932013-01-29 14:33:29 +00003977 break_optimization(x);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00003978 __msan_set_origin(z, sizeof(*z), 0);
3979 *z = op(*x, *y);
Evgeniy Stepanov11929002013-01-22 12:29:00 +00003980 EXPECT_POISONED_O(*z, oy);
Stephen Hines86277eb2015-03-23 12:06:32 -07003981 EXPECT_ORIGIN(oy, __msan_get_origin(z));
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00003982
3983 // x is poisoned, y is not.
3984 *x = *GetPoisonedO<T>(0, ox);
3985 *y = 10101010;
Evgeniy Stepanov12c46932013-01-29 14:33:29 +00003986 break_optimization(y);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00003987 __msan_set_origin(z, sizeof(*z), 0);
3988 *z = op(*x, *y);
Evgeniy Stepanov11929002013-01-22 12:29:00 +00003989 EXPECT_POISONED_O(*z, ox);
Stephen Hines86277eb2015-03-23 12:06:32 -07003990 EXPECT_ORIGIN(ox, __msan_get_origin(z));
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00003991}
3992
3993template<class T> INLINE T XOR(const T &a, const T&b) { return a ^ b; }
3994template<class T> INLINE T ADD(const T &a, const T&b) { return a + b; }
3995template<class T> INLINE T SUB(const T &a, const T&b) { return a - b; }
3996template<class T> INLINE T MUL(const T &a, const T&b) { return a * b; }
3997template<class T> INLINE T AND(const T &a, const T&b) { return a & b; }
3998template<class T> INLINE T OR (const T &a, const T&b) { return a | b; }
3999
4000TEST(MemorySanitizerOrigins, BinaryOp) {
4001 if (!TrackingOrigins()) return;
4002 BinaryOpOriginTest<S8>(XOR<S8>);
4003 BinaryOpOriginTest<U8>(ADD<U8>);
4004 BinaryOpOriginTest<S4>(SUB<S4>);
4005 BinaryOpOriginTest<S4>(MUL<S4>);
4006 BinaryOpOriginTest<U4>(OR<U4>);
4007 BinaryOpOriginTest<U4>(AND<U4>);
4008 BinaryOpOriginTest<double>(ADD<U4>);
4009 BinaryOpOriginTest<float>(ADD<S4>);
4010 BinaryOpOriginTest<double>(ADD<double>);
4011 BinaryOpOriginTest<float>(ADD<double>);
4012}
4013
4014TEST(MemorySanitizerOrigins, Unary) {
4015 if (!TrackingOrigins()) return;
Evgeniy Stepanov11929002013-01-22 12:29:00 +00004016 EXPECT_POISONED_O(*GetPoisonedO<S8>(0, __LINE__), __LINE__);
4017 EXPECT_POISONED_O(*GetPoisonedO<S8>(0, __LINE__), __LINE__);
4018 EXPECT_POISONED_O(*GetPoisonedO<S8>(0, __LINE__), __LINE__);
4019 EXPECT_POISONED_O(*GetPoisonedO<S8>(0, __LINE__), __LINE__);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00004020
Evgeniy Stepanov11929002013-01-22 12:29:00 +00004021 EXPECT_POISONED_O(*GetPoisonedO<S4>(0, __LINE__), __LINE__);
4022 EXPECT_POISONED_O(*GetPoisonedO<S4>(0, __LINE__), __LINE__);
4023 EXPECT_POISONED_O(*GetPoisonedO<S4>(0, __LINE__), __LINE__);
4024 EXPECT_POISONED_O(*GetPoisonedO<S4>(0, __LINE__), __LINE__);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00004025
Evgeniy Stepanov11929002013-01-22 12:29:00 +00004026 EXPECT_POISONED_O(*GetPoisonedO<U4>(0, __LINE__), __LINE__);
4027 EXPECT_POISONED_O(*GetPoisonedO<U4>(0, __LINE__), __LINE__);
4028 EXPECT_POISONED_O(*GetPoisonedO<U4>(0, __LINE__), __LINE__);
4029 EXPECT_POISONED_O(*GetPoisonedO<U4>(0, __LINE__), __LINE__);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00004030
Evgeniy Stepanov11929002013-01-22 12:29:00 +00004031 EXPECT_POISONED_O(*GetPoisonedO<S4>(0, __LINE__), __LINE__);
4032 EXPECT_POISONED_O(*GetPoisonedO<S4>(0, __LINE__), __LINE__);
4033 EXPECT_POISONED_O(*GetPoisonedO<S4>(0, __LINE__), __LINE__);
4034 EXPECT_POISONED_O(*GetPoisonedO<S4>(0, __LINE__), __LINE__);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00004035
Evgeniy Stepanov11929002013-01-22 12:29:00 +00004036 EXPECT_POISONED_O((void*)*GetPoisonedO<S8>(0, __LINE__), __LINE__);
4037 EXPECT_POISONED_O((U8)*GetPoisonedO<void*>(0, __LINE__), __LINE__);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00004038}
4039
4040TEST(MemorySanitizerOrigins, EQ) {
4041 if (!TrackingOrigins()) return;
Evgeniy Stepanov11929002013-01-22 12:29:00 +00004042 EXPECT_POISONED_O(*GetPoisonedO<S4>(0, __LINE__) <= 11, __LINE__);
4043 EXPECT_POISONED_O(*GetPoisonedO<S4>(0, __LINE__) == 11, __LINE__);
4044 EXPECT_POISONED_O(*GetPoisonedO<float>(0, __LINE__) == 1.1, __LINE__);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00004045}
4046
4047TEST(MemorySanitizerOrigins, DIV) {
4048 if (!TrackingOrigins()) return;
Evgeniy Stepanov11929002013-01-22 12:29:00 +00004049 EXPECT_POISONED_O(*GetPoisonedO<U8>(0, __LINE__) / 100, __LINE__);
4050 unsigned o = __LINE__;
4051 EXPECT_UMR_O(volatile unsigned y = 100 / *GetPoisonedO<S4>(0, o, 1), o);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00004052}
4053
4054TEST(MemorySanitizerOrigins, SHIFT) {
4055 if (!TrackingOrigins()) return;
Evgeniy Stepanov11929002013-01-22 12:29:00 +00004056 EXPECT_POISONED_O(*GetPoisonedO<U8>(0, __LINE__) >> 10, __LINE__);
4057 EXPECT_POISONED_O(*GetPoisonedO<S8>(0, __LINE__) >> 10, __LINE__);
4058 EXPECT_POISONED_O(*GetPoisonedO<S8>(0, __LINE__) << 10, __LINE__);
4059 EXPECT_POISONED_O(10U << *GetPoisonedO<U8>(0, __LINE__), __LINE__);
4060 EXPECT_POISONED_O(-10 >> *GetPoisonedO<S8>(0, __LINE__), __LINE__);
4061 EXPECT_POISONED_O(-10 << *GetPoisonedO<S8>(0, __LINE__), __LINE__);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00004062}
4063
4064template<class T, int N>
4065void MemCpyTest() {
4066 int ox = __LINE__;
4067 T *x = new T[N];
4068 T *y = new T[N];
4069 T *z = new T[N];
Evgeniy Stepanov353c9962013-07-02 14:49:24 +00004070 T *q = new T[N];
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00004071 __msan_poison(x, N * sizeof(T));
4072 __msan_set_origin(x, N * sizeof(T), ox);
4073 __msan_set_origin(y, N * sizeof(T), 777777);
4074 __msan_set_origin(z, N * sizeof(T), 888888);
Evgeniy Stepanov11929002013-01-22 12:29:00 +00004075 EXPECT_NOT_POISONED(x);
4076 memcpy(y, x, N * sizeof(T));
4077 EXPECT_POISONED_O(y[0], ox);
4078 EXPECT_POISONED_O(y[N/2], ox);
4079 EXPECT_POISONED_O(y[N-1], ox);
4080 EXPECT_NOT_POISONED(x);
Evgeniy Stepanov353c9962013-07-02 14:49:24 +00004081 void *res = mempcpy(q, x, N * sizeof(T));
4082 ASSERT_EQ(q + N, res);
4083 EXPECT_POISONED_O(q[0], ox);
4084 EXPECT_POISONED_O(q[N/2], ox);
4085 EXPECT_POISONED_O(q[N-1], ox);
4086 EXPECT_NOT_POISONED(x);
Evgeniy Stepanov11929002013-01-22 12:29:00 +00004087 memmove(z, x, N * sizeof(T));
4088 EXPECT_POISONED_O(z[0], ox);
4089 EXPECT_POISONED_O(z[N/2], ox);
4090 EXPECT_POISONED_O(z[N-1], ox);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00004091}
4092
4093TEST(MemorySanitizerOrigins, LargeMemCpy) {
4094 if (!TrackingOrigins()) return;
4095 MemCpyTest<U1, 10000>();
4096 MemCpyTest<U8, 10000>();
4097}
4098
4099TEST(MemorySanitizerOrigins, SmallMemCpy) {
4100 if (!TrackingOrigins()) return;
4101 MemCpyTest<U8, 1>();
4102 MemCpyTest<U8, 2>();
4103 MemCpyTest<U8, 3>();
4104}
4105
4106TEST(MemorySanitizerOrigins, Select) {
4107 if (!TrackingOrigins()) return;
Evgeniy Stepanov11929002013-01-22 12:29:00 +00004108 EXPECT_NOT_POISONED(g_one ? 1 : *GetPoisonedO<S4>(0, __LINE__));
4109 EXPECT_POISONED_O(*GetPoisonedO<S4>(0, __LINE__), __LINE__);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00004110 S4 x;
Evgeniy Stepanov12c46932013-01-29 14:33:29 +00004111 break_optimization(&x);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00004112 x = g_1 ? *GetPoisonedO<S4>(0, __LINE__) : 0;
4113
Evgeniy Stepanov11929002013-01-22 12:29:00 +00004114 EXPECT_POISONED_O(g_1 ? *GetPoisonedO<S4>(0, __LINE__) : 1, __LINE__);
4115 EXPECT_POISONED_O(g_0 ? 1 : *GetPoisonedO<S4>(0, __LINE__), __LINE__);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00004116}
4117
Evgeniy Stepanov250f2212013-01-30 13:12:08 +00004118NOINLINE int RetvalOriginTest(U4 origin) {
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00004119 int *a = new int;
Evgeniy Stepanov12c46932013-01-29 14:33:29 +00004120 break_optimization(a);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00004121 __msan_set_origin(a, sizeof(*a), origin);
4122 int res = *a;
4123 delete a;
4124 return res;
4125}
4126
4127TEST(MemorySanitizerOrigins, Retval) {
4128 if (!TrackingOrigins()) return;
Evgeniy Stepanov11929002013-01-22 12:29:00 +00004129 EXPECT_POISONED_O(RetvalOriginTest(__LINE__), __LINE__);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00004130}
4131
Evgeniy Stepanov250f2212013-01-30 13:12:08 +00004132NOINLINE void ParamOriginTest(int param, U4 origin) {
Evgeniy Stepanov11929002013-01-22 12:29:00 +00004133 EXPECT_POISONED_O(param, origin);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00004134}
4135
4136TEST(MemorySanitizerOrigins, Param) {
4137 if (!TrackingOrigins()) return;
4138 int *a = new int;
Evgeniy Stepanov250f2212013-01-30 13:12:08 +00004139 U4 origin = __LINE__;
Evgeniy Stepanov12c46932013-01-29 14:33:29 +00004140 break_optimization(a);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00004141 __msan_set_origin(a, sizeof(*a), origin);
4142 ParamOriginTest(*a, origin);
4143 delete a;
4144}
4145
4146TEST(MemorySanitizerOrigins, Invoke) {
4147 if (!TrackingOrigins()) return;
4148 StructWithDtor s; // Will cause the calls to become invokes.
Evgeniy Stepanov11929002013-01-22 12:29:00 +00004149 EXPECT_POISONED_O(RetvalOriginTest(__LINE__), __LINE__);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00004150}
4151
4152TEST(MemorySanitizerOrigins, strlen) {
4153 S8 alignment;
Evgeniy Stepanov12c46932013-01-29 14:33:29 +00004154 break_optimization(&alignment);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00004155 char x[4] = {'a', 'b', 0, 0};
4156 __msan_poison(&x[2], 1);
Evgeniy Stepanov250f2212013-01-30 13:12:08 +00004157 U4 origin = __LINE__;
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00004158 __msan_set_origin(x, sizeof(x), origin);
Evgeniy Stepanov11929002013-01-22 12:29:00 +00004159 EXPECT_UMR_O(volatile unsigned y = strlen(x), origin);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00004160}
4161
4162TEST(MemorySanitizerOrigins, wcslen) {
4163 wchar_t w[3] = {'a', 'b', 0};
Evgeniy Stepanov250f2212013-01-30 13:12:08 +00004164 U4 origin = __LINE__;
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00004165 __msan_set_origin(w, sizeof(w), origin);
4166 __msan_poison(&w[2], sizeof(wchar_t));
Evgeniy Stepanov11929002013-01-22 12:29:00 +00004167 EXPECT_UMR_O(volatile unsigned y = wcslen(w), origin);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00004168}
4169
4170#if MSAN_HAS_M128
4171TEST(MemorySanitizerOrigins, StoreIntrinsic) {
4172 __m128 x, y;
Evgeniy Stepanov250f2212013-01-30 13:12:08 +00004173 U4 origin = __LINE__;
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00004174 __msan_set_origin(&x, sizeof(x), origin);
4175 __msan_poison(&x, sizeof(x));
4176 __builtin_ia32_storeups((float*)&y, x);
Evgeniy Stepanov11929002013-01-22 12:29:00 +00004177 EXPECT_POISONED_O(y, origin);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00004178}
4179#endif
4180
4181NOINLINE void RecursiveMalloc(int depth) {
4182 static int count;
4183 count++;
4184 if ((count % (1024 * 1024)) == 0)
4185 printf("RecursiveMalloc: %d\n", count);
4186 int *x1 = new int;
4187 int *x2 = new int;
Evgeniy Stepanov12c46932013-01-29 14:33:29 +00004188 break_optimization(x1);
4189 break_optimization(x2);
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00004190 if (depth > 0) {
4191 RecursiveMalloc(depth-1);
4192 RecursiveMalloc(depth-1);
4193 }
4194 delete x1;
4195 delete x2;
4196}
4197
Evgeniy Stepanov20406042013-09-03 10:05:45 +00004198TEST(MemorySanitizer, Select) {
4199 int x;
4200 int volatile* p = &x;
4201 int z = *p ? 1 : 0;
4202 EXPECT_POISONED(z);
4203}
4204
Stephen Hines2d1fdb22014-05-28 23:58:16 -07004205TEST(MemorySanitizer, SelectPartial) {
4206 // Precise instrumentation of select.
4207 // Some bits of the result do not depend on select condition, and must stay
4208 // initialized even if select condition is not. These are the bits that are
4209 // equal and initialized in both left and right select arguments.
4210 U4 x = 0xFFFFABCDU;
4211 U4 x_s = 0xFFFF0000U;
4212 __msan_partial_poison(&x, &x_s, sizeof(x));
4213 U4 y = 0xAB00U;
4214 U1 cond = true;
4215 __msan_poison(&cond, sizeof(cond));
4216 U4 z = cond ? x : y;
4217 __msan_print_shadow(&z, sizeof(z));
4218 EXPECT_POISONED(z & 0xFFU);
4219 EXPECT_NOT_POISONED(z & 0xFF00U);
4220 EXPECT_POISONED(z & 0xFF0000U);
4221 EXPECT_POISONED(z & 0xFF000000U);
4222 EXPECT_EQ(0xAB00U, z & 0xFF00U);
4223}
4224
Evgeniy Stepanov0231c502012-12-25 12:39:56 +00004225TEST(MemorySanitizerStress, DISABLED_MallocStackTrace) {
4226 RecursiveMalloc(22);
4227}
Evgeniy Stepanov5c48a8c2013-08-02 14:26:58 +00004228
4229TEST(MemorySanitizerAllocator, get_estimated_allocated_size) {
4230 size_t sizes[] = {0, 20, 5000, 1<<20};
4231 for (size_t i = 0; i < sizeof(sizes) / sizeof(*sizes); ++i) {
Stephen Hines6a211c52014-07-21 00:49:56 -07004232 size_t alloc_size = __sanitizer_get_estimated_allocated_size(sizes[i]);
Evgeniy Stepanov5c48a8c2013-08-02 14:26:58 +00004233 EXPECT_EQ(alloc_size, sizes[i]);
4234 }
4235}
4236
4237TEST(MemorySanitizerAllocator, get_allocated_size_and_ownership) {
4238 char *array = reinterpret_cast<char*>(malloc(100));
4239 int *int_ptr = new int;
4240
Stephen Hines6a211c52014-07-21 00:49:56 -07004241 EXPECT_TRUE(__sanitizer_get_ownership(array));
4242 EXPECT_EQ(100U, __sanitizer_get_allocated_size(array));
Evgeniy Stepanov5c48a8c2013-08-02 14:26:58 +00004243
Stephen Hines6a211c52014-07-21 00:49:56 -07004244 EXPECT_TRUE(__sanitizer_get_ownership(int_ptr));
4245 EXPECT_EQ(sizeof(*int_ptr), __sanitizer_get_allocated_size(int_ptr));
Evgeniy Stepanov5c48a8c2013-08-02 14:26:58 +00004246
4247 void *wild_addr = reinterpret_cast<void*>(0x1);
Stephen Hines6a211c52014-07-21 00:49:56 -07004248 EXPECT_FALSE(__sanitizer_get_ownership(wild_addr));
4249 EXPECT_EQ(0U, __sanitizer_get_allocated_size(wild_addr));
Evgeniy Stepanov5c48a8c2013-08-02 14:26:58 +00004250
Stephen Hines6a211c52014-07-21 00:49:56 -07004251 EXPECT_FALSE(__sanitizer_get_ownership(array + 50));
4252 EXPECT_EQ(0U, __sanitizer_get_allocated_size(array + 50));
Evgeniy Stepanov5c48a8c2013-08-02 14:26:58 +00004253
Stephen Hines6a211c52014-07-21 00:49:56 -07004254 // NULL is a valid argument for GetAllocatedSize but is not owned.
4255 EXPECT_FALSE(__sanitizer_get_ownership(NULL));
4256 EXPECT_EQ(0U, __sanitizer_get_allocated_size(NULL));
4257
Evgeniy Stepanov5c48a8c2013-08-02 14:26:58 +00004258 free(array);
Stephen Hines6a211c52014-07-21 00:49:56 -07004259 EXPECT_FALSE(__sanitizer_get_ownership(array));
4260 EXPECT_EQ(0U, __sanitizer_get_allocated_size(array));
Evgeniy Stepanov5c48a8c2013-08-02 14:26:58 +00004261
4262 delete int_ptr;
4263}
Evgeniy Stepanov548559d2013-10-31 15:51:22 +00004264
4265TEST(MemorySanitizer, MlockTest) {
4266 EXPECT_EQ(0, mlockall(MCL_CURRENT));
4267 EXPECT_EQ(0, mlock((void*)0x12345, 0x5678));
4268 EXPECT_EQ(0, munlockall());
4269 EXPECT_EQ(0, munlock((void*)0x987, 0x654));
4270}
Stephen Hines2d1fdb22014-05-28 23:58:16 -07004271
4272// Test that LargeAllocator unpoisons memory before releasing it to the OS.
4273TEST(MemorySanitizer, LargeAllocatorUnpoisonsOnFree) {
4274 void *p = malloc(1024 * 1024);
4275 free(p);
4276
4277 typedef void *(*mmap_fn)(void *, size_t, int, int, int, off_t);
4278 mmap_fn real_mmap = (mmap_fn)dlsym(RTLD_NEXT, "mmap");
4279
4280 // Allocate the page that was released to the OS in free() with the real mmap,
4281 // bypassing the interceptor.
Stephen Hines86277eb2015-03-23 12:06:32 -07004282 char *q = (char *)real_mmap(p, 4096, PROT_READ | PROT_WRITE,
4283 MAP_PRIVATE | MAP_ANONYMOUS, -1, 0);
Stephen Hines2d1fdb22014-05-28 23:58:16 -07004284 ASSERT_NE((char *)0, q);
4285
4286 ASSERT_TRUE(q <= p);
4287 ASSERT_TRUE(q + 4096 > p);
4288
4289 EXPECT_NOT_POISONED(q[0]);
4290 EXPECT_NOT_POISONED(q[10]);
4291 EXPECT_NOT_POISONED(q[100]);
4292
4293 munmap(q, 4096);
4294}
4295
4296#if SANITIZER_TEST_HAS_MALLOC_USABLE_SIZE
4297TEST(MemorySanitizer, MallocUsableSizeTest) {
4298 const size_t kArraySize = 100;
4299 char *array = Ident((char*)malloc(kArraySize));
4300 int *int_ptr = Ident(new int);
4301 EXPECT_EQ(0U, malloc_usable_size(NULL));
4302 EXPECT_EQ(kArraySize, malloc_usable_size(array));
4303 EXPECT_EQ(sizeof(int), malloc_usable_size(int_ptr));
4304 free(array);
4305 delete int_ptr;
4306}
4307#endif // SANITIZER_TEST_HAS_MALLOC_USABLE_SIZE