From 460d7531d77019dc4ad799948e02651c9625ee2d Mon Sep 17 00:00:00 2001
From: Andrei Karas <akaras@inbox.ru>
Date: Thu, 17 Mar 2016 14:21:23 +0300
Subject: Add some missing nonnull attributes.

---
 src/gui/widgets/guitable.h | 4 ++--
 src/gui/widgets/slider.h   | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/gui/widgets/guitable.h b/src/gui/widgets/guitable.h
index 35000ccff..27d54bdd2 100644
--- a/src/gui/widgets/guitable.h
+++ b/src/gui/widgets/guitable.h
@@ -54,7 +54,7 @@ class GuiTable final : public Widget,
     public:
         GuiTable(const Widget2 *const widget,
                  TableModel *const initial_model,
-                 const bool opacity = true);
+                 const bool opacity = true) A_NONNULL(3);
 
         A_DELETE_COPY(GuiTable)
 
@@ -68,7 +68,7 @@ class GuiTable final : public Widget,
          * installed within the widget have been triggered. To be notified
          * after such an update, add an action listener to the table instead.
          */
-        void setModel(TableModel *const m);
+        void setModel(TableModel *const m) A_NONNULL(2);
 
         /**
          * Retrieves the active table model
diff --git a/src/gui/widgets/slider.h b/src/gui/widgets/slider.h
index db3dc346c..b6d065634 100644
--- a/src/gui/widgets/slider.h
+++ b/src/gui/widgets/slider.h
@@ -345,7 +345,7 @@ class Slider final : public Widget,
          */
         Orientation mOrientation;
 
-        ImageCollection *mVertexes;
+        ImageCollection *mVertexes A_NONNULLPOINTER;
 
         /**
          * Holds the length of the marker.
-- 
cgit v1.2.3-70-g09d2