From d00477dffb2c62732b87a440c61706de5b480f48 Mon Sep 17 00:00:00 2001
From: Jake Leahy <jake@leahy.dev>
Date: Fri, 16 Dec 2022 05:22:45 +1100
Subject: [PATCH] Check file exists in `{.compile.}` pragma (#21105)

* Add test

* Check file exists before adding it into compilation

* Make error message look like other error messages

i.e. following the format `error msg: file`
---
 compiler/pragmas.nim                    | 7 +++++--
 tests/pragmas/tcompile_missing_file.nim | 5 +++++
 2 files changed, 10 insertions(+), 2 deletions(-)
 create mode 100644 tests/pragmas/tcompile_missing_file.nim

diff --git a/compiler/pragmas.nim b/compiler/pragmas.nim
index 993e6edce2..92e3d19220 100644
--- a/compiler/pragmas.nim
+++ b/compiler/pragmas.nim
@@ -513,8 +513,11 @@ proc processCompile(c: PContext, n: PNode) =
     var cf = Cfile(nimname: splitFile(src).name,
                    cname: src, obj: dest, flags: {CfileFlag.External},
                    customArgs: customArgs)
-    extccomp.addExternalFileToCompile(c.config, cf)
-    recordPragma(c, it, "compile", src.string, dest.string, customArgs)
+    if not fileExists(src):
+      localError(c.config, n.info, "cannot find: " & src.string)
+    else:
+      extccomp.addExternalFileToCompile(c.config, cf)
+      recordPragma(c, it, "compile", src.string, dest.string, customArgs)
 
   proc getStrLit(c: PContext, n: PNode; i: int): string =
     n[i] = c.semConstExpr(c, n[i])
diff --git a/tests/pragmas/tcompile_missing_file.nim b/tests/pragmas/tcompile_missing_file.nim
new file mode 100644
index 0000000000..fd90bd57d6
--- /dev/null
+++ b/tests/pragmas/tcompile_missing_file.nim
@@ -0,0 +1,5 @@
+discard """
+  joinable: false
+  errormsg: "cannot find: noexist.c"
+"""
+{.compile: "noexist.c".}