From 50ff8efaadeaa5803ec52142409d2f830f6f6b7a Mon Sep 17 00:00:00 2001
From: Tyge Løvset <tylo@norceresearch.no>
Date: Tue, 4 Jan 2022 07:40:05 +0100
Subject: checkauto.ll: Accept multiple input c-file arguments.

---
 checkauto.ll | 26 +++++++++++++++++---------
 1 file changed, 17 insertions(+), 9 deletions(-)

diff --git a/checkauto.ll b/checkauto.ll
index 5aeb2d07..1a108076 100644
--- a/checkauto.ll
+++ b/checkauto.ll
@@ -109,18 +109,26 @@ c_breakauto     { if (block_type != AUTO) {
 int main(int argc, char **argv)
 {
     if (argc == 1 || strcmp(argv[1], "--help") == 0) {
-        printf("usage: %s [--help] {C-file | -}\n", argv[0]);
+        printf("usage: %s [--help] {C-file... | -}\n", argv[0]);
         return 0;
     }
-    if (strcmp(argv[1], "-") == 0) {
-        fname = "<stdin>";
-        yyin = stdin;
-    } else {
-        fname = argv[1];
-        yyin = fopen(fname, "r");
-    }
 
-    yylex();
+    for (int i=1; i<argc; ++i) {
+        if (strcmp(argv[i], "-") == 0) {
+            fname = "<stdin>";
+            yyin = stdin;
+        } else {
+            fname = argv[i];
+            yyin = fopen(fname, "r");
+        }
+        yylineno = 1;
+        braces_lev = 0, block_lev = 0;
+        block_type = 0, state = NORMAL;
+
+        yylex();
+
+        fclose(yyin);
+    }
     if (errors + warnings)
         printf("%d error%s, %d warning%s.\n", errors, errors == 1? "":"s",
                                               warnings, warnings == 1? "":"s");
-- 
cgit v1.2.3