From ac9d15619f52a65307d839bd046c0ad6262b2a72 Mon Sep 17 00:00:00 2001
From: Yaelle Vincont <yaelle.vincont@cea.fr>
Date: Fri, 5 Jul 2019 18:20:14 +0200
Subject: [PATCH] [filepath] add is_unknown function

---
 src/libraries/utils/filepath.ml  | 1 +
 src/libraries/utils/filepath.mli | 3 +++
 2 files changed, 4 insertions(+)

diff --git a/src/libraries/utils/filepath.ml b/src/libraries/utils/filepath.ml
index 2d78d598303..a9719dc39c3 100644
--- a/src/libraries/utils/filepath.ml
+++ b/src/libraries/utils/filepath.ml
@@ -224,6 +224,7 @@ module Normalized = struct
   let pretty fmt p = Format.fprintf fmt "%s" (pretty p)
   let pp_abs fmt p = Format.fprintf fmt "%s" p
   let unknown = normalize ""
+  let is_unknown fp = equal fp unknown
 end
 
 type position =
diff --git a/src/libraries/utils/filepath.mli b/src/libraries/utils/filepath.mli
index 5825faaf396..2afff02a14d 100644
--- a/src/libraries/utils/filepath.mli
+++ b/src/libraries/utils/filepath.mli
@@ -120,6 +120,9 @@ module Normalized: sig
 
   (** Unknown filepath, used as 'dummy' for [Datatype.Filepath]. *)
   val unknown: t
+
+  (** @since Frama-C+dev *)
+  val is_unknown: t -> bool
 end
 
 (** Describes a position in a source file.
-- 
GitLab