Merge branch 'feature/andre/add-wkey-project-saveload' into 'master'

[kernel] add wkey 'project' for save/load warnings

See merge request frama-c/frama-c!4723

src/libraries/project/project.ml

@@ -151,7 +151,7 @@ module States_operations = struct
   let unserialize ?selection dst loaded_states =
     let pp_err fmt n msg_sing msg_plural =
       if n > 0 then begin
-        warning ~once:true
+        warning ~once:true ~wkey
           fmt
           n
           (if n = 1 then "" else "s")

src/libraries/project/project_skeleton.ml

@@ -27,6 +27,7 @@
 module Output = struct
   include Cmdline.Kernel_log
   let dkey = register_category "project"
+  let wkey = register_warn_category "project"
 end
 
 (* ************************************************************************** *)

src/libraries/project/project_skeleton.mli

@@ -31,6 +31,7 @@
 module Output : sig
   include Log.Messages
   val dkey: category
+  val wkey: warn_category
   (** @since Fluorine-20130401 *)
 end
 

tests/misc/oracle/audit-out.json

@@ -63,8 +63,8 @@
         "parser:conditional-feature", "parser:unnamed-typedef",
         "parser:unsupported", "parser:unsupported:attributes",
         "parser:unsupported:pragma", "plugin-not-loaded", "pp",
-        "pp:compilation-db", "pp:line-directive", "too-large-array",
-        "typing", "typing:implicit-conv-void-ptr",
+        "pp:compilation-db", "pp:line-directive", "project",
+        "too-large-array", "typing", "typing:implicit-conv-void-ptr",
         "typing:implicit-function-declaration",
         "typing:incompatible-pointer-types",
         "typing:incompatible-types-call", "typing:inconsistent-specifier",

tests/misc/oracle/my_visitor.1.res.oracle

 [kernel] Warning: emitter emitter1: correctness parameter -s does not exist anymore. Ignored.
 [kernel] Warning: emitter emitter2: correctness parameter -s2 does not exist anymore. Ignored.
-[kernel] Warning: 13 states in saved file ignored. They are invalid in this Frama-C configuration.
+[kernel:project] Warning: 
+  13 states in saved file ignored. They are invalid in this Frama-C configuration.
 [kernel] Warning: emitter emitter1: correctness parameter -s does not exist anymore. Ignored.
 [kernel] Warning: emitter emitter2: correctness parameter -s2 does not exist anymore. Ignored.
-[kernel] Warning: 13 states in saved file ignored. They are invalid in this Frama-C configuration.
+[kernel:project] Warning: 
+  13 states in saved file ignored. They are invalid in this Frama-C configuration.
 /* Generated by Frama-C */
 int f(void)
 {

tests/misc/oracle/orphan_emitter.res.oracle

 [kernel] Warning: emitter emitter1: correctness parameter -orphan does not exist anymore. Ignored.
-[kernel] Warning: 9 states in saved file ignored. They are invalid in this Frama-C configuration.
+[kernel:project] Warning: 
+  9 states in saved file ignored. They are invalid in this Frama-C configuration.

tests/saveload/oracle/basic.0.res.oracle

-[kernel] Warning: 1 state in saved file ignored. It is invalid in this Frama-C configuration.
+[kernel:project] Warning: 
+  1 state in saved file ignored. It is invalid in this Frama-C configuration.

tests/saveload/oracle/basic.4.res.oracle

-[kernel] Warning: 9 states in saved file ignored. They are invalid in this Frama-C configuration.
+[kernel:project] Warning: 
+  9 states in saved file ignored. They are invalid in this Frama-C configuration.

tests/saveload/oracle/deps.1.res.oracle

-[kernel] Warning: 2 states in saved file ignored. They are invalid in this Frama-C configuration.
+[kernel:project] Warning: 
+  2 states in saved file ignored. They are invalid in this Frama-C configuration.

tests/saveload/oracle/deps.2.res.oracle

-[kernel] Warning: 2 states in saved file ignored. They are invalid in this Frama-C configuration.
+[kernel:project] Warning: 
+  2 states in saved file ignored. They are invalid in this Frama-C configuration.

tests/saveload/oracle/deps.4.res.oracle

-[kernel] Warning: 1 state in saved file ignored. It is invalid in this Frama-C configuration.
-[kernel] Warning: 1 state in memory reset to their default value. It is inconsistent in this Frama_C configuration.
+[kernel:project] Warning: 
+  1 state in saved file ignored. It is invalid in this Frama-C configuration.
+[kernel:project] Warning: 
+  1 state in memory reset to their default value. It is inconsistent in this Frama_C configuration.

tests/saveload/oracle/segfault_datatypes.res.oracle

-[kernel] Warning: 1 state in saved file ignored. It is invalid in this Frama-C configuration.
+[kernel:project] Warning: 
+  1 state in saved file ignored. It is invalid in this Frama-C configuration.