Edje dbg_info: Mark root as not null (will never be).
authorTom Hacohen <tom@stosb.com>
Tue, 12 Aug 2014 08:35:57 +0000 (09:35 +0100)
committerTom Hacohen <tom@stosb.com>
Tue, 12 Aug 2014 08:36:37 +0000 (09:36 +0100)
src/lib/edje/edje_smart.c

index 816d2d5..a6887ff 100644 (file)
@@ -42,7 +42,7 @@ _edje_object_eo_base_destructor(Eo *obj, Edje *class_data EINA_UNUSED)
 }
 
 EOLIAN static void
-_edje_object_eo_base_dbg_info_get(Eo *eo_obj, Edje *_pd EINA_UNUSED, Eo_Dbg_Info *root)
+_edje_object_eo_base_dbg_info_get(Eo *eo_obj, Edje *_pd EINA_UNUSED, Eo_Dbg_Info *root) EINA_ARG_NONNULL(3)
 {
    eo_do_super(eo_obj, MY_CLASS, eo_dbg_info_get(root));
    Eo_Dbg_Info *group = EO_DBG_INFO_LIST_APPEND(root, MY_CLASS_NAME);