WINGs: do not crash on NULL title in WMSetWindowTitle (Coverity #50046)
commitc86de122f91cff5df6ac35cdb12d24e5f1fb37a9
authorChristophe CURIS <christophe.curis@free.fr>
Sun, 18 May 2014 19:31:40 +0000 (18 21:31 +0200)
committerCarlos R. Mafra <crmafra@gmail.com>
Sun, 18 May 2014 22:01:43 +0000 (18 23:01 +0100)
tree408e9b58540215040288e0b8c973bc5cc776d9f6
parent24e223dc27ab704e35dc275f568e9035069b81c2
WINGs: do not crash on NULL title in WMSetWindowTitle (Coverity #50046)

As pointed by Coverity, despite apparent checks the function would fail if
trying to set a NULL title. Instead of trying to do over-complicated things
we just ignore (with a warning if NDEBUG is not set) the case. If user
wants an empty title, the correct way is to provide "" as we're not able to
remove a title.

Signed-off-by: Christophe CURIS <christophe.curis@free.fr>
WINGs/wwindow.c