Pirama Arumuga Nainar | 799172d | 2016-03-03 15:50:30 -0800 | [diff] [blame^] | 1 | // RUN: %clangxx_msan %s -O0 -fsanitize=memory -fsanitize-memory-use-after-dtor -o %t && MSAN_OPTIONS=poison_in_dtor=1 %run %t |
| 2 | |
| 3 | // RUN: %clangxx_msan %s -O1 -fsanitize=memory -fsanitize-memory-use-after-dtor -o %t && MSAN_OPTIONS=poison_in_dtor=1 %run %t |
| 4 | |
| 5 | // RUN: %clangxx_msan %s -O2 -fsanitize=memory -fsanitize-memory-use-after-dtor -o %t && MSAN_OPTIONS=poison_in_dtor=1 %run %t |
| 6 | |
| 7 | #include <sanitizer/msan_interface.h> |
| 8 | #include <assert.h> |
| 9 | |
| 10 | // TODO: remove empty dtors when msan use-after-dtor poisons |
| 11 | // for trivial classes with undeclared dtors |
| 12 | |
| 13 | // 24 bytes total |
| 14 | struct Packed { |
| 15 | // Packed into 4 bytes |
| 16 | unsigned int a : 1; |
| 17 | unsigned int b : 1; |
| 18 | // Force alignment to next 4 bytes |
| 19 | unsigned int : 0; |
| 20 | unsigned int c : 1; |
| 21 | // Force alignment, 8 more bytes |
| 22 | double d = 5.0; |
| 23 | // 4 bytes |
| 24 | unsigned int e : 1; |
| 25 | ~Packed() {} |
| 26 | }; |
| 27 | |
| 28 | // 1 byte total |
| 29 | struct Empty { |
| 30 | unsigned int : 0; |
| 31 | ~Empty() {} |
| 32 | }; |
| 33 | |
| 34 | // 4 byte total |
| 35 | struct Simple { |
| 36 | unsigned int a : 1; |
| 37 | ~Simple() {} |
| 38 | }; |
| 39 | |
| 40 | struct Anon { |
| 41 | unsigned int a : 1; |
| 42 | unsigned int b : 2; |
| 43 | unsigned int : 0; |
| 44 | unsigned int c : 1; |
| 45 | ~Anon() {} |
| 46 | }; |
| 47 | |
| 48 | int main() { |
| 49 | Packed *p = new Packed(); |
| 50 | p->~Packed(); |
| 51 | for (int i = 0; i < 4; i++) |
| 52 | assert(__msan_test_shadow(((char*)p) + i, sizeof(char)) != -1); |
| 53 | assert(__msan_test_shadow(&p->d, sizeof(double)) != -1); |
| 54 | assert(__msan_test_shadow(((char*)(&p->d)) + sizeof(double), sizeof(char)) != |
| 55 | -1); |
| 56 | |
| 57 | Empty *e = new Empty(); |
| 58 | e->~Empty(); |
| 59 | assert(__msan_test_shadow(e, sizeof(*e)) != -1); |
| 60 | |
| 61 | Simple *s = new Simple(); |
| 62 | s->~Simple(); |
| 63 | assert(__msan_test_shadow(s, sizeof(*s)) != -1); |
| 64 | |
| 65 | Anon *a = new Anon(); |
| 66 | a->~Anon(); |
| 67 | assert(__msan_test_shadow(a, sizeof(*a)) != -1); |
| 68 | |
| 69 | return 0; |
| 70 | } |