The debugger shows you the signal that stopped the thread.
(idb) run
Thread received signal SEGV
stopped at [void buggy(char*, char*):13 0x080487b8]
13 output[k] = input[k];
(idb) run
Starting program: /home/user/examples/x_segv
Program received signal SIGSEGV
buggy (input=0xbfffbf37 "/home/user/examples/x_segv", output=0x0) at src/x_segv.cxx:13
13 output[k] = input[k];