Merge branch 'develop' into no_cilint

Author: michael-schwarz

src/cil.ml

@@ -1419,11 +1419,10 @@ let attributeHash: (string, attributeClass) H.t =
       "aconst"; "__asm__" (* Gcc uses this to specify the name to be used in
                            * assembly for a global  *)];
 
-  (* Now come the MSVC declspec attributes *)
+  (* MSVC declspec attributes that are also supported by GCC *)
   List.iter (fun a -> H.add table a AttrName)
     [ "thread"; "naked"; "dllimport"; "dllexport";
-      "selectany"; "allocate"; "nothrow"; "novtable"; "property";  "noreturn";
-      "uuid"; "align" ];
+      "selectany"; "nothrow"; "property";  "noreturn"; "align" ];
 
   List.iter (fun a -> H.add table a AttrFunType)
     [ "format"; "regparm"; "longcall";