summaryrefslogtreecommitdiff
path: root/man/localtime.xml
diff options
context:
space:
mode:
authorDavid Herrmann <dh.herrmann@gmail.com>2014-09-23 13:40:18 +0200
committerDavid Herrmann <dh.herrmann@gmail.com>2014-09-23 20:05:45 +0200
commitc5e6bfc6bc46dd8bc187e035929d6a49cd23ec09 (patch)
tree9233426b156db10e6c9abb6a00129fa366a4a4b2 /man/localtime.xml
parentb4170aed36e667e52ce4a353bda1964e3872ab34 (diff)
terminal: verify grdev tiles are correctly linked
We used to set "pipe->tile = tile" inside of the leaf allocation. We no longer do that. Verify that "out" is non-NULL, otherwise we'd leak memory. This is currently always given, but make sure to add an assert(), so coverity does not complain.
Diffstat (limited to 'man/localtime.xml')
0 files changed, 0 insertions, 0 deletions