diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2020-09-23 22:37:28 -0700 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2020-09-23 22:37:28 -0700 |
| commit | 938ff73730b49488e06677fed8c2980638cbeeca (patch) | |
| tree | f88eabbb93aabfbb8785b264d77477f3ac4c86a0 /compiler.h | |
| parent | 452c7df023181954d48c5338ba8cb10dbeae1a94 (diff) | |
More rigorous compile-time checks via __attribute__s
Diffstat (limited to 'compiler.h')
| -rw-r--r-- | compiler.h | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -9,9 +9,13 @@ #include "types.h" #include "file_loader.h" +__attribute__((nonnull(2))) vm_op_t *bpeg_simplepattern(file_t *f, const char *str); +__attribute__((nonnull(2))) vm_op_t *bpeg_stringpattern(file_t *f, const char *str); +__attribute__((nonnull(1,2))) vm_op_t *bpeg_replacement(vm_op_t *pat, const char *replacement); +__attribute__((nonnull(2))) vm_op_t *bpeg_pattern(file_t *f, const char *str); #endif |