blob: 0a81d8704f1e8a2f8c56eb8c6ce71acbe6af44be (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
// 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 <obstack.h>
#include <sanitizer/msan_interface.h>
#include <stdlib.h>
static void *obstack_chunk_alloc(size_t sz) {
return malloc(sz);
}
static void obstack_chunk_free(void *p) {
free(p);
}
int main(void) {
obstack obs;
obstack_init(&obs);
for (size_t sz = 16; sz < 0xFFFF; sz *= 2) {
void *p = obstack_alloc(&obs, sz);
int data[10] = {0};
obstack_grow(&obs, &data, sizeof(data));
obstack_blank(&obs, sz);
obstack_grow(&obs, &data, sizeof(data));
obstack_int_grow(&obs, 13);
p = obstack_finish(&obs);
#ifdef POSITIVE
if (sz == 4096) {
__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.cc:[[@LINE-3]]
#endif
}
obstack_free(&obs, 0);
}
|
