Merge branch 'feature/server/ip-no-status' into 'master'

[server] consider ip with no-status

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

src/plugins/server/kernel_ast.ml

@@ -965,7 +965,7 @@ let () = Information.register
     ~title:"Property Consolidated Status"
     begin fun fmt loc ->
       match loc with
-      | PIP prop ->
+      | PIP prop when Property.has_status prop ->
         Property_status.Feedback.pretty fmt @@
         Property_status.Feedback.get prop
       | _ -> raise Not_found

src/plugins/server/kernel_properties.ml

@@ -268,7 +268,13 @@ let () = States.column model ~name:"names"
 let () = States.column model ~name:"status"
     ~descr:(Md.plain "Status")
     ~data:(module PropStatus)
-    ~get:(Property_status.Feedback.get)
+    ~get:
+      begin fun ip ->
+        if Property.has_status ip
+        then Property_status.Feedback.get ip
+        else Property_status.Feedback.Never_tried
+      end
+
 
 let () = States.option model ~name:"scope"
     ~descr:(Md.plain "Declaration Scope")