1*d21b3d34SFangrui Song // RUN: %clangxx_msan -std=c++11 -O0 %s -o %t && %run %t
2*d21b3d34SFangrui Song 
3*d21b3d34SFangrui Song #include <sanitizer/msan_interface.h>
4*d21b3d34SFangrui Song #include <stdio.h>
5*d21b3d34SFangrui Song #include <string.h>
6*d21b3d34SFangrui Song 
main(void)7*d21b3d34SFangrui Song int main(void) {
8*d21b3d34SFangrui Song   unsigned char s[L_ctermid + 1];
9*d21b3d34SFangrui Song   char *res = ctermid((char *)s);
10*d21b3d34SFangrui Song   if (res)
11*d21b3d34SFangrui Song     printf("%zd\n", strlen(res));
12*d21b3d34SFangrui Song   return 0;
13*d21b3d34SFangrui Song }
14