diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2021-01-12 22:22:38 -0800 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2021-01-12 22:22:38 -0800 |
| commit | 2d109f974b6a03a79db3dd8a5ffe5c2aff76659e (patch) | |
| tree | 082415222af72e0ac17eac9260a5e5a1ce59221a /file_loader.c | |
| parent | 5811ff4554da3d980ff32a83efa35ea1a4512484 (diff) | |
Some general cleanup, adding comments, adding more __attribute__s where
applicable
Diffstat (limited to 'file_loader.c')
| -rw-r--r-- | file_loader.c | 1 |
1 files changed, 1 insertions, 0 deletions
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: |