From c4a249a736d40ec54794827ef95804c225d0e38f Mon Sep 17 00:00:00 2001 From: Bram Moolenaar Date: Mon, 30 Jan 2017 22:56:48 +0100 Subject: [PATCH] patch 8.0.0273: dead code detected by Coverity Problem: Dead code detected by Coverity when not using gnome. Solution: Rearrange the #ifdefs to avoid dead code. --- src/gui_gtk_x11.c | 13 ++++++++++++- src/version.c | 2 ++ 2 files changed, 14 insertions(+), 1 deletion(-) diff --git a/src/gui_gtk_x11.c b/src/gui_gtk_x11.c index 71bcd6a3a..8781e2c34 100644 --- a/src/gui_gtk_x11.c +++ b/src/gui_gtk_x11.c @@ -3171,9 +3171,9 @@ delete_event_cb(GtkWidget *widget UNUSED, static int get_item_dimensions(GtkWidget *widget, GtkOrientation orientation) { +# ifdef FEAT_GUI_GNOME GtkOrientation item_orientation = GTK_ORIENTATION_HORIZONTAL; -# ifdef FEAT_GUI_GNOME if (using_gnome && widget != NULL) { GtkWidget *parent; @@ -3192,7 +3192,10 @@ get_item_dimensions(GtkWidget *widget, GtkOrientation orientation) item_orientation = bonobo_dock_item_get_orientation(dockitem); } } +# else +# define item_orientation GTK_ORIENTATION_HORIZONTAL # endif + # if GTK_CHECK_VERSION(3,0,0) if (widget != NULL && item_orientation == orientation @@ -3210,15 +3213,23 @@ get_item_dimensions(GtkWidget *widget, GtkOrientation orientation) gtk_widget_get_allocation(widget, &allocation); +# ifdef FEAT_GUI_GNOME if (orientation == GTK_ORIENTATION_HORIZONTAL) return allocation.height; else return allocation.width; +# else + return allocation.height; +#endif # else +# ifdef FEAT_GUI_GNOME if (orientation == GTK_ORIENTATION_HORIZONTAL) return widget->allocation.height; else return widget->allocation.width; +# else + return widget->allocation.height; +# endif # endif } return 0; diff --git a/src/version.c b/src/version.c index cfaa0b843..a60de4c16 100644 --- a/src/version.c +++ b/src/version.c @@ -764,6 +764,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ +/**/ + 273, /**/ 272, /**/ -- 2.50.1