xref: /llvm-project/compiler-rt/test/msan/poison_in_signal.cpp (revision eb4d22917eb69ba0f41e6e677d64f67f8b426496)
1c2a3fb30SVitaly Buka // Stress test of poisoning from signal handler.
2c2a3fb30SVitaly Buka 
3c2a3fb30SVitaly Buka // RUN: %clangxx_msan -std=c++11 -O2 %s -o %t && %run %t
4c2a3fb30SVitaly Buka // RUN: %clangxx_msan -fsanitize-memory-track-origins=2 -std=c++11 -O2 %s -o %t && %run %t
5*eb4d2291SVitaly Buka // RUN: %clangxx_msan -fsanitize-memory-track-origins=2 -fsanitize-memory-use-after-dtor -std=c++11 -O2 %s -o %t && %run %t
6c2a3fb30SVitaly Buka 
7c2a3fb30SVitaly Buka #include <assert.h>
8c2a3fb30SVitaly Buka #include <atomic>
9c2a3fb30SVitaly Buka #include <pthread.h>
10c2a3fb30SVitaly Buka #include <signal.h>
11c2a3fb30SVitaly Buka #include <sys/time.h>
12c2a3fb30SVitaly Buka 
13c2a3fb30SVitaly Buka #include <sanitizer/msan_interface.h>
14c2a3fb30SVitaly Buka 
15c2a3fb30SVitaly Buka std::atomic<int> n = {1000};
16c2a3fb30SVitaly Buka 
17c2a3fb30SVitaly Buka struct Tmp {
18c2a3fb30SVitaly Buka   char buff[1];
~TmpTmp19c2a3fb30SVitaly Buka   ~Tmp() {}
20c2a3fb30SVitaly Buka };
21c2a3fb30SVitaly Buka 
Poison()22c2a3fb30SVitaly Buka __attribute__((noinline, optnone)) void Poison() {
23c2a3fb30SVitaly Buka   // use-after-dtor.
24c2a3fb30SVitaly Buka   volatile Tmp t;
25c2a3fb30SVitaly Buka   // Regular poisoning.
26c2a3fb30SVitaly Buka   __msan_poison(&t, sizeof(t));
27c2a3fb30SVitaly Buka }
28c2a3fb30SVitaly Buka 
thr(void * p)29c2a3fb30SVitaly Buka void *thr(void *p) {
30c2a3fb30SVitaly Buka   for (; n >= 0;) {
31c2a3fb30SVitaly Buka     for (int i = 0; i < 1000; i++) {
32c2a3fb30SVitaly Buka       Poison();
33c2a3fb30SVitaly Buka     }
34c2a3fb30SVitaly Buka   }
35c2a3fb30SVitaly Buka   return 0;
36c2a3fb30SVitaly Buka }
37c2a3fb30SVitaly Buka 
handler(int)38c2a3fb30SVitaly Buka void handler(int) {
39c2a3fb30SVitaly Buka   Poison();
40c2a3fb30SVitaly Buka   --n;
41c2a3fb30SVitaly Buka }
42c2a3fb30SVitaly Buka 
main(int argc,char ** argv)43c2a3fb30SVitaly Buka int main(int argc, char **argv) {
44c2a3fb30SVitaly Buka   const int kThreads = 10;
45c2a3fb30SVitaly Buka   pthread_t th[kThreads];
46c2a3fb30SVitaly Buka   for (int i = 0; i < kThreads; i++)
47c2a3fb30SVitaly Buka     pthread_create(&th[i], 0, thr, 0);
48c2a3fb30SVitaly Buka 
49c2a3fb30SVitaly Buka   struct sigaction sa = {};
50c2a3fb30SVitaly Buka   sa.sa_handler = handler;
51c2a3fb30SVitaly Buka   assert(!sigaction(SIGPROF, &sa, 0));
52c2a3fb30SVitaly Buka 
53c2a3fb30SVitaly Buka   itimerval t;
54c2a3fb30SVitaly Buka   t.it_value.tv_sec = 0;
55c2a3fb30SVitaly Buka   t.it_value.tv_usec = 10;
56c2a3fb30SVitaly Buka   t.it_interval = t.it_value;
57c2a3fb30SVitaly Buka   assert(!setitimer(ITIMER_PROF, &t, 0));
58c2a3fb30SVitaly Buka 
59c2a3fb30SVitaly Buka   for (int i = 0; i < kThreads; i++)
60c2a3fb30SVitaly Buka     pthread_join(th[i], 0);
61c2a3fb30SVitaly Buka 
62c2a3fb30SVitaly Buka   return 0;
63c2a3fb30SVitaly Buka }
64