Stephen Hines | 6d18623 | 2014-11-26 17:56:19 -0800 | [diff] [blame] | 1 | // ParamTLS has limited size. Everything that does not fit is considered fully |
| 2 | // initialized. |
| 3 | |
Pirama Arumuga Nainar | 7c91505 | 2015-04-08 08:58:29 -0700 | [diff] [blame] | 4 | // RUN: %clangxx_msan -O0 %s -o %t && %run %t |
| 5 | // RUN: %clangxx_msan -fsanitize-memory-track-origins -O0 %s -o %t && %run %t |
| 6 | // RUN: %clangxx_msan -fsanitize-memory-track-origins=2 -O0 %s -o %t && %run %t |
Pirama Arumuga Nainar | 799172d | 2016-03-03 15:50:30 -0800 | [diff] [blame^] | 7 | // |
| 8 | // AArch64 fails with: |
| 9 | // void f801(S<801>): Assertion `__msan_test_shadow(&s, sizeof(s)) == -1' failed |
| 10 | // XFAIL: aarch64 |
Stephen Hines | 6d18623 | 2014-11-26 17:56:19 -0800 | [diff] [blame] | 11 | |
| 12 | #include <sanitizer/msan_interface.h> |
| 13 | #include <assert.h> |
| 14 | |
| 15 | // This test assumes that ParamTLS size is 800 bytes. |
| 16 | |
| 17 | // This test passes poisoned values through function argument list. |
| 18 | // In case of overflow, argument is unpoisoned. |
| 19 | #define OVERFLOW(x) assert(__msan_test_shadow(&x, sizeof(x)) == -1) |
| 20 | // In case of no overflow, it is still poisoned. |
| 21 | #define NO_OVERFLOW(x) assert(__msan_test_shadow(&x, sizeof(x)) == 0) |
| 22 | |
| 23 | template<int N> |
| 24 | struct S { |
| 25 | char x[N]; |
| 26 | }; |
| 27 | |
| 28 | void f100(S<100> s) { |
| 29 | NO_OVERFLOW(s); |
| 30 | } |
| 31 | |
| 32 | void f800(S<800> s) { |
| 33 | NO_OVERFLOW(s); |
| 34 | } |
| 35 | |
| 36 | void f801(S<801> s) { |
| 37 | OVERFLOW(s); |
| 38 | } |
| 39 | |
| 40 | void f1000(S<1000> s) { |
| 41 | OVERFLOW(s); |
| 42 | } |
| 43 | |
| 44 | void f_many(int a, double b, S<800> s, int c, double d) { |
| 45 | NO_OVERFLOW(a); |
| 46 | NO_OVERFLOW(b); |
| 47 | OVERFLOW(s); |
| 48 | OVERFLOW(c); |
| 49 | OVERFLOW(d); |
| 50 | } |
| 51 | |
| 52 | // -8 bytes for "int a", aligned by 8 |
| 53 | // -2 to make "int c" a partial fit |
| 54 | void f_many2(int a, S<800 - 8 - 2> s, int c, double d) { |
| 55 | NO_OVERFLOW(a); |
| 56 | NO_OVERFLOW(s); |
| 57 | OVERFLOW(c); |
| 58 | OVERFLOW(d); |
| 59 | } |
| 60 | |
| 61 | int main(void) { |
| 62 | S<100> s100; |
| 63 | S<800> s800; |
| 64 | S<801> s801; |
| 65 | S<1000> s1000; |
| 66 | f100(s100); |
| 67 | f800(s800); |
| 68 | f801(s801); |
| 69 | f1000(s1000); |
| 70 | |
| 71 | int i; |
| 72 | double d; |
| 73 | f_many(i, d, s800, i, d); |
| 74 | |
| 75 | S<800 - 8 - 2> s788; |
| 76 | f_many2(i, s788, i, d); |
| 77 | return 0; |
| 78 | } |