#ifdef __CHECKER__
#define __bitwise __attribute__((bitwise))
#else
#define __bitwise
#endif

typedef __INT16_TYPE__ __bitwise __be16;

static __be16 foo(void)
{
	__be16 val = 0;
	return val;
}

/*
 * check-name: assign-restricted-ok
 * check-command: test-linearize -fdump-ir $file
 *
 * check-output-ignore
 * check-output-contains: store\\.16
 * check-output-excludes: store\\.32
 */