
void main()
main: scope:[main]  from
  [0] phi()
  [1] call str_cpy
  to:main::@1
main::@1: scope:[main]  from main
  [2] phi()
  [3] call str_cpy
  to:main::@return
main::@return: scope:[main]  from main::@1
  [4] return 
  to:@return

void str_cpy(char *dst , const char *src)
str_cpy: scope:[str_cpy]  from main main::@1
  [5] str_cpy::dst#4 = phi( main/dst1, main::@1/dst2 )
  [5] str_cpy::src#4 = phi( main/main::src, main::@1/main::src1 )
  to:str_cpy::@1
str_cpy::@1: scope:[str_cpy]  from str_cpy str_cpy::@1
  [6] str_cpy::dst#3 = phi( str_cpy/str_cpy::dst#4, str_cpy::@1/str_cpy::dst#0 )
  [6] str_cpy::src#3 = phi( str_cpy/str_cpy::src#4, str_cpy::@1/str_cpy::src#0 )
  [7] *str_cpy::dst#3 = *str_cpy::src#3
  [8] str_cpy::$0 = *str_cpy::dst#3
  [9] str_cpy::dst#0 = ++ str_cpy::dst#3
  [10] str_cpy::src#0 = ++ str_cpy::src#3
  [11] if(0!=str_cpy::$0) goto str_cpy::@1
  to:str_cpy::@return
str_cpy::@return: scope:[str_cpy]  from str_cpy::@1
  [12] return 
  to:@return
