Rm superfluous parens

Author: michael-schwarz

src/cil.ml

@@ -1414,26 +1414,26 @@ type attributeClass =
  * conversion *)
 let attributeHash: (string, attributeClass) H.t =
   let table = H.create 13 in
-  List.iter (fun a -> H.add table a (AttrName))
+  List.iter (fun a -> H.add table a AttrName)
     [ "section"; "constructor"; "destructor"; "unused"; "used"; "weak";
       "no_instrument_function"; "alias"; "no_check_memory_usage";
       "exception"; "model"; (* "restrict"; *)
       "aconst"; "__asm__" (* Gcc uses this to specify the name to be used in
                            * assembly for a global  *)];
 
   (* Now come the MSVC declspec attributes *)
-  List.iter (fun a -> H.add table a (AttrName))
+  List.iter (fun a -> H.add table a AttrName)
     [ "thread"; "naked"; "dllimport"; "dllexport";
       "selectany"; "allocate"; "nothrow"; "novtable"; "property";  "noreturn";
       "uuid"; "align" ];
 
-  List.iter (fun a -> H.add table a (AttrFunType))
+  List.iter (fun a -> H.add table a AttrFunType)
     [ "format"; "regparm"; "longcall";
       "noinline"; "always_inline"; "gnu_inline"; "leaf";
       "artificial"; "warn_unused_result"; "nonnull";
     ];
 
-  List.iter (fun a -> H.add table a (AttrFunType))
+  List.iter (fun a -> H.add table a AttrFunType)
     [ "stdcall";"cdecl"; "fastcall" ];
 
   List.iter (fun a -> H.add table a AttrType)
@@ -1953,7 +1953,7 @@ and typeOfLval = function
 and typeOffset basetyp =
   let blendAttributes baseAttrs =
     let (_, _, contageous) =
-      partitionAttributes ~default:(AttrName) baseAttrs in
+      partitionAttributes ~default:AttrName baseAttrs in
     typeAddAttributes contageous
   in
   function

src/frontc/cabs2cil.ml

@@ -2643,7 +2643,7 @@ and makeVarInfoCabs
                 (n,ndt,a)
       : varinfo =
   let vtype, nattr =
-    doType (AttrName)
+    doType AttrName
       bt (A.PARENTYPE(attrs, ndt, a)) in
   if inline && not (isFunctionType vtype) then
     ignore (error "inline for a non-function: %s" n);
@@ -3119,7 +3119,7 @@ and makeCompType (isstruct: bool)
       if sto <> NoStorage || inl then
         E.s (error "Storage or inline not allowed for fields");
       let ftype, nattr =
-        doType (AttrName) bt (A.PARENTYPE(attrs, ndt, a)) in
+        doType AttrName bt (A.PARENTYPE(attrs, ndt, a)) in
       (* check for fields whose type is an undefined struct.  This rules
          out circularity:
              struct C1 { struct C2 c2; };          //This line is now an error.
@@ -5758,7 +5758,7 @@ and doDecl (isglobal: bool) : A.definition -> chunk = function
         if isglobal then begin
           let bt,_,_,attrs = spec_res in
           let vtype, nattr =
-            doType (AttrName) bt (A.PARENTYPE(attrs, ndt, a)) in
+            doType AttrName bt (A.PARENTYPE(attrs, ndt, a)) in
           (match filterAttributes "alias" nattr with
              [] -> (* ordinary prototype. *)
                ignore (createGlobal spec_res name)
@@ -5889,7 +5889,7 @@ and doDecl (isglobal: bool) : A.definition -> chunk = function
               !currentFunctionFDEC.svar.vinline <- inl;
 
               let ftyp, funattr =
-                doType (AttrName) bt (A.PARENTYPE(attrs, dt, a)) in
+                doType AttrName bt (A.PARENTYPE(attrs, dt, a)) in
               !currentFunctionFDEC.svar.vtype <- ftyp;
               !currentFunctionFDEC.svar.vattr <- funattr;