1*3b947cc8SVitaly Buka // RUN: %clangxx_msan -std=c++11 -O0 %s -o %t && %run %t
2*3b947cc8SVitaly Buka // RUN: %clangxx_msan -std=c++11 -fsanitize-memory-track-origins -O0 %s -o %t && %run %t
3*3b947cc8SVitaly Buka
4*3b947cc8SVitaly Buka #include <assert.h>
5*3b947cc8SVitaly Buka #include <stdio.h>
6*3b947cc8SVitaly Buka
7*3b947cc8SVitaly Buka #include <sanitizer/msan_interface.h>
8*3b947cc8SVitaly Buka
main(int argc,char * argv[])9*3b947cc8SVitaly Buka int main(int argc, char *argv[]) {
10*3b947cc8SVitaly Buka FILE *f = fopen(argv[0], "r");
11*3b947cc8SVitaly Buka assert(f);
12*3b947cc8SVitaly Buka char buf[50];
13*3b947cc8SVitaly Buka fread(buf, 1, 1, f);
14*3b947cc8SVitaly Buka fflush(f);
15*3b947cc8SVitaly Buka
16*3b947cc8SVitaly Buka assert(f->_IO_read_end > f->_IO_read_base);
17*3b947cc8SVitaly Buka __msan_check_mem_is_initialized(f->_IO_read_end, f->_IO_read_end - f->_IO_read_base);
18*3b947cc8SVitaly Buka
19*3b947cc8SVitaly Buka char tmp_file[1000];
20*3b947cc8SVitaly Buka sprintf(tmp_file, "%s.write.tmp", argv[0]);
21*3b947cc8SVitaly Buka
22*3b947cc8SVitaly Buka f = fopen(tmp_file, "w+");
23*3b947cc8SVitaly Buka assert(f);
24*3b947cc8SVitaly Buka fwrite(buf, 1, 1, f);
25*3b947cc8SVitaly Buka fflush(f);
26*3b947cc8SVitaly Buka
27*3b947cc8SVitaly Buka assert(f->_IO_write_end > f->_IO_write_base);
28*3b947cc8SVitaly Buka __msan_check_mem_is_initialized(f->_IO_write_end, f->_IO_write_end - f->_IO_write_base);
29*3b947cc8SVitaly Buka }
30