Change tui_alloc_source_buffer return type to void
authorTom Tromey <tom@tromey.com>
Sun, 16 Jun 2019 23:49:41 +0000 (17:49 -0600)
committerTom Tromey <tom@tromey.com>
Tue, 25 Jun 2019 13:48:39 +0000 (07:48 -0600)
commit29d2c474f5a397017455da82e6dbc72629186359
tree9fb0ebae2a874c669d628e616d08ff8fe9e19d22
parent152f3f4b3342ae16df5ae0640896b8cea008c893
Change tui_alloc_source_buffer return type to void

tui_alloc_source_buffer can't actually fail, so change its return type
to void and update the callers.

gdb/ChangeLog
2019-06-25  Tom Tromey  <tom@tromey.com>

* tui/tui-winsource.h (tui_alloc_source_buffer): Change return
type to void.
* tui/tui-winsource.c (tui_alloc_source_buffer): Change return
type to void.
* tui/tui-source.c (tui_set_source_content): Update.
* tui/tui-disasm.c (tui_set_disassem_content): Update.
gdb/ChangeLog
gdb/tui/tui-disasm.c
gdb/tui/tui-source.c
gdb/tui/tui-winsource.c
gdb/tui/tui-winsource.h