1*67e74705SXin Li // RUN: %clang_cc1 -fsyntax-only -verify %s 2*67e74705SXin Li // expected-no-diagnostics 3*67e74705SXin Li 4*67e74705SXin Li //PR9463 subfun(const char * text)5*67e74705SXin Liint subfun(const char *text) { 6*67e74705SXin Li const char *tmp = text; 7*67e74705SXin Li return 0; 8*67e74705SXin Li } 9*67e74705SXin Li fun(const char * text)10*67e74705SXin Livoid fun(const char* text) { 11*67e74705SXin Li int count = 0; 12*67e74705SXin Li bool check = true; 13*67e74705SXin Li 14*67e74705SXin Li if (check) 15*67e74705SXin Li { 16*67e74705SXin Li const char *end = text; 17*67e74705SXin Li 18*67e74705SXin Li if (check) 19*67e74705SXin Li { 20*67e74705SXin Li do 21*67e74705SXin Li { 22*67e74705SXin Li if (check) 23*67e74705SXin Li { 24*67e74705SXin Li count = subfun(end); 25*67e74705SXin Li goto end; 26*67e74705SXin Li } 27*67e74705SXin Li 28*67e74705SXin Li check = !check; 29*67e74705SXin Li } 30*67e74705SXin Li while (check); 31*67e74705SXin Li } 32*67e74705SXin Li // also works, after commenting following line of source code 33*67e74705SXin Li int e = subfun(end); 34*67e74705SXin Li } 35*67e74705SXin Li end: 36*67e74705SXin Li if (check) 37*67e74705SXin Li ++count; 38*67e74705SXin Li } 39*67e74705SXin Li 40*67e74705SXin Li const char *text = "some text"; 41*67e74705SXin Li main()42*67e74705SXin Liint main() { 43*67e74705SXin Li const char *ptr = text; 44*67e74705SXin Li 45*67e74705SXin Li fun(ptr); 46*67e74705SXin Li 47*67e74705SXin Li return 0; 48*67e74705SXin Li } 49