Encode the FILENAME argument of 'file-locked-p'

* src/filelock.c (Ffile_locked_p): Encode the file name,
before passing it to system APIs.  (Bug#35171)

diff --git a/src/filelock.c b/src/filelock.c
index 5cec1996201ef01b955a492a6e3a652f831e2d4b..baf87b7f635481f506b81235f055b1a00eb9b407 100644 (file)
--- a/src/filelock.c
+++ b/src/filelock.c
@@ -822,6 +822,7 @@ t if it is locked by you, else a string saying which user has locked it.  */)
   USE_SAFE_ALLOCA;
 
   filename = Fexpand_file_name (filename, Qnil);
+  filename = ENCODE_FILE (filename);
 
   MAKE_LOCK_NAME (lfname, filename);