/*      $NetBSD: expr_binary_trad.c,v 1.3 2023/03/28 14:44:34 rillig Exp $      */
# 3 "expr_binary_trad.c"

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

/* lint1-flags: -tw -X 351 */

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;
}