| // RUN: %clangxx_msan -O0 -g %s -o %t && %run %t |
| // RUN: %clangxx_msan -O0 -g -DPOSITIVE %s -o %t && not %run %t 2>&1 | FileCheck %s |
| #include <sanitizer/msan_interface.h> |
| static void *obstack_chunk_alloc(size_t sz) { |
| static void obstack_chunk_free(void *p) { |
| for (size_t sz = 16; sz < 0xFFFF; sz *= 2) { |
| void *p = obstack_alloc(&obs, sz); |
| obstack_grow(&obs, &data, sizeof(data)); |
| obstack_grow(&obs, &data, sizeof(data)); |
| obstack_int_grow(&obs, 13); |
| p = obstack_finish(&obs); |
| __msan_check_mem_is_initialized(p, sizeof(data)); |
| __msan_check_mem_is_initialized(p, sizeof(data) + 1); |
| // CHECK: WARNING: MemorySanitizer: use-of-uninitialized-value |
| // CHECK: #0 0x{{.*}} in main{{.*}}obstack.cpp:[[@LINE-3]] |