Hi,

This patch is the real meat of the bug, in which the user yearns for a 
way to permit some specialized type conversions which violate the standard.

I've introduced a new badness level for this conversion, and return it 
when strict type checking is disabled. Most of the rest of the patch is 
the "new" set/show check type command and tests. Documentation is in the 
next patch.

Comments/questions/concerns?
Keith

ChangeLog
2012-08-16  Keith Seitz  <keiths@redhat.com>

	PR c++/13356
	* gdbtypes.c (strict_type_checking): New variable.
	(show_strict_type_checking): New function.
	(rank_one_type): Return NS_POINTER_INTEGER_CONVERSION_BADNESS
	if strict type checking is disabled.
	(_initialize_gdbtypes): Add "check type" subcommand.
	* gdbtypes.h (NS_INTEGER_POINTER_CONVERSION_BADNESS): New struct.

teestuite/ChangeLog
2012-08-16  Keith Seitz  <keiths@redhat.com>

	PR c++/13356
	* gdb.base/default.exp: Update all "check type" tests.
	* gdb.base/help.exp: Likewise.
	* gdb.base/setshow.exp: Likewise.
	* gdb.cp/converts.cc (foo1_type_check): New function.
	(foo2_type_check): New function.
	(foo3_type_check): New function.
	(main): Call new functions.
	* converts.exp: Add tests for integer-to-pointer conversions
	with/without strict type-checking.