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