From 0443fbb06387138fc88be80104bef102246fdd25 Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Mon, 31 May 2021 10:32:48 -0700
Subject: Added warning flag for null derefs

---
 match.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'match.c')

diff --git a/match.c b/match.c
index 19cb14d..25a08a7 100644
--- a/match.c
+++ b/match.c
@@ -52,9 +52,10 @@ static match_t *match(def_t *defs, file_t *f, const char *str, pat_t *pat, bool
 // If the given pattern is a reference, look it up and return the referenced
 // pattern. This is used for an optimization to avoid repeated lookups.
 //
+__attribute__((nonnull, returns_nonnull))
 static inline pat_t *deref(def_t *defs, pat_t *pat)
 {
-    if (pat && pat->type == BP_REF) {
+    if (pat->type == BP_REF) {
         def_t *def = lookup(defs, pat->args.ref.len, pat->args.ref.name);
         if (def) pat = def->pat;
     }
-- 
cgit v1.2.3