validation/bitwise-cast-ptr.c

#define __bitwise	__attribute__((bitwise))
#define __force		__attribute__((force))

typedef unsigned int u32;
typedef unsigned int __bitwise __be32;

static __be32* tobi(u32 *x)
{
	return x;			// should warn, implicit cast
}

static __be32* tobe(u32 *x)
{
	return (__be32 *) x;		// should warn, explicit cast
}

static __be32* tobf(u32 *x)
{
	return (__force __be32 *) x;	// should not warn, forced cast
	return (__be32 __force *) x;	// should not warn, forced cast
}

/*
 * check-name: cast of bitwise pointers
 * check-command: sparse -Wbitwise -Wbitwise-pointer $file
 *
 * check-error-start
bitwise-cast-ptr.c:9:16: warning: incorrect type in return expression (different base types)
bitwise-cast-ptr.c:9:16:    expected restricted __be32 [usertype] *
bitwise-cast-ptr.c:9:16:    got unsigned int [usertype] *x
bitwise-cast-ptr.c:14:17: warning: cast to restricted __be32 [usertype] *
 * check-error-end
 */