From a3ff56eecaf532687336154f703673a10a6282bd Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Tue, 25 Aug 2020 14:41:39 +0200
Subject: [PATCH] [Kernel] improve error message for invalid JCDB file
---
src/kernel_services/ast_queries/json_compilation_database.ml | 3 +++
1 file changed, 3 insertions(+)
diff --git a/src/kernel_services/ast_queries/json_compilation_database.ml b/src/kernel_services/ast_queries/json_compilation_database.ml
index 5e0124ac2b1..875c9431f78 100644
--- a/src/kernel_services/ast_queries/json_compilation_database.ml
+++ b/src/kernel_services/ast_queries/json_compilation_database.ml
@@ -242,6 +242,9 @@ let parse_entry jcdb_dir r =
let compute_flags_from_file () =
let database = Kernel.JsonCompilationDatabase.get () in
let jcdb_dir, jcdb_path =
+ if not (Sys.file_exists database) then
+ Kernel.abort "invalid path for option %s: %s"
+ Kernel.JsonCompilationDatabase.option_name database;
if Sys.is_directory database then
database, Filename.concat database "compile_commands.json"
else Filename.dirname database, database
--
GitLab