920730-1.c

this is a gcc file, you can download it and learn its usetility, for further detail please look at t

/* 920730-1.c */
#include <limits.h>
f1()
{
	int b=INT_MIN;
	return b>=INT_MIN;
}

f2()
{
	int b=INT_MIN+1;
	return b>= (unsigned)(INT_MAX+2);
}

f3()
{
	int b=INT_MAX;
	return b>=INT_MAX;
}

f4()
{
	int b=-1;
	return b>=UINT_MAX;
}

main ()
{
	if((f1()&f2()&f3()&f4())!=1)
		abort();
		exit(0);
}