xref: /src/tests/usr.bin/xlint/lint1/expr_binary_trad.c

/*	$NetBSD: expr_binary_trad.c,v 1.1 2021/08/01 16:29:28 rillig Exp $	*/
# 3 "expr_binary_trad.c"

/*
 * Test binary operators in traditional C.
 */

/* lint1-flags: -tw */

struct incompatible {		/* just to generate the error message */
	int member;
};
struct incompatible sink;

/*
 * Test the usual arithmetic conversions.
 *
 * C99 6.3.1.8 "Usual arithmetic conversions"
 */
void
cover_balance()
{

	/* expect+1: 'pointer to char' */
	sink = (char *)0 + 0;

	/* expect+1: 'pointer to char' */
	sink = 0 + (char *)0;

	/* expect+1: 'int' */
	sink = 1 + 1;

	/* expect+1: 'double' */
	sink = 0.0 + 0;
	/* expect+1: 'double' */
	sink = 0 + 0.0;
	/* expect+1: 'double' */
	sink = 0.0 + (float)0.0;
	/* expect+1: 'double' */
	sink = (float)0.0 + 0.0;

	/*
	 * In traditional C, 'float' gets promoted to 'double' before
	 * applying the usual arithmetic conversions; see 'promote'.
	 */
	/* expect+1: 'double' */
	sink = (float)0.0 + 0;
	/* expect+1: 'double' */
	sink = 0 + (float)0.0;

	/* expect+1: 'unsigned long' */
	sink = (unsigned long)0 + 0;
	/* expect+1: 'unsigned long' */
	sink = 0 + (unsigned long)0;

	/* expect+1: 'unsigned long' */
	sink = (unsigned long)0 + (long)0;
	/* expect+1: 'unsigned long' */
	sink = (long)0 + (unsigned long)0;

	/*
	 * In traditional C, if one of the operands is unsigned, the result
	 * is unsigned as well.
	 */
	/* expect+1: 'unsigned long' */
	sink = (unsigned)0 + (long)0;
}