Merge branch 'fix/blanchard/all/warnings' into 'master'

Fix warnings 67 and 69

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

configurator.ml

@@ -59,7 +59,6 @@ module C_preprocessor = struct (* This could be put in Dune? *)
   type t =
     { preprocessor: string
     ; pp_opt: string option
-    ; is_gnu: bool
     }
 
   let stdout_contains out str =
@@ -97,24 +96,9 @@ module C_preprocessor = struct (* This could be put in Dune? *)
       Temp.create ~dir ~suffix:".c" (fun name -> write_file name code) in
     C.Process.run configurator ~dir preprocessor (options @ [ file ])
 
-  let is_gnu configurator preprocessor =
-    let code = {|#ifdef _FC_UNDEFINED_SYMBOL
-#error This should not remain after preprocessing
-#endif
-int kept_after_preprocessing = 42;
-|}
-    in
-    (* GNU preprocessors are always compatible with '-E'.
-       For 'cpp', the '-E' flag is unnecessary, but still works. *)
-    let result = call configurator preprocessor ["-E"] code in
-    result.exit_code = 0 &&
-    stdout_contains result.stdout "kept_after_preprocessing" &&
-    not (stdout_contains result.stdout "should not remain")
-
   let get configurator =
     let preprocessor, pp_opt = find_preprocessor configurator in
-    let is_gnu = is_gnu configurator preprocessor in
-    { preprocessor ; pp_opt; is_gnu }
+    { preprocessor ; pp_opt }
 
   let preprocess configurator t options code =
     call configurator t.preprocessor (Option.to_list t.pp_opt @ options) code

dev/dune-workspace.bench

-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;

dev/dune-workspace.cover

-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;

doc/developer/dune-workspace.bench

-(lang dune 3.2)
+(lang dune 3.3)
 (context
  (default
   (name bench)

doc/developer/examples/acsl_extension_ext_types/dune-project

-(lang dune 3.2)
+(lang dune 3.3)
 (using dune_site 0.1)
 
 (name frama-c-example)

doc/developer/examples/acsl_extension_foo/dune-project

-(lang dune 3.2)
+(lang dune 3.3)
 (using dune_site 0.1)
 
 (name frama-c-example)

doc/developer/examples/callstack/dune-project

-(lang dune 3.2)
+(lang dune 3.3)
 (using dune_site 0.1)
 
 (name frama-c-example)

doc/developer/examples/syntactic_check/dune-project

-(lang dune 3.2)
+(lang dune 3.3)
 (using dune_site 0.1)
 
 (name frama-c-example)

doc/developer/tutorial/hello/src/dune-project

-(lang dune 3.2)
+(lang dune 3.3)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;

doc/developer/tutorial/hello/v1-simple/dune-project

-(lang dune 3.2)
+(lang dune 3.3)
 (using dune_site 0.1)
 
 (name frama-c-hello)

doc/developer/tutorial/hello/v2-register/dune-project

-(lang dune 3.2)
+(lang dune 3.3)
 (using dune_site 0.1)
 
 (name frama-c-hello)

doc/developer/tutorial/hello/v3-log/dune-project

-(lang dune 3.2)
+(lang dune 3.3)
 (using dune_site 0.1)
 
 (name frama-c-hello)

doc/developer/tutorial/hello/v4-options/dune-project

-(lang dune 3.2)
+(lang dune 3.3)
 (using dune_site 0.1)
 
 (name frama-c-hello)

doc/developer/tutorial/hello/v5-multiple/dune-project

-(lang dune 3.2)
+(lang dune 3.3)
 (using dune_site 0.1)
 
 (name frama-c-hello)

doc/developer/tutorial/hello/v6-test-with-bug/dune-project

-(lang dune 3.2)
+(lang dune 3.3)
 (using dune_site 0.1)
 
 (name frama-c-hello)

doc/developer/tutorial/hello/v7-doc/dune-project

-(lang dune 3.2)
+(lang dune 3.3)
 (using dune_site 0.1)
 
 (name frama-c-hello)

doc/developer/tutorial/viewcfg/v1-simple/dune-project

-(lang dune 3.2)
+(lang dune 3.3)
 (using dune_site 0.1)
 
 (name frama-c-view-cfg)

doc/developer/tutorial/viewcfg/v2-options/dune-project

-(lang dune 3.2)
+(lang dune 3.3)
 (using dune_site 0.1)
 
 (name frama-c-view-cfg)

doc/developer/tutorial/viewcfg/v3-eva/dune-project

-(lang dune 3.2)
+(lang dune 3.3)
 (using dune_site 0.1)
 
 (name frama-c-view-cfg)

doc/developer/tutorial/viewcfg/v4-bogue/dune-project

-(lang dune 3.2)
+(lang dune 3.3)
 (using dune_site 0.1)
 
 (name frama-c-view-cfg)