Added GNU_INLINE.

Author: casse

frontc/Makefile

@@ -4,10 +4,10 @@ include ../Makefile.head
 SOURCES = \
 	cabs.ml \
 	cxml.ml \
+	cprint.ml \
 	clexer.mll \
 	cparser.mly \
 	ctoxml.ml \
-	cprint.ml \
 	frontc.ml
 
 $(eval $(call ocaml_lib,frontc,$(SOURCES)))

frontc/cprint.ml

@@ -254,7 +254,7 @@ and print_pointer typ =
 	| CONST typ -> print_pointer typ; print " const "
 	| VOLATILE typ -> print_pointer typ; print " volatile "
 	| ARRAY (typ, _) -> print_pointer typ
-	| _ -> ()
+	| _ -> print_base_type typ
 
 and print_array typ =
 	match typ with
@@ -265,6 +265,10 @@ and print_array typ =
 		print "]"
 	| _ -> ()
 
+(**	Print a type.
+	@param fct	Function called to display the name of the.
+	@param typ	Type to display.
+*)
 and print_type (fct : unit -> unit) (typ : base_type ) =
 	let base = get_base_type typ in
 	match base with
@@ -695,6 +699,8 @@ and print_attribute attr =
 		print_constant cst
 	| GNU_EXTENSION ->
 		print "__extension__"
+	| GNU_INLINE ->
+		print "__inline__"
 
 
 (*

frontc/ctoxml.ml

@@ -306,6 +306,8 @@ and convert_gnu_attr attr =
 		-> convert_const cst
 	| GNU_EXTENSION
 		-> Cxml.new_elt "extension" [] []
+	| GNU_INLINE
+		-> Cxml.new_elt "inline" [] []
 	| GNU_CALL (id, attrs)
 		-> Cxml.new_elt "call" [("id", id)] (List.map convert_gnu_attr attrs)