Merge pull request #5953 from edolstra/fix-realise-path-errors

Fix exception handling around realisePath()

src/libexpr/primops.cc

@@ -102,10 +102,19 @@ static Path realisePath(EvalState & state, const Pos & pos, Value & v, const Rea
 {
     PathSet context;
 
-    Path path = flags.requireAbsolutePath
+    auto path = [&]()
+    {
+        try {
+            return flags.requireAbsolutePath
                 ? state.coerceToPath(pos, v, context)
                 : state.coerceToString(pos, v, context, false, false);
+        } catch (Error & e) {
+            e.addTrace(pos, "while realising the context of a path");
+            throw;
+        }
+    }();
 
+    try {
         StringMap rewrites = state.realiseContext(context);
 
         auto realPath = state.toRealPath(rewriteStrings(path, rewrites), context);
@@ -113,6 +122,10 @@ static Path realisePath(EvalState & state, const Pos & pos, Value & v, const Rea
         return flags.checkForPureEval
             ? state.checkSourcePath(realPath)
             : realPath;
+    } catch (Error & e) {
+        e.addTrace(pos, "while realising the context of path '%s'", path);
+        throw;
+    }
 }
 
 /* Add and attribute to the given attribute map from the output name to
@@ -150,18 +163,7 @@ static void mkOutputString(
    argument. */
 static void import(EvalState & state, const Pos & pos, Value & vPath, Value * vScope, Value & v)
 {
-    Path path;
+    auto path = realisePath(state, pos, vPath);
-    try {
-        path = realisePath(state, pos, vPath);
-    } catch (InvalidPathError & e) {
-        throw EvalError({
-            .msg = hintfmt("cannot import '%1%', since path '%2%' is not valid", path, e.path),
-            .errPos = pos
-        });
-    } catch (Error & e) {
-        e.addTrace(pos, "while importing '%s'", path);
-        throw;
-    }
 
     // FIXME
     auto isValidDerivationInStore = [&]() -> std::optional<StorePath> {
@@ -314,18 +316,7 @@ extern "C" typedef void (*ValueInitializer)(EvalState & state, Value & v);
 /* Load a ValueInitializer from a DSO and return whatever it initializes */
 void prim_importNative(EvalState & state, const Pos & pos, Value * * args, Value & v)
 {
-    Path path;
+    auto path = realisePath(state, pos, *args[0]);
-    try {
-        path = realisePath(state, pos, *args[0]);
-    } catch (InvalidPathError & e) {
-        throw EvalError({
-            .msg = hintfmt("cannot import '%1%', since path '%2%' is not valid", path, e.path),
-            .errPos = pos
-        });
-    } catch (Error & e) {
-        e.addTrace(pos, "while importing '%s'", path);
-        throw;
-    }
 
     string sym = state.forceStringNoCtx(*args[1], pos);
 
@@ -1379,22 +1370,12 @@ static RegisterPrimOp primop_storePath({
 
 static void prim_pathExists(EvalState & state, const Pos & pos, Value * * args, Value & v)
 {
-    Path path;
+    /* We don’t check the path right now, because we don’t want to
-    try {
+      throw if the path isn’t allowed, but just return false (and we
-        // We don’t check the path right now, because we don’t want to throw if
+      can’t just catch the exception here because we still want to
-        // the path isn’t allowed, but just return false
+      throw if something in the evaluation of `*args[0]` tries to
-        // (and we can’t just catch the exception here because we still want to
+      access an unauthorized path). */
-        // throw if something in the evaluation of `*args[0]` tries to access an
+    auto path = realisePath(state, pos, *args[0], { .checkForPureEval = false });
-        // unauthorized path)
-        path = realisePath(state, pos, *args[0], { .checkForPureEval = false });
-    } catch (InvalidPathError & e) {
-        throw EvalError({
-            .msg = hintfmt(
-                "cannot check the existence of '%1%', since path '%2%' is not valid",
-                path, e.path),
-            .errPos = pos
-        });
-    }
 
     try {
         v.mkBool(pathExists(state.checkSourcePath(path)));
@@ -1460,15 +1441,7 @@ static RegisterPrimOp primop_dirOf({
 /* Return the contents of a file as a string. */
 static void prim_readFile(EvalState & state, const Pos & pos, Value * * args, Value & v)
 {
-    Path path;
+    auto path = realisePath(state, pos, *args[0]);
-    try {
-        path = realisePath(state, pos, *args[0]);
-    } catch (InvalidPathError & e) {
-        throw EvalError({
-            .msg = hintfmt("cannot read '%1%', since path '%2%' is not valid", path, e.path),
-            .errPos = pos
-        });
-    }
     string s = readFile(path);
     if (s.find((char) 0) != string::npos)
         throw Error("the contents of the file '%1%' cannot be represented as a Nix string", path);
@@ -1512,16 +1485,7 @@ static void prim_findFile(EvalState & state, const Pos & pos, Value * * args, Va
             pos
         );
 
-        Path path;
+        auto path = realisePath(state, pos, *i->value, { .requireAbsolutePath = false });
-
-        try {
-            path = realisePath(state, pos, *i->value, { .requireAbsolutePath = false });
-        } catch (InvalidPathError & e) {
-            throw EvalError({
-                .msg = hintfmt("cannot find '%1%', since path '%2%' is not valid", path, e.path),
-                .errPos = pos
-            });
-        }
 
         searchPath.emplace_back(prefix, path);
     }
@@ -1548,12 +1512,7 @@ static void prim_hashFile(EvalState & state, const Pos & pos, Value * * args, Va
             .errPos = pos
         });
 
-    Path path;
+    auto path = realisePath(state, pos, *args[1]);
-    try {
-        path = realisePath(state, pos, *args[1]);
-    } catch (InvalidPathError & e) {
-        throw EvalError("cannot read '%s' since path '%s' is not valid, at %s", path, e.path, pos);
-    }
 
     v.mkString(hashFile(*ht, path).to_string(Base16, false));
 }
@@ -1572,15 +1531,7 @@ static RegisterPrimOp primop_hashFile({
 /* Read a directory (without . or ..) */
 static void prim_readDir(EvalState & state, const Pos & pos, Value * * args, Value & v)
 {
-    Path path;
+    auto path = realisePath(state, pos, *args[0]);
-    try {
-        path = realisePath(state, pos, *args[0]);
-    } catch (InvalidPathError & e) {
-        throw EvalError({
-            .msg = hintfmt("cannot read '%1%', since path '%2%' is not valid", path, e.path),
-            .errPos = pos
-        });
-    }
 
     DirEntries entries = readDirectory(path);