decl.c (intrin_types_incompatible_p): New function, helper for ...

2010-06-23  Olivier Hainque  <hainque@adacore.com>

	* gcc-interface/decl.c (intrin_types_incompatible_p): New function,
	helper for ...
	(intrin_arglists_compatible_p, intrin_return_compatible_p): New
	functions, helpers for ...
	(intrin_profiles_compatible_p): New function, replacement for ...
	(compatible_signatures_p): Removed.
	(gnat_to_gnu_entity) <case E_Procedure>: If -Wextra, warn on
	attempt to bind an unregistered builtin function.  When we have
	one, use it and warn on profile incompatibilities.

From-SVN: r161257

gcc/ada/ChangeLog

+2010-06-23  Olivier Hainque  <hainque@adacore.com>
+
+	* gcc-interface/decl.c (intrin_types_incompatible_p): New function,
+	helper for ...
+	(intrin_arglists_compatible_p, intrin_return_compatible_p): New
+	functions, helpers for ...
+	(intrin_profiles_compatible_p): New function, replacement for ...
+	(compatible_signatures_p): Removed.
+	(gnat_to_gnu_entity) <case E_Procedure>: If -Wextra, warn on
+	attempt to bind an unregistered builtin function.  When we have
+	one, use it and warn on profile incompatibilities.
+
 2010-06-23  Arnaud Charlet  <charlet@adacore.com>
 
 	* gcc-interface/Make-lang.in: Update dependencies.