From 7f0c3804dce7591332bbf6bd0922597ea675df44 Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Mon, 18 Jan 2021 09:52:35 -0800
Subject: Checking more return values (per static analyzer)

---
 types.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'types.h')

diff --git a/types.h b/types.h
index e10c763..037e805 100644
--- a/types.h
+++ b/types.h
@@ -106,7 +106,7 @@ typedef struct def_s {
     size_t namelen;
     const char *name;
     pat_t *pat;
-    struct def_s *next;
+    /*@only@*/ struct def_s *next;
 } def_t;
 
 //
@@ -114,7 +114,7 @@ typedef struct def_s {
 // file is freed.
 //
 typedef struct allocated_pat_s {
-    struct allocated_pat_s *next;
+    /*@only@*/ struct allocated_pat_s *next;
     pat_t pat;
 } allocated_pat_t;
 
-- 
cgit v1.2.3