From 2d109f974b6a03a79db3dd8a5ffe5c2aff76659e Mon Sep 17 00:00:00 2001 From: Bruce Hill Date: Tue, 12 Jan 2021 22:22:38 -0800 Subject: Some general cleanup, adding comments, adding more __attribute__s where applicable --- file_loader.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'file_loader.h') diff --git a/file_loader.h b/file_loader.h index b4e7938..3b0f15b 100644 --- a/file_loader.h +++ b/file_loader.h @@ -14,6 +14,7 @@ typedef struct { } file_t; file_t *load_file(const char *filename); +__attribute__((nonnull(2), returns_nonnull)) file_t *spoof_file(const char *filename, char *text); __attribute__((nonnull)) void intern_file(file_t *f); @@ -25,7 +26,7 @@ __attribute__((pure, nonnull)) size_t get_char_number(file_t *f, const char *p); __attribute__((pure, nonnull)) const char *get_line(file_t *f, size_t line_number); -__attribute__((format (printf, 5, 6))) +__attribute__((nonnull(1,2,3,4), format(printf, 5, 6))) void fprint_line(FILE *dest, file_t *f, const char *start, const char *end, const char *fmt, ...); #endif -- cgit v1.2.3