msan_test.cc revision 78d77c2638b8e02020737c9b296ce2198e4c58e6
19b35249446b07f40ac5fcc3205f2c048616efacchkuang//===-- msan_test.cc ------------------------------------------------------===//
29b35249446b07f40ac5fcc3205f2c048616efacchkuang//
39b35249446b07f40ac5fcc3205f2c048616efacchkuang//                     The LLVM Compiler Infrastructure
49b35249446b07f40ac5fcc3205f2c048616efacchkuang//
59b35249446b07f40ac5fcc3205f2c048616efacchkuang// This file is distributed under the University of Illinois Open Source
69b35249446b07f40ac5fcc3205f2c048616efacchkuang// License. See LICENSE.TXT for details.
79b35249446b07f40ac5fcc3205f2c048616efacchkuang//
89b35249446b07f40ac5fcc3205f2c048616efacchkuang//===----------------------------------------------------------------------===//
99b35249446b07f40ac5fcc3205f2c048616efacchkuang//
109b35249446b07f40ac5fcc3205f2c048616efacchkuang// This file is a part of MemorySanitizer.
119b35249446b07f40ac5fcc3205f2c048616efacchkuang//
129b35249446b07f40ac5fcc3205f2c048616efacchkuang// MemorySanitizer unit tests.
139b35249446b07f40ac5fcc3205f2c048616efacchkuang//===----------------------------------------------------------------------===//
149b35249446b07f40ac5fcc3205f2c048616efacchkuang
159b35249446b07f40ac5fcc3205f2c048616efacchkuang#ifndef MSAN_EXTERNAL_TEST_CONFIG
169b35249446b07f40ac5fcc3205f2c048616efacchkuang#include "msan_test_config.h"
179b35249446b07f40ac5fcc3205f2c048616efacchkuang#endif // MSAN_EXTERNAL_TEST_CONFIG
189b35249446b07f40ac5fcc3205f2c048616efacchkuang
199b35249446b07f40ac5fcc3205f2c048616efacchkuang#include "sanitizer/msan_interface.h"
20b08e2e23eec181e9951df33cd704ac294c5407b6Vignesh Venkatasubramanian#include "msandr_test_so.h"
21b08e2e23eec181e9951df33cd704ac294c5407b6Vignesh Venkatasubramanian
22b08e2e23eec181e9951df33cd704ac294c5407b6Vignesh Venkatasubramanian#include <inttypes.h>
23b08e2e23eec181e9951df33cd704ac294c5407b6Vignesh Venkatasubramanian#include <stdlib.h>
249b35249446b07f40ac5fcc3205f2c048616efacchkuang#include <stdarg.h>
259b35249446b07f40ac5fcc3205f2c048616efacchkuang#include <stdio.h>
269b35249446b07f40ac5fcc3205f2c048616efacchkuang#include <assert.h>
279b35249446b07f40ac5fcc3205f2c048616efacchkuang#include <wchar.h>
289b35249446b07f40ac5fcc3205f2c048616efacchkuang#include <math.h>
299b35249446b07f40ac5fcc3205f2c048616efacchkuang#include <malloc.h>
309b35249446b07f40ac5fcc3205f2c048616efacchkuang
319b35249446b07f40ac5fcc3205f2c048616efacchkuang#include <arpa/inet.h>
329b35249446b07f40ac5fcc3205f2c048616efacchkuang#include <dlfcn.h>
339b35249446b07f40ac5fcc3205f2c048616efacchkuang#include <grp.h>
349b35249446b07f40ac5fcc3205f2c048616efacchkuang#include <unistd.h>
359b35249446b07f40ac5fcc3205f2c048616efacchkuang#include <link.h>
369b35249446b07f40ac5fcc3205f2c048616efacchkuang#include <limits.h>
379b35249446b07f40ac5fcc3205f2c048616efacchkuang#include <sys/time.h>
389b35249446b07f40ac5fcc3205f2c048616efacchkuang#include <poll.h>
399b35249446b07f40ac5fcc3205f2c048616efacchkuang#include <sys/types.h>
409b35249446b07f40ac5fcc3205f2c048616efacchkuang#include <sys/stat.h>
419b35249446b07f40ac5fcc3205f2c048616efacchkuang#include <fcntl.h>
429b35249446b07f40ac5fcc3205f2c048616efacchkuang#include <sys/resource.h>
439b35249446b07f40ac5fcc3205f2c048616efacchkuang#include <sys/ioctl.h>
449b35249446b07f40ac5fcc3205f2c048616efacchkuang#include <sys/statvfs.h>
459b35249446b07f40ac5fcc3205f2c048616efacchkuang#include <sys/sysinfo.h>
469b35249446b07f40ac5fcc3205f2c048616efacchkuang#include <sys/utsname.h>
479b35249446b07f40ac5fcc3205f2c048616efacchkuang#include <sys/mman.h>
489b35249446b07f40ac5fcc3205f2c048616efacchkuang#include <sys/vfs.h>
499b35249446b07f40ac5fcc3205f2c048616efacchkuang#include <dirent.h>
509b35249446b07f40ac5fcc3205f2c048616efacchkuang#include <pwd.h>
519b35249446b07f40ac5fcc3205f2c048616efacchkuang#include <sys/socket.h>
529b35249446b07f40ac5fcc3205f2c048616efacchkuang#include <netdb.h>
539b35249446b07f40ac5fcc3205f2c048616efacchkuang#include <wordexp.h>
549b35249446b07f40ac5fcc3205f2c048616efacchkuang#include <mntent.h>
559b35249446b07f40ac5fcc3205f2c048616efacchkuang#include <netinet/ether.h>
569b35249446b07f40ac5fcc3205f2c048616efacchkuang#include <sys/ipc.h>
579b35249446b07f40ac5fcc3205f2c048616efacchkuang#include <sys/shm.h>
589b35249446b07f40ac5fcc3205f2c048616efacchkuang
599b35249446b07f40ac5fcc3205f2c048616efacchkuang#if defined(__i386__) || defined(__x86_64__)
609b35249446b07f40ac5fcc3205f2c048616efacchkuang# include <emmintrin.h>
619b35249446b07f40ac5fcc3205f2c048616efacchkuang# define MSAN_HAS_M128 1
629b35249446b07f40ac5fcc3205f2c048616efacchkuang#else
639b35249446b07f40ac5fcc3205f2c048616efacchkuang# define MSAN_HAS_M128 0
649b35249446b07f40ac5fcc3205f2c048616efacchkuang#endif
659b35249446b07f40ac5fcc3205f2c048616efacchkuang
669b35249446b07f40ac5fcc3205f2c048616efacchkuangstatic const int kPageSize = 4096;
679b35249446b07f40ac5fcc3205f2c048616efacchkuang
689b35249446b07f40ac5fcc3205f2c048616efacchkuangtypedef unsigned char      U1;
699b35249446b07f40ac5fcc3205f2c048616efacchkuangtypedef unsigned short     U2;  // NOLINT
709b35249446b07f40ac5fcc3205f2c048616efacchkuangtypedef unsigned int       U4;
719b35249446b07f40ac5fcc3205f2c048616efacchkuangtypedef unsigned long long U8;  // NOLINT
729b35249446b07f40ac5fcc3205f2c048616efacchkuangtypedef   signed char      S1;
739b35249446b07f40ac5fcc3205f2c048616efacchkuangtypedef   signed short     S2;  // NOLINT
749b35249446b07f40ac5fcc3205f2c048616efacchkuangtypedef   signed int       S4;
759b35249446b07f40ac5fcc3205f2c048616efacchkuangtypedef   signed long long S8;  // NOLINT
769b35249446b07f40ac5fcc3205f2c048616efacchkuang#define NOINLINE      __attribute__((noinline))
779b35249446b07f40ac5fcc3205f2c048616efacchkuang#define INLINE      __attribute__((always_inline))
789b35249446b07f40ac5fcc3205f2c048616efacchkuang
799b35249446b07f40ac5fcc3205f2c048616efacchkuangstatic bool TrackingOrigins() {
809b35249446b07f40ac5fcc3205f2c048616efacchkuang  S8 x;
819b35249446b07f40ac5fcc3205f2c048616efacchkuang  __msan_set_origin(&x, sizeof(x), 0x1234);
829b35249446b07f40ac5fcc3205f2c048616efacchkuang  U4 origin = __msan_get_origin(&x);
839b35249446b07f40ac5fcc3205f2c048616efacchkuang  __msan_set_origin(&x, sizeof(x), 0);
849b35249446b07f40ac5fcc3205f2c048616efacchkuang  return origin == 0x1234;
859b35249446b07f40ac5fcc3205f2c048616efacchkuang}
869b35249446b07f40ac5fcc3205f2c048616efacchkuang
879b35249446b07f40ac5fcc3205f2c048616efacchkuang#define EXPECT_UMR(action) \
889b35249446b07f40ac5fcc3205f2c048616efacchkuang    do {                        \
899b35249446b07f40ac5fcc3205f2c048616efacchkuang      __msan_set_expect_umr(1); \
909b35249446b07f40ac5fcc3205f2c048616efacchkuang      action;                   \
919b35249446b07f40ac5fcc3205f2c048616efacchkuang      __msan_set_expect_umr(0); \
929b35249446b07f40ac5fcc3205f2c048616efacchkuang    } while (0)
939b35249446b07f40ac5fcc3205f2c048616efacchkuang
949b35249446b07f40ac5fcc3205f2c048616efacchkuang#define EXPECT_UMR_O(action, origin) \
959b35249446b07f40ac5fcc3205f2c048616efacchkuang    do {                                            \
969b35249446b07f40ac5fcc3205f2c048616efacchkuang      __msan_set_expect_umr(1);                     \
979b35249446b07f40ac5fcc3205f2c048616efacchkuang      action;                                       \
989b35249446b07f40ac5fcc3205f2c048616efacchkuang      __msan_set_expect_umr(0);                     \
999b35249446b07f40ac5fcc3205f2c048616efacchkuang      if (TrackingOrigins())                        \
1009b35249446b07f40ac5fcc3205f2c048616efacchkuang        EXPECT_EQ(origin, __msan_get_umr_origin()); \
1019b35249446b07f40ac5fcc3205f2c048616efacchkuang    } while (0)
1029b35249446b07f40ac5fcc3205f2c048616efacchkuang
1039b35249446b07f40ac5fcc3205f2c048616efacchkuang#define EXPECT_UMR_S(action, stack_origin) \
1049b35249446b07f40ac5fcc3205f2c048616efacchkuang    do {                                            \
1059b35249446b07f40ac5fcc3205f2c048616efacchkuang      __msan_set_expect_umr(1);                     \
1069b35249446b07f40ac5fcc3205f2c048616efacchkuang      action;                                       \
1079b35249446b07f40ac5fcc3205f2c048616efacchkuang      __msan_set_expect_umr(0);                     \
1089b35249446b07f40ac5fcc3205f2c048616efacchkuang      U4 id = __msan_get_umr_origin();             \
1099b35249446b07f40ac5fcc3205f2c048616efacchkuang      const char *str = __msan_get_origin_descr_if_stack(id); \
1109b35249446b07f40ac5fcc3205f2c048616efacchkuang      if (!str || strcmp(str, stack_origin)) {      \
1119b35249446b07f40ac5fcc3205f2c048616efacchkuang        fprintf(stderr, "EXPECT_POISONED_S: id=%u %s, %s", \
1129b35249446b07f40ac5fcc3205f2c048616efacchkuang                id, stack_origin, str);  \
1139b35249446b07f40ac5fcc3205f2c048616efacchkuang        EXPECT_EQ(1, 0);                            \
1149b35249446b07f40ac5fcc3205f2c048616efacchkuang      }                                             \
1159b35249446b07f40ac5fcc3205f2c048616efacchkuang    } while (0)
1169b35249446b07f40ac5fcc3205f2c048616efacchkuang
1179b35249446b07f40ac5fcc3205f2c048616efacchkuang#define EXPECT_POISONED(x) ExpectPoisoned(x)
1189b35249446b07f40ac5fcc3205f2c048616efacchkuang
1199b35249446b07f40ac5fcc3205f2c048616efacchkuangtemplate<typename T>
1209b35249446b07f40ac5fcc3205f2c048616efacchkuangvoid ExpectPoisoned(const T& t) {
1219b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_NE(-1, __msan_test_shadow((void*)&t, sizeof(t)));
1229b35249446b07f40ac5fcc3205f2c048616efacchkuang}
1239b35249446b07f40ac5fcc3205f2c048616efacchkuang
1249b35249446b07f40ac5fcc3205f2c048616efacchkuang#define EXPECT_POISONED_O(x, origin) \
1259b35249446b07f40ac5fcc3205f2c048616efacchkuang  ExpectPoisonedWithOrigin(x, origin)
1269b35249446b07f40ac5fcc3205f2c048616efacchkuang
1279b35249446b07f40ac5fcc3205f2c048616efacchkuangtemplate<typename T>
1289b35249446b07f40ac5fcc3205f2c048616efacchkuangvoid ExpectPoisonedWithOrigin(const T& t, unsigned origin) {
1299b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_NE(-1, __msan_test_shadow((void*)&t, sizeof(t)));
1309b35249446b07f40ac5fcc3205f2c048616efacchkuang  if (TrackingOrigins())
1319b35249446b07f40ac5fcc3205f2c048616efacchkuang    EXPECT_EQ(origin, __msan_get_origin((void*)&t));
1329b35249446b07f40ac5fcc3205f2c048616efacchkuang}
1339b35249446b07f40ac5fcc3205f2c048616efacchkuang
1349b35249446b07f40ac5fcc3205f2c048616efacchkuang#define EXPECT_POISONED_S(x, stack_origin) \
1359b35249446b07f40ac5fcc3205f2c048616efacchkuang  ExpectPoisonedWithStackOrigin(x, stack_origin)
1369b35249446b07f40ac5fcc3205f2c048616efacchkuang
1379b35249446b07f40ac5fcc3205f2c048616efacchkuangtemplate<typename T>
1389b35249446b07f40ac5fcc3205f2c048616efacchkuangvoid ExpectPoisonedWithStackOrigin(const T& t, const char *stack_origin) {
1399b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_NE(-1, __msan_test_shadow((void*)&t, sizeof(t)));
1409b35249446b07f40ac5fcc3205f2c048616efacchkuang  U4 id = __msan_get_origin((void*)&t);
1419b35249446b07f40ac5fcc3205f2c048616efacchkuang  const char *str = __msan_get_origin_descr_if_stack(id);
1429b35249446b07f40ac5fcc3205f2c048616efacchkuang  if (!str || strcmp(str, stack_origin)) {
1439b35249446b07f40ac5fcc3205f2c048616efacchkuang    fprintf(stderr, "EXPECT_POISONED_S: id=%u %s, %s",
1449b35249446b07f40ac5fcc3205f2c048616efacchkuang        id, stack_origin, str);
1459b35249446b07f40ac5fcc3205f2c048616efacchkuang    EXPECT_EQ(1, 0);
1469b35249446b07f40ac5fcc3205f2c048616efacchkuang  }
1479b35249446b07f40ac5fcc3205f2c048616efacchkuang}
1489b35249446b07f40ac5fcc3205f2c048616efacchkuang
1499b35249446b07f40ac5fcc3205f2c048616efacchkuang#define EXPECT_NOT_POISONED(x) ExpectNotPoisoned(x)
1509b35249446b07f40ac5fcc3205f2c048616efacchkuang
1519b35249446b07f40ac5fcc3205f2c048616efacchkuangtemplate<typename T>
1529b35249446b07f40ac5fcc3205f2c048616efacchkuangvoid ExpectNotPoisoned(const T& t) {
1539b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_EQ(-1, __msan_test_shadow((void*)&t, sizeof(t)));
1549b35249446b07f40ac5fcc3205f2c048616efacchkuang}
1559b35249446b07f40ac5fcc3205f2c048616efacchkuang
1569b35249446b07f40ac5fcc3205f2c048616efacchkuangstatic U8 poisoned_array[100];
1579b35249446b07f40ac5fcc3205f2c048616efacchkuangtemplate<class T>
1589b35249446b07f40ac5fcc3205f2c048616efacchkuangT *GetPoisoned(int i = 0, T val = 0) {
1599b35249446b07f40ac5fcc3205f2c048616efacchkuang  T *res = (T*)&poisoned_array[i];
1609b35249446b07f40ac5fcc3205f2c048616efacchkuang  *res = val;
1619b35249446b07f40ac5fcc3205f2c048616efacchkuang  __msan_poison(&poisoned_array[i], sizeof(T));
1629b35249446b07f40ac5fcc3205f2c048616efacchkuang  return res;
1639b35249446b07f40ac5fcc3205f2c048616efacchkuang}
1649b35249446b07f40ac5fcc3205f2c048616efacchkuang
1659b35249446b07f40ac5fcc3205f2c048616efacchkuangtemplate<class T>
1669b35249446b07f40ac5fcc3205f2c048616efacchkuangT *GetPoisonedO(int i, U4 origin, T val = 0) {
1679b35249446b07f40ac5fcc3205f2c048616efacchkuang  T *res = (T*)&poisoned_array[i];
1689b35249446b07f40ac5fcc3205f2c048616efacchkuang  *res = val;
1699b35249446b07f40ac5fcc3205f2c048616efacchkuang  __msan_poison(&poisoned_array[i], sizeof(T));
1709b35249446b07f40ac5fcc3205f2c048616efacchkuang  __msan_set_origin(&poisoned_array[i], sizeof(T), origin);
1719b35249446b07f40ac5fcc3205f2c048616efacchkuang  return res;
1729b35249446b07f40ac5fcc3205f2c048616efacchkuang}
1739b35249446b07f40ac5fcc3205f2c048616efacchkuang
1749b35249446b07f40ac5fcc3205f2c048616efacchkuang// This function returns its parameter but in such a way that compiler
1759b35249446b07f40ac5fcc3205f2c048616efacchkuang// can not prove it.
1769b35249446b07f40ac5fcc3205f2c048616efacchkuangtemplate<class T>
1779b35249446b07f40ac5fcc3205f2c048616efacchkuangNOINLINE
1789b35249446b07f40ac5fcc3205f2c048616efacchkuangstatic T Ident(T t) {
1799b35249446b07f40ac5fcc3205f2c048616efacchkuang  volatile T ret = t;
1809b35249446b07f40ac5fcc3205f2c048616efacchkuang  return ret;
1819b35249446b07f40ac5fcc3205f2c048616efacchkuang}
1829b35249446b07f40ac5fcc3205f2c048616efacchkuang
1839b35249446b07f40ac5fcc3205f2c048616efacchkuangtemplate<class T> NOINLINE T ReturnPoisoned() { return *GetPoisoned<T>(); }
1849b35249446b07f40ac5fcc3205f2c048616efacchkuang
1859b35249446b07f40ac5fcc3205f2c048616efacchkuangstatic volatile int g_one = 1;
1869b35249446b07f40ac5fcc3205f2c048616efacchkuangstatic volatile int g_zero = 0;
1879b35249446b07f40ac5fcc3205f2c048616efacchkuangstatic volatile int g_0 = 0;
1889b35249446b07f40ac5fcc3205f2c048616efacchkuangstatic volatile int g_1 = 1;
1899b35249446b07f40ac5fcc3205f2c048616efacchkuang
1909b35249446b07f40ac5fcc3205f2c048616efacchkuangS4 a_s4[100];
1919b35249446b07f40ac5fcc3205f2c048616efacchkuangS8 a_s8[100];
1929b35249446b07f40ac5fcc3205f2c048616efacchkuang
1939b35249446b07f40ac5fcc3205f2c048616efacchkuang// Check that malloc poisons memory.
1949b35249446b07f40ac5fcc3205f2c048616efacchkuang// A lot of tests below depend on this.
1959b35249446b07f40ac5fcc3205f2c048616efacchkuangTEST(MemorySanitizerSanity, PoisonInMalloc) {
1969b35249446b07f40ac5fcc3205f2c048616efacchkuang  int *x = (int*)malloc(sizeof(int));
1979b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(*x);
1989b35249446b07f40ac5fcc3205f2c048616efacchkuang  free(x);
1999b35249446b07f40ac5fcc3205f2c048616efacchkuang}
2009b35249446b07f40ac5fcc3205f2c048616efacchkuang
2019b35249446b07f40ac5fcc3205f2c048616efacchkuangTEST(MemorySanitizer, NegativeTest1) {
2029b35249446b07f40ac5fcc3205f2c048616efacchkuang  S4 *x = GetPoisoned<S4>();
2039b35249446b07f40ac5fcc3205f2c048616efacchkuang  if (g_one)
2049b35249446b07f40ac5fcc3205f2c048616efacchkuang    *x = 0;
2059b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_NOT_POISONED(*x);
2069b35249446b07f40ac5fcc3205f2c048616efacchkuang}
2079b35249446b07f40ac5fcc3205f2c048616efacchkuang
2089b35249446b07f40ac5fcc3205f2c048616efacchkuangTEST(MemorySanitizer, PositiveTest1) {
2099b35249446b07f40ac5fcc3205f2c048616efacchkuang  // Load to store.
2109b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(*GetPoisoned<S1>());
2119b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(*GetPoisoned<S2>());
2129b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(*GetPoisoned<S4>());
2139b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(*GetPoisoned<S8>());
2149b35249446b07f40ac5fcc3205f2c048616efacchkuang
2159b35249446b07f40ac5fcc3205f2c048616efacchkuang  // S->S conversions.
2169b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(*GetPoisoned<S1>());
2179b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(*GetPoisoned<S1>());
2189b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(*GetPoisoned<S1>());
2199b35249446b07f40ac5fcc3205f2c048616efacchkuang
2209b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(*GetPoisoned<S2>());
2219b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(*GetPoisoned<S2>());
2229b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(*GetPoisoned<S2>());
2239b35249446b07f40ac5fcc3205f2c048616efacchkuang
2249b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(*GetPoisoned<S4>());
2259b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(*GetPoisoned<S4>());
2269b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(*GetPoisoned<S4>());
2279b35249446b07f40ac5fcc3205f2c048616efacchkuang
2289b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(*GetPoisoned<S8>());
2299b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(*GetPoisoned<S8>());
2309b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(*GetPoisoned<S8>());
2319b35249446b07f40ac5fcc3205f2c048616efacchkuang
2329b35249446b07f40ac5fcc3205f2c048616efacchkuang  // ZExt
2339b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(*GetPoisoned<U1>());
2349b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(*GetPoisoned<U1>());
2359b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(*GetPoisoned<U1>());
2369b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(*GetPoisoned<U2>());
2379b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(*GetPoisoned<U2>());
2389b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(*GetPoisoned<U4>());
2399b35249446b07f40ac5fcc3205f2c048616efacchkuang
2409b35249446b07f40ac5fcc3205f2c048616efacchkuang  // Unary ops.
2419b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(- *GetPoisoned<S4>());
2429b35249446b07f40ac5fcc3205f2c048616efacchkuang
2439b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_UMR(a_s4[g_zero] = 100 / *GetPoisoned<S4>(0, 1));
2449b35249446b07f40ac5fcc3205f2c048616efacchkuang
2459b35249446b07f40ac5fcc3205f2c048616efacchkuang
2469b35249446b07f40ac5fcc3205f2c048616efacchkuang  a_s4[g_zero] = 1 - *GetPoisoned<S4>();
2479b35249446b07f40ac5fcc3205f2c048616efacchkuang  a_s4[g_zero] = 1 + *GetPoisoned<S4>();
2489b35249446b07f40ac5fcc3205f2c048616efacchkuang}
2499b35249446b07f40ac5fcc3205f2c048616efacchkuang
2509b35249446b07f40ac5fcc3205f2c048616efacchkuangTEST(MemorySanitizer, Phi1) {
2519b35249446b07f40ac5fcc3205f2c048616efacchkuang  S4 c;
2529b35249446b07f40ac5fcc3205f2c048616efacchkuang  if (g_one) {
2539b35249446b07f40ac5fcc3205f2c048616efacchkuang    c = *GetPoisoned<S4>();
2549b35249446b07f40ac5fcc3205f2c048616efacchkuang  } else {
2559b35249446b07f40ac5fcc3205f2c048616efacchkuang    break_optimization(0);
2569b35249446b07f40ac5fcc3205f2c048616efacchkuang    c = 0;
2579b35249446b07f40ac5fcc3205f2c048616efacchkuang  }
2589b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(c);
2599b35249446b07f40ac5fcc3205f2c048616efacchkuang}
2609b35249446b07f40ac5fcc3205f2c048616efacchkuang
2619b35249446b07f40ac5fcc3205f2c048616efacchkuangTEST(MemorySanitizer, Phi2) {
2629b35249446b07f40ac5fcc3205f2c048616efacchkuang  S4 i = *GetPoisoned<S4>();
2639b35249446b07f40ac5fcc3205f2c048616efacchkuang  S4 n = g_one;
2649b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_UMR(for (; i < g_one; i++););
2659b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(i);
2669b35249446b07f40ac5fcc3205f2c048616efacchkuang}
2679b35249446b07f40ac5fcc3205f2c048616efacchkuang
2689b35249446b07f40ac5fcc3205f2c048616efacchkuangNOINLINE void Arg1ExpectUMR(S4 a1) { EXPECT_POISONED(a1); }
2699b35249446b07f40ac5fcc3205f2c048616efacchkuangNOINLINE void Arg2ExpectUMR(S4 a1, S4 a2) { EXPECT_POISONED(a2); }
2709b35249446b07f40ac5fcc3205f2c048616efacchkuangNOINLINE void Arg3ExpectUMR(S1 a1, S4 a2, S8 a3) { EXPECT_POISONED(a3); }
2719b35249446b07f40ac5fcc3205f2c048616efacchkuang
2729b35249446b07f40ac5fcc3205f2c048616efacchkuangTEST(MemorySanitizer, ArgTest) {
2739b35249446b07f40ac5fcc3205f2c048616efacchkuang  Arg1ExpectUMR(*GetPoisoned<S4>());
2749b35249446b07f40ac5fcc3205f2c048616efacchkuang  Arg2ExpectUMR(0, *GetPoisoned<S4>());
2759b35249446b07f40ac5fcc3205f2c048616efacchkuang  Arg3ExpectUMR(0, 1, *GetPoisoned<S8>());
2769b35249446b07f40ac5fcc3205f2c048616efacchkuang}
2779b35249446b07f40ac5fcc3205f2c048616efacchkuang
2789b35249446b07f40ac5fcc3205f2c048616efacchkuang
2799b35249446b07f40ac5fcc3205f2c048616efacchkuangTEST(MemorySanitizer, CallAndRet) {
2809b35249446b07f40ac5fcc3205f2c048616efacchkuang  if (!__msan_has_dynamic_component()) return;
2819b35249446b07f40ac5fcc3205f2c048616efacchkuang  ReturnPoisoned<S1>();
2829b35249446b07f40ac5fcc3205f2c048616efacchkuang  ReturnPoisoned<S2>();
2839b35249446b07f40ac5fcc3205f2c048616efacchkuang  ReturnPoisoned<S4>();
2849b35249446b07f40ac5fcc3205f2c048616efacchkuang  ReturnPoisoned<S8>();
2859b35249446b07f40ac5fcc3205f2c048616efacchkuang
2869b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(ReturnPoisoned<S1>());
2879b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(ReturnPoisoned<S2>());
2889b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(ReturnPoisoned<S4>());
2899b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(ReturnPoisoned<S8>());
2909b35249446b07f40ac5fcc3205f2c048616efacchkuang}
2919b35249446b07f40ac5fcc3205f2c048616efacchkuang
2929b35249446b07f40ac5fcc3205f2c048616efacchkuang// malloc() in the following test may be optimized to produce a compile-time
2939b35249446b07f40ac5fcc3205f2c048616efacchkuang// undef value. Check that we trap on the volatile assignment anyway.
2949b35249446b07f40ac5fcc3205f2c048616efacchkuangTEST(MemorySanitizer, DISABLED_MallocNoIdent) {
2959b35249446b07f40ac5fcc3205f2c048616efacchkuang  S4 *x = (int*)malloc(sizeof(S4));
2969b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(*x);
2979b35249446b07f40ac5fcc3205f2c048616efacchkuang  free(x);
2989b35249446b07f40ac5fcc3205f2c048616efacchkuang}
2999b35249446b07f40ac5fcc3205f2c048616efacchkuang
3009b35249446b07f40ac5fcc3205f2c048616efacchkuangTEST(MemorySanitizer, Malloc) {
3019b35249446b07f40ac5fcc3205f2c048616efacchkuang  S4 *x = (int*)Ident(malloc(sizeof(S4)));
3029b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(*x);
3039b35249446b07f40ac5fcc3205f2c048616efacchkuang  free(x);
3049b35249446b07f40ac5fcc3205f2c048616efacchkuang}
3059b35249446b07f40ac5fcc3205f2c048616efacchkuang
3069b35249446b07f40ac5fcc3205f2c048616efacchkuangTEST(MemorySanitizer, Realloc) {
3079b35249446b07f40ac5fcc3205f2c048616efacchkuang  S4 *x = (int*)Ident(realloc(0, sizeof(S4)));
3089b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(x[0]);
3099b35249446b07f40ac5fcc3205f2c048616efacchkuang  x[0] = 1;
3109b35249446b07f40ac5fcc3205f2c048616efacchkuang  x = (int*)Ident(realloc(x, 2 * sizeof(S4)));
3119b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_NOT_POISONED(x[0]);  // Ok, was inited before.
3129b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(x[1]);
3139b35249446b07f40ac5fcc3205f2c048616efacchkuang  x = (int*)Ident(realloc(x, 3 * sizeof(S4)));
3149b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_NOT_POISONED(x[0]);  // Ok, was inited before.
3159b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(x[2]);
3169b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(x[1]);
3179b35249446b07f40ac5fcc3205f2c048616efacchkuang  x[2] = 1;  // Init this here. Check that after realloc it is poisoned again.
3189b35249446b07f40ac5fcc3205f2c048616efacchkuang  x = (int*)Ident(realloc(x, 2 * sizeof(S4)));
3199b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_NOT_POISONED(x[0]);  // Ok, was inited before.
3209b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(x[1]);
3219b35249446b07f40ac5fcc3205f2c048616efacchkuang  x = (int*)Ident(realloc(x, 3 * sizeof(S4)));
3229b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(x[1]);
3239b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(x[2]);
3249b35249446b07f40ac5fcc3205f2c048616efacchkuang  free(x);
3259b35249446b07f40ac5fcc3205f2c048616efacchkuang}
3269b35249446b07f40ac5fcc3205f2c048616efacchkuang
3279b35249446b07f40ac5fcc3205f2c048616efacchkuangTEST(MemorySanitizer, Calloc) {
3289b35249446b07f40ac5fcc3205f2c048616efacchkuang  S4 *x = (int*)Ident(calloc(1, sizeof(S4)));
3299b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_NOT_POISONED(*x);  // Should not be poisoned.
3309b35249446b07f40ac5fcc3205f2c048616efacchkuang  // EXPECT_EQ(0, *x);
3319b35249446b07f40ac5fcc3205f2c048616efacchkuang  free(x);
3329b35249446b07f40ac5fcc3205f2c048616efacchkuang}
3339b35249446b07f40ac5fcc3205f2c048616efacchkuang
3349b35249446b07f40ac5fcc3205f2c048616efacchkuangTEST(MemorySanitizer, AndOr) {
3359b35249446b07f40ac5fcc3205f2c048616efacchkuang  U4 *p = GetPoisoned<U4>();
3369b35249446b07f40ac5fcc3205f2c048616efacchkuang  // We poison two bytes in the midle of a 4-byte word to make the test
3379b35249446b07f40ac5fcc3205f2c048616efacchkuang  // correct regardless of endianness.
3389b35249446b07f40ac5fcc3205f2c048616efacchkuang  ((U1*)p)[1] = 0;
3399b35249446b07f40ac5fcc3205f2c048616efacchkuang  ((U1*)p)[2] = 0xff;
3409b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_NOT_POISONED(*p & 0x00ffff00);
3419b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_NOT_POISONED(*p & 0x00ff0000);
3429b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_NOT_POISONED(*p & 0x0000ff00);
3439b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(*p & 0xff000000);
3449b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(*p & 0x000000ff);
3459b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(*p & 0x0000ffff);
3469b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(*p & 0xffff0000);
3479b35249446b07f40ac5fcc3205f2c048616efacchkuang
3489b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_NOT_POISONED(*p | 0xff0000ff);
3499b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_NOT_POISONED(*p | 0xff00ffff);
3509b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_NOT_POISONED(*p | 0xffff00ff);
3519b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(*p | 0xff000000);
3529b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(*p | 0x000000ff);
3539b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(*p | 0x0000ffff);
3549b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(*p | 0xffff0000);
3559b35249446b07f40ac5fcc3205f2c048616efacchkuang
3569b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(*GetPoisoned<bool>() & *GetPoisoned<bool>());
3579b35249446b07f40ac5fcc3205f2c048616efacchkuang}
3589b35249446b07f40ac5fcc3205f2c048616efacchkuang
3599b35249446b07f40ac5fcc3205f2c048616efacchkuangtemplate<class T>
3609b35249446b07f40ac5fcc3205f2c048616efacchkuangstatic bool applyNot(T value, T shadow) {
3619b35249446b07f40ac5fcc3205f2c048616efacchkuang  __msan_partial_poison(&value, &shadow, sizeof(T));
3629b35249446b07f40ac5fcc3205f2c048616efacchkuang  return !value;
3639b35249446b07f40ac5fcc3205f2c048616efacchkuang}
3649b35249446b07f40ac5fcc3205f2c048616efacchkuang
3659b35249446b07f40ac5fcc3205f2c048616efacchkuangTEST(MemorySanitizer, Not) {
3669b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_NOT_POISONED(applyNot<U4>(0x0, 0x0));
3679b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_NOT_POISONED(applyNot<U4>(0xFFFFFFFF, 0x0));
3689b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(applyNot<U4>(0xFFFFFFFF, 0xFFFFFFFF));
369b08e2e23eec181e9951df33cd704ac294c5407b6Vignesh Venkatasubramanian  EXPECT_NOT_POISONED(applyNot<U4>(0xFF000000, 0x0FFFFFFF));
370b08e2e23eec181e9951df33cd704ac294c5407b6Vignesh Venkatasubramanian  EXPECT_NOT_POISONED(applyNot<U4>(0xFF000000, 0x00FFFFFF));
371b08e2e23eec181e9951df33cd704ac294c5407b6Vignesh Venkatasubramanian  EXPECT_NOT_POISONED(applyNot<U4>(0xFF000000, 0x0000FFFF));
372b08e2e23eec181e9951df33cd704ac294c5407b6Vignesh Venkatasubramanian  EXPECT_NOT_POISONED(applyNot<U4>(0xFF000000, 0x00000000));
3739b35249446b07f40ac5fcc3205f2c048616efacchkuang  EXPECT_POISONED(applyNot<U4>(0xFF000000, 0xFF000000));
374  EXPECT_NOT_POISONED(applyNot<U4>(0xFF800000, 0xFF000000));
375  EXPECT_POISONED(applyNot<U4>(0x00008000, 0x00008000));
376
377  EXPECT_NOT_POISONED(applyNot<U1>(0x0, 0x0));
378  EXPECT_NOT_POISONED(applyNot<U1>(0xFF, 0xFE));
379  EXPECT_NOT_POISONED(applyNot<U1>(0xFF, 0x0));
380  EXPECT_POISONED(applyNot<U1>(0xFF, 0xFF));
381
382  EXPECT_POISONED(applyNot<void*>((void*)0xFFFFFF, (void*)(-1)));
383  EXPECT_NOT_POISONED(applyNot<void*>((void*)0xFFFFFF, (void*)(-2)));
384}
385
386TEST(MemorySanitizer, Shift) {
387  U4 *up = GetPoisoned<U4>();
388  ((U1*)up)[0] = 0;
389  ((U1*)up)[3] = 0xff;
390  EXPECT_NOT_POISONED(*up >> 30);
391  EXPECT_NOT_POISONED(*up >> 24);
392  EXPECT_POISONED(*up >> 23);
393  EXPECT_POISONED(*up >> 10);
394
395  EXPECT_NOT_POISONED(*up << 30);
396  EXPECT_NOT_POISONED(*up << 24);
397  EXPECT_POISONED(*up << 23);
398  EXPECT_POISONED(*up << 10);
399
400  S4 *sp = (S4*)up;
401  EXPECT_NOT_POISONED(*sp >> 30);
402  EXPECT_NOT_POISONED(*sp >> 24);
403  EXPECT_POISONED(*sp >> 23);
404  EXPECT_POISONED(*sp >> 10);
405
406  sp = GetPoisoned<S4>();
407  ((S1*)sp)[1] = 0;
408  ((S1*)sp)[2] = 0;
409  EXPECT_POISONED(*sp >> 31);
410
411  EXPECT_POISONED(100 >> *GetPoisoned<S4>());
412  EXPECT_POISONED(100U >> *GetPoisoned<S4>());
413}
414
415NOINLINE static int GetPoisonedZero() {
416  int *zero = new int;
417  *zero = 0;
418  __msan_poison(zero, sizeof(*zero));
419  int res = *zero;
420  delete zero;
421  return res;
422}
423
424TEST(MemorySanitizer, LoadFromDirtyAddress) {
425  int *a = new int;
426  *a = 0;
427  EXPECT_UMR(break_optimization((void*)(U8)a[GetPoisonedZero()]));
428  delete a;
429}
430
431TEST(MemorySanitizer, StoreToDirtyAddress) {
432  int *a = new int;
433  EXPECT_UMR(a[GetPoisonedZero()] = 0);
434  break_optimization(a);
435  delete a;
436}
437
438
439NOINLINE void StackTestFunc() {
440  S4 p4;
441  S4 ok4 = 1;
442  S2 p2;
443  S2 ok2 = 1;
444  S1 p1;
445  S1 ok1 = 1;
446  break_optimization(&p4);
447  break_optimization(&ok4);
448  break_optimization(&p2);
449  break_optimization(&ok2);
450  break_optimization(&p1);
451  break_optimization(&ok1);
452
453  EXPECT_POISONED(p4);
454  EXPECT_POISONED(p2);
455  EXPECT_POISONED(p1);
456  EXPECT_NOT_POISONED(ok1);
457  EXPECT_NOT_POISONED(ok2);
458  EXPECT_NOT_POISONED(ok4);
459}
460
461TEST(MemorySanitizer, StackTest) {
462  StackTestFunc();
463}
464
465NOINLINE void StackStressFunc() {
466  int foo[10000];
467  break_optimization(foo);
468}
469
470TEST(MemorySanitizer, DISABLED_StackStressTest) {
471  for (int i = 0; i < 1000000; i++)
472    StackStressFunc();
473}
474
475template<class T>
476void TestFloatingPoint() {
477  static volatile T v;
478  static T g[100];
479  break_optimization(&g);
480  T *x = GetPoisoned<T>();
481  T *y = GetPoisoned<T>(1);
482  EXPECT_POISONED(*x);
483  EXPECT_POISONED((long long)*x);
484  EXPECT_POISONED((int)*x);
485  g[0] = *x;
486  g[1] = *x + *y;
487  g[2] = *x - *y;
488  g[3] = *x * *y;
489}
490
491TEST(MemorySanitizer, FloatingPointTest) {
492  TestFloatingPoint<float>();
493  TestFloatingPoint<double>();
494}
495
496TEST(MemorySanitizer, DynMem) {
497  S4 x = 0;
498  S4 *y = GetPoisoned<S4>();
499  memcpy(y, &x, g_one * sizeof(S4));
500  EXPECT_NOT_POISONED(*y);
501}
502
503static char *DynRetTestStr;
504
505TEST(MemorySanitizer, DynRet) {
506  if (!__msan_has_dynamic_component()) return;
507  ReturnPoisoned<S8>();
508  EXPECT_NOT_POISONED(clearenv());
509}
510
511
512TEST(MemorySanitizer, DynRet1) {
513  if (!__msan_has_dynamic_component()) return;
514  ReturnPoisoned<S8>();
515}
516
517struct LargeStruct {
518  S4 x[10];
519};
520
521NOINLINE
522LargeStruct LargeRetTest() {
523  LargeStruct res;
524  res.x[0] = *GetPoisoned<S4>();
525  res.x[1] = *GetPoisoned<S4>();
526  res.x[2] = *GetPoisoned<S4>();
527  res.x[3] = *GetPoisoned<S4>();
528  res.x[4] = *GetPoisoned<S4>();
529  res.x[5] = *GetPoisoned<S4>();
530  res.x[6] = *GetPoisoned<S4>();
531  res.x[7] = *GetPoisoned<S4>();
532  res.x[8] = *GetPoisoned<S4>();
533  res.x[9] = *GetPoisoned<S4>();
534  return res;
535}
536
537TEST(MemorySanitizer, strcmp) {
538  char s1[10];
539  char s2[10];
540  strncpy(s1, "foo", 10);
541  s2[0] = 'f';
542  s2[1] = 'n';
543  EXPECT_GT(strcmp(s1, s2), 0);
544  s2[1] = 'o';
545  int res;
546  EXPECT_UMR(res = strcmp(s1, s2));
547  EXPECT_NOT_POISONED(res);
548  EXPECT_EQ(strncmp(s1, s2, 1), 0);
549}
550
551TEST(MemorySanitizer, LargeRet) {
552  LargeStruct a = LargeRetTest();
553  EXPECT_POISONED(a.x[0]);
554  EXPECT_POISONED(a.x[9]);
555}
556
557TEST(MemorySanitizer, strerror) {
558  char *buf = strerror(EINVAL);
559  EXPECT_NOT_POISONED(strlen(buf));
560  buf = strerror(123456);
561  EXPECT_NOT_POISONED(strlen(buf));
562}
563
564TEST(MemorySanitizer, strerror_r) {
565  errno = 0;
566  char buf[1000];
567  char *res = strerror_r(EINVAL, buf, sizeof(buf));
568  ASSERT_EQ(0, errno);
569  if (!res) res = buf; // POSIX version success.
570  EXPECT_NOT_POISONED(strlen(res));
571}
572
573TEST(MemorySanitizer, fread) {
574  char *x = new char[32];
575  FILE *f = fopen("/proc/self/stat", "r");
576  assert(f);
577  fread(x, 1, 32, f);
578  EXPECT_NOT_POISONED(x[0]);
579  EXPECT_NOT_POISONED(x[16]);
580  EXPECT_NOT_POISONED(x[31]);
581  fclose(f);
582  delete x;
583}
584
585TEST(MemorySanitizer, read) {
586  char *x = new char[32];
587  int fd = open("/proc/self/stat", O_RDONLY);
588  assert(fd > 0);
589  int sz = read(fd, x, 32);
590  assert(sz == 32);
591  EXPECT_NOT_POISONED(x[0]);
592  EXPECT_NOT_POISONED(x[16]);
593  EXPECT_NOT_POISONED(x[31]);
594  close(fd);
595  delete x;
596}
597
598TEST(MemorySanitizer, pread) {
599  char *x = new char[32];
600  int fd = open("/proc/self/stat", O_RDONLY);
601  assert(fd > 0);
602  int sz = pread(fd, x, 32, 0);
603  assert(sz == 32);
604  EXPECT_NOT_POISONED(x[0]);
605  EXPECT_NOT_POISONED(x[16]);
606  EXPECT_NOT_POISONED(x[31]);
607  close(fd);
608  delete x;
609}
610
611TEST(MemorySanitizer, readv) {
612  char buf[2011];
613  struct iovec iov[2];
614  iov[0].iov_base = buf + 1;
615  iov[0].iov_len = 5;
616  iov[1].iov_base = buf + 10;
617  iov[1].iov_len = 2000;
618  int fd = open("/proc/self/stat", O_RDONLY);
619  assert(fd > 0);
620  int sz = readv(fd, iov, 2);
621  ASSERT_LT(sz, 5 + 2000);
622  ASSERT_GT(sz, iov[0].iov_len);
623  EXPECT_POISONED(buf[0]);
624  EXPECT_NOT_POISONED(buf[1]);
625  EXPECT_NOT_POISONED(buf[5]);
626  EXPECT_POISONED(buf[6]);
627  EXPECT_POISONED(buf[9]);
628  EXPECT_NOT_POISONED(buf[10]);
629  EXPECT_NOT_POISONED(buf[10 + (sz - 1) - 5]);
630  EXPECT_POISONED(buf[11 + (sz - 1) - 5]);
631  close(fd);
632}
633
634TEST(MemorySanitizer, preadv) {
635  char buf[2011];
636  struct iovec iov[2];
637  iov[0].iov_base = buf + 1;
638  iov[0].iov_len = 5;
639  iov[1].iov_base = buf + 10;
640  iov[1].iov_len = 2000;
641  int fd = open("/proc/self/stat", O_RDONLY);
642  assert(fd > 0);
643  int sz = preadv(fd, iov, 2, 3);
644  ASSERT_LT(sz, 5 + 2000);
645  ASSERT_GT(sz, iov[0].iov_len);
646  EXPECT_POISONED(buf[0]);
647  EXPECT_NOT_POISONED(buf[1]);
648  EXPECT_NOT_POISONED(buf[5]);
649  EXPECT_POISONED(buf[6]);
650  EXPECT_POISONED(buf[9]);
651  EXPECT_NOT_POISONED(buf[10]);
652  EXPECT_NOT_POISONED(buf[10 + (sz - 1) - 5]);
653  EXPECT_POISONED(buf[11 + (sz - 1) - 5]);
654  close(fd);
655}
656
657// FIXME: fails now.
658TEST(MemorySanitizer, DISABLED_ioctl) {
659  struct winsize ws;
660  EXPECT_EQ(ioctl(2, TIOCGWINSZ, &ws), 0);
661  EXPECT_NOT_POISONED(ws.ws_col);
662}
663
664TEST(MemorySanitizer, readlink) {
665  char *x = new char[1000];
666  readlink("/proc/self/exe", x, 1000);
667  EXPECT_NOT_POISONED(x[0]);
668  delete [] x;
669}
670
671
672TEST(MemorySanitizer, stat) {
673  struct stat* st = new struct stat;
674  int res = stat("/proc/self/stat", st);
675  assert(!res);
676  EXPECT_NOT_POISONED(st->st_dev);
677  EXPECT_NOT_POISONED(st->st_mode);
678  EXPECT_NOT_POISONED(st->st_size);
679}
680
681TEST(MemorySanitizer, fstatat) {
682  struct stat* st = new struct stat;
683  int dirfd = open("/proc/self", O_RDONLY);
684  assert(dirfd > 0);
685  int res = fstatat(dirfd, "stat", st, 0);
686  assert(!res);
687  EXPECT_NOT_POISONED(st->st_dev);
688  EXPECT_NOT_POISONED(st->st_mode);
689  EXPECT_NOT_POISONED(st->st_size);
690  close(dirfd);
691}
692
693TEST(MemorySanitizer, statfs) {
694  struct statfs st;
695  int res = statfs("/", &st);
696  assert(!res);
697  EXPECT_NOT_POISONED(st.f_type);
698  EXPECT_NOT_POISONED(st.f_bfree);
699  EXPECT_NOT_POISONED(st.f_namelen);
700}
701
702TEST(MemorySanitizer, statvfs) {
703  struct statvfs st;
704  int res = statvfs("/", &st);
705  assert(!res);
706  EXPECT_NOT_POISONED(st.f_bsize);
707  EXPECT_NOT_POISONED(st.f_blocks);
708  EXPECT_NOT_POISONED(st.f_bfree);
709  EXPECT_NOT_POISONED(st.f_namemax);
710}
711
712TEST(MemorySanitizer, fstatvfs) {
713  struct statvfs st;
714  int fd = open("/", O_RDONLY | O_DIRECTORY);
715  int res = fstatvfs(fd, &st);
716  assert(!res);
717  EXPECT_NOT_POISONED(st.f_bsize);
718  EXPECT_NOT_POISONED(st.f_blocks);
719  EXPECT_NOT_POISONED(st.f_bfree);
720  EXPECT_NOT_POISONED(st.f_namemax);
721  close(fd);
722}
723
724TEST(MemorySanitizer, pipe) {
725  int* pipefd = new int[2];
726  int res = pipe(pipefd);
727  assert(!res);
728  EXPECT_NOT_POISONED(pipefd[0]);
729  EXPECT_NOT_POISONED(pipefd[1]);
730  close(pipefd[0]);
731  close(pipefd[1]);
732}
733
734TEST(MemorySanitizer, pipe2) {
735  int* pipefd = new int[2];
736  int res = pipe2(pipefd, O_NONBLOCK);
737  assert(!res);
738  EXPECT_NOT_POISONED(pipefd[0]);
739  EXPECT_NOT_POISONED(pipefd[1]);
740  close(pipefd[0]);
741  close(pipefd[1]);
742}
743
744TEST(MemorySanitizer, socketpair) {
745  int sv[2];
746  int res = socketpair(AF_UNIX, SOCK_STREAM, 0, sv);
747  assert(!res);
748  EXPECT_NOT_POISONED(sv[0]);
749  EXPECT_NOT_POISONED(sv[1]);
750  close(sv[0]);
751  close(sv[1]);
752}
753
754TEST(MemorySanitizer, poll) {
755  int* pipefd = new int[2];
756  int res = pipe(pipefd);
757  ASSERT_EQ(0, res);
758
759  char data = 42;
760  res = write(pipefd[1], &data, 1);
761  ASSERT_EQ(1, res);
762
763  pollfd fds[2];
764  fds[0].fd = pipefd[0];
765  fds[0].events = POLLIN;
766  fds[1].fd = pipefd[1];
767  fds[1].events = POLLIN;
768  res = poll(fds, 2, 500);
769  ASSERT_EQ(1, res);
770  EXPECT_NOT_POISONED(fds[0].revents);
771  EXPECT_NOT_POISONED(fds[1].revents);
772
773  close(pipefd[0]);
774  close(pipefd[1]);
775}
776
777TEST(MemorySanitizer, ppoll) {
778  int* pipefd = new int[2];
779  int res = pipe(pipefd);
780  ASSERT_EQ(0, res);
781
782  char data = 42;
783  res = write(pipefd[1], &data, 1);
784  ASSERT_EQ(1, res);
785
786  pollfd fds[2];
787  fds[0].fd = pipefd[0];
788  fds[0].events = POLLIN;
789  fds[1].fd = pipefd[1];
790  fds[1].events = POLLIN;
791  sigset_t ss;
792  sigemptyset(&ss);
793  res = ppoll(fds, 2, NULL, &ss);
794  ASSERT_EQ(1, res);
795  EXPECT_NOT_POISONED(fds[0].revents);
796  EXPECT_NOT_POISONED(fds[1].revents);
797
798  close(pipefd[0]);
799  close(pipefd[1]);
800}
801
802TEST(MemorySanitizer, poll_positive) {
803  int* pipefd = new int[2];
804  int res = pipe(pipefd);
805  ASSERT_EQ(0, res);
806
807  pollfd fds[2];
808  fds[0].fd = pipefd[0];
809  fds[0].events = POLLIN;
810  // fds[1].fd uninitialized
811  fds[1].events = POLLIN;
812  EXPECT_UMR(poll(fds, 2, 0));
813
814  close(pipefd[0]);
815  close(pipefd[1]);
816}
817
818TEST(MemorySanitizer, bind_getsockname) {
819  int sock = socket(AF_UNIX, SOCK_STREAM, 0);
820
821  struct sockaddr_in sai;
822  memset(&sai, 0, sizeof(sai));
823  sai.sin_family = AF_UNIX;
824  int res = bind(sock, (struct sockaddr *)&sai, sizeof(sai));
825
826  assert(!res);
827  char buf[200];
828  socklen_t addrlen;
829  EXPECT_UMR(getsockname(sock, (struct sockaddr *)&buf, &addrlen));
830
831  addrlen = sizeof(buf);
832  res = getsockname(sock, (struct sockaddr *)&buf, &addrlen);
833  EXPECT_NOT_POISONED(addrlen);
834  EXPECT_NOT_POISONED(buf[0]);
835  EXPECT_NOT_POISONED(buf[addrlen - 1]);
836  EXPECT_POISONED(buf[addrlen]);
837  close(sock);
838}
839
840TEST(MemorySanitizer, accept) {
841  int listen_socket = socket(AF_INET, SOCK_STREAM, 0);
842  ASSERT_LT(0, listen_socket);
843
844  struct sockaddr_in sai;
845  memset(&sai, 0, sizeof(sai));
846  sai.sin_family = AF_INET;
847  sai.sin_port = 0;
848  sai.sin_addr.s_addr = htonl(INADDR_LOOPBACK);
849  int res = bind(listen_socket, (struct sockaddr *)&sai, sizeof(sai));
850  ASSERT_EQ(0, res);
851
852  res = listen(listen_socket, 1);
853  ASSERT_EQ(0, res);
854
855  socklen_t sz = sizeof(sai);
856  res = getsockname(listen_socket, (struct sockaddr *)&sai, &sz);
857  ASSERT_EQ(0, res);
858  ASSERT_EQ(sizeof(sai), sz);
859
860  int connect_socket = socket(AF_INET, SOCK_STREAM, 0);
861  ASSERT_LT(0, connect_socket);
862  res = fcntl(connect_socket, F_SETFL, O_NONBLOCK);
863  ASSERT_EQ(0, res);
864  res = connect(connect_socket, (struct sockaddr *)&sai, sizeof(sai));
865  ASSERT_EQ(-1, res);
866  ASSERT_EQ(EINPROGRESS, errno);
867
868  __msan_poison(&sai, sizeof(sai));
869  int new_sock = accept(listen_socket, (struct sockaddr *)&sai, &sz);
870  ASSERT_LT(0, new_sock);
871  ASSERT_EQ(sizeof(sai), sz);
872  EXPECT_NOT_POISONED(sai);
873
874  __msan_poison(&sai, sizeof(sai));
875  res = getpeername(new_sock, (struct sockaddr *)&sai, &sz);
876  ASSERT_EQ(0, res);
877  ASSERT_EQ(sizeof(sai), sz);
878  EXPECT_NOT_POISONED(sai);
879
880  close(new_sock);
881  close(connect_socket);
882  close(listen_socket);
883}
884
885TEST(MemorySanitizer, getaddrinfo) {
886  struct addrinfo *ai;
887  struct addrinfo hints;
888  memset(&hints, 0, sizeof(hints));
889  hints.ai_family = AF_INET;
890  int res = getaddrinfo("localhost", NULL, &hints, &ai);
891  ASSERT_EQ(0, res);
892  EXPECT_NOT_POISONED(*ai);
893  ASSERT_EQ(sizeof(sockaddr_in), ai->ai_addrlen);
894  EXPECT_NOT_POISONED(*(sockaddr_in*)ai->ai_addr);
895}
896
897TEST(MemorySanitizer, getnameinfo) {
898  struct sockaddr_in sai;
899  memset(&sai, 0, sizeof(sai));
900  sai.sin_family = AF_INET;
901  sai.sin_port = 80;
902  sai.sin_addr.s_addr = htonl(INADDR_LOOPBACK);
903  char host[500];
904  char serv[500];
905  int res = getnameinfo((struct sockaddr *)&sai, sizeof(sai), host,
906                        sizeof(host), serv, sizeof(serv), 0);
907  ASSERT_EQ(0, res);
908  EXPECT_NOT_POISONED(host[0]);
909  EXPECT_POISONED(host[sizeof(host) - 1]);
910
911  ASSERT_NE(0, strlen(host));
912  EXPECT_NOT_POISONED(serv[0]);
913  EXPECT_POISONED(serv[sizeof(serv) - 1]);
914  ASSERT_NE(0, strlen(serv));
915}
916
917#define EXPECT_HOSTENT_NOT_POISONED(he)        \
918  do {                                         \
919    EXPECT_NOT_POISONED(*(he));                \
920    ASSERT_NE((void *) 0, (he)->h_name);       \
921    ASSERT_NE((void *) 0, (he)->h_aliases);    \
922    ASSERT_NE((void *) 0, (he)->h_addr_list);  \
923    EXPECT_NOT_POISONED(strlen((he)->h_name)); \
924    char **p = (he)->h_aliases;                \
925    while (*p) {                               \
926      EXPECT_NOT_POISONED(strlen(*p));         \
927      ++p;                                     \
928    }                                          \
929    char **q = (he)->h_addr_list;              \
930    while (*q) {                               \
931      EXPECT_NOT_POISONED(*q[0]);              \
932      ++q;                                     \
933    }                                          \
934    EXPECT_NOT_POISONED(*q);                   \
935  } while (0)
936
937TEST(MemorySanitizer, gethostent) {
938  struct hostent *he = gethostent();
939  ASSERT_NE((void *)NULL, he);
940  EXPECT_HOSTENT_NOT_POISONED(he);
941}
942
943#ifndef MSAN_TEST_DISABLE_GETHOSTBYNAME
944
945TEST(MemorySanitizer, gethostbyname) {
946  struct hostent *he = gethostbyname("localhost");
947  ASSERT_NE((void *)NULL, he);
948  EXPECT_HOSTENT_NOT_POISONED(he);
949}
950
951#endif // MSAN_TEST_DISABLE_GETHOSTBYNAME
952
953TEST(MemorySanitizer, recvmsg) {
954  int server_socket = socket(AF_INET, SOCK_DGRAM, 0);
955  ASSERT_LT(0, server_socket);
956
957  struct sockaddr_in sai;
958  memset(&sai, 0, sizeof(sai));
959  sai.sin_family = AF_INET;
960  sai.sin_port = 0;
961  sai.sin_addr.s_addr = htonl(INADDR_LOOPBACK);
962  int res = bind(server_socket, (struct sockaddr *)&sai, sizeof(sai));
963  ASSERT_EQ(0, res);
964
965  socklen_t sz = sizeof(sai);
966  res = getsockname(server_socket, (struct sockaddr *)&sai, &sz);
967  ASSERT_EQ(0, res);
968  ASSERT_EQ(sizeof(sai), sz);
969
970
971  int client_socket = socket(AF_INET, SOCK_DGRAM, 0);
972  ASSERT_LT(0, client_socket);
973
974  struct sockaddr_in client_sai;
975  memset(&client_sai, 0, sizeof(client_sai));
976  client_sai.sin_family = AF_INET;
977  client_sai.sin_port = 0;
978  client_sai.sin_addr.s_addr = htonl(INADDR_LOOPBACK);
979  res = bind(client_socket, (struct sockaddr *)&client_sai, sizeof(client_sai));
980  ASSERT_EQ(0, res);
981
982  sz = sizeof(client_sai);
983  res = getsockname(client_socket, (struct sockaddr *)&client_sai, &sz);
984  ASSERT_EQ(0, res);
985  ASSERT_EQ(sizeof(client_sai), sz);
986
987
988  const char *s = "message text";
989  struct iovec iov;
990  iov.iov_base = (void *)s;
991  iov.iov_len = strlen(s) + 1;
992  struct msghdr msg;
993  memset(&msg, 0, sizeof(msg));
994  msg.msg_name = &sai;
995  msg.msg_namelen = sizeof(sai);
996  msg.msg_iov = &iov;
997  msg.msg_iovlen = 1;
998  res = sendmsg(client_socket, &msg, 0);
999  ASSERT_LT(0, res);
1000
1001
1002  char buf[1000];
1003  struct iovec recv_iov;
1004  recv_iov.iov_base = (void *)&buf;
1005  recv_iov.iov_len = sizeof(buf);
1006  struct sockaddr_in recv_sai;
1007  struct msghdr recv_msg;
1008  memset(&recv_msg, 0, sizeof(recv_msg));
1009  recv_msg.msg_name = &recv_sai;
1010  recv_msg.msg_namelen = sizeof(recv_sai);
1011  recv_msg.msg_iov = &recv_iov;
1012  recv_msg.msg_iovlen = 1;
1013  res = recvmsg(server_socket, &recv_msg, 0);
1014  ASSERT_LT(0, res);
1015
1016  ASSERT_EQ(sizeof(recv_sai), recv_msg.msg_namelen);
1017  EXPECT_NOT_POISONED(*(struct sockaddr_in *)recv_msg.msg_name);
1018  EXPECT_STREQ(s, buf);
1019
1020  close(server_socket);
1021  close(client_socket);
1022}
1023
1024TEST(MemorySanitizer, gethostbyname2) {
1025  struct hostent *he = gethostbyname2("localhost", AF_INET);
1026  ASSERT_NE((void *)NULL, he);
1027  EXPECT_HOSTENT_NOT_POISONED(he);
1028}
1029
1030TEST(MemorySanitizer, gethostbyaddr) {
1031  in_addr_t addr = inet_addr("127.0.0.1");
1032  EXPECT_NOT_POISONED(addr);
1033  struct hostent *he = gethostbyaddr(&addr, sizeof(addr), AF_INET);
1034  ASSERT_NE((void *)NULL, he);
1035  EXPECT_HOSTENT_NOT_POISONED(he);
1036}
1037
1038TEST(MemorySanitizer, gethostent_r) {
1039  char buf[2000];
1040  struct hostent he;
1041  struct hostent *result;
1042  int err;
1043  int res = gethostent_r(&he, buf, sizeof(buf), &result, &err);
1044  ASSERT_EQ(0, res);
1045  EXPECT_NOT_POISONED(result);
1046  ASSERT_NE((void *)NULL, result);
1047  EXPECT_HOSTENT_NOT_POISONED(result);
1048  EXPECT_NOT_POISONED(err);
1049}
1050
1051TEST(MemorySanitizer, gethostbyname_r) {
1052  char buf[2000];
1053  struct hostent he;
1054  struct hostent *result;
1055  int err;
1056  int res = gethostbyname_r("localhost", &he, buf, sizeof(buf), &result, &err);
1057  ASSERT_EQ(0, res);
1058  EXPECT_NOT_POISONED(result);
1059  ASSERT_NE((void *)NULL, result);
1060  EXPECT_HOSTENT_NOT_POISONED(result);
1061  EXPECT_NOT_POISONED(err);
1062}
1063
1064TEST(MemorySanitizer, gethostbyname2_r) {
1065  char buf[2000];
1066  struct hostent he;
1067  struct hostent *result;
1068  int err;
1069  int res = gethostbyname2_r("localhost", AF_INET, &he, buf, sizeof(buf),
1070                             &result, &err);
1071  ASSERT_EQ(0, res);
1072  EXPECT_NOT_POISONED(result);
1073  ASSERT_NE((void *)NULL, result);
1074  EXPECT_HOSTENT_NOT_POISONED(result);
1075  EXPECT_NOT_POISONED(err);
1076}
1077
1078TEST(MemorySanitizer, gethostbyaddr_r) {
1079  char buf[2000];
1080  struct hostent he;
1081  struct hostent *result;
1082  int err;
1083  in_addr_t addr = inet_addr("127.0.0.1");
1084  EXPECT_NOT_POISONED(addr);
1085  int res = gethostbyaddr_r(&addr, sizeof(addr), AF_INET, &he, buf, sizeof(buf),
1086                            &result, &err);
1087  ASSERT_EQ(0, res);
1088  EXPECT_NOT_POISONED(result);
1089  ASSERT_NE((void *)NULL, result);
1090  EXPECT_HOSTENT_NOT_POISONED(result);
1091  EXPECT_NOT_POISONED(err);
1092}
1093
1094TEST(MemorySanitizer, getsockopt) {
1095  int sock = socket(AF_UNIX, SOCK_STREAM, 0);
1096  struct linger l[2];
1097  socklen_t sz = sizeof(l[0]);
1098  int res = getsockopt(sock, SOL_SOCKET, SO_LINGER, &l[0], &sz);
1099  ASSERT_EQ(0, res);
1100  ASSERT_EQ(sizeof(l[0]), sz);
1101  EXPECT_NOT_POISONED(l[0]);
1102  EXPECT_POISONED(*(char *)(l + 1));
1103}
1104
1105TEST(MemorySanitizer, getcwd) {
1106  char path[PATH_MAX + 1];
1107  char* res = getcwd(path, sizeof(path));
1108  assert(res);
1109  EXPECT_NOT_POISONED(path[0]);
1110}
1111
1112TEST(MemorySanitizer, getcwd_gnu) {
1113  char* res = getcwd(NULL, 0);
1114  assert(res);
1115  EXPECT_NOT_POISONED(res[0]);
1116  free(res);
1117}
1118
1119TEST(MemorySanitizer, get_current_dir_name) {
1120  char* res = get_current_dir_name();
1121  assert(res);
1122  EXPECT_NOT_POISONED(res[0]);
1123  free(res);
1124}
1125
1126TEST(MemorySanitizer, shmctl) {
1127  int id = shmget(IPC_PRIVATE, 4096, 0644 | IPC_CREAT);
1128  ASSERT_GT(id, -1);
1129
1130  struct shmid_ds ds;
1131  int res = shmctl(id, IPC_STAT, &ds);
1132  ASSERT_GT(res, -1);
1133  EXPECT_NOT_POISONED(ds);
1134
1135  struct shminfo si;
1136  res = shmctl(id, IPC_INFO, (struct shmid_ds *)&si);
1137  ASSERT_GT(res, -1);
1138  EXPECT_NOT_POISONED(si);
1139
1140  struct shm_info s_i;
1141  res = shmctl(id, SHM_INFO, (struct shmid_ds *)&s_i);
1142  ASSERT_GT(res, -1);
1143  EXPECT_NOT_POISONED(s_i);
1144
1145  res = shmctl(id, IPC_RMID, 0);
1146  ASSERT_GT(res, -1);
1147}
1148
1149TEST(MemorySanitizer, shmat) {
1150  void *p = mmap(NULL, 4096, PROT_READ | PROT_WRITE,
1151                 MAP_PRIVATE | MAP_ANONYMOUS, 0, 0);
1152  ASSERT_NE(MAP_FAILED, p);
1153
1154  ((char *)p)[10] = *GetPoisoned<U1>();
1155  ((char *)p)[4095] = *GetPoisoned<U1>();
1156
1157  int res = munmap(p, 4096);
1158  ASSERT_EQ(0, res);
1159
1160  int id = shmget(IPC_PRIVATE, 4096, 0644 | IPC_CREAT);
1161  ASSERT_GT(id, -1);
1162
1163  void *q = shmat(id, p, 0);
1164  ASSERT_EQ(p, q);
1165
1166  EXPECT_NOT_POISONED(((char *)q)[0]);
1167  EXPECT_NOT_POISONED(((char *)q)[10]);
1168  EXPECT_NOT_POISONED(((char *)q)[4095]);
1169
1170  res = shmdt(q);
1171  ASSERT_EQ(0, res);
1172
1173  res = shmctl(id, IPC_RMID, 0);
1174  ASSERT_GT(res, -1);
1175}
1176
1177TEST(MemorySanitizer, random_r) {
1178  int32_t x;
1179  char z[64];
1180  memset(z, 0, sizeof(z));
1181
1182  struct random_data buf;
1183  memset(&buf, 0, sizeof(buf));
1184
1185  int res = initstate_r(0, z, sizeof(z), &buf);
1186  ASSERT_EQ(0, res);
1187
1188  res = random_r(&buf, &x);
1189  ASSERT_EQ(0, res);
1190  EXPECT_NOT_POISONED(x);
1191}
1192
1193TEST(MemorySanitizer, confstr) {
1194  char buf[3];
1195  size_t res = confstr(_CS_PATH, buf, sizeof(buf));
1196  ASSERT_GT(res, sizeof(buf));
1197  EXPECT_NOT_POISONED(buf[0]);
1198  EXPECT_NOT_POISONED(buf[sizeof(buf) - 1]);
1199
1200  char buf2[1000];
1201  res = confstr(_CS_PATH, buf2, sizeof(buf2));
1202  ASSERT_LT(res, sizeof(buf2));
1203  EXPECT_NOT_POISONED(buf2[0]);
1204  EXPECT_NOT_POISONED(buf2[res - 1]);
1205  EXPECT_POISONED(buf2[res]);
1206  ASSERT_EQ(res, strlen(buf2) + 1);
1207}
1208
1209TEST(MemorySanitizer, readdir) {
1210  DIR *dir = opendir(".");
1211  struct dirent *d = readdir(dir);
1212  assert(d);
1213  EXPECT_NOT_POISONED(d->d_name[0]);
1214  closedir(dir);
1215}
1216
1217TEST(MemorySanitizer, readdir_r) {
1218  DIR *dir = opendir(".");
1219  struct dirent d;
1220  struct dirent *pd;
1221  int res = readdir_r(dir, &d, &pd);
1222  assert(!res);
1223  EXPECT_NOT_POISONED(pd);
1224  EXPECT_NOT_POISONED(d.d_name[0]);
1225  closedir(dir);
1226}
1227
1228TEST(MemorySanitizer, realpath) {
1229  const char* relpath = ".";
1230  char path[PATH_MAX + 1];
1231  char* res = realpath(relpath, path);
1232  assert(res);
1233  EXPECT_NOT_POISONED(path[0]);
1234}
1235
1236TEST(MemorySanitizer, realpath_null) {
1237  const char* relpath = ".";
1238  char* res = realpath(relpath, NULL);
1239  printf("%d, %s\n", errno, strerror(errno));
1240  assert(res);
1241  EXPECT_NOT_POISONED(res[0]);
1242  free(res);
1243}
1244
1245TEST(MemorySanitizer, canonicalize_file_name) {
1246  const char* relpath = ".";
1247  char* res = canonicalize_file_name(relpath);
1248  assert(res);
1249  EXPECT_NOT_POISONED(res[0]);
1250  free(res);
1251}
1252
1253extern char **environ;
1254
1255TEST(MemorySanitizer, setenv) {
1256  setenv("AAA", "BBB", 1);
1257  for (char **envp = environ; *envp; ++envp) {
1258    EXPECT_NOT_POISONED(*envp);
1259    EXPECT_NOT_POISONED(*envp[0]);
1260  }
1261}
1262
1263TEST(MemorySanitizer, putenv) {
1264  char s[] = "AAA=BBB";
1265  putenv(s);
1266  for (char **envp = environ; *envp; ++envp) {
1267    EXPECT_NOT_POISONED(*envp);
1268    EXPECT_NOT_POISONED(*envp[0]);
1269  }
1270}
1271
1272TEST(MemorySanitizer, memcpy) {
1273  char* x = new char[2];
1274  char* y = new char[2];
1275  x[0] = 1;
1276  x[1] = *GetPoisoned<char>();
1277  memcpy(y, x, 2);
1278  EXPECT_NOT_POISONED(y[0]);
1279  EXPECT_POISONED(y[1]);
1280}
1281
1282void TestUnalignedMemcpy(int left, int right, bool src_is_aligned) {
1283  const int sz = 20;
1284  char *dst = (char *)malloc(sz);
1285  U4 origin = __msan_get_origin(dst);
1286
1287  char *src = (char *)malloc(sz);
1288  memset(src, 0, sz);
1289
1290  memcpy(dst + left, src_is_aligned ? src + left : src, sz - left - right);
1291  for (int i = 0; i < left; ++i)
1292    EXPECT_POISONED_O(dst[i], origin);
1293  for (int i = 0; i < right; ++i)
1294    EXPECT_POISONED_O(dst[sz - i - 1], origin);
1295  EXPECT_NOT_POISONED(dst[left]);
1296  EXPECT_NOT_POISONED(dst[sz - right - 1]);
1297
1298  free(dst);
1299  free(src);
1300}
1301
1302TEST(MemorySanitizer, memcpy_unaligned) {
1303  for (int i = 0; i < 4; ++i) {
1304    for (int j = 0; j < 4; ++j) {
1305      TestUnalignedMemcpy(i, j, true);
1306      TestUnalignedMemcpy(i, j, false);
1307    }
1308  }
1309}
1310
1311TEST(MemorySanitizer, memmove) {
1312  char* x = new char[2];
1313  char* y = new char[2];
1314  x[0] = 1;
1315  x[1] = *GetPoisoned<char>();
1316  memmove(y, x, 2);
1317  EXPECT_NOT_POISONED(y[0]);
1318  EXPECT_POISONED(y[1]);
1319}
1320
1321TEST(MemorySanitizer, bcopy) {
1322  char* x = new char[2];
1323  char* y = new char[2];
1324  x[0] = 1;
1325  x[1] = *GetPoisoned<char>();
1326  bcopy(x, y, 2);
1327  EXPECT_NOT_POISONED(y[0]);
1328  EXPECT_POISONED(y[1]);
1329}
1330
1331TEST(MemorySanitizer, strdup) {
1332  char buf[4] = "abc";
1333  __msan_poison(buf + 2, sizeof(*buf));
1334  char *x = strdup(buf);
1335  EXPECT_NOT_POISONED(x[0]);
1336  EXPECT_NOT_POISONED(x[1]);
1337  EXPECT_POISONED(x[2]);
1338  EXPECT_NOT_POISONED(x[3]);
1339  free(x);
1340}
1341
1342TEST(MemorySanitizer, strndup) {
1343  char buf[4] = "abc";
1344  __msan_poison(buf + 2, sizeof(*buf));
1345  char *x = strndup(buf, 3);
1346  EXPECT_NOT_POISONED(x[0]);
1347  EXPECT_NOT_POISONED(x[1]);
1348  EXPECT_POISONED(x[2]);
1349  EXPECT_NOT_POISONED(x[3]);
1350  free(x);
1351}
1352
1353TEST(MemorySanitizer, strndup_short) {
1354  char buf[4] = "abc";
1355  __msan_poison(buf + 1, sizeof(*buf));
1356  __msan_poison(buf + 2, sizeof(*buf));
1357  char *x = strndup(buf, 2);
1358  EXPECT_NOT_POISONED(x[0]);
1359  EXPECT_POISONED(x[1]);
1360  EXPECT_NOT_POISONED(x[2]);
1361  free(x);
1362}
1363
1364
1365template<class T, int size>
1366void TestOverlapMemmove() {
1367  T *x = new T[size];
1368  assert(size >= 3);
1369  x[2] = 0;
1370  memmove(x, x + 1, (size - 1) * sizeof(T));
1371  EXPECT_NOT_POISONED(x[1]);
1372  if (!__msan_has_dynamic_component()) {
1373    // FIXME: under DR we will lose this information
1374    // because accesses in memmove will unpoisin the shadow.
1375    // We need to use our own memove implementation instead of libc's.
1376    EXPECT_POISONED(x[0]);
1377    EXPECT_POISONED(x[2]);
1378  }
1379  delete [] x;
1380}
1381
1382TEST(MemorySanitizer, overlap_memmove) {
1383  TestOverlapMemmove<U1, 10>();
1384  TestOverlapMemmove<U1, 1000>();
1385  TestOverlapMemmove<U8, 4>();
1386  TestOverlapMemmove<U8, 1000>();
1387}
1388
1389TEST(MemorySanitizer, strcpy) {  // NOLINT
1390  char* x = new char[3];
1391  char* y = new char[3];
1392  x[0] = 'a';
1393  x[1] = *GetPoisoned<char>(1, 1);
1394  x[2] = 0;
1395  strcpy(y, x);  // NOLINT
1396  EXPECT_NOT_POISONED(y[0]);
1397  EXPECT_POISONED(y[1]);
1398  EXPECT_NOT_POISONED(y[2]);
1399}
1400
1401TEST(MemorySanitizer, strncpy) {  // NOLINT
1402  char* x = new char[3];
1403  char* y = new char[3];
1404  x[0] = 'a';
1405  x[1] = *GetPoisoned<char>(1, 1);
1406  x[2] = 0;
1407  strncpy(y, x, 2);  // NOLINT
1408  EXPECT_NOT_POISONED(y[0]);
1409  EXPECT_POISONED(y[1]);
1410  EXPECT_POISONED(y[2]);
1411}
1412
1413TEST(MemorySanitizer, stpcpy) {  // NOLINT
1414  char* x = new char[3];
1415  char* y = new char[3];
1416  x[0] = 'a';
1417  x[1] = *GetPoisoned<char>(1, 1);
1418  x[2] = 0;
1419  char *res = stpcpy(y, x);  // NOLINT
1420  ASSERT_EQ(res, y + 2);
1421  EXPECT_NOT_POISONED(y[0]);
1422  EXPECT_POISONED(y[1]);
1423  EXPECT_NOT_POISONED(y[2]);
1424}
1425
1426TEST(MemorySanitizer, strtol) {
1427  char *e;
1428  assert(1 == strtol("1", &e, 10));
1429  EXPECT_NOT_POISONED((S8) e);
1430}
1431
1432TEST(MemorySanitizer, strtoll) {
1433  char *e;
1434  assert(1 == strtoll("1", &e, 10));
1435  EXPECT_NOT_POISONED((S8) e);
1436}
1437
1438TEST(MemorySanitizer, strtoul) {
1439  char *e;
1440  assert(1 == strtoul("1", &e, 10));
1441  EXPECT_NOT_POISONED((S8) e);
1442}
1443
1444TEST(MemorySanitizer, strtoull) {
1445  char *e;
1446  assert(1 == strtoull("1", &e, 10));
1447  EXPECT_NOT_POISONED((S8) e);
1448}
1449
1450TEST(MemorySanitizer, strtoimax) {
1451  char *e;
1452  assert(1 == strtoimax("1", &e, 10));
1453  EXPECT_NOT_POISONED((S8) e);
1454}
1455
1456TEST(MemorySanitizer, strtoumax) {
1457  char *e;
1458  assert(1 == strtoumax("1", &e, 10));
1459  EXPECT_NOT_POISONED((S8) e);
1460}
1461
1462TEST(MemorySanitizer, strtod) {
1463  char *e;
1464  assert(0 != strtod("1.5", &e));
1465  EXPECT_NOT_POISONED((S8) e);
1466}
1467
1468#ifdef __GLIBC__
1469extern "C" double __strtod_l(const char *nptr, char **endptr, locale_t loc);
1470TEST(MemorySanitizer, __strtod_l) {
1471  locale_t loc = newlocale(LC_NUMERIC_MASK, "C", (locale_t)0);
1472  char *e;
1473  assert(0 != __strtod_l("1.5", &e, loc));
1474  EXPECT_NOT_POISONED((S8) e);
1475  freelocale(loc);
1476}
1477#endif  // __GLIBC__
1478
1479TEST(MemorySanitizer, strtof) {
1480  char *e;
1481  assert(0 != strtof("1.5", &e));
1482  EXPECT_NOT_POISONED((S8) e);
1483}
1484
1485TEST(MemorySanitizer, strtold) {
1486  char *e;
1487  assert(0 != strtold("1.5", &e));
1488  EXPECT_NOT_POISONED((S8) e);
1489}
1490
1491TEST(MemorySanitizer, modf) {
1492  double x, y;
1493  x = modf(2.1, &y);
1494  EXPECT_NOT_POISONED(y);
1495}
1496
1497TEST(MemorySanitizer, modff) {
1498  float x, y;
1499  x = modff(2.1, &y);
1500  EXPECT_NOT_POISONED(y);
1501}
1502
1503TEST(MemorySanitizer, modfl) {
1504  long double x, y;
1505  x = modfl(2.1, &y);
1506  EXPECT_NOT_POISONED(y);
1507}
1508
1509TEST(MemorySanitizer, sincos) {
1510  double s, c;
1511  sincos(0.2, &s, &c);
1512  EXPECT_NOT_POISONED(s);
1513  EXPECT_NOT_POISONED(c);
1514}
1515
1516TEST(MemorySanitizer, sincosf) {
1517  float s, c;
1518  sincosf(0.2, &s, &c);
1519  EXPECT_NOT_POISONED(s);
1520  EXPECT_NOT_POISONED(c);
1521}
1522
1523TEST(MemorySanitizer, sincosl) {
1524  long double s, c;
1525  sincosl(0.2, &s, &c);
1526  EXPECT_NOT_POISONED(s);
1527  EXPECT_NOT_POISONED(c);
1528}
1529
1530TEST(MemorySanitizer, remquo) {
1531  int quo;
1532  double res = remquo(29.0, 3.0, &quo);
1533  ASSERT_NE(0.0, res);
1534  EXPECT_NOT_POISONED(quo);
1535}
1536
1537TEST(MemorySanitizer, remquof) {
1538  int quo;
1539  float res = remquof(29.0, 3.0, &quo);
1540  ASSERT_NE(0.0, res);
1541  EXPECT_NOT_POISONED(quo);
1542}
1543
1544TEST(MemorySanitizer, remquol) {
1545  int quo;
1546  long double res = remquof(29.0, 3.0, &quo);
1547  ASSERT_NE(0.0, res);
1548  EXPECT_NOT_POISONED(quo);
1549}
1550
1551TEST(MemorySanitizer, lgamma) {
1552  double res = lgamma(1.1);
1553  ASSERT_NE(0.0, res);
1554  EXPECT_NOT_POISONED(signgam);
1555}
1556
1557TEST(MemorySanitizer, lgammaf) {
1558  float res = lgammaf(1.1);
1559  ASSERT_NE(0.0, res);
1560  EXPECT_NOT_POISONED(signgam);
1561}
1562
1563TEST(MemorySanitizer, lgammal) {
1564  long double res = lgammal(1.1);
1565  ASSERT_NE(0.0, res);
1566  EXPECT_NOT_POISONED(signgam);
1567}
1568
1569TEST(MemorySanitizer, lgamma_r) {
1570  int sgn;
1571  double res = lgamma_r(1.1, &sgn);
1572  ASSERT_NE(0.0, res);
1573  EXPECT_NOT_POISONED(sgn);
1574}
1575
1576TEST(MemorySanitizer, lgammaf_r) {
1577  int sgn;
1578  float res = lgammaf_r(1.1, &sgn);
1579  ASSERT_NE(0.0, res);
1580  EXPECT_NOT_POISONED(sgn);
1581}
1582
1583TEST(MemorySanitizer, lgammal_r) {
1584  int sgn;
1585  long double res = lgammal_r(1.1, &sgn);
1586  ASSERT_NE(0.0, res);
1587  EXPECT_NOT_POISONED(sgn);
1588}
1589
1590TEST(MemorySanitizer, drand48_r) {
1591  struct drand48_data buf;
1592  srand48_r(0, &buf);
1593  double d;
1594  drand48_r(&buf, &d);
1595  EXPECT_NOT_POISONED(d);
1596}
1597
1598TEST(MemorySanitizer, lrand48_r) {
1599  struct drand48_data buf;
1600  srand48_r(0, &buf);
1601  long d;
1602  lrand48_r(&buf, &d);
1603  EXPECT_NOT_POISONED(d);
1604}
1605
1606TEST(MemorySanitizer, sprintf) {  // NOLINT
1607  char buff[10];
1608  break_optimization(buff);
1609  EXPECT_POISONED(buff[0]);
1610  int res = sprintf(buff, "%d", 1234567);  // NOLINT
1611  assert(res == 7);
1612  assert(buff[0] == '1');
1613  assert(buff[1] == '2');
1614  assert(buff[2] == '3');
1615  assert(buff[6] == '7');
1616  assert(buff[7] == 0);
1617  EXPECT_POISONED(buff[8]);
1618}
1619
1620TEST(MemorySanitizer, snprintf) {
1621  char buff[10];
1622  break_optimization(buff);
1623  EXPECT_POISONED(buff[0]);
1624  int res = snprintf(buff, sizeof(buff), "%d", 1234567);
1625  assert(res == 7);
1626  assert(buff[0] == '1');
1627  assert(buff[1] == '2');
1628  assert(buff[2] == '3');
1629  assert(buff[6] == '7');
1630  assert(buff[7] == 0);
1631  EXPECT_POISONED(buff[8]);
1632}
1633
1634TEST(MemorySanitizer, swprintf) {
1635  wchar_t buff[10];
1636  assert(sizeof(wchar_t) == 4);
1637  break_optimization(buff);
1638  EXPECT_POISONED(buff[0]);
1639  int res = swprintf(buff, 9, L"%d", 1234567);
1640  assert(res == 7);
1641  assert(buff[0] == '1');
1642  assert(buff[1] == '2');
1643  assert(buff[2] == '3');
1644  assert(buff[6] == '7');
1645  assert(buff[7] == 0);
1646  EXPECT_POISONED(buff[8]);
1647}
1648
1649TEST(MemorySanitizer, asprintf) {  // NOLINT
1650  char *pbuf;
1651  EXPECT_POISONED(pbuf);
1652  int res = asprintf(&pbuf, "%d", 1234567);  // NOLINT
1653  assert(res == 7);
1654  EXPECT_NOT_POISONED(pbuf);
1655  assert(pbuf[0] == '1');
1656  assert(pbuf[1] == '2');
1657  assert(pbuf[2] == '3');
1658  assert(pbuf[6] == '7');
1659  assert(pbuf[7] == 0);
1660  free(pbuf);
1661}
1662
1663TEST(MemorySanitizer, mbstowcs) {
1664  const char *x = "abc";
1665  wchar_t buff[10];
1666  int res = mbstowcs(buff, x, 2);
1667  EXPECT_EQ(2, res);
1668  EXPECT_EQ(L'a', buff[0]);
1669  EXPECT_EQ(L'b', buff[1]);
1670  EXPECT_POISONED(buff[2]);
1671  res = mbstowcs(buff, x, 10);
1672  EXPECT_EQ(3, res);
1673  EXPECT_NOT_POISONED(buff[3]);
1674}
1675
1676TEST(MemorySanitizer, wcstombs) {
1677  const wchar_t *x = L"abc";
1678  char buff[10];
1679  int res = wcstombs(buff, x, 4);
1680  EXPECT_EQ(res, 3);
1681  EXPECT_EQ(buff[0], 'a');
1682  EXPECT_EQ(buff[1], 'b');
1683  EXPECT_EQ(buff[2], 'c');
1684}
1685
1686TEST(MemorySanitizer, wcsrtombs) {
1687  const wchar_t *x = L"abc";
1688  const wchar_t *p = x;
1689  char buff[10];
1690  mbstate_t mbs;
1691  memset(&mbs, 0, sizeof(mbs));
1692  int res = wcsrtombs(buff, &p, 4, &mbs);
1693  EXPECT_EQ(res, 3);
1694  EXPECT_EQ(buff[0], 'a');
1695  EXPECT_EQ(buff[1], 'b');
1696  EXPECT_EQ(buff[2], 'c');
1697  EXPECT_EQ(buff[3], '\0');
1698  EXPECT_POISONED(buff[4]);
1699}
1700
1701TEST(MemorySanitizer, wcsnrtombs) {
1702  const wchar_t *x = L"abc";
1703  const wchar_t *p = x;
1704  char buff[10];
1705  mbstate_t mbs;
1706  memset(&mbs, 0, sizeof(mbs));
1707  int res = wcsnrtombs(buff, &p, 2, 4, &mbs);
1708  EXPECT_EQ(res, 2);
1709  EXPECT_EQ(buff[0], 'a');
1710  EXPECT_EQ(buff[1], 'b');
1711  EXPECT_POISONED(buff[2]);
1712}
1713
1714TEST(MemorySanitizer, mbtowc) {
1715  const char *x = "abc";
1716  wchar_t wx;
1717  int res = mbtowc(&wx, x, 3);
1718  EXPECT_GT(res, 0);
1719  EXPECT_NOT_POISONED(wx);
1720}
1721
1722TEST(MemorySanitizer, mbrtowc) {
1723  const char *x = "abc";
1724  wchar_t wx;
1725  mbstate_t mbs;
1726  memset(&mbs, 0, sizeof(mbs));
1727  int res = mbrtowc(&wx, x, 3, &mbs);
1728  EXPECT_GT(res, 0);
1729  EXPECT_NOT_POISONED(wx);
1730}
1731
1732TEST(MemorySanitizer, gettimeofday) {
1733  struct timeval tv;
1734  struct timezone tz;
1735  break_optimization(&tv);
1736  break_optimization(&tz);
1737  assert(sizeof(tv) == 16);
1738  assert(sizeof(tz) == 8);
1739  EXPECT_POISONED(tv.tv_sec);
1740  EXPECT_POISONED(tv.tv_usec);
1741  EXPECT_POISONED(tz.tz_minuteswest);
1742  EXPECT_POISONED(tz.tz_dsttime);
1743  assert(0 == gettimeofday(&tv, &tz));
1744  EXPECT_NOT_POISONED(tv.tv_sec);
1745  EXPECT_NOT_POISONED(tv.tv_usec);
1746  EXPECT_NOT_POISONED(tz.tz_minuteswest);
1747  EXPECT_NOT_POISONED(tz.tz_dsttime);
1748}
1749
1750TEST(MemorySanitizer, clock_gettime) {
1751  struct timespec tp;
1752  EXPECT_POISONED(tp.tv_sec);
1753  EXPECT_POISONED(tp.tv_nsec);
1754  assert(0 == clock_gettime(CLOCK_REALTIME, &tp));
1755  EXPECT_NOT_POISONED(tp.tv_sec);
1756  EXPECT_NOT_POISONED(tp.tv_nsec);
1757}
1758
1759TEST(MemorySanitizer, clock_getres) {
1760  struct timespec tp;
1761  EXPECT_POISONED(tp.tv_sec);
1762  EXPECT_POISONED(tp.tv_nsec);
1763  assert(0 == clock_getres(CLOCK_REALTIME, 0));
1764  EXPECT_POISONED(tp.tv_sec);
1765  EXPECT_POISONED(tp.tv_nsec);
1766  assert(0 == clock_getres(CLOCK_REALTIME, &tp));
1767  EXPECT_NOT_POISONED(tp.tv_sec);
1768  EXPECT_NOT_POISONED(tp.tv_nsec);
1769}
1770
1771TEST(MemorySanitizer, getitimer) {
1772  struct itimerval it1, it2;
1773  int res;
1774  EXPECT_POISONED(it1.it_interval.tv_sec);
1775  EXPECT_POISONED(it1.it_interval.tv_usec);
1776  EXPECT_POISONED(it1.it_value.tv_sec);
1777  EXPECT_POISONED(it1.it_value.tv_usec);
1778  res = getitimer(ITIMER_VIRTUAL, &it1);
1779  assert(!res);
1780  EXPECT_NOT_POISONED(it1.it_interval.tv_sec);
1781  EXPECT_NOT_POISONED(it1.it_interval.tv_usec);
1782  EXPECT_NOT_POISONED(it1.it_value.tv_sec);
1783  EXPECT_NOT_POISONED(it1.it_value.tv_usec);
1784
1785  it1.it_interval.tv_sec = it1.it_value.tv_sec = 10000;
1786  it1.it_interval.tv_usec = it1.it_value.tv_usec = 0;
1787
1788  res = setitimer(ITIMER_VIRTUAL, &it1, &it2);
1789  assert(!res);
1790  EXPECT_NOT_POISONED(it2.it_interval.tv_sec);
1791  EXPECT_NOT_POISONED(it2.it_interval.tv_usec);
1792  EXPECT_NOT_POISONED(it2.it_value.tv_sec);
1793  EXPECT_NOT_POISONED(it2.it_value.tv_usec);
1794
1795  // Check that old_value can be 0, and disable the timer.
1796  memset(&it1, 0, sizeof(it1));
1797  res = setitimer(ITIMER_VIRTUAL, &it1, 0);
1798  assert(!res);
1799}
1800
1801TEST(MemorySanitizer, setitimer_null) {
1802  setitimer(ITIMER_VIRTUAL, 0, 0);
1803  // Not testing the return value, since it the behaviour seems to differ
1804  // between libc implementations and POSIX.
1805  // Should never crash, though.
1806}
1807
1808TEST(MemorySanitizer, time) {
1809  time_t t;
1810  EXPECT_POISONED(t);
1811  time_t t2 = time(&t);
1812  assert(t2 != (time_t)-1);
1813  EXPECT_NOT_POISONED(t);
1814}
1815
1816TEST(MemorySanitizer, localtime) {
1817  time_t t = 123;
1818  struct tm *time = localtime(&t);
1819  assert(time != 0);
1820  EXPECT_NOT_POISONED(time->tm_sec);
1821  EXPECT_NOT_POISONED(time->tm_hour);
1822  EXPECT_NOT_POISONED(time->tm_year);
1823  EXPECT_NOT_POISONED(time->tm_isdst);
1824  EXPECT_NE(0, strlen(time->tm_zone));
1825}
1826
1827TEST(MemorySanitizer, localtime_r) {
1828  time_t t = 123;
1829  struct tm time;
1830  struct tm *res = localtime_r(&t, &time);
1831  assert(res != 0);
1832  EXPECT_NOT_POISONED(time.tm_sec);
1833  EXPECT_NOT_POISONED(time.tm_hour);
1834  EXPECT_NOT_POISONED(time.tm_year);
1835  EXPECT_NOT_POISONED(time.tm_isdst);
1836  EXPECT_NE(0, strlen(time.tm_zone));
1837}
1838
1839TEST(MemorySanitizer, getmntent) {
1840  FILE *fp = setmntent("/etc/fstab", "r");
1841  struct mntent *mnt = getmntent(fp);
1842  ASSERT_NE((void *)0, mnt);
1843  ASSERT_NE(0, strlen(mnt->mnt_fsname));
1844  ASSERT_NE(0, strlen(mnt->mnt_dir));
1845  ASSERT_NE(0, strlen(mnt->mnt_type));
1846  ASSERT_NE(0, strlen(mnt->mnt_opts));
1847  EXPECT_NOT_POISONED(mnt->mnt_freq);
1848  EXPECT_NOT_POISONED(mnt->mnt_passno);
1849  fclose(fp);
1850}
1851
1852TEST(MemorySanitizer, getmntent_r) {
1853  FILE *fp = setmntent("/etc/fstab", "r");
1854  struct mntent mntbuf;
1855  char buf[1000];
1856  struct mntent *mnt = getmntent_r(fp, &mntbuf, buf, sizeof(buf));
1857  ASSERT_NE((void *)0, mnt);
1858  ASSERT_NE(0, strlen(mnt->mnt_fsname));
1859  ASSERT_NE(0, strlen(mnt->mnt_dir));
1860  ASSERT_NE(0, strlen(mnt->mnt_type));
1861  ASSERT_NE(0, strlen(mnt->mnt_opts));
1862  EXPECT_NOT_POISONED(mnt->mnt_freq);
1863  EXPECT_NOT_POISONED(mnt->mnt_passno);
1864  fclose(fp);
1865}
1866
1867TEST(MemorySanitizer, ether) {
1868  const char *asc = "11:22:33:44:55:66";
1869  struct ether_addr *paddr = ether_aton(asc);
1870  EXPECT_NOT_POISONED(*paddr);
1871
1872  struct ether_addr addr;
1873  paddr = ether_aton_r(asc, &addr);
1874  ASSERT_EQ(paddr, &addr);
1875  EXPECT_NOT_POISONED(addr);
1876
1877  char *s = ether_ntoa(&addr);
1878  ASSERT_NE(0, strlen(s));
1879
1880  char buf[100];
1881  s = ether_ntoa_r(&addr, buf);
1882  ASSERT_EQ(s, buf);
1883  ASSERT_NE(0, strlen(buf));
1884}
1885
1886TEST(MemorySanitizer, mmap) {
1887  const int size = 4096;
1888  void *p1, *p2;
1889  p1 = mmap(0, size, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANON, -1, 0);
1890  __msan_poison(p1, size);
1891  munmap(p1, size);
1892  for (int i = 0; i < 1000; i++) {
1893    p2 = mmap(0, size, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANON, -1, 0);
1894    if (p2 == p1)
1895      break;
1896    else
1897      munmap(p2, size);
1898  }
1899  if (p1 == p2) {
1900    EXPECT_NOT_POISONED(*(char*)p2);
1901    munmap(p2, size);
1902  }
1903}
1904
1905// FIXME: enable and add ecvt.
1906// FIXME: check why msandr does nt handle fcvt.
1907TEST(MemorySanitizer, fcvt) {
1908  int a, b;
1909  break_optimization(&a);
1910  break_optimization(&b);
1911  EXPECT_POISONED(a);
1912  EXPECT_POISONED(b);
1913  char *str = fcvt(12345.6789, 10, &a, &b);
1914  EXPECT_NOT_POISONED(a);
1915  EXPECT_NOT_POISONED(b);
1916}
1917
1918TEST(MemorySanitizer, frexp) {
1919  int x;
1920  x = *GetPoisoned<int>();
1921  double r = frexp(1.1, &x);
1922  EXPECT_NOT_POISONED(r);
1923  EXPECT_NOT_POISONED(x);
1924
1925  x = *GetPoisoned<int>();
1926  float rf = frexpf(1.1, &x);
1927  EXPECT_NOT_POISONED(rf);
1928  EXPECT_NOT_POISONED(x);
1929
1930  x = *GetPoisoned<int>();
1931  double rl = frexpl(1.1, &x);
1932  EXPECT_NOT_POISONED(rl);
1933  EXPECT_NOT_POISONED(x);
1934}
1935
1936namespace {
1937
1938static int cnt;
1939
1940void SigactionHandler(int signo, siginfo_t* si, void* uc) {
1941  assert(signo == SIGPROF);
1942  assert(si);
1943  EXPECT_NOT_POISONED(si->si_errno);
1944  EXPECT_NOT_POISONED(si->si_pid);
1945#if __linux__
1946# if defined(__x86_64__)
1947  EXPECT_NOT_POISONED(((ucontext_t*)uc)->uc_mcontext.gregs[REG_RIP]);
1948# elif defined(__i386__)
1949  EXPECT_NOT_POISONED(((ucontext_t*)uc)->uc_mcontext.gregs[REG_EIP]);
1950# endif
1951#endif
1952  ++cnt;
1953}
1954
1955TEST(MemorySanitizer, sigaction) {
1956  struct sigaction act = {};
1957  struct sigaction oldact = {};
1958  struct sigaction origact = {};
1959
1960  sigaction(SIGPROF, 0, &origact);
1961
1962  act.sa_flags |= SA_SIGINFO;
1963  act.sa_sigaction = &SigactionHandler;
1964  sigaction(SIGPROF, &act, 0);
1965
1966  kill(getpid(), SIGPROF);
1967
1968  act.sa_flags &= ~SA_SIGINFO;
1969  act.sa_handler = SIG_DFL;
1970  sigaction(SIGPROF, &act, 0);
1971
1972  act.sa_flags &= ~SA_SIGINFO;
1973  act.sa_handler = SIG_IGN;
1974  sigaction(SIGPROF, &act, &oldact);
1975  EXPECT_FALSE(oldact.sa_flags & SA_SIGINFO);
1976  EXPECT_EQ(SIG_DFL, oldact.sa_handler);
1977  kill(getpid(), SIGPROF);
1978
1979  act.sa_flags |= SA_SIGINFO;
1980  act.sa_sigaction = &SigactionHandler;
1981  sigaction(SIGPROF, &act, &oldact);
1982  EXPECT_FALSE(oldact.sa_flags & SA_SIGINFO);
1983  EXPECT_EQ(SIG_IGN, oldact.sa_handler);
1984  kill(getpid(), SIGPROF);
1985
1986  act.sa_flags &= ~SA_SIGINFO;
1987  act.sa_handler = SIG_DFL;
1988  sigaction(SIGPROF, &act, &oldact);
1989  EXPECT_TRUE(oldact.sa_flags & SA_SIGINFO);
1990  EXPECT_EQ(&SigactionHandler, oldact.sa_sigaction);
1991  EXPECT_EQ(2, cnt);
1992
1993  sigaction(SIGPROF, &origact, 0);
1994}
1995
1996} // namespace
1997
1998
1999TEST(MemorySanitizer, sigemptyset) {
2000  sigset_t s;
2001  EXPECT_POISONED(s);
2002  int res = sigemptyset(&s);
2003  ASSERT_EQ(0, res);
2004  EXPECT_NOT_POISONED(s);
2005}
2006
2007TEST(MemorySanitizer, sigfillset) {
2008  sigset_t s;
2009  EXPECT_POISONED(s);
2010  int res = sigfillset(&s);
2011  ASSERT_EQ(0, res);
2012  EXPECT_NOT_POISONED(s);
2013}
2014
2015TEST(MemorySanitizer, sigpending) {
2016  sigset_t s;
2017  EXPECT_POISONED(s);
2018  int res = sigpending(&s);
2019  ASSERT_EQ(0, res);
2020  EXPECT_NOT_POISONED(s);
2021}
2022
2023TEST(MemorySanitizer, sigprocmask) {
2024  sigset_t s;
2025  EXPECT_POISONED(s);
2026  int res = sigprocmask(SIG_BLOCK, 0, &s);
2027  ASSERT_EQ(0, res);
2028  EXPECT_NOT_POISONED(s);
2029}
2030
2031struct StructWithDtor {
2032  ~StructWithDtor();
2033};
2034
2035NOINLINE StructWithDtor::~StructWithDtor() {
2036  break_optimization(0);
2037}
2038
2039TEST(MemorySanitizer, Invoke) {
2040  StructWithDtor s;  // Will cause the calls to become invokes.
2041  EXPECT_NOT_POISONED(0);
2042  EXPECT_POISONED(*GetPoisoned<int>());
2043  EXPECT_NOT_POISONED(0);
2044  EXPECT_POISONED(*GetPoisoned<int>());
2045  EXPECT_POISONED(ReturnPoisoned<S4>());
2046}
2047
2048TEST(MemorySanitizer, ptrtoint) {
2049  // Test that shadow is propagated through pointer-to-integer conversion.
2050  void* p = (void*)0xABCD;
2051  __msan_poison(((char*)&p) + 1, sizeof(p));
2052  EXPECT_NOT_POISONED((((uintptr_t)p) & 0xFF) == 0);
2053
2054  void* q = (void*)0xABCD;
2055  __msan_poison(&q, sizeof(q) - 1);
2056  EXPECT_POISONED((((uintptr_t)q) & 0xFF) == 0);
2057}
2058
2059static void vaargsfn2(int guard, ...) {
2060  va_list vl;
2061  va_start(vl, guard);
2062  EXPECT_NOT_POISONED(va_arg(vl, int));
2063  EXPECT_NOT_POISONED(va_arg(vl, int));
2064  EXPECT_NOT_POISONED(va_arg(vl, int));
2065  EXPECT_POISONED(va_arg(vl, double));
2066  va_end(vl);
2067}
2068
2069static void vaargsfn(int guard, ...) {
2070  va_list vl;
2071  va_start(vl, guard);
2072  EXPECT_NOT_POISONED(va_arg(vl, int));
2073  EXPECT_POISONED(va_arg(vl, int));
2074  // The following call will overwrite __msan_param_tls.
2075  // Checks after it test that arg shadow was somehow saved across the call.
2076  vaargsfn2(1, 2, 3, 4, *GetPoisoned<double>());
2077  EXPECT_NOT_POISONED(va_arg(vl, int));
2078  EXPECT_POISONED(va_arg(vl, int));
2079  va_end(vl);
2080}
2081
2082TEST(MemorySanitizer, VAArgTest) {
2083  int* x = GetPoisoned<int>();
2084  int* y = GetPoisoned<int>(4);
2085  vaargsfn(1, 13, *x, 42, *y);
2086}
2087
2088static void vaargsfn_many(int guard, ...) {
2089  va_list vl;
2090  va_start(vl, guard);
2091  EXPECT_NOT_POISONED(va_arg(vl, int));
2092  EXPECT_POISONED(va_arg(vl, int));
2093  EXPECT_NOT_POISONED(va_arg(vl, int));
2094  EXPECT_NOT_POISONED(va_arg(vl, int));
2095  EXPECT_NOT_POISONED(va_arg(vl, int));
2096  EXPECT_NOT_POISONED(va_arg(vl, int));
2097  EXPECT_NOT_POISONED(va_arg(vl, int));
2098  EXPECT_NOT_POISONED(va_arg(vl, int));
2099  EXPECT_NOT_POISONED(va_arg(vl, int));
2100  EXPECT_POISONED(va_arg(vl, int));
2101  va_end(vl);
2102}
2103
2104TEST(MemorySanitizer, VAArgManyTest) {
2105  int* x = GetPoisoned<int>();
2106  int* y = GetPoisoned<int>(4);
2107  vaargsfn_many(1, 2, *x, 3, 4, 5, 6, 7, 8, 9, *y);
2108}
2109
2110static void vaargsfn_pass2(va_list vl) {
2111  EXPECT_NOT_POISONED(va_arg(vl, int));
2112  EXPECT_NOT_POISONED(va_arg(vl, int));
2113  EXPECT_POISONED(va_arg(vl, int));
2114}
2115
2116static void vaargsfn_pass(int guard, ...) {
2117  va_list vl;
2118  va_start(vl, guard);
2119  EXPECT_POISONED(va_arg(vl, int));
2120  vaargsfn_pass2(vl);
2121  va_end(vl);
2122}
2123
2124TEST(MemorySanitizer, VAArgPass) {
2125  int* x = GetPoisoned<int>();
2126  int* y = GetPoisoned<int>(4);
2127  vaargsfn_pass(1, *x, 2, 3, *y);
2128}
2129
2130static void vaargsfn_copy2(va_list vl) {
2131  EXPECT_NOT_POISONED(va_arg(vl, int));
2132  EXPECT_POISONED(va_arg(vl, int));
2133}
2134
2135static void vaargsfn_copy(int guard, ...) {
2136  va_list vl;
2137  va_start(vl, guard);
2138  EXPECT_NOT_POISONED(va_arg(vl, int));
2139  EXPECT_POISONED(va_arg(vl, int));
2140  va_list vl2;
2141  va_copy(vl2, vl);
2142  vaargsfn_copy2(vl2);
2143  EXPECT_NOT_POISONED(va_arg(vl, int));
2144  EXPECT_POISONED(va_arg(vl, int));
2145  va_end(vl);
2146}
2147
2148TEST(MemorySanitizer, VAArgCopy) {
2149  int* x = GetPoisoned<int>();
2150  int* y = GetPoisoned<int>(4);
2151  vaargsfn_copy(1, 2, *x, 3, *y);
2152}
2153
2154static void vaargsfn_ptr(int guard, ...) {
2155  va_list vl;
2156  va_start(vl, guard);
2157  EXPECT_NOT_POISONED(va_arg(vl, int*));
2158  EXPECT_POISONED(va_arg(vl, int*));
2159  EXPECT_NOT_POISONED(va_arg(vl, int*));
2160  EXPECT_POISONED(va_arg(vl, double*));
2161  va_end(vl);
2162}
2163
2164TEST(MemorySanitizer, VAArgPtr) {
2165  int** x = GetPoisoned<int*>();
2166  double** y = GetPoisoned<double*>(8);
2167  int z;
2168  vaargsfn_ptr(1, &z, *x, &z, *y);
2169}
2170
2171static void vaargsfn_overflow(int guard, ...) {
2172  va_list vl;
2173  va_start(vl, guard);
2174  EXPECT_NOT_POISONED(va_arg(vl, int));
2175  EXPECT_NOT_POISONED(va_arg(vl, int));
2176  EXPECT_POISONED(va_arg(vl, int));
2177  EXPECT_NOT_POISONED(va_arg(vl, int));
2178  EXPECT_NOT_POISONED(va_arg(vl, int));
2179  EXPECT_NOT_POISONED(va_arg(vl, int));
2180
2181  EXPECT_NOT_POISONED(va_arg(vl, double));
2182  EXPECT_NOT_POISONED(va_arg(vl, double));
2183  EXPECT_NOT_POISONED(va_arg(vl, double));
2184  EXPECT_POISONED(va_arg(vl, double));
2185  EXPECT_NOT_POISONED(va_arg(vl, double));
2186  EXPECT_POISONED(va_arg(vl, int*));
2187  EXPECT_NOT_POISONED(va_arg(vl, double));
2188  EXPECT_NOT_POISONED(va_arg(vl, double));
2189
2190  EXPECT_POISONED(va_arg(vl, int));
2191  EXPECT_POISONED(va_arg(vl, double));
2192  EXPECT_POISONED(va_arg(vl, int*));
2193
2194  EXPECT_NOT_POISONED(va_arg(vl, int));
2195  EXPECT_NOT_POISONED(va_arg(vl, double));
2196  EXPECT_NOT_POISONED(va_arg(vl, int*));
2197
2198  EXPECT_POISONED(va_arg(vl, int));
2199  EXPECT_POISONED(va_arg(vl, double));
2200  EXPECT_POISONED(va_arg(vl, int*));
2201
2202  va_end(vl);
2203}
2204
2205TEST(MemorySanitizer, VAArgOverflow) {
2206  int* x = GetPoisoned<int>();
2207  double* y = GetPoisoned<double>(8);
2208  int** p = GetPoisoned<int*>(16);
2209  int z;
2210  vaargsfn_overflow(1,
2211      1, 2, *x, 4, 5, 6,
2212      1.1, 2.2, 3.3, *y, 5.5, *p, 7.7, 8.8,
2213      // the following args will overflow for sure
2214      *x, *y, *p,
2215      7, 9.9, &z,
2216      *x, *y, *p);
2217}
2218
2219static void vaargsfn_tlsoverwrite2(int guard, ...) {
2220  va_list vl;
2221  va_start(vl, guard);
2222  for (int i = 0; i < 20; ++i)
2223    EXPECT_NOT_POISONED(va_arg(vl, int));
2224  va_end(vl);
2225}
2226
2227static void vaargsfn_tlsoverwrite(int guard, ...) {
2228  // This call will overwrite TLS contents unless it's backed up somewhere.
2229  vaargsfn_tlsoverwrite2(2,
2230      42, 42, 42, 42, 42,
2231      42, 42, 42, 42, 42,
2232      42, 42, 42, 42, 42,
2233      42, 42, 42, 42, 42); // 20x
2234  va_list vl;
2235  va_start(vl, guard);
2236  for (int i = 0; i < 20; ++i)
2237    EXPECT_POISONED(va_arg(vl, int));
2238  va_end(vl);
2239}
2240
2241TEST(MemorySanitizer, VAArgTLSOverwrite) {
2242  int* x = GetPoisoned<int>();
2243  vaargsfn_tlsoverwrite(1,
2244      *x, *x, *x, *x, *x,
2245      *x, *x, *x, *x, *x,
2246      *x, *x, *x, *x, *x,
2247      *x, *x, *x, *x, *x); // 20x
2248
2249}
2250
2251struct StructByVal {
2252  int a, b, c, d, e, f;
2253};
2254
2255NOINLINE void StructByValTestFunc(struct StructByVal s) {
2256  EXPECT_NOT_POISONED(s.a);
2257  EXPECT_POISONED(s.b);
2258  EXPECT_NOT_POISONED(s.c);
2259  EXPECT_POISONED(s.d);
2260  EXPECT_NOT_POISONED(s.e);
2261  EXPECT_POISONED(s.f);
2262}
2263
2264NOINLINE void StructByValTestFunc1(struct StructByVal s) {
2265  StructByValTestFunc(s);
2266}
2267
2268NOINLINE void StructByValTestFunc2(int z, struct StructByVal s) {
2269  StructByValTestFunc(s);
2270}
2271
2272TEST(MemorySanitizer, StructByVal) {
2273  // Large aggregates are passed as "byval" pointer argument in LLVM.
2274  struct StructByVal s;
2275  s.a = 1;
2276  s.b = *GetPoisoned<int>();
2277  s.c = 2;
2278  s.d = *GetPoisoned<int>();
2279  s.e = 3;
2280  s.f = *GetPoisoned<int>();
2281  StructByValTestFunc(s);
2282  StructByValTestFunc1(s);
2283  StructByValTestFunc2(0, s);
2284}
2285
2286
2287#if MSAN_HAS_M128
2288NOINLINE __m128i m128Eq(__m128i *a, __m128i *b) { return _mm_cmpeq_epi16(*a, *b); }
2289NOINLINE __m128i m128Lt(__m128i *a, __m128i *b) { return _mm_cmplt_epi16(*a, *b); }
2290TEST(MemorySanitizer, m128) {
2291  __m128i a = _mm_set1_epi16(0x1234);
2292  __m128i b = _mm_set1_epi16(0x7890);
2293  EXPECT_NOT_POISONED(m128Eq(&a, &b));
2294  EXPECT_NOT_POISONED(m128Lt(&a, &b));
2295}
2296// FIXME: add more tests for __m128i.
2297#endif  // MSAN_HAS_M128
2298
2299// We should not complain when copying this poisoned hole.
2300struct StructWithHole {
2301  U4  a;
2302  // 4-byte hole.
2303  U8  b;
2304};
2305
2306NOINLINE StructWithHole ReturnStructWithHole() {
2307  StructWithHole res;
2308  __msan_poison(&res, sizeof(res));
2309  res.a = 1;
2310  res.b = 2;
2311  return res;
2312}
2313
2314TEST(MemorySanitizer, StructWithHole) {
2315  StructWithHole a = ReturnStructWithHole();
2316  break_optimization(&a);
2317}
2318
2319template <class T>
2320NOINLINE T ReturnStruct() {
2321  T res;
2322  __msan_poison(&res, sizeof(res));
2323  res.a = 1;
2324  return res;
2325}
2326
2327template <class T>
2328NOINLINE void TestReturnStruct() {
2329  T s1 = ReturnStruct<T>();
2330  EXPECT_NOT_POISONED(s1.a);
2331  EXPECT_POISONED(s1.b);
2332}
2333
2334struct SSS1 {
2335  int a, b, c;
2336};
2337struct SSS2 {
2338  int b, a, c;
2339};
2340struct SSS3 {
2341  int b, c, a;
2342};
2343struct SSS4 {
2344  int c, b, a;
2345};
2346
2347struct SSS5 {
2348  int a;
2349  float b;
2350};
2351struct SSS6 {
2352  int a;
2353  double b;
2354};
2355struct SSS7 {
2356  S8 b;
2357  int a;
2358};
2359struct SSS8 {
2360  S2 b;
2361  S8 a;
2362};
2363
2364TEST(MemorySanitizer, IntStruct3) {
2365  TestReturnStruct<SSS1>();
2366  TestReturnStruct<SSS2>();
2367  TestReturnStruct<SSS3>();
2368  TestReturnStruct<SSS4>();
2369  TestReturnStruct<SSS5>();
2370  TestReturnStruct<SSS6>();
2371  TestReturnStruct<SSS7>();
2372  TestReturnStruct<SSS8>();
2373}
2374
2375struct LongStruct {
2376  U1 a1, b1;
2377  U2 a2, b2;
2378  U4 a4, b4;
2379  U8 a8, b8;
2380};
2381
2382NOINLINE LongStruct ReturnLongStruct1() {
2383  LongStruct res;
2384  __msan_poison(&res, sizeof(res));
2385  res.a1 = res.a2 = res.a4 = res.a8 = 111;
2386  // leaves b1, .., b8 poisoned.
2387  return res;
2388}
2389
2390NOINLINE LongStruct ReturnLongStruct2() {
2391  LongStruct res;
2392  __msan_poison(&res, sizeof(res));
2393  res.b1 = res.b2 = res.b4 = res.b8 = 111;
2394  // leaves a1, .., a8 poisoned.
2395  return res;
2396}
2397
2398TEST(MemorySanitizer, LongStruct) {
2399  LongStruct s1 = ReturnLongStruct1();
2400  __msan_print_shadow(&s1, sizeof(s1));
2401  EXPECT_NOT_POISONED(s1.a1);
2402  EXPECT_NOT_POISONED(s1.a2);
2403  EXPECT_NOT_POISONED(s1.a4);
2404  EXPECT_NOT_POISONED(s1.a8);
2405
2406  EXPECT_POISONED(s1.b1);
2407  EXPECT_POISONED(s1.b2);
2408  EXPECT_POISONED(s1.b4);
2409  EXPECT_POISONED(s1.b8);
2410
2411  LongStruct s2 = ReturnLongStruct2();
2412  __msan_print_shadow(&s2, sizeof(s2));
2413  EXPECT_NOT_POISONED(s2.b1);
2414  EXPECT_NOT_POISONED(s2.b2);
2415  EXPECT_NOT_POISONED(s2.b4);
2416  EXPECT_NOT_POISONED(s2.b8);
2417
2418  EXPECT_POISONED(s2.a1);
2419  EXPECT_POISONED(s2.a2);
2420  EXPECT_POISONED(s2.a4);
2421  EXPECT_POISONED(s2.a8);
2422}
2423
2424TEST(MemorySanitizer, getrlimit) {
2425  struct rlimit limit;
2426  __msan_poison(&limit, sizeof(limit));
2427  int result = getrlimit(RLIMIT_DATA, &limit);
2428  assert(result == 0);
2429  EXPECT_NOT_POISONED(limit.rlim_cur);
2430  EXPECT_NOT_POISONED(limit.rlim_max);
2431}
2432
2433TEST(MemorySanitizer, getrusage) {
2434  struct rusage usage;
2435  __msan_poison(&usage, sizeof(usage));
2436  int result = getrusage(RUSAGE_SELF, &usage);
2437  assert(result == 0);
2438  EXPECT_NOT_POISONED(usage.ru_utime.tv_sec);
2439  EXPECT_NOT_POISONED(usage.ru_utime.tv_usec);
2440  EXPECT_NOT_POISONED(usage.ru_stime.tv_sec);
2441  EXPECT_NOT_POISONED(usage.ru_stime.tv_usec);
2442  EXPECT_NOT_POISONED(usage.ru_maxrss);
2443  EXPECT_NOT_POISONED(usage.ru_minflt);
2444  EXPECT_NOT_POISONED(usage.ru_majflt);
2445  EXPECT_NOT_POISONED(usage.ru_inblock);
2446  EXPECT_NOT_POISONED(usage.ru_oublock);
2447  EXPECT_NOT_POISONED(usage.ru_nvcsw);
2448  EXPECT_NOT_POISONED(usage.ru_nivcsw);
2449}
2450
2451#ifdef __GLIBC__
2452extern char *program_invocation_name;
2453#else  // __GLIBC__
2454# error "TODO: port this"
2455#endif
2456
2457static void dladdr_testfn() {}
2458
2459TEST(MemorySanitizer, dladdr) {
2460  Dl_info info;
2461  __msan_poison(&info, sizeof(info));
2462  int result = dladdr((const void*)dladdr_testfn, &info);
2463  assert(result != 0);
2464  EXPECT_NOT_POISONED((unsigned long)info.dli_fname);
2465  if (info.dli_fname)
2466    EXPECT_NOT_POISONED(strlen(info.dli_fname));
2467  EXPECT_NOT_POISONED((unsigned long)info.dli_fbase);
2468  EXPECT_NOT_POISONED((unsigned long)info.dli_sname);
2469  if (info.dli_sname)
2470    EXPECT_NOT_POISONED(strlen(info.dli_sname));
2471  EXPECT_NOT_POISONED((unsigned long)info.dli_saddr);
2472}
2473
2474#ifndef MSAN_TEST_DISABLE_DLOPEN
2475
2476static int dl_phdr_callback(struct dl_phdr_info *info, size_t size, void *data) {
2477  (*(int *)data)++;
2478  EXPECT_NOT_POISONED(info->dlpi_addr);
2479  EXPECT_NOT_POISONED(strlen(info->dlpi_name));
2480  EXPECT_NOT_POISONED(info->dlpi_phnum);
2481  for (int i = 0; i < info->dlpi_phnum; ++i)
2482    EXPECT_NOT_POISONED(info->dlpi_phdr[i]);
2483  return 0;
2484}
2485
2486// Compute the path to our loadable DSO.  We assume it's in the same
2487// directory.  Only use string routines that we intercept so far to do this.
2488static int PathToLoadable(char *buf, size_t sz) {
2489  const char *basename = "libmsan_loadable.x86_64.so";
2490  char *argv0 = program_invocation_name;
2491  char *last_slash = strrchr(argv0, '/');
2492  assert(last_slash);
2493  int res =
2494      snprintf(buf, sz, "%.*s/%s", int(last_slash - argv0), argv0, basename);
2495  return res < sz ? 0 : res;
2496}
2497
2498TEST(MemorySanitizer, dl_iterate_phdr) {
2499  char path[4096];
2500  int res = PathToLoadable(path, sizeof(path));
2501  assert(!res);
2502
2503  // Having at least one dlopen'ed library in the process makes this more
2504  // entertaining.
2505  void *lib = dlopen(path, RTLD_LAZY);
2506  ASSERT_NE((void*)0, lib);
2507
2508  int count = 0;
2509  int result = dl_iterate_phdr(dl_phdr_callback, &count);
2510  assert(count > 0);
2511
2512  dlclose(lib);
2513}
2514
2515
2516TEST(MemorySanitizer, dlopen) {
2517  char path[4096];
2518  int res = PathToLoadable(path, sizeof(path));
2519  assert(!res);
2520
2521  // We need to clear shadow for globals when doing dlopen.  In order to test
2522  // this, we have to poison the shadow for the DSO before we load it.  In
2523  // general this is difficult, but the loader tends to reload things in the
2524  // same place, so we open, close, and then reopen.  The global should always
2525  // start out clean after dlopen.
2526  for (int i = 0; i < 2; i++) {
2527    void *lib = dlopen(path, RTLD_LAZY);
2528    if (lib == NULL) {
2529      printf("dlerror: %s\n", dlerror());
2530      assert(lib != NULL);
2531    }
2532    void **(*get_dso_global)() = (void **(*)())dlsym(lib, "get_dso_global");
2533    assert(get_dso_global);
2534    void **dso_global = get_dso_global();
2535    EXPECT_NOT_POISONED(*dso_global);
2536    __msan_poison(dso_global, sizeof(*dso_global));
2537    EXPECT_POISONED(*dso_global);
2538    dlclose(lib);
2539  }
2540}
2541
2542// Regression test for a crash in dlopen() interceptor.
2543TEST(MemorySanitizer, dlopenFailed) {
2544  const char *path = "/libmsan_loadable_does_not_exist.x86_64.so";
2545  void *lib = dlopen(path, RTLD_LAZY);
2546  ASSERT_EQ(0, lib);
2547}
2548
2549#endif // MSAN_TEST_DISABLE_DLOPEN
2550
2551TEST(MemorySanitizer, sched_getaffinity) {
2552  cpu_set_t mask;
2553  int res = sched_getaffinity(getpid(), sizeof(mask), &mask);
2554  ASSERT_EQ(0, res);
2555  EXPECT_NOT_POISONED(mask);
2556}
2557
2558TEST(MemorySanitizer, scanf) {
2559  const char *input = "42 hello";
2560  int* d = new int;
2561  char* s = new char[7];
2562  int res = sscanf(input, "%d %5s", d, s);
2563  printf("res %d\n", res);
2564  assert(res == 2);
2565  EXPECT_NOT_POISONED(*d);
2566  EXPECT_NOT_POISONED(s[0]);
2567  EXPECT_NOT_POISONED(s[1]);
2568  EXPECT_NOT_POISONED(s[2]);
2569  EXPECT_NOT_POISONED(s[3]);
2570  EXPECT_NOT_POISONED(s[4]);
2571  EXPECT_NOT_POISONED(s[5]);
2572  EXPECT_POISONED(s[6]);
2573  delete s;
2574  delete d;
2575}
2576
2577static void *SimpleThread_threadfn(void* data) {
2578  return new int;
2579}
2580
2581TEST(MemorySanitizer, SimpleThread) {
2582  pthread_t t;
2583  void *p;
2584  int res = pthread_create(&t, NULL, SimpleThread_threadfn, NULL);
2585  assert(!res);
2586  EXPECT_NOT_POISONED(t);
2587  res = pthread_join(t, &p);
2588  assert(!res);
2589  EXPECT_NOT_POISONED(p);
2590  delete (int*)p;
2591}
2592
2593static void *SmallStackThread_threadfn(void* data) {
2594  return 0;
2595}
2596
2597TEST(MemorySanitizer, SmallStackThread) {
2598  pthread_attr_t attr;
2599  pthread_t t;
2600  void *p;
2601  int res;
2602  res = pthread_attr_init(&attr);
2603  ASSERT_EQ(0, res);
2604  res = pthread_attr_setstacksize(&attr, 64 * 1024);
2605  ASSERT_EQ(0, res);
2606  res = pthread_create(&t, &attr, SmallStackThread_threadfn, NULL);
2607  ASSERT_EQ(0, res);
2608  res = pthread_join(t, &p);
2609  ASSERT_EQ(0, res);
2610  res = pthread_attr_destroy(&attr);
2611  ASSERT_EQ(0, res);
2612}
2613
2614TEST(MemorySanitizer, PreAllocatedStackThread) {
2615  pthread_attr_t attr;
2616  pthread_t t;
2617  int res;
2618  res = pthread_attr_init(&attr);
2619  ASSERT_EQ(0, res);
2620  void *stack;
2621  const size_t kStackSize = 64 * 1024;
2622  res = posix_memalign(&stack, 4096, kStackSize);
2623  ASSERT_EQ(0, res);
2624  res = pthread_attr_setstack(&attr, stack, kStackSize);
2625  ASSERT_EQ(0, res);
2626  // A small self-allocated stack can not be extended by the tool.
2627  // In this case pthread_create is expected to fail.
2628  res = pthread_create(&t, &attr, SmallStackThread_threadfn, NULL);
2629  EXPECT_NE(0, res);
2630  res = pthread_attr_destroy(&attr);
2631  ASSERT_EQ(0, res);
2632}
2633
2634TEST(MemorySanitizer, pthread_attr_get) {
2635  pthread_attr_t attr;
2636  int res;
2637  res = pthread_attr_init(&attr);
2638  ASSERT_EQ(0, res);
2639  {
2640    int v;
2641    res = pthread_attr_getdetachstate(&attr, &v);
2642    ASSERT_EQ(0, res);
2643    EXPECT_NOT_POISONED(v);
2644  }
2645  {
2646    size_t v;
2647    res = pthread_attr_getguardsize(&attr, &v);
2648    ASSERT_EQ(0, res);
2649    EXPECT_NOT_POISONED(v);
2650  }
2651  {
2652    struct sched_param v;
2653    res = pthread_attr_getschedparam(&attr, &v);
2654    ASSERT_EQ(0, res);
2655    EXPECT_NOT_POISONED(v);
2656  }
2657  {
2658    int v;
2659    res = pthread_attr_getschedpolicy(&attr, &v);
2660    ASSERT_EQ(0, res);
2661    EXPECT_NOT_POISONED(v);
2662  }
2663  {
2664    int v;
2665    res = pthread_attr_getinheritsched(&attr, &v);
2666    ASSERT_EQ(0, res);
2667    EXPECT_NOT_POISONED(v);
2668  }
2669  {
2670    int v;
2671    res = pthread_attr_getscope(&attr, &v);
2672    ASSERT_EQ(0, res);
2673    EXPECT_NOT_POISONED(v);
2674  }
2675  {
2676    size_t v;
2677    res = pthread_attr_getstacksize(&attr, &v);
2678    ASSERT_EQ(0, res);
2679    EXPECT_NOT_POISONED(v);
2680  }
2681  {
2682    void *v;
2683    size_t w;
2684    res = pthread_attr_getstack(&attr, &v, &w);
2685    ASSERT_EQ(0, res);
2686    EXPECT_NOT_POISONED(v);
2687    EXPECT_NOT_POISONED(w);
2688  }
2689  {
2690    cpu_set_t v;
2691    res = pthread_attr_getaffinity_np(&attr, sizeof(v), &v);
2692    ASSERT_EQ(0, res);
2693    EXPECT_NOT_POISONED(v);
2694  }
2695  res = pthread_attr_destroy(&attr);
2696  ASSERT_EQ(0, res);
2697}
2698
2699TEST(MemorySanitizer, pthread_getschedparam) {
2700  int policy;
2701  struct sched_param param;
2702  int res = pthread_getschedparam(pthread_self(), &policy, &param);
2703  ASSERT_EQ(0, res);
2704  EXPECT_NOT_POISONED(policy);
2705  EXPECT_NOT_POISONED(param.sched_priority);
2706}
2707
2708TEST(MemorySanitizer, pthread_key_create) {
2709  pthread_key_t key;
2710  int res = pthread_key_create(&key, NULL);
2711  assert(!res);
2712  EXPECT_NOT_POISONED(key);
2713  res = pthread_key_delete(key);
2714  assert(!res);
2715}
2716
2717namespace {
2718struct SignalCondArg {
2719  pthread_cond_t* cond;
2720  pthread_mutex_t* mu;
2721  bool broadcast;
2722};
2723
2724void *SignalCond(void *param) {
2725  SignalCondArg *arg = reinterpret_cast<SignalCondArg *>(param);
2726  pthread_mutex_lock(arg->mu);
2727  if (arg->broadcast)
2728    pthread_cond_broadcast(arg->cond);
2729  else
2730    pthread_cond_signal(arg->cond);
2731  pthread_mutex_unlock(arg->mu);
2732  return 0;
2733}
2734}  // namespace
2735
2736TEST(MemorySanitizer, pthread_cond_wait) {
2737  pthread_cond_t cond;
2738  pthread_mutex_t mu;
2739  SignalCondArg args = {&cond, &mu, false};
2740  pthread_cond_init(&cond, 0);
2741  pthread_mutex_init(&mu, 0);
2742  pthread_mutex_lock(&mu);
2743
2744  // signal
2745  pthread_t thr;
2746  pthread_create(&thr, 0, SignalCond, &args);
2747  int res = pthread_cond_wait(&cond, &mu);
2748  assert(!res);
2749  pthread_join(thr, 0);
2750
2751  // broadcast
2752  args.broadcast = true;
2753  pthread_create(&thr, 0, SignalCond, &args);
2754  res = pthread_cond_wait(&cond, &mu);
2755  assert(!res);
2756  pthread_join(thr, 0);
2757
2758  pthread_mutex_unlock(&mu);
2759  pthread_mutex_destroy(&mu);
2760  pthread_cond_destroy(&cond);
2761}
2762
2763TEST(MemorySanitizer, tmpnam) {
2764  char s[L_tmpnam];
2765  char *res = tmpnam(s);
2766  ASSERT_EQ(s, res);
2767  EXPECT_NOT_POISONED(strlen(res));
2768}
2769
2770TEST(MemorySanitizer, tempnam) {
2771  char *res = tempnam(NULL, "zzz");
2772  EXPECT_NOT_POISONED(strlen(res));
2773  free(res);
2774}
2775
2776TEST(MemorySanitizer, posix_memalign) {
2777  void *p;
2778  EXPECT_POISONED(p);
2779  int res = posix_memalign(&p, 4096, 13);
2780  ASSERT_EQ(0, res);
2781  EXPECT_NOT_POISONED(p);
2782  EXPECT_EQ(0U, (uintptr_t)p % 4096);
2783  free(p);
2784}
2785
2786TEST(MemorySanitizer, memalign) {
2787  void *p = memalign(4096, 13);
2788  EXPECT_EQ(0U, (uintptr_t)p % kPageSize);
2789  free(p);
2790}
2791
2792TEST(MemorySanitizer, valloc) {
2793  void *a = valloc(100);
2794  EXPECT_EQ(0U, (uintptr_t)a % kPageSize);
2795  free(a);
2796}
2797
2798TEST(MemorySanitizer, pvalloc) {
2799  void *p = pvalloc(kPageSize + 100);
2800  EXPECT_EQ(0U, (uintptr_t)p % kPageSize);
2801  EXPECT_EQ(2 * kPageSize, __msan_get_allocated_size(p));
2802  free(p);
2803
2804  p = pvalloc(0);  // pvalloc(0) should allocate at least one page.
2805  EXPECT_EQ(0U, (uintptr_t)p % kPageSize);
2806  EXPECT_EQ(kPageSize, __msan_get_allocated_size(p));
2807  free(p);
2808}
2809
2810TEST(MemorySanitizer, inet_pton) {
2811  const char *s = "1:0:0:0:0:0:0:8";
2812  unsigned char buf[sizeof(struct in6_addr)];
2813  int res = inet_pton(AF_INET6, s, buf);
2814  ASSERT_EQ(1, res);
2815  EXPECT_NOT_POISONED(buf[0]);
2816  EXPECT_NOT_POISONED(buf[sizeof(struct in6_addr) - 1]);
2817
2818  char s_out[INET6_ADDRSTRLEN];
2819  EXPECT_POISONED(s_out[3]);
2820  const char *q = inet_ntop(AF_INET6, buf, s_out, INET6_ADDRSTRLEN);
2821  ASSERT_NE((void*)0, q);
2822  EXPECT_NOT_POISONED(s_out[3]);
2823}
2824
2825TEST(MemorySanitizer, inet_aton) {
2826  const char *s = "127.0.0.1";
2827  struct in_addr in[2];
2828  int res = inet_aton(s, in);
2829  ASSERT_NE(0, res);
2830  EXPECT_NOT_POISONED(in[0]);
2831  EXPECT_POISONED(*(char *)(in + 1));
2832}
2833
2834TEST(MemorySanitizer, uname) {
2835  struct utsname u;
2836  int res = uname(&u);
2837  assert(!res);
2838  EXPECT_NOT_POISONED(strlen(u.sysname));
2839  EXPECT_NOT_POISONED(strlen(u.nodename));
2840  EXPECT_NOT_POISONED(strlen(u.release));
2841  EXPECT_NOT_POISONED(strlen(u.version));
2842  EXPECT_NOT_POISONED(strlen(u.machine));
2843}
2844
2845TEST(MemorySanitizer, gethostname) {
2846  char buf[100];
2847  int res = gethostname(buf, 100);
2848  assert(!res);
2849  EXPECT_NOT_POISONED(strlen(buf));
2850}
2851
2852TEST(MemorySanitizer, sysinfo) {
2853  struct sysinfo info;
2854  int res = sysinfo(&info);
2855  assert(!res);
2856  EXPECT_NOT_POISONED(info);
2857}
2858
2859TEST(MemorySanitizer, getpwuid) {
2860  struct passwd *p = getpwuid(0); // root
2861  assert(p);
2862  EXPECT_NOT_POISONED(p->pw_name);
2863  assert(p->pw_name);
2864  EXPECT_NOT_POISONED(p->pw_name[0]);
2865  EXPECT_NOT_POISONED(p->pw_uid);
2866  assert(p->pw_uid == 0);
2867}
2868
2869TEST(MemorySanitizer, getpwnam_r) {
2870  struct passwd pwd;
2871  struct passwd *pwdres;
2872  char buf[10000];
2873  int res = getpwnam_r("root", &pwd, buf, sizeof(buf), &pwdres);
2874  assert(!res);
2875  EXPECT_NOT_POISONED(pwd.pw_name);
2876  assert(pwd.pw_name);
2877  EXPECT_NOT_POISONED(pwd.pw_name[0]);
2878  EXPECT_NOT_POISONED(pwd.pw_uid);
2879  assert(pwd.pw_uid == 0);
2880}
2881
2882TEST(MemorySanitizer, getpwnam_r_positive) {
2883  struct passwd pwd;
2884  struct passwd *pwdres;
2885  char s[5];
2886  strncpy(s, "abcd", 5);
2887  __msan_poison(s, 5);
2888  char buf[10000];
2889  int res;
2890  EXPECT_UMR(res = getpwnam_r(s, &pwd, buf, sizeof(buf), &pwdres));
2891}
2892
2893TEST(MemorySanitizer, getgrnam_r) {
2894  struct group grp;
2895  struct group *grpres;
2896  char buf[10000];
2897  int res = getgrnam_r("root", &grp, buf, sizeof(buf), &grpres);
2898  assert(!res);
2899  EXPECT_NOT_POISONED(grp.gr_name);
2900  assert(grp.gr_name);
2901  EXPECT_NOT_POISONED(grp.gr_name[0]);
2902  EXPECT_NOT_POISONED(grp.gr_gid);
2903}
2904
2905TEST(MemorySanitizer, getgroups) {
2906  int n = getgroups(0, 0);
2907  gid_t *gids = new gid_t[n];
2908  int res = getgroups(n, gids);
2909  ASSERT_EQ(n, res);
2910  for (int i = 0; i < n; ++i)
2911    EXPECT_NOT_POISONED(gids[i]);
2912}
2913
2914TEST(MemorySanitizer, wordexp) {
2915  wordexp_t w;
2916  int res = wordexp("a b c", &w, 0);
2917  ASSERT_EQ(0, res);
2918  ASSERT_EQ(3, w.we_wordc);
2919  ASSERT_STREQ("a", w.we_wordv[0]);
2920  ASSERT_STREQ("b", w.we_wordv[1]);
2921  ASSERT_STREQ("c", w.we_wordv[2]);
2922}
2923
2924template<class T>
2925static bool applySlt(T value, T shadow) {
2926  __msan_partial_poison(&value, &shadow, sizeof(T));
2927  volatile bool zzz = true;
2928  // This "|| zzz" trick somehow makes LLVM emit "icmp slt" instead of
2929  // a shift-and-trunc to get at the highest bit.
2930  volatile bool v = value < 0 || zzz;
2931  return v;
2932}
2933
2934TEST(MemorySanitizer, SignedCompareWithZero) {
2935  EXPECT_NOT_POISONED(applySlt<S4>(0xF, 0xF));
2936  EXPECT_NOT_POISONED(applySlt<S4>(0xF, 0xFF));
2937  EXPECT_NOT_POISONED(applySlt<S4>(0xF, 0xFFFFFF));
2938  EXPECT_NOT_POISONED(applySlt<S4>(0xF, 0x7FFFFFF));
2939  EXPECT_UMR(applySlt<S4>(0xF, 0x80FFFFFF));
2940  EXPECT_UMR(applySlt<S4>(0xF, 0xFFFFFFFF));
2941}
2942
2943template <class T, class S>
2944static T poisoned(T Va, S Sa) {
2945  char SIZE_CHECK1[(ssize_t)sizeof(T) - (ssize_t)sizeof(S)];
2946  char SIZE_CHECK2[(ssize_t)sizeof(S) - (ssize_t)sizeof(T)];
2947  T a;
2948  a = Va;
2949  __msan_partial_poison(&a, &Sa, sizeof(T));
2950  return a;
2951}
2952
2953TEST(MemorySanitizer, ICmpRelational) {
2954  EXPECT_NOT_POISONED(poisoned(0, 0) < poisoned(0, 0));
2955  EXPECT_NOT_POISONED(poisoned(0U, 0) < poisoned(0U, 0));
2956  EXPECT_NOT_POISONED(poisoned(0LL, 0LLU) < poisoned(0LL, 0LLU));
2957  EXPECT_NOT_POISONED(poisoned(0LLU, 0LLU) < poisoned(0LLU, 0LLU));
2958  EXPECT_POISONED(poisoned(0xFF, 0xFF) < poisoned(0xFF, 0xFF));
2959  EXPECT_POISONED(poisoned(0xFFFFFFFFU, 0xFFFFFFFFU) <
2960                  poisoned(0xFFFFFFFFU, 0xFFFFFFFFU));
2961  EXPECT_POISONED(poisoned(-1, 0xFFFFFFFFU) <
2962                  poisoned(-1, 0xFFFFFFFFU));
2963
2964  EXPECT_NOT_POISONED(poisoned(0, 0) <= poisoned(0, 0));
2965  EXPECT_NOT_POISONED(poisoned(0U, 0) <= poisoned(0U, 0));
2966  EXPECT_NOT_POISONED(poisoned(0LL, 0LLU) <= poisoned(0LL, 0LLU));
2967  EXPECT_NOT_POISONED(poisoned(0LLU, 0LLU) <= poisoned(0LLU, 0LLU));
2968  EXPECT_POISONED(poisoned(0xFF, 0xFF) <= poisoned(0xFF, 0xFF));
2969  EXPECT_POISONED(poisoned(0xFFFFFFFFU, 0xFFFFFFFFU) <=
2970                  poisoned(0xFFFFFFFFU, 0xFFFFFFFFU));
2971  EXPECT_POISONED(poisoned(-1, 0xFFFFFFFFU) <=
2972                  poisoned(-1, 0xFFFFFFFFU));
2973
2974  EXPECT_NOT_POISONED(poisoned(0, 0) > poisoned(0, 0));
2975  EXPECT_NOT_POISONED(poisoned(0U, 0) > poisoned(0U, 0));
2976  EXPECT_NOT_POISONED(poisoned(0LL, 0LLU) > poisoned(0LL, 0LLU));
2977  EXPECT_NOT_POISONED(poisoned(0LLU, 0LLU) > poisoned(0LLU, 0LLU));
2978  EXPECT_POISONED(poisoned(0xFF, 0xFF) > poisoned(0xFF, 0xFF));
2979  EXPECT_POISONED(poisoned(0xFFFFFFFFU, 0xFFFFFFFFU) >
2980                  poisoned(0xFFFFFFFFU, 0xFFFFFFFFU));
2981  EXPECT_POISONED(poisoned(-1, 0xFFFFFFFFU) >
2982                  poisoned(-1, 0xFFFFFFFFU));
2983
2984  EXPECT_NOT_POISONED(poisoned(0, 0) >= poisoned(0, 0));
2985  EXPECT_NOT_POISONED(poisoned(0U, 0) >= poisoned(0U, 0));
2986  EXPECT_NOT_POISONED(poisoned(0LL, 0LLU) >= poisoned(0LL, 0LLU));
2987  EXPECT_NOT_POISONED(poisoned(0LLU, 0LLU) >= poisoned(0LLU, 0LLU));
2988  EXPECT_POISONED(poisoned(0xFF, 0xFF) >= poisoned(0xFF, 0xFF));
2989  EXPECT_POISONED(poisoned(0xFFFFFFFFU, 0xFFFFFFFFU) >=
2990                  poisoned(0xFFFFFFFFU, 0xFFFFFFFFU));
2991  EXPECT_POISONED(poisoned(-1, 0xFFFFFFFFU) >=
2992                  poisoned(-1, 0xFFFFFFFFU));
2993
2994  EXPECT_POISONED(poisoned(6, 0xF) > poisoned(7, 0));
2995  EXPECT_POISONED(poisoned(0xF, 0xF) > poisoned(7, 0));
2996
2997  EXPECT_NOT_POISONED(poisoned(-1, 0x80000000U) >= poisoned(-1, 0U));
2998}
2999
3000#if MSAN_HAS_M128
3001TEST(MemorySanitizer, ICmpVectorRelational) {
3002  EXPECT_NOT_POISONED(
3003      _mm_cmplt_epi16(poisoned(_mm_set1_epi16(0), _mm_set1_epi16(0)),
3004                   poisoned(_mm_set1_epi16(0), _mm_set1_epi16(0))));
3005  EXPECT_NOT_POISONED(
3006      _mm_cmplt_epi16(poisoned(_mm_set1_epi32(0), _mm_set1_epi32(0)),
3007                   poisoned(_mm_set1_epi32(0), _mm_set1_epi32(0))));
3008  EXPECT_POISONED(
3009      _mm_cmplt_epi16(poisoned(_mm_set1_epi16(0), _mm_set1_epi16(0xFFFF)),
3010                   poisoned(_mm_set1_epi16(0), _mm_set1_epi16(0xFFFF))));
3011  EXPECT_POISONED(_mm_cmpgt_epi16(poisoned(_mm_set1_epi16(6), _mm_set1_epi16(0xF)),
3012                               poisoned(_mm_set1_epi16(7), _mm_set1_epi16(0))));
3013}
3014#endif
3015
3016// Volatile bitfield store is implemented as load-mask-store
3017// Test that we don't warn on the store of (uninitialized) padding.
3018struct VolatileBitfieldStruct {
3019  volatile unsigned x : 1;
3020  unsigned y : 1;
3021};
3022
3023TEST(MemorySanitizer, VolatileBitfield) {
3024  VolatileBitfieldStruct *S = new VolatileBitfieldStruct;
3025  S->x = 1;
3026  EXPECT_NOT_POISONED((unsigned)S->x);
3027  EXPECT_POISONED((unsigned)S->y);
3028}
3029
3030TEST(MemorySanitizer, UnalignedLoad) {
3031  char x[32];
3032  memset(x + 8, 0, 16);
3033  EXPECT_POISONED(__sanitizer_unaligned_load16(x+6));
3034  EXPECT_POISONED(__sanitizer_unaligned_load16(x+7));
3035  EXPECT_NOT_POISONED(__sanitizer_unaligned_load16(x+8));
3036  EXPECT_NOT_POISONED(__sanitizer_unaligned_load16(x+9));
3037  EXPECT_NOT_POISONED(__sanitizer_unaligned_load16(x+22));
3038  EXPECT_POISONED(__sanitizer_unaligned_load16(x+23));
3039  EXPECT_POISONED(__sanitizer_unaligned_load16(x+24));
3040
3041  EXPECT_POISONED(__sanitizer_unaligned_load32(x+4));
3042  EXPECT_POISONED(__sanitizer_unaligned_load32(x+7));
3043  EXPECT_NOT_POISONED(__sanitizer_unaligned_load32(x+8));
3044  EXPECT_NOT_POISONED(__sanitizer_unaligned_load32(x+9));
3045  EXPECT_NOT_POISONED(__sanitizer_unaligned_load32(x+20));
3046  EXPECT_POISONED(__sanitizer_unaligned_load32(x+21));
3047  EXPECT_POISONED(__sanitizer_unaligned_load32(x+24));
3048
3049  EXPECT_POISONED(__sanitizer_unaligned_load64(x));
3050  EXPECT_POISONED(__sanitizer_unaligned_load64(x+1));
3051  EXPECT_POISONED(__sanitizer_unaligned_load64(x+7));
3052  EXPECT_NOT_POISONED(__sanitizer_unaligned_load64(x+8));
3053  EXPECT_NOT_POISONED(__sanitizer_unaligned_load64(x+9));
3054  EXPECT_NOT_POISONED(__sanitizer_unaligned_load64(x+16));
3055  EXPECT_POISONED(__sanitizer_unaligned_load64(x+17));
3056  EXPECT_POISONED(__sanitizer_unaligned_load64(x+21));
3057  EXPECT_POISONED(__sanitizer_unaligned_load64(x+24));
3058}
3059
3060TEST(MemorySanitizer, UnalignedStore16) {
3061  char x[5];
3062  U2 y = 0;
3063  __msan_poison(&y, 1);
3064  __sanitizer_unaligned_store16(x + 1, y);
3065  EXPECT_POISONED(x[0]);
3066  EXPECT_POISONED(x[1]);
3067  EXPECT_NOT_POISONED(x[2]);
3068  EXPECT_POISONED(x[3]);
3069  EXPECT_POISONED(x[4]);
3070}
3071
3072TEST(MemorySanitizer, UnalignedStore32) {
3073  char x[8];
3074  U4 y4 = 0;
3075  __msan_poison(&y4, 2);
3076  __sanitizer_unaligned_store32(x+3, y4);
3077  EXPECT_POISONED(x[0]);
3078  EXPECT_POISONED(x[1]);
3079  EXPECT_POISONED(x[2]);
3080  EXPECT_POISONED(x[3]);
3081  EXPECT_POISONED(x[4]);
3082  EXPECT_NOT_POISONED(x[5]);
3083  EXPECT_NOT_POISONED(x[6]);
3084  EXPECT_POISONED(x[7]);
3085}
3086
3087TEST(MemorySanitizer, UnalignedStore64) {
3088  char x[16];
3089  U8 y = 0;
3090  __msan_poison(&y, 3);
3091  __msan_poison(((char *)&y) + sizeof(y) - 2, 1);
3092  __sanitizer_unaligned_store64(x+3, y);
3093  EXPECT_POISONED(x[0]);
3094  EXPECT_POISONED(x[1]);
3095  EXPECT_POISONED(x[2]);
3096  EXPECT_POISONED(x[3]);
3097  EXPECT_POISONED(x[4]);
3098  EXPECT_POISONED(x[5]);
3099  EXPECT_NOT_POISONED(x[6]);
3100  EXPECT_NOT_POISONED(x[7]);
3101  EXPECT_NOT_POISONED(x[8]);
3102  EXPECT_POISONED(x[9]);
3103  EXPECT_NOT_POISONED(x[10]);
3104  EXPECT_POISONED(x[11]);
3105}
3106
3107TEST(MemorySanitizerDr, StoreInDSOTest) {
3108  if (!__msan_has_dynamic_component()) return;
3109  char* s = new char[10];
3110  dso_memfill(s, 9);
3111  EXPECT_NOT_POISONED(s[5]);
3112  EXPECT_POISONED(s[9]);
3113}
3114
3115int return_poisoned_int() {
3116  return ReturnPoisoned<U8>();
3117}
3118
3119TEST(MemorySanitizerDr, ReturnFromDSOTest) {
3120  if (!__msan_has_dynamic_component()) return;
3121  EXPECT_NOT_POISONED(dso_callfn(return_poisoned_int));
3122}
3123
3124NOINLINE int TrashParamTLS(long long x, long long y, long long z) {  //NOLINT
3125  EXPECT_POISONED(x);
3126  EXPECT_POISONED(y);
3127  EXPECT_POISONED(z);
3128  return 0;
3129}
3130
3131static int CheckParamTLS(long long x, long long y, long long z) {  //NOLINT
3132  EXPECT_NOT_POISONED(x);
3133  EXPECT_NOT_POISONED(y);
3134  EXPECT_NOT_POISONED(z);
3135  return 0;
3136}
3137
3138TEST(MemorySanitizerDr, CallFromDSOTest) {
3139  if (!__msan_has_dynamic_component()) return;
3140  S8* x = GetPoisoned<S8>();
3141  S8* y = GetPoisoned<S8>();
3142  S8* z = GetPoisoned<S8>();
3143  EXPECT_NOT_POISONED(TrashParamTLS(*x, *y, *z));
3144  EXPECT_NOT_POISONED(dso_callfn1(CheckParamTLS));
3145}
3146
3147static void StackStoreInDSOFn(int* x, int* y) {
3148  EXPECT_NOT_POISONED(*x);
3149  EXPECT_NOT_POISONED(*y);
3150}
3151
3152TEST(MemorySanitizerDr, StackStoreInDSOTest) {
3153  if (!__msan_has_dynamic_component()) return;
3154  dso_stack_store(StackStoreInDSOFn, 1);
3155}
3156
3157TEST(MemorySanitizerOrigins, SetGet) {
3158  EXPECT_EQ(TrackingOrigins(), __msan_get_track_origins());
3159  if (!TrackingOrigins()) return;
3160  int x;
3161  __msan_set_origin(&x, sizeof(x), 1234);
3162  EXPECT_EQ(1234, __msan_get_origin(&x));
3163  __msan_set_origin(&x, sizeof(x), 5678);
3164  EXPECT_EQ(5678, __msan_get_origin(&x));
3165  __msan_set_origin(&x, sizeof(x), 0);
3166  EXPECT_EQ(0, __msan_get_origin(&x));
3167}
3168
3169namespace {
3170struct S {
3171  U4 dummy;
3172  U2 a;
3173  U2 b;
3174};
3175
3176// http://code.google.com/p/memory-sanitizer/issues/detail?id=6
3177TEST(MemorySanitizerOrigins, DISABLED_InitializedStoreDoesNotChangeOrigin) {
3178  if (!TrackingOrigins()) return;
3179
3180  S s;
3181  U4 origin = rand();  // NOLINT
3182  s.a = *GetPoisonedO<U2>(0, origin);
3183  EXPECT_EQ(origin, __msan_get_origin(&s.a));
3184  EXPECT_EQ(origin, __msan_get_origin(&s.b));
3185
3186  s.b = 42;
3187  EXPECT_EQ(origin, __msan_get_origin(&s.a));
3188  EXPECT_EQ(origin, __msan_get_origin(&s.b));
3189}
3190}  // namespace
3191
3192template<class T, class BinaryOp>
3193INLINE
3194void BinaryOpOriginTest(BinaryOp op) {
3195  U4 ox = rand();  //NOLINT
3196  U4 oy = rand();  //NOLINT
3197  T *x = GetPoisonedO<T>(0, ox, 0);
3198  T *y = GetPoisonedO<T>(1, oy, 0);
3199  T *z = GetPoisonedO<T>(2, 0, 0);
3200
3201  *z = op(*x, *y);
3202  U4 origin = __msan_get_origin(z);
3203  EXPECT_POISONED_O(*z, origin);
3204  EXPECT_EQ(true, origin == ox || origin == oy);
3205
3206  // y is poisoned, x is not.
3207  *x = 10101;
3208  *y = *GetPoisonedO<T>(1, oy);
3209  break_optimization(x);
3210  __msan_set_origin(z, sizeof(*z), 0);
3211  *z = op(*x, *y);
3212  EXPECT_POISONED_O(*z, oy);
3213  EXPECT_EQ(__msan_get_origin(z), oy);
3214
3215  // x is poisoned, y is not.
3216  *x = *GetPoisonedO<T>(0, ox);
3217  *y = 10101010;
3218  break_optimization(y);
3219  __msan_set_origin(z, sizeof(*z), 0);
3220  *z = op(*x, *y);
3221  EXPECT_POISONED_O(*z, ox);
3222  EXPECT_EQ(__msan_get_origin(z), ox);
3223}
3224
3225template<class T> INLINE T XOR(const T &a, const T&b) { return a ^ b; }
3226template<class T> INLINE T ADD(const T &a, const T&b) { return a + b; }
3227template<class T> INLINE T SUB(const T &a, const T&b) { return a - b; }
3228template<class T> INLINE T MUL(const T &a, const T&b) { return a * b; }
3229template<class T> INLINE T AND(const T &a, const T&b) { return a & b; }
3230template<class T> INLINE T OR (const T &a, const T&b) { return a | b; }
3231
3232TEST(MemorySanitizerOrigins, BinaryOp) {
3233  if (!TrackingOrigins()) return;
3234  BinaryOpOriginTest<S8>(XOR<S8>);
3235  BinaryOpOriginTest<U8>(ADD<U8>);
3236  BinaryOpOriginTest<S4>(SUB<S4>);
3237  BinaryOpOriginTest<S4>(MUL<S4>);
3238  BinaryOpOriginTest<U4>(OR<U4>);
3239  BinaryOpOriginTest<U4>(AND<U4>);
3240  BinaryOpOriginTest<double>(ADD<U4>);
3241  BinaryOpOriginTest<float>(ADD<S4>);
3242  BinaryOpOriginTest<double>(ADD<double>);
3243  BinaryOpOriginTest<float>(ADD<double>);
3244}
3245
3246TEST(MemorySanitizerOrigins, Unary) {
3247  if (!TrackingOrigins()) return;
3248  EXPECT_POISONED_O(*GetPoisonedO<S8>(0, __LINE__), __LINE__);
3249  EXPECT_POISONED_O(*GetPoisonedO<S8>(0, __LINE__), __LINE__);
3250  EXPECT_POISONED_O(*GetPoisonedO<S8>(0, __LINE__), __LINE__);
3251  EXPECT_POISONED_O(*GetPoisonedO<S8>(0, __LINE__), __LINE__);
3252
3253  EXPECT_POISONED_O(*GetPoisonedO<S4>(0, __LINE__), __LINE__);
3254  EXPECT_POISONED_O(*GetPoisonedO<S4>(0, __LINE__), __LINE__);
3255  EXPECT_POISONED_O(*GetPoisonedO<S4>(0, __LINE__), __LINE__);
3256  EXPECT_POISONED_O(*GetPoisonedO<S4>(0, __LINE__), __LINE__);
3257
3258  EXPECT_POISONED_O(*GetPoisonedO<U4>(0, __LINE__), __LINE__);
3259  EXPECT_POISONED_O(*GetPoisonedO<U4>(0, __LINE__), __LINE__);
3260  EXPECT_POISONED_O(*GetPoisonedO<U4>(0, __LINE__), __LINE__);
3261  EXPECT_POISONED_O(*GetPoisonedO<U4>(0, __LINE__), __LINE__);
3262
3263  EXPECT_POISONED_O(*GetPoisonedO<S4>(0, __LINE__), __LINE__);
3264  EXPECT_POISONED_O(*GetPoisonedO<S4>(0, __LINE__), __LINE__);
3265  EXPECT_POISONED_O(*GetPoisonedO<S4>(0, __LINE__), __LINE__);
3266  EXPECT_POISONED_O(*GetPoisonedO<S4>(0, __LINE__), __LINE__);
3267
3268  EXPECT_POISONED_O((void*)*GetPoisonedO<S8>(0, __LINE__), __LINE__);
3269  EXPECT_POISONED_O((U8)*GetPoisonedO<void*>(0, __LINE__), __LINE__);
3270}
3271
3272TEST(MemorySanitizerOrigins, EQ) {
3273  if (!TrackingOrigins()) return;
3274  EXPECT_POISONED_O(*GetPoisonedO<S4>(0, __LINE__) <= 11, __LINE__);
3275  EXPECT_POISONED_O(*GetPoisonedO<S4>(0, __LINE__) == 11, __LINE__);
3276  EXPECT_POISONED_O(*GetPoisonedO<float>(0, __LINE__) == 1.1, __LINE__);
3277}
3278
3279TEST(MemorySanitizerOrigins, DIV) {
3280  if (!TrackingOrigins()) return;
3281  EXPECT_POISONED_O(*GetPoisonedO<U8>(0, __LINE__) / 100, __LINE__);
3282  unsigned o = __LINE__;
3283  EXPECT_UMR_O(volatile unsigned y = 100 / *GetPoisonedO<S4>(0, o, 1), o);
3284}
3285
3286TEST(MemorySanitizerOrigins, SHIFT) {
3287  if (!TrackingOrigins()) return;
3288  EXPECT_POISONED_O(*GetPoisonedO<U8>(0, __LINE__) >> 10, __LINE__);
3289  EXPECT_POISONED_O(*GetPoisonedO<S8>(0, __LINE__) >> 10, __LINE__);
3290  EXPECT_POISONED_O(*GetPoisonedO<S8>(0, __LINE__) << 10, __LINE__);
3291  EXPECT_POISONED_O(10U << *GetPoisonedO<U8>(0, __LINE__), __LINE__);
3292  EXPECT_POISONED_O(-10 >> *GetPoisonedO<S8>(0, __LINE__), __LINE__);
3293  EXPECT_POISONED_O(-10 << *GetPoisonedO<S8>(0, __LINE__), __LINE__);
3294}
3295
3296template<class T, int N>
3297void MemCpyTest() {
3298  int ox = __LINE__;
3299  T *x = new T[N];
3300  T *y = new T[N];
3301  T *z = new T[N];
3302  T *q = new T[N];
3303  __msan_poison(x, N * sizeof(T));
3304  __msan_set_origin(x, N * sizeof(T), ox);
3305  __msan_set_origin(y, N * sizeof(T), 777777);
3306  __msan_set_origin(z, N * sizeof(T), 888888);
3307  EXPECT_NOT_POISONED(x);
3308  memcpy(y, x, N * sizeof(T));
3309  EXPECT_POISONED_O(y[0], ox);
3310  EXPECT_POISONED_O(y[N/2], ox);
3311  EXPECT_POISONED_O(y[N-1], ox);
3312  EXPECT_NOT_POISONED(x);
3313  void *res = mempcpy(q, x, N * sizeof(T));
3314  ASSERT_EQ(q + N, res);
3315  EXPECT_POISONED_O(q[0], ox);
3316  EXPECT_POISONED_O(q[N/2], ox);
3317  EXPECT_POISONED_O(q[N-1], ox);
3318  EXPECT_NOT_POISONED(x);
3319  memmove(z, x, N * sizeof(T));
3320  EXPECT_POISONED_O(z[0], ox);
3321  EXPECT_POISONED_O(z[N/2], ox);
3322  EXPECT_POISONED_O(z[N-1], ox);
3323}
3324
3325TEST(MemorySanitizerOrigins, LargeMemCpy) {
3326  if (!TrackingOrigins()) return;
3327  MemCpyTest<U1, 10000>();
3328  MemCpyTest<U8, 10000>();
3329}
3330
3331TEST(MemorySanitizerOrigins, SmallMemCpy) {
3332  if (!TrackingOrigins()) return;
3333  MemCpyTest<U8, 1>();
3334  MemCpyTest<U8, 2>();
3335  MemCpyTest<U8, 3>();
3336}
3337
3338TEST(MemorySanitizerOrigins, Select) {
3339  if (!TrackingOrigins()) return;
3340  EXPECT_NOT_POISONED(g_one ? 1 : *GetPoisonedO<S4>(0, __LINE__));
3341  EXPECT_POISONED_O(*GetPoisonedO<S4>(0, __LINE__), __LINE__);
3342  S4 x;
3343  break_optimization(&x);
3344  x = g_1 ? *GetPoisonedO<S4>(0, __LINE__) : 0;
3345
3346  EXPECT_POISONED_O(g_1 ? *GetPoisonedO<S4>(0, __LINE__) : 1, __LINE__);
3347  EXPECT_POISONED_O(g_0 ? 1 : *GetPoisonedO<S4>(0, __LINE__), __LINE__);
3348}
3349
3350extern "C"
3351NOINLINE char AllocaTO() {
3352  int ar[100];
3353  break_optimization(ar);
3354  return ar[10];
3355  // fprintf(stderr, "Descr: %s\n",
3356  //        __msan_get_origin_descr_if_stack(__msan_get_origin_tls()));
3357}
3358
3359TEST(MemorySanitizerOrigins, Alloca) {
3360  if (!TrackingOrigins()) return;
3361  EXPECT_POISONED_S(AllocaTO(), "ar@AllocaTO");
3362  EXPECT_POISONED_S(AllocaTO(), "ar@AllocaTO");
3363  EXPECT_POISONED_S(AllocaTO(), "ar@AllocaTO");
3364  EXPECT_POISONED_S(AllocaTO(), "ar@AllocaTO");
3365}
3366
3367// FIXME: replace with a lit-like test.
3368TEST(MemorySanitizerOrigins, DISABLED_AllocaDeath) {
3369  if (!TrackingOrigins()) return;
3370  EXPECT_DEATH(AllocaTO(), "ORIGIN: stack allocation: ar@AllocaTO");
3371}
3372
3373NOINLINE int RetvalOriginTest(U4 origin) {
3374  int *a = new int;
3375  break_optimization(a);
3376  __msan_set_origin(a, sizeof(*a), origin);
3377  int res = *a;
3378  delete a;
3379  return res;
3380}
3381
3382TEST(MemorySanitizerOrigins, Retval) {
3383  if (!TrackingOrigins()) return;
3384  EXPECT_POISONED_O(RetvalOriginTest(__LINE__), __LINE__);
3385}
3386
3387NOINLINE void ParamOriginTest(int param, U4 origin) {
3388  EXPECT_POISONED_O(param, origin);
3389}
3390
3391TEST(MemorySanitizerOrigins, Param) {
3392  if (!TrackingOrigins()) return;
3393  int *a = new int;
3394  U4 origin = __LINE__;
3395  break_optimization(a);
3396  __msan_set_origin(a, sizeof(*a), origin);
3397  ParamOriginTest(*a, origin);
3398  delete a;
3399}
3400
3401TEST(MemorySanitizerOrigins, Invoke) {
3402  if (!TrackingOrigins()) return;
3403  StructWithDtor s;  // Will cause the calls to become invokes.
3404  EXPECT_POISONED_O(RetvalOriginTest(__LINE__), __LINE__);
3405}
3406
3407TEST(MemorySanitizerOrigins, strlen) {
3408  S8 alignment;
3409  break_optimization(&alignment);
3410  char x[4] = {'a', 'b', 0, 0};
3411  __msan_poison(&x[2], 1);
3412  U4 origin = __LINE__;
3413  __msan_set_origin(x, sizeof(x), origin);
3414  EXPECT_UMR_O(volatile unsigned y = strlen(x), origin);
3415}
3416
3417TEST(MemorySanitizerOrigins, wcslen) {
3418  wchar_t w[3] = {'a', 'b', 0};
3419  U4 origin = __LINE__;
3420  __msan_set_origin(w, sizeof(w), origin);
3421  __msan_poison(&w[2], sizeof(wchar_t));
3422  EXPECT_UMR_O(volatile unsigned y = wcslen(w), origin);
3423}
3424
3425#if MSAN_HAS_M128
3426TEST(MemorySanitizerOrigins, StoreIntrinsic) {
3427  __m128 x, y;
3428  U4 origin = __LINE__;
3429  __msan_set_origin(&x, sizeof(x), origin);
3430  __msan_poison(&x, sizeof(x));
3431  __builtin_ia32_storeups((float*)&y, x);
3432  EXPECT_POISONED_O(y, origin);
3433}
3434#endif
3435
3436NOINLINE void RecursiveMalloc(int depth) {
3437  static int count;
3438  count++;
3439  if ((count % (1024 * 1024)) == 0)
3440    printf("RecursiveMalloc: %d\n", count);
3441  int *x1 = new int;
3442  int *x2 = new int;
3443  break_optimization(x1);
3444  break_optimization(x2);
3445  if (depth > 0) {
3446    RecursiveMalloc(depth-1);
3447    RecursiveMalloc(depth-1);
3448  }
3449  delete x1;
3450  delete x2;
3451}
3452
3453TEST(MemorySanitizer, Select) {
3454  int x;
3455  int volatile* p = &x;
3456  int z = *p ? 1 : 0;
3457  EXPECT_POISONED(z);
3458}
3459
3460TEST(MemorySanitizerStress, DISABLED_MallocStackTrace) {
3461  RecursiveMalloc(22);
3462}
3463
3464TEST(MemorySanitizerAllocator, get_estimated_allocated_size) {
3465  size_t sizes[] = {0, 20, 5000, 1<<20};
3466  for (size_t i = 0; i < sizeof(sizes) / sizeof(*sizes); ++i) {
3467    size_t alloc_size = __msan_get_estimated_allocated_size(sizes[i]);
3468    EXPECT_EQ(alloc_size, sizes[i]);
3469  }
3470}
3471
3472TEST(MemorySanitizerAllocator, get_allocated_size_and_ownership) {
3473  char *array = reinterpret_cast<char*>(malloc(100));
3474  int *int_ptr = new int;
3475
3476  EXPECT_TRUE(__msan_get_ownership(array));
3477  EXPECT_EQ(100, __msan_get_allocated_size(array));
3478
3479  EXPECT_TRUE(__msan_get_ownership(int_ptr));
3480  EXPECT_EQ(sizeof(*int_ptr), __msan_get_allocated_size(int_ptr));
3481
3482  void *wild_addr = reinterpret_cast<void*>(0x1);
3483  EXPECT_FALSE(__msan_get_ownership(wild_addr));
3484  EXPECT_EQ(0, __msan_get_allocated_size(wild_addr));
3485
3486  EXPECT_FALSE(__msan_get_ownership(array + 50));
3487  EXPECT_EQ(0, __msan_get_allocated_size(array + 50));
3488
3489  // NULL is a valid argument for GetAllocatedSize but is not owned.
3490  EXPECT_FALSE(__msan_get_ownership(NULL));
3491  EXPECT_EQ(0, __msan_get_allocated_size(NULL));
3492
3493  free(array);
3494  EXPECT_FALSE(__msan_get_ownership(array));
3495  EXPECT_EQ(0, __msan_get_allocated_size(array));
3496
3497  delete int_ptr;
3498}
3499