1*d21b3d34SFangrui Song // RUN: %clangxx_msan -O0 %s -o %t && %run %t
2*d21b3d34SFangrui Song 
3*d21b3d34SFangrui Song #include <stdlib.h>
4*d21b3d34SFangrui Song #include <string.h>
5*d21b3d34SFangrui Song #include <time.h>
6*d21b3d34SFangrui Song 
7*d21b3d34SFangrui Song extern char *tzname[2];
8*d21b3d34SFangrui Song 
main(void)9*d21b3d34SFangrui Song int main(void) {
10*d21b3d34SFangrui Song   if (!strlen(tzname[0]) || !strlen(tzname[1]))
11*d21b3d34SFangrui Song     exit(1);
12*d21b3d34SFangrui Song   tzset();
13*d21b3d34SFangrui Song   if (!strlen(tzname[0]) || !strlen(tzname[1]))
14*d21b3d34SFangrui Song     exit(1);
15*d21b3d34SFangrui Song   return 0;
16*d21b3d34SFangrui Song }
17