Commits

Calascibetta Romain committed cb91265

Add differents types for definition (declaration ?) of function

Comments (0)

Files changed (2)

   | Initialexec
   | Localexec
 
+type calling_convention =
+  | CCC
+  | FastCC
+  | ColdCC
+  | CC of int
+
+type visibility =
+  | Default
+  | Hidden
+  | Protected
+
+type function_attribute =
+  | Alignstack of int
+  | Alwaysinline
+  | Cold
+  | Nonlazybind
+  | Inlinehint
+  | Naked
+  | Nobuiltin
+  | Noduplicate
+  | Noimplicitefloat
+  | Noinline
+  | Noredzone
+  | Noreturn
+  | Nounwind
+  | Optsize
+  | Readnone
+  | Readonly
+  | Returns_twice
+  | Sanitize_address
+  | Sanitize_memory
+  | Sanitize_thread
+  | Ssp
+  | Sspreq
+  | Sspstrong
+  | Uwtable
+
 type context_module =
   | Global of
     (string * thread_local option *
   | Initialexec
   | Localexec
 
+type calling_convention =
+  | CCC
+  | FastCC
+  | ColdCC
+  | CC of int
+
+type visibility =
+  | Default
+  | Hidden
+  | Protected
+
+type function_attribute =
+  | Alignstack of int
+  | Alwaysinline
+  | Cold
+  | Nonlazybind
+  | Inlinehint
+  | Naked
+  | Nobuiltin
+  | Noduplicate
+  | Noimplicitefloat
+  | Noinline
+  | Noredzone
+  | Noreturn
+  | Nounwind
+  | Optsize
+  | Readnone
+  | Readonly
+  | Returns_twice
+  | Sanitize_address
+  | Sanitize_memory
+  | Sanitize_thread
+  | Ssp
+  | Sspreq
+  | Sspstrong
+  | Uwtable
+
 type context_module =
   | Global of
     (string * thread_local option *
  * Function declaration:
  *    - it is illegal for a function declaration to have any linkage type
  *      other than external, dllimport or extern_weak
+ *    - function attribute
  *)
 
 val new_global: