diff options
author | Colomban Wendling <[email protected]> | 2023-11-15 15:32:56 +0100 |
---|---|---|
committer | Luke from DC <[email protected]> | 2023-11-21 20:19:58 +0000 |
commit | 6a3df1342b957f0293c7a9f05b3037dff3156487 (patch) | |
tree | b27ee0cef0b942e7360f7d677453c94c13063048 /icons/16x16 | |
parent | 17b87e321bfca409c31ce4b4e0e3326eeef92b88 (diff) | |
download | mate-panel-6a3df1342b957f0293c7a9f05b3037dff3156487.tar.bz2 mate-panel-6a3df1342b957f0293c7a9f05b3037dff3156487.tar.xz |
Remove a redundant NULL check
`info` cannot be NULL, and if it was it'd already have crashed above.
> mate-panel/panel.c:893:34: warning: Either the condition 'info!=((void*)0)' is redundant or there is possible null pointer dereference: info. [nullPointerRedundantCheck]
> parent = gtk_widget_get_parent (info->widget);
> ^
> mate-panel/panel.c:895:11: note: Assuming that condition 'info!=((void*)0)' is not redundant
> if (info != NULL &&
> ^
> mate-panel/panel.c:893:34: note: Null pointer dereference
> parent = gtk_widget_get_parent (info->widget);
> ^
Diffstat (limited to 'icons/16x16')
0 files changed, 0 insertions, 0 deletions