aboutsummaryrefslogtreecommitdiff
path: root/grammar.h
diff options
context:
space:
mode:
authorBruce Hill <bruce@bruce-hill.com>2021-01-12 22:22:38 -0800
committerBruce Hill <bruce@bruce-hill.com>2021-01-12 22:22:38 -0800
commit2d109f974b6a03a79db3dd8a5ffe5c2aff76659e (patch)
tree082415222af72e0ac17eac9260a5e5a1ce59221a /grammar.h
parent5811ff4554da3d980ff32a83efa35ea1a4512484 (diff)
Some general cleanup, adding comments, adding more __attribute__s where
applicable
Diffstat (limited to 'grammar.h')
-rw-r--r--grammar.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/grammar.h b/grammar.h
index fe7280e..a7eedc4 100644
--- a/grammar.h
+++ b/grammar.h
@@ -7,7 +7,7 @@
#include "file_loader.h"
#include "types.h"
-__attribute__((nonnull(2,3,4)))
+__attribute__((nonnull(2,3,4), returns_nonnull))
def_t *with_def(def_t *defs, file_t *f, const char *name, vm_op_t *op);
__attribute__((nonnull(2,3)))
def_t *with_backrefs(def_t *defs, file_t *f, match_t *m);