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.c | 1 + 1 file changed, 1 insertion(+) (limited to 'file_loader.c') diff --git a/file_loader.c b/file_loader.c index 1452907..a7ce56d 100644 --- a/file_loader.c +++ b/file_loader.c @@ -19,6 +19,7 @@ // In the file object, populate the `lines` array with pointers to the // beginning of each line. // +__attribute__((nonnull)) static void populate_lines(file_t *f) { // Calculate line numbers: -- cgit v1.2.3