From 1498a699f89f7b5aebdc4629c645c3702ee04f92 Mon Sep 17 00:00:00 2001
From: Andrei Karas <akaras@inbox.ru>
Date: Wed, 24 Jun 2015 01:13:26 +0300
Subject: Add A_NONNULL attribute to all parameters with class Graphics.

---
 src/gui/widgets/radiobutton.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/gui/widgets/radiobutton.h')

diff --git a/src/gui/widgets/radiobutton.h b/src/gui/widgets/radiobutton.h
index f1e4748e1..50b000f31 100644
--- a/src/gui/widgets/radiobutton.h
+++ b/src/gui/widgets/radiobutton.h
@@ -112,9 +112,9 @@ class RadioButton final : public Widget,
          * Implementation of the draw methods.
          * Thus, avoiding the rhomb around the radio button.
          */
-        void draw(Graphics* graphics) override final;
+        void draw(Graphics* graphics) override final A_NONNULL(2);
 
-        void safeDraw(Graphics* graphics) override final;
+        void safeDraw(Graphics* graphics) override final A_NONNULL(2);
 
         /**
          * Called when the mouse enteres the widget area.
-- 
cgit v1.2.3-60-g2f50