aboutsummaryrefslogtreecommitdiff
path: root/types.h
diff options
context:
space:
mode:
authorBruce Hill <bruce@bruce-hill.com>2021-01-18 09:52:35 -0800
committerBruce Hill <bruce@bruce-hill.com>2021-01-18 09:52:35 -0800
commit7f0c3804dce7591332bbf6bd0922597ea675df44 (patch)
treef165413a246604b61ba6567e626ed54a1d470b04 /types.h
parent2622d44dc4247766089c2e455d798070b3800b39 (diff)
Checking more return values (per static analyzer)
Diffstat (limited to 'types.h')
-rw-r--r--types.h4
1 files changed, 2 insertions, 2 deletions
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;