WPrefs: fix NULL pointer handling when getting the Modifiers (Coverity #50200)
commit266d9a2945c11aa6c79d558a0b05898a325c8568
authorChristophe CURIS <christophe.curis@free.fr>
Sat, 31 May 2014 17:58:48 +0000 (31 19:58 +0200)
committerCarlos R. Mafra <crmafra@gmail.com>
Sun, 1 Jun 2014 19:35:07 +0000 (1 20:35 +0100)
tree79184d2b4eeb7fc85850efd4f5354e8205156109
parent8eb6c82231373c5c507019210bb43a30544e9854
WPrefs: fix NULL pointer handling when getting the Modifiers (Coverity #50200)

As pointed by Coverity, the allocated value returned by XGetModifierMapping
is assumed to be non-NULL everywhere except when releasing it.
Removed this last check (useless) and added a little check at the beginning
to avoid an (improbable) crash.

Signed-off-by: Christophe CURIS <christophe.curis@free.fr>
WPrefs.app/xmodifier.c