1*d21b3d34SFangrui Song // RUN: %clangxx_msan -O0 -g %s -o %t && %run %t
2*d21b3d34SFangrui Song // RUN: %clangxx_msan -O0 -g -DPOSITIVE %s -o %t && not %run %t 2>&1 | FileCheck %s
3*d21b3d34SFangrui Song
4*d21b3d34SFangrui Song #include <obstack.h>
5*d21b3d34SFangrui Song #include <sanitizer/msan_interface.h>
6*d21b3d34SFangrui Song #include <stdlib.h>
7*d21b3d34SFangrui Song
obstack_chunk_alloc(size_t sz)8*d21b3d34SFangrui Song static void *obstack_chunk_alloc(size_t sz) {
9*d21b3d34SFangrui Song return malloc(sz);
10*d21b3d34SFangrui Song }
11*d21b3d34SFangrui Song
obstack_chunk_free(void * p)12*d21b3d34SFangrui Song static void obstack_chunk_free(void *p) {
13*d21b3d34SFangrui Song free(p);
14*d21b3d34SFangrui Song }
15*d21b3d34SFangrui Song
main(void)16*d21b3d34SFangrui Song int main(void) {
17*d21b3d34SFangrui Song obstack obs;
18*d21b3d34SFangrui Song obstack_init(&obs);
19*d21b3d34SFangrui Song for (size_t sz = 16; sz < 0xFFFF; sz *= 2) {
20*d21b3d34SFangrui Song void *p = obstack_alloc(&obs, sz);
21*d21b3d34SFangrui Song int data[10] = {0};
22*d21b3d34SFangrui Song obstack_grow(&obs, &data, sizeof(data));
23*d21b3d34SFangrui Song obstack_blank(&obs, sz);
24*d21b3d34SFangrui Song obstack_grow(&obs, &data, sizeof(data));
25*d21b3d34SFangrui Song obstack_int_grow(&obs, 13);
26*d21b3d34SFangrui Song p = obstack_finish(&obs);
27*d21b3d34SFangrui Song #ifdef POSITIVE
28*d21b3d34SFangrui Song if (sz == 4096) {
29*d21b3d34SFangrui Song __msan_check_mem_is_initialized(p, sizeof(data));
30*d21b3d34SFangrui Song __msan_check_mem_is_initialized(p, sizeof(data) + 1);
31*d21b3d34SFangrui Song }
32*d21b3d34SFangrui Song // CHECK: WARNING: MemorySanitizer: use-of-uninitialized-value
33*d21b3d34SFangrui Song // CHECK: #0 0x{{.*}} in main{{.*}}obstack.cpp:[[@LINE-3]]
34*d21b3d34SFangrui Song #endif
35*d21b3d34SFangrui Song }
36*d21b3d34SFangrui Song obstack_free(&obs, 0);
37*d21b3d34SFangrui Song }
38