[Kernel] Adds the new option -warn-invalid-pointer.

src/kernel_services/plugin_entry_points/kernel.ml

@@ -1479,6 +1479,15 @@ module InvalidBool =
                   _Bool lvalues."
     end)
 
+let () = Parameter_customize.set_group analysis_options
+let () = Parameter_customize.do_not_reset_on_copy ()
+module InvalidPointer =
+  False
+    (struct
+      let module_name = "InvalidPointer"
+      let option_name = "-warn-invalid-pointer"
+      let help = "generate alarms when invalid pointers are created."
+    end)
 
 (* ************************************************************************* *)
 (** {2 Sequencing options} *)

src/kernel_services/plugin_entry_points/kernel.mli

@@ -549,6 +549,9 @@ module SpecialFloat: Parameter_sig.String
 module InvalidBool: Parameter_sig.Bool
 (** Behavior of option "-warn-invalid-bool" *)
 
+module InvalidPointer: Parameter_sig.Bool
+(** Behavior of option "-warn-invalid-pointer" *)
+
 module AbsoluteValidRange: Parameter_sig.String
 (** Behavior of option "-absolute-valid-range" *)