*
--- execution 001 ---
string[0]=|00000008|
string[1]=|00000023|
string[2]=|00000033|
string[3]=|00000071|
string[4]=|00000000|
string[5]=|00000000|
string[6]=|00000000|
string[7]=|00000000|
string[8]=|00000008|
string[9]=|00000023|
string 03[0]=|00000008|
string 03[1]=|00000023|
string 03[2]=|00000033|
string 03[3]=|00000071|
string 03[4]=|00000000|
string 03[5]=|00000000|
string 03[6]=|00000000|
string 03[7]=|00000000|
string 03[8]=|00000008|
string 03[9]=|00000023|
string 03[10]=|00000033|
string 03[11]=|00000071|
string 03[12]=|00000000|
string 03[13]=|00000000|
string 03[14]=|00000000|
string 03[15]=|00000000|
string 01[0]=|00000008|
string 01[1]=|00000023|
string 01[2]=|00000033|
string 01[3]=|00000071|
string 01[4]=|00000000|
string 01[5]=|00000000|
string 01[6]=|00000000|
string 01[7]=|00000000|
string 01[8]=|00000008|
string 01[9]=|00000023|
string 01[10]=|00000033|
string 01[11]=|00000071|
string 01[12]=|00000000|
string 01[13]=|00000000|
string 01[14]=|00000000|
string 01[15]=|00000000|
--- execution 001 ---
int vDisplayController_002::realloc_main () { char *string_001 = NULL; char *string_003 = NULL; int i; FILE *fp = NULL; printf("int main ( int argc, char** argv ) starts.\r\n"); fp = fopen ( (char*) "001-realloc_main-001.txt", "wb" ); // string_001 = (char*)char_string(10); for( i=0; i<10; i++ ) { fprintf(fp,"string[%d]=|%p|\r\n", i, *(string_001+i)); } string_003 = (char*)rechar_string(string_001, 16); for( i=0; i<16; i++ ) { fprintf(fp,"string 03[%d]=|%p|\r\n", i, *(string_003+i)); } for( i=0; i<16; i++ ) { fprintf(fp,"string 01[%d]=|%p|\r\n", i, *(string_001 + i)); } fclose(fp); printf("int main ( int argc, char** argv ) ends.\r\n"); return 0; } // char* vDisplayController_002::rechar_string (char* string_002, int num) // int vDisplayController_002::realloc_main () char* vDisplayController_002::rechar_string (char* string_002, int num) { printf("char* rechar_string (char* string_002, int num) starts.\r\n"); string_002 = (char*) realloc ( string_002, num ); if ( string_002 == NULL ) { printf("13: |%p|\r\n", string_002); exit(-1); } printf("char* rechar_string (char* string_002, int num) ends.\r\n"); return string_002; }