char型の配列を(int*)のポインタを使用して…
char ポインタ(char*)を使わないのは何故なんだろうとは思いますが…
それはさておき、gdb で実行状況を調べてみると分かり易くなるかもしれません。
$ gcc -Wall -g ai.c -o ai
$ gdb ai
(gdb) break 12
Breakpoint 1 at 0x5b5: file ai.c, line 12.
(gdb) run
Breakpoint 1, main () at ai.c:12
12 *pi = 65;
(gdb) p/c a
$3 = {1 '\001', 0 '\000', 0 '\000', 0 '\000', 100 'd', ...
(gdb) p/c b
$4 = {65 'A', 73 'I', 0 '\000'}
(gdb) p/x &a
$5 = 0xbffff3a0
(gdb) p/x pi
$6 = 0xbffff3a0
(gdb) p sizeof(int)
$7 = 4
(gdb) p/x (pi + 1)
$8 = 0xbffff3a4 ## +4 byte
(gdb) p/x (pi + 2)
$9 = 0xbffff3a8 ## +8 byte
上記の様に、pi ポインタの位置は int のサイズ(この場合 4 byte)毎に移動して行きます。
最終的に char 型配列 a の中身は以下の様になります。
(gdb) p/c a
$1 = {65 'A', 0 '\000', 0 '\000', 0 '\000',
73 'I', 0 '\000', 0 '\000', 0 '\000',
0 '\000', 0 '\000', 0 '\000', 0 '\000'}
(gdb) p a
$10 = "A\000\000\000I\000\000\000\000\000\000"
(gdb) p puts(a)
A
ちなみに、char* ではどうなるのかと言うと…
(gdb) set $cptr = malloc(sizeof(char *))
(gdb) set $cptr = a
(gdb) p/x $cptr
$11 = 0xbffff3a0
(gdb) p sizeof(char)
$12 = 1
(gdb) p/x ($cptr + 1)
$13 = 0xbffff3a1
(gdb) p/x ($cptr + 2)
$14 = 0xbffff3a2
(gdb) set *($cptr) = 65
(gdb) set *($cptr+1) = 73
(gdb) set *($cptr+2) = '\0'
(gdb) p puts(a)
AI
$15 = 3