Make gnu11 default cil.cstd

Author: sim642

src/common/util/cilfacade.ml

@@ -55,7 +55,16 @@ let is_first_field x = match x.fcomp.cfields with
 
 let init_options () =
   Mergecil.merge_inlines := get_bool "cil.merge.inlines";
-  Cil.cstd := Cil.cstd_of_string (get_string "cil.cstd");
+  Cil.cstd := (
+    match get_string "cil.cstd" with
+    | "c89" | "c90"
+    | "gnu89" | "gnu90" -> C90
+    | "c99" | "c9x"
+    | "gnu99" | "gnu9x" -> C99
+    | "c11" | "c1x"
+    | "gnu11" | "gnu1x" -> C11
+    | _ -> assert false
+  );
   Cil.gnu89inline := get_bool "cil.gnu89inline";
   Cabs2cil.addNestedScopeAttr := get_bool "cil.addNestedScopeAttr";
 

src/config/options.schema.json

@@ -280,7 +280,7 @@
           "title": "cil.cstd",
           "type": "string",
           "description": "Specify the c standard used for preprocessing and parsing.",
-          "default": "c99",
+          "default": "gnu11",
           "enum": [
             "c89", "c90",
             "gnu89", "gnu90",