diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2021-01-18 09:15:25 -0800 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2021-01-18 09:15:25 -0800 |
| commit | 3ededef53d0704f8b89c55f60bef52a64b86d62c (patch) | |
| tree | 686fc67dcc174e4ae729408577c93a25fab2592b /files.h | |
| parent | 65141b240218df4c40196db63429b90b1cb698a9 (diff) | |
Static analysis part 1
Diffstat (limited to 'files.h')
| -rw-r--r-- | files.h | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -30,8 +30,6 @@ void destroy_file(file_t **f); __attribute__((pure, nonnull)) size_t get_line_number(file_t *f, const char *p); __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__((nonnull(1,2,3), format(printf,5,6))) void fprint_line(FILE *dest, file_t *f, const char *start, const char *end, const char *fmt, ...); |
