2013-03-02  Mikael Morin  <mikael@gcc.gnu.org>

	* symbol.c (gen_cptr_param): Retrieve pointer type symbol using
	get_iso_c_binding_dt.