 @@ -1,2509 +1,2525 @@
-/*	$NetBSD: tree.c,v 1.511 2023/04/11 19:40:04 rillig Exp $	*/
+/*	$NetBSD: tree.c,v 1.512 2023/04/12 19:09:48 rillig Exp $	*/
 /*
  * Copyright (c) 1994, 1995 Jochen Pohl
  * All Rights Reserved.
+ *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions
  * are met:
  * 1. Redistributions of source code must retain the above copyright
  *    notice, this list of conditions and the following disclaimer.
  * 2. Redistributions in binary form must reproduce the above copyright
  *    notice, this list of conditions and the following disclaimer in the
  *    documentation and/or other materials provided with the distribution.
  * 3. All advertising materials mentioning features or use of this software
  *    must display the following acknowledgement:
  *      This product includes software developed by Jochen Pohl for
  *	The NetBSD Project.
  * 4. The name of the author may not be used to endorse or promote products
  *    derived from this software without specific prior written permission.
+ *
  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  */
 #if HAVE_NBTOOL_CONFIG_H
 #include "nbtool_config.h"
 #endif
 #include <sys/cdefs.h>
 #if defined(__RCSID)
-__RCSID("$NetBSD: tree.c,v 1.511 2023/04/11 19:40:04 rillig Exp $");
+__RCSID("$NetBSD: tree.c,v 1.512 2023/04/12 19:09:48 rillig Exp $");
 #endif
 #include <float.h>
 #include <limits.h>
 #include <math.h>
 #include <signal.h>
 #include <stdlib.h>
 #include <string.h>
 #include "lint1.h"
 typedef struct integer_constraints {
 	int64_t		smin;	/* signed minimum */
 	int64_t		smax;	/* signed maximum */
 	uint64_t	umin;	/* unsigned minimum */
 	uint64_t	umax;	/* unsigned maximum */
 	uint64_t	bset;	/* bits that are definitely set */
 	uint64_t	bclr;	/* bits that are definitely clear */
 } integer_constraints;
 static uint64_t
 u64_fill_right(uint64_t x)
+{
 	x |= x >> 1;
 	x |= x >> 2;
 	x |= x >> 4;
 	x |= x >> 8;
 	x |= x >> 16;
 	x |= x >> 32;
 	return x;
+}
 static bool
 str_endswith(const char *haystack, const char *needle)
+{
 	size_t hlen = strlen(haystack);
 	size_t nlen = strlen(needle);
 	return nlen <= hlen &&
 	       memcmp(haystack + hlen - nlen, needle, nlen) == 0;
+}
 static const char *
 op_name(op_t op)
+{
 	return modtab[op].m_name;
+}
 static unsigned
 width_in_bits(const type_t *tp)
+{
 	lint_assert(is_integer(tp->t_tspec));
 	return tp->t_bitfield ? tp->t_flen : size_in_bits(tp->t_tspec);
+}
 static bool
 ic_maybe_signed(const type_t *tp, const integer_constraints *ic)
+{
 	return !is_uinteger(tp->t_tspec) &&
 	    (ic->bclr & ((uint64_t)1 << 63)) == 0;
+}
 static integer_constraints
 ic_any(const type_t *tp)
+{
 	integer_constraints c;
 	uint64_t vbits = value_bits(width_in_bits(tp));
 	if (is_uinteger(tp->t_tspec)) {
 		c.smin = INT64_MIN;
 		c.smax = INT64_MAX;
 		c.umin = 0;
 		c.umax = vbits;
 		c.bset = 0;
 		c.bclr = ~c.umax;
 	} else {
 		c.smin = (int64_t)-1 - (int64_t)(vbits >> 1);
 		c.smax = (int64_t)(vbits >> 1);
 		c.umin = 0;
 		c.umax = UINT64_MAX;
 		c.bset = 0;
 		c.bclr = 0;
+	}
 	return c;
+}
 static integer_constraints
 ic_con(const type_t *tp, const val_t *v)
+{
 	integer_constraints c;
 	lint_assert(is_integer(tp->t_tspec));
 	int64_t s = v->v_quad;
 	uint64_t u = (uint64_t)s;
 	c.smin = s;
 	c.smax = s;
 	c.umin = u;
 	c.umax = u;
 	c.bset = u;
 	c.bclr = ~u;
 	return c;
+}
 static integer_constraints
 ic_cvt(const type_t *ntp, const type_t *otp, integer_constraints a)
+{
 	if (width_in_bits(ntp) > width_in_bits(otp) &&
 	    is_uinteger(otp->t_tspec))
 		return a;
 	return ic_any(ntp);
+}
 static integer_constraints
 ic_bitand(integer_constraints a, integer_constraints b)
+{
 	integer_constraints c;
 	c.smin = INT64_MIN;
 	c.smax = INT64_MAX;
 	c.umin = 0;
 	c.umax = UINT64_MAX;
 	c.bset = a.bset & b.bset;
 	c.bclr = a.bclr | b.bclr;
 	return c;
+}
 static integer_constraints
 ic_bitor(integer_constraints a, integer_constraints b)
+{
 	integer_constraints c;
 	c.smin = INT64_MIN;
 	c.smax = INT64_MAX;
 	c.umin = 0;
 	c.umax = UINT64_MAX;
 	c.bset = a.bset | b.bset;
 	c.bclr = a.bclr & b.bclr;
 	return c;
+}
 static integer_constraints
 ic_mod(const type_t *tp, integer_constraints a, integer_constraints b)
+{
 	integer_constraints c;
 	if (ic_maybe_signed(tp, &a) || ic_maybe_signed(tp, &b))
 		return ic_any(tp);
 	c.smin = INT64_MIN;
 	c.smax = INT64_MAX;
 	c.umin = 0;
 	c.umax = b.umax - 1;
 	c.bset = 0;
 	c.bclr = ~u64_fill_right(c.umax);
 	return c;
+}
 static integer_constraints
 ic_shl(const type_t *tp, integer_constraints a, integer_constraints b)
+{
 	integer_constraints c;
 	unsigned int amount;
 	if (ic_maybe_signed(tp, &a))
 		return ic_any(tp);
 	if (b.smin == b.smax && b.smin >= 0 && b.smin < 64)
 		amount = (unsigned int)b.smin;
 	else if (b.umin == b.umax && b.umin < 64)
 		amount = (unsigned int)b.umin;
 	else
 		return ic_any(tp);
 	c.smin = INT64_MIN;
 	c.smax = INT64_MAX;
 	c.umin = 0;
 	c.umax = UINT64_MAX;
 	c.bset = a.bset << amount;
 	c.bclr = a.bclr << amount | (((uint64_t)1 << amount) - 1);
 	return c;
+}
 static integer_constraints
 ic_shr(const type_t *tp, integer_constraints a, integer_constraints b)
+{
 	integer_constraints c;
 	unsigned int amount;
 	if (ic_maybe_signed(tp, &a))
 		return ic_any(tp);
 	if (b.smin == b.smax && b.smin >= 0 && b.smin < 64)
 		amount = (unsigned int)b.smin;
 	else if (b.umin == b.umax && b.umin < 64)
 		amount = (unsigned int)b.umin;
 	else
 		return ic_any(tp);
 	c.smin = INT64_MIN;
 	c.smax = INT64_MAX;
 	c.umin = 0;
 	c.umax = UINT64_MAX;
 	c.bset = a.bset >> amount;
 	c.bclr = a.bclr >> amount | ~(~(uint64_t)0 >> amount);
 	return c;
+}
 static integer_constraints
 ic_expr(const tnode_t *tn)
+{
 	integer_constraints lc, rc;
 	lint_assert(is_integer(tn->tn_type->t_tspec));
 	switch (tn->tn_op) {
 	case CON:
 		return ic_con(tn->tn_type, tn->tn_val);
 	case CVT:
 		if (!is_integer(tn->tn_left->tn_type->t_tspec))
 			return ic_any(tn->tn_type);
 		lc = ic_expr(tn->tn_left);
 		return ic_cvt(tn->tn_type, tn->tn_left->tn_type, lc);
 	case MOD:
 		lc = ic_expr(before_conversion(tn->tn_left));
 		rc = ic_expr(before_conversion(tn->tn_right));
 		return ic_mod(tn->tn_type, lc, rc);
 	case SHL:
 		lc = ic_expr(tn->tn_left);
 		rc = ic_expr(tn->tn_right);
 		return ic_shl(tn->tn_type, lc, rc);
 	case SHR:
 		lc = ic_expr(tn->tn_left);
 		rc = ic_expr(tn->tn_right);
 		return ic_shr(tn->tn_type, lc, rc);
 	case BITAND:
 		lc = ic_expr(tn->tn_left);
 		rc = ic_expr(tn->tn_right);
 		return ic_bitand(lc, rc);
 	case BITOR:
 		lc = ic_expr(tn->tn_left);
 		rc = ic_expr(tn->tn_right);
 		return ic_bitor(lc, rc);
 	default:
 		return ic_any(tn->tn_type);
+	}
+}
 /* Build 'pointer to tp', 'array of tp' or 'function returning tp'. */
 type_t *
 block_derive_type(type_t *tp, tspec_t t)
+{
 	type_t	*tp2;
 	tp2 = block_zero_alloc(sizeof(*tp2));
 	tp2->t_tspec = t;
 	tp2->t_subt = tp;
 	return tp2;
+}
 /*
  * Derive 'pointer to tp' or 'function returning tp'.
  * The memory is freed at the end of the current expression.
  */
 type_t *
 expr_derive_type(type_t *tp, tspec_t t)
+{
 	type_t	*tp2;
 	tp2 = expr_zero_alloc(sizeof(*tp2));
 	tp2->t_tspec = t;
 	tp2->t_subt = tp;
 	return tp2;
+}
 /*
  * Build and initialize a new node.
  */
 static tnode_t *
 new_tnode(op_t op, bool sys, type_t *type, tnode_t *ln, tnode_t *rn)
+{
 	tnode_t *ntn = expr_alloc_tnode();
 	ntn->tn_op = op;
 	ntn->tn_type = type;
 	ntn->tn_sys = sys;
 	ntn->tn_left = ln;
 	ntn->tn_right = rn;
 	if (op == INDIR || op == FSEL) {
 		lint_assert(ln->tn_type->t_tspec == PTR);
 		tspec_t t = ln->tn_type->t_subt->t_tspec;
 		if (t != FUNC && t != VOID)
 			ntn->tn_lvalue = true;
+	}
 	return ntn;
+}
 /*
  * Create a node for a constant.
  */
 tnode_t *
 build_constant(type_t *tp, val_t *v)
+{
 	tnode_t	*n;
 	n = expr_alloc_tnode();
 	n->tn_op = CON;
 	n->tn_type = tp;
 	n->tn_val = expr_zero_alloc(sizeof(*n->tn_val));
 	n->tn_val->v_tspec = tp->t_tspec;
 	n->tn_val->v_unsigned_since_c90 = v->v_unsigned_since_c90;
 	n->tn_val->v_u = v->v_u;
 	free(v);
 	return n;
+}
 static tnode_t *
 build_integer_constant(tspec_t t, int64_t q)
+{
 	tnode_t	*n;
 	n = expr_alloc_tnode();
 	n->tn_op = CON;
 	n->tn_type = gettyp(t);
 	n->tn_val = expr_zero_alloc(sizeof(*n->tn_val));
 	n->tn_val->v_tspec = t;
 	n->tn_val->v_quad = q;
 	return n;
+}
 static void
 fallback_symbol(sym_t *sym)
+{
 	if (Tflag && fallback_symbol_strict_bool(sym))
 		return;
 	if (block_level > 0 && (strcmp(sym->s_name, "__FUNCTION__") == 0 ||
 			   strcmp(sym->s_name, "__PRETTY_FUNCTION__") == 0)) {
 		/* __FUNCTION__/__PRETTY_FUNCTION__ is a GCC extension */
 		gnuism(316);
 		sym->s_type = block_derive_type(gettyp(CHAR), PTR);
 		sym->s_type->t_const = true;
 		return;
+	}
 	if (block_level > 0 && strcmp(sym->s_name, "__func__") == 0) {
 		if (!allow_c99)
 			/* __func__ is a C99 feature */
 			warning(317);
 		/* C11 6.4.2.2 */
 		sym->s_type = block_derive_type(gettyp(CHAR), ARRAY);
 		sym->s_type->t_const = true;
 		sym->s_type->t_dim = (int)strlen(funcsym->s_name) + 1;
 		return;
+	}
 	/* '%s' undefined */
 	error(99, sym->s_name);
+}
 /*
  * Functions that are predeclared by GCC or other compilers can be called
  * with arbitrary arguments.  Since lint usually runs after a successful
  * compilation, it's the compiler's job to catch any errors.
  */
 bool
 is_compiler_builtin(const char *name)
+{
 	/* https://gcc.gnu.org/onlinedocs/gcc/C-Extensions.html */
 	if (allow_gcc) {
 		if (strncmp(name, "__atomic_", 9) == 0 ||
 		    strncmp(name, "__builtin_", 10) == 0 ||
 		    strcmp(name, "alloca") == 0 ||
 		    /* obsolete but still in use, as of 2021 */
 		    strncmp(name, "__sync_", 7) == 0)
 			return true;
+	}
 	/* https://software.intel.com/sites/landingpage/IntrinsicsGuide/ */
 	if (strncmp(name, "_mm_", 4) == 0)
 		return true;
 	return false;
+}
 /* https://gcc.gnu.org/onlinedocs/gcc/Integer-Overflow-Builtins.html */
 static bool
 is_gcc_bool_builtin(const char *name)
+{
 	return strncmp(name, "__builtin_", 10) == 0 &&
 	       (str_endswith(name, "_overflow") ||
 		str_endswith(name, "_overflow_p"));
+}
 static void
 build_name_call(sym_t *sym)
+{
 	if (is_compiler_builtin(sym->s_name)) {
 		/*
 		 * Do not warn about these, just assume that
 		 * they are regular functions compatible with
 		 * non-prototype calling conventions.
 		 */
 		if (allow_gcc && is_gcc_bool_builtin(sym->s_name))
 			sym->s_type = gettyp(BOOL);
 	} else if (allow_c99) {
 		/* function '%s' implicitly declared to return int */
 		error(215, sym->s_name);
 	} else if (!allow_trad) {
 		/* function '%s' implicitly declared to return int */
 		warning(215, sym->s_name);
+	}
 	/* XXX if !allow_c90, the symbol should be exported to level 0 */
 	sym->s_type = block_derive_type(sym->s_type, FUNC);
+}
 /* Create a node for a name (symbol table entry). */
 tnode_t *
 build_name(sym_t *sym, bool is_funcname)
+{
 	tnode_t	*n;
 	if (sym->s_scl == NOSCL && !in_gcc_attribute) {
 		sym->s_scl = EXTERN;
 		sym->s_def = DECL;
 		if (is_funcname)
 			build_name_call(sym);
 		else
 			fallback_symbol(sym);
+	}
 	lint_assert(sym->s_kind == FVFT || sym->s_kind == FMEMBER);
 	n = expr_alloc_tnode();
 	n->tn_type = sym->s_type;
 	if (sym->s_scl == BOOL_CONST) {
 		n->tn_op = CON;
 		n->tn_val = expr_zero_alloc(sizeof(*n->tn_val));
 		n->tn_val->v_tspec = BOOL;
 		n->tn_val->v_quad = sym->u.s_bool_constant ? 1 : 0;
 	} else if (sym->s_scl == ENUM_CONST) {
 		n->tn_op = CON;
 		n->tn_val = expr_zero_alloc(sizeof(*n->tn_val));
 		n->tn_val->v_tspec = INT;	/* ENUM is in n->tn_type */
 		n->tn_val->v_quad = sym->u.s_enum_constant;
 	} else {
 		n->tn_op = NAME;
 		n->tn_sym = sym;
 		if (sym->s_kind == FVFT && sym->s_type->t_tspec != FUNC)
 			n->tn_lvalue = true;
+	}
 	return n;
+}
 tnode_t *
 build_string(strg_t *strg)
+{
 	size_t	len;
 	tnode_t	*n;
 	type_t *tp;
 	len = strg->st_len;
 	n = expr_alloc_tnode();
 	tp = expr_zero_alloc(sizeof(*tp));
 	tp->t_tspec = ARRAY;
 	tp->t_subt = gettyp(strg->st_char ? CHAR : WCHAR);
 	tp->t_dim = (int)(len + 1);
 	n->tn_op = STRING;
 	n->tn_type = tp;
 	n->tn_lvalue = true;
 	n->tn_string = expr_zero_alloc(sizeof(*n->tn_string));
 	n->tn_string->st_char = strg->st_char;
 	n->tn_string->st_len = len;
 	size_t chsize = strg->st_char ? sizeof(char) : sizeof(wchar_t);
 	size_t size = (len + 1) * chsize;
 	n->tn_string->st_mem = expr_zero_alloc(size);
 	(void)memcpy(n->tn_string->st_mem, strg->st_mem, size);
 	free(strg->st_mem);
 	free(strg);
 	return n;
+}
 tnode_t *
 build_generic_selection(const tnode_t *expr,
 			struct generic_association *sel)
+{
 	tnode_t *default_result = NULL;
 	for (; sel != NULL; sel = sel->ga_prev) {
 		if (expr != NULL &&
 		    types_compatible(sel->ga_arg, expr->tn_type,
 			false, false, NULL))
 			return sel->ga_result;
 		else if (sel->ga_arg == NULL)
 			default_result = sel->ga_result;
+	}
 	return default_result;
+}
 static bool
 is_out_of_char_range(const tnode_t *tn)
+{
 	return tn->tn_op == CON &&
 	       !(0 <= tn->tn_val->v_quad &&
 		 tn->tn_val->v_quad < 1 << (CHAR_SIZE - 1));
+}
 /*
  * Check for ordered comparisons of unsigned values with 0.
  */
 static void
 check_integer_comparison(op_t op, tnode_t *ln, tnode_t *rn)
+{
 	tspec_t	lt, rt;
 	lt = ln->tn_type->t_tspec;
 	rt = rn->tn_type->t_tspec;
 	if (ln->tn_op != CON && rn->tn_op != CON)
 		return;
 	if (!is_integer(lt) || !is_integer(rt))
 		return;
 	if (hflag || pflag) {
 		if (lt == CHAR && is_out_of_char_range(rn)) {
 			char buf[128];
 			(void)snprintf(buf, sizeof(buf), "%s %d",
 			    op_name(op), (int)rn->tn_val->v_quad);
 			/* nonportable character comparison '%s' */
 			warning(230, buf);
 			return;
+		}
 		if (rt == CHAR && is_out_of_char_range(ln)) {
 			char buf[128];
 			(void)snprintf(buf, sizeof(buf), "%d %s ?",
 			    (int)ln->tn_val->v_quad, op_name(op));
 			/* nonportable character comparison '%s' */
 			warning(230, buf);
 			return;
+		}
+	}
 	if (is_uinteger(lt) && !is_uinteger(rt) &&
 	    rn->tn_op == CON && rn->tn_val->v_quad <= 0) {
 		if (rn->tn_val->v_quad < 0) {
 			/* operator '%s' compares '%s' with '%s' */
 			warning(162, op_name(op),
 			    type_name(ln->tn_type), "negative constant");
 		} else if (op == LT || op == GE) {
 			/* operator '%s' compares '%s' with '%s' */
 			warning(162, op_name(op), type_name(ln->tn_type), "0");
+		}
 		return;
+	}
 	if (is_uinteger(rt) && !is_uinteger(lt) &&
 	    ln->tn_op == CON && ln->tn_val->v_quad <= 0) {
 		if (ln->tn_val->v_quad < 0) {
 			/* operator '%s' compares '%s' with '%s' */
 			warning(162, op_name(op),
 			    "negative constant", type_name(rn->tn_type));
 		} else if (op == GT || op == LE) {
 			/* operator '%s' compares '%s' with '%s' */
 			warning(162, op_name(op), "0", type_name(rn->tn_type));
+		}
 		return;
+	}
+}
 static const tspec_t arith_rank[] = {
 	LDOUBLE, DOUBLE, FLOAT,
 #ifdef INT128_SIZE
 	UINT128, INT128,
 #endif
 	UQUAD, QUAD,
 	ULONG, LONG,
 	UINT, INT,
 };
 /* Keep unsigned in traditional C */
 static tspec_t
 usual_arithmetic_conversion_trad(tspec_t lt, tspec_t rt)
+{
 	size_t i;
 	for (i = 0; arith_rank[i] != INT; i++)
 		if (lt == arith_rank[i] || rt == arith_rank[i])
 			break;
 	tspec_t t = arith_rank[i];
 	if (is_uinteger(lt) || is_uinteger(rt))
 		if (is_integer(t) && !is_uinteger(t))
 			return unsigned_type(t);
 	return t;
+}
 static tspec_t
 usual_arithmetic_conversion_c90(tspec_t lt, tspec_t rt)
+{
 	if (lt == rt)
 		return lt;
 	if (lt == LCOMPLEX || rt == LCOMPLEX)
 		return LCOMPLEX;
 	if (lt == DCOMPLEX || rt == DCOMPLEX)
 		return DCOMPLEX;
 	if (lt == FCOMPLEX || rt == FCOMPLEX)
 		return FCOMPLEX;
 	if (lt == LDOUBLE || rt == LDOUBLE)
 		return LDOUBLE;
 	if (lt == DOUBLE || rt == DOUBLE)
 		return DOUBLE;
 	if (lt == FLOAT || rt == FLOAT)
 		return FLOAT;
 	/*
 	 * If type A has more bits than type B, it should be able to hold all
 	 * possible values of type B.
 	 */
 	if (size_in_bits(lt) > size_in_bits(rt))
 		return lt;
 	if (size_in_bits(lt) < size_in_bits(rt))
 		return rt;
 	size_t i;
 	for (i = 3; arith_rank[i] != INT; i++)
 		if (arith_rank[i] == lt || arith_rank[i] == rt)
 			break;
 	if ((is_uinteger(lt) || is_uinteger(rt)) &&
 	    !is_uinteger(arith_rank[i]))
 		i--;
 	return arith_rank[i];
+}
 static tnode_t *
 apply_usual_arithmetic_conversions(op_t op, tnode_t *tn, tspec_t t)
+{
 	type_t *ntp = expr_dup_type(tn->tn_type);
 	ntp->t_tspec = t;
 	if (tn->tn_op != CON) {
 		/* usual arithmetic conversion for '%s' from '%s' to '%s' */
 		query_message(4, op_name(op),
 		    type_name(tn->tn_type), type_name(ntp));
+	}
 	return convert(op, 0, ntp, tn);
+}
 /*
  * Apply the "usual arithmetic conversions" (C99 6.3.1.8), which gives both
  * operands the same type.
  */
 static void
 balance(op_t op, tnode_t **lnp, tnode_t **rnp)
+{
 	tspec_t lt = (*lnp)->tn_type->t_tspec;
 	tspec_t rt = (*rnp)->tn_type->t_tspec;
 	if (!is_arithmetic(lt) || !is_arithmetic(rt))
 		return;
 	tspec_t t = allow_c90
 	    ? usual_arithmetic_conversion_c90(lt, rt)
 	    : usual_arithmetic_conversion_trad(lt, rt);
 	if (t != lt)
 		*lnp = apply_usual_arithmetic_conversions(op, *lnp, t);
 	if (t != rt)
 		*rnp = apply_usual_arithmetic_conversions(op, *rnp, t);
+}
 /*
  * Create a tree node for the unary & operator
  */
 static tnode_t *
 build_address(bool sys, tnode_t *tn, bool noign)
+{
 	tspec_t	t;
 	if (!noign && ((t = tn->tn_type->t_tspec) == ARRAY || t == FUNC)) {
 		if (!allow_c90)
 			/* '&' before array or function: ignored */
 			warning(127);
 		return tn;
+	}
 	/* eliminate &* */
 	if (tn->tn_op == INDIR &&
 	    tn->tn_left->tn_type->t_tspec == PTR &&
 	    tn->tn_left->tn_type->t_subt == tn->tn_type) {
 		return tn->tn_left;
+	}
 	return new_tnode(ADDR, sys, expr_derive_type(tn->tn_type, PTR),
 	    tn, NULL);
+}
 /*
  * XXX
  * Note: There appear to be a number of bugs in detecting overflow in
  * this function. An audit and a set of proper regression tests are needed.
  *     --Perry Metzger, Nov. 16, 2001
  */
 /*
  * Do only as much as necessary to compute constant expressions.
  * Called only if the operator allows folding and all operands are constants.
  */
 static tnode_t *
 fold(tnode_t *tn)
+{
 	val_t *v;
 	tspec_t t;
 	bool utyp, ovfl;
 	int64_t sl, sr = 0, q = 0, mask;
 	uint64_t ul, ur = 0;
 	tnode_t *cn;
 	v = xcalloc(1, sizeof(*v));
 	v->v_tspec = tn->tn_type->t_tspec;
 	t = tn->tn_left->tn_type->t_tspec;
 	utyp = !is_integer(t) || is_uinteger(t);
 	ul = sl = tn->tn_left->tn_val->v_quad;
 	if (is_binary(tn))
 		ur = sr = tn->tn_right->tn_val->v_quad;
 	mask = value_bits(size_in_bits(t));
 	ovfl = false;
 	switch (tn->tn_op) {
 	case UPLUS:
 		q = sl;
 		break;
 	case UMINUS:
 		q = sl == INT64_MIN ? sl : -sl;
 		if (sl != 0 && msb(q, t) == msb(sl, t))
 			ovfl = true;
 		break;
 	case COMPL:
 		q = ~sl;
 		break;
 	case MULT:
 		if (utyp) {
 			q = ul * ur;
 			if (q != (q & mask))
 				ovfl = true;
 			else if ((ul != 0) && ((q / ul) != ur))
 				ovfl = true;
 		} else {
 			q = sl * sr;
 			if (msb(q, t) != (msb(sl, t) ^ msb(sr, t)))
 				ovfl = true;
+		}
 		break;
 	case DIV:
 		if (sr == 0) {
 			/* division by 0 */
 			error(139);
 			q = utyp ? -1 : INT64_MAX;
 		} else {
 			q = utyp ? (int64_t)(ul / ur) : sl / sr;
+		}
 		break;
 	case MOD:
 		if (sr == 0) {
 			/* modulus by 0 */
 			error(140);
 			q = 0;
 		} else {
 			q = utyp ? (int64_t)(ul % ur) : sl % sr;
+		}
 		break;
 	case PLUS:
 		q = utyp ? (int64_t)(ul + ur) : sl + sr;
 		if (msb(sl, t) && msb(sr, t) && !msb(q, t))
 			ovfl = true;
 		if (!utyp && !msb(sl, t) && !msb(sr, t) && msb(q, t))
 			ovfl = true;
 		break;
 	case MINUS:
 		q = utyp ? (int64_t)(ul - ur) : sl - sr;
 		if (!utyp && msb(sl, t) && !msb(sr, t) && !msb(q, t))
 			ovfl = true;
 		if (!msb(sl, t) && msb(sr, t) && msb(q, t))
 			ovfl = true;
 		break;
 	case SHL:
 		/* TODO: warn about out-of-bounds 'sr'. */
 		/* TODO: warn about overflow in signed '<<'. */
 		q = utyp ? (int64_t)(ul << (sr & 63)) : sl << (sr & 63);
 		break;
 	case SHR:
 		/*
 		 * The sign must be explicitly extended because
 		 * shifts of signed values are implementation dependent.
 		 */
 		/* TODO: warn about out-of-bounds 'sr'. */
 		q = ul >> (sr & 63);
 		q = convert_integer(q, t, size_in_bits(t) - (int)sr);
 		break;
 	case LT:
 		q = (utyp ? ul < ur : sl < sr) ? 1 : 0;
 		break;
 	case LE:
 		q = (utyp ? ul <= ur : sl <= sr) ? 1 : 0;
 		break;
 	case GE:
 		q = (utyp ? ul >= ur : sl >= sr) ? 1 : 0;
 		break;
 	case GT:
 		q = (utyp ? ul > ur : sl > sr) ? 1 : 0;
 		break;
 	case EQ:
 		q = (utyp ? ul == ur : sl == sr) ? 1 : 0;
 		break;
 	case NE:
 		q = (utyp ? ul != ur : sl != sr) ? 1 : 0;
 		break;
 	case BITAND:
 		q = utyp ? (int64_t)(ul & ur) : sl & sr;
 		break;
 	case BITXOR:
 		q = utyp ? (int64_t)(ul ^ ur) : sl ^ sr;
 		break;
 	case BITOR:
 		q = utyp ? (int64_t)(ul | ur) : sl | sr;
 		break;
 	default:
 		lint_assert(/*CONSTCOND*/false);
+	}
 	/* XXX does not work for quads. */
 	if (ovfl ||
 	    ((uint64_t)(q | mask) != ~(uint64_t)0 && (q & ~mask) != 0)) {
 		if (hflag)
 			/* integer overflow detected, op '%s' */
 			warning(141, op_name(tn->tn_op));
+	}
 	v->v_quad = convert_integer(q, t, 0);
 	cn = build_constant(tn->tn_type, v);
 	if (tn->tn_left->tn_system_dependent)
 		cn->tn_system_dependent = true;
 	if (is_binary(tn) && tn->tn_right->tn_system_dependent)
 		cn->tn_system_dependent = true;
 	return cn;
+}
 /*
  * Create a new node for one of the operators POINT and ARROW.
  */
 static tnode_t *
 build_struct_access(op_t op, bool sys, tnode_t *ln, tnode_t *rn)
+{
 	tnode_t	*ntn, *ctn;
 	bool	nolval;
 	lint_assert(rn->tn_op == NAME);
 	lint_assert(is_member(rn->tn_sym));
 	/*
 	 * Remember if the left operand is an lvalue (structure members
 	 * are lvalues if and only if the structure itself is an lvalue).
 	 */
 	nolval = op == POINT && !ln->tn_lvalue;
 	if (op == POINT) {
 		ln = build_address(sys, ln, true);
 	} else if (ln->tn_type->t_tspec != PTR) {
 		lint_assert(!allow_c90);
 		lint_assert(is_integer(ln->tn_type->t_tspec));
 		ln = convert(NOOP, 0, expr_derive_type(gettyp(VOID), PTR), ln);
+	}
 	ctn = build_integer_constant(PTRDIFF_TSPEC,
 	    rn->tn_sym->u.s_member.sm_offset_in_bits / CHAR_SIZE);
 	ntn = new_tnode(PLUS, sys, expr_derive_type(rn->tn_type, PTR),
 	    ln, ctn);
 	if (ln->tn_op == CON)
 		ntn = fold(ntn);
 	if (rn->tn_type->t_bitfield) {
 		ntn = new_tnode(FSEL, sys, ntn->tn_type->t_subt, ntn, NULL);
 	} else {
 		ntn = new_tnode(INDIR, sys, ntn->tn_type->t_subt, ntn, NULL);
+	}
 	if (nolval)
 		ntn->tn_lvalue = false;
 	return ntn;
+}
 /*
  * Get the size in bytes of type tp->t_subt, as a constant expression of type
  * ptrdiff_t as seen from the target platform.
  */
 static tnode_t *
 subt_size_in_bytes(type_t *tp)
+{
 	int elem, elsz_in_bits;
 	lint_assert(tp->t_tspec == PTR);
 	tp = tp->t_subt;
 	elem = 1;
 	elsz_in_bits = 0;
 	while (tp->t_tspec == ARRAY) {
 		elem *= tp->t_dim;
 		tp = tp->t_subt;
+	}
 	switch (tp->t_tspec) {
 	case FUNC:
 		/* pointer to function is not allowed here */
 		error(110);
 		break;
 	case VOID:
 		/* cannot do pointer arithmetic on operand of unknown size */
 		gnuism(136);
 		break;
 	case STRUCT:
 	case UNION:
 		if ((elsz_in_bits = tp->t_str->sou_size_in_bits) == 0)
 			/* cannot do pointer arithmetic on operand of ... */
 			error(136);
 		break;
 	case ENUM:
 		if (is_incomplete(tp)) {
 			/* cannot do pointer arithmetic on operand of ... */
 			warning(136);
+		}
 		/* FALLTHROUGH */
 	default:
 		if ((elsz_in_bits = size_in_bits(tp->t_tspec)) == 0) {
 			/* cannot do pointer arithmetic on operand of ... */
 			error(136);
 		} else {
 			lint_assert(elsz_in_bits != -1);
+		}
 		break;
+	}
 	if (elem == 0 && elsz_in_bits != 0) {
 		/* cannot do pointer arithmetic on operand of unknown size */
 		error(136);
+	}
 	if (elsz_in_bits == 0)
 		elsz_in_bits = CHAR_SIZE;
 	return build_integer_constant(PTRDIFF_TSPEC,
 	    (int64_t)(elem * elsz_in_bits / CHAR_SIZE));
+}
 /*
  * Create a node for INCAFT, INCBEF, DECAFT and DECBEF.
  */
 static tnode_t *
 build_prepost_incdec(op_t op, bool sys, tnode_t *ln)
+{
 	tnode_t	*cn, *ntn;
 	lint_assert(ln != NULL);
 	if (ln->tn_type->t_tspec == PTR) {
 		cn = subt_size_in_bytes(ln->tn_type);
 	} else {
 		cn = build_integer_constant(INT, (int64_t)1);
+	}
 	ntn = new_tnode(op, sys, ln->tn_type, ln, cn);
 	return ntn;
+}
 static void
 check_enum_array_index(const tnode_t *ln, const tnode_t *rn)
+{
 	int max_array_index;
 	int64_t max_enum_value;
 	const struct sym *ec, *max_ec;
 	const type_t *lt, *rt;
 	if (ln->tn_op != ADDR || ln->tn_left->tn_op != NAME)
 		return;
 	lt = ln->tn_left->tn_type;
 	if (lt->t_tspec != ARRAY || lt->t_incomplete_array)
 		return;
 	if (rn->tn_op != CVT || !rn->tn_type->t_is_enum)
 		return;
 	if (rn->tn_left->tn_op != LOAD)
 		return;
 	rt = rn->tn_left->tn_type;
 	ec = rt->t_enum->en_first_enumerator;
 	max_ec = ec;
 	lint_assert(ec != NULL);
 	for (ec = ec->s_next; ec != NULL; ec = ec->s_next)
 		if (ec->u.s_enum_constant > max_ec->u.s_enum_constant)
 			max_ec = ec;
 	max_enum_value = max_ec->u.s_enum_constant;
 	lint_assert(INT_MIN <= max_enum_value && max_enum_value <= INT_MAX);
 	max_array_index = lt->t_dim - 1;
 	if (max_enum_value == max_array_index)
 		return;
 	/*
 	 * If the name of the largest enum constant contains 'MAX' or 'NUM',
 	 * that constant is typically not part of the allowed enum values but
 	 * a marker for the number of actual enum values.
 	 */
 	if (max_enum_value == max_array_index + 1 &&
 	    (strstr(max_ec->s_name, "MAX") != NULL ||
 	     strstr(max_ec->s_name, "max") != NULL ||
 	     strstr(max_ec->s_name, "NUM") != NULL ||
 	     strstr(max_ec->s_name, "num") != NULL))
 		return;
 	/* maximum value %d of '%s' does not match maximum array index %d */
 	warning(348, (int)max_enum_value, type_name(rt), max_array_index);
 	print_previous_declaration(max_ec);
+}
 /*
  * Create a node for operators PLUS and MINUS.
  */
 static tnode_t *
 build_plus_minus(op_t op, bool sys, tnode_t *ln, tnode_t *rn)
+{
 	/* If pointer and integer, then pointer to the lhs. */
 	if (rn->tn_type->t_tspec == PTR && is_integer(ln->tn_type->t_tspec)) {
 		tnode_t *tmp = ln;
 		ln = rn;
 		rn = tmp;
 		/* pointer addition has integer on the left-hand side */
 		query_message(5);
+	}
 	/* pointer +- integer */
 	if (ln->tn_type->t_tspec == PTR && rn->tn_type->t_tspec != PTR) {
 		lint_assert(is_integer(rn->tn_type->t_tspec));
 		check_ctype_macro_invocation(ln, rn);
 		check_enum_array_index(ln, rn);
 		tnode_t *elsz = subt_size_in_bytes(ln->tn_type);
 		if (rn->tn_type->t_tspec != elsz->tn_type->t_tspec)
 			rn = convert(NOOP, 0, elsz->tn_type, rn);
 		tnode_t *prod = new_tnode(MULT, sys, rn->tn_type, rn, elsz);
 		if (rn->tn_op == CON)
 			prod = fold(prod);
 		return new_tnode(op, sys, ln->tn_type, ln, prod);
+	}
 	/* pointer - pointer */
 	if (rn->tn_type->t_tspec == PTR) {
 		lint_assert(ln->tn_type->t_tspec == PTR);
 		lint_assert(op == MINUS);
 		type_t *ptrdiff = gettyp(PTRDIFF_TSPEC);
 		tnode_t *raw_diff = new_tnode(op, sys, ptrdiff, ln, rn);
 		if (ln->tn_op == CON && rn->tn_op == CON)
 			raw_diff = fold(raw_diff);
 		tnode_t *elsz = subt_size_in_bytes(ln->tn_type);
 		balance(NOOP, &raw_diff, &elsz);
 		return new_tnode(DIV, sys, ptrdiff, raw_diff, elsz);
+	}
 	return new_tnode(op, sys, ln->tn_type, ln, rn);
+}
 /*
  * Create a node for operators SHL and SHR.
  */
 static tnode_t *
 build_bit_shift(op_t op, bool sys, tnode_t *ln, tnode_t *rn)
+{
 	if (!allow_c90 && rn->tn_type->t_tspec != INT)
 		rn = convert(NOOP, 0, gettyp(INT), rn);
 	return new_tnode(op, sys, ln->tn_type, ln, rn);
+}
 static bool
 is_null_pointer(const tnode_t *tn)
+{
 	tspec_t t = tn->tn_type->t_tspec;
 	return ((t == PTR && tn->tn_type->t_subt->t_tspec == VOID) ||
 		is_integer(t))
 	       && (tn->tn_op == CON && tn->tn_val->v_quad == 0);
+}
 /* Return a type based on tp1, with added qualifiers from tp2. */
 static type_t *
 merge_qualifiers(type_t *tp1, const type_t *tp2)
+{
 	type_t *ntp, *nstp;
 	bool c1, c2, v1, v2;
 	lint_assert(tp1->t_tspec == PTR);
 	lint_assert(tp2->t_tspec == PTR);
 	c1 = tp1->t_subt->t_const;
 	c2 = tp2->t_subt->t_const;
 	v1 = tp1->t_subt->t_volatile;
 	v2 = tp2->t_subt->t_volatile;
 	if (c1 == (c1 | c2) && v1 == (v1 | v2))
 		return tp1;
 	nstp = expr_dup_type(tp1->t_subt);
 	nstp->t_const |= c2;
 	nstp->t_volatile |= v2;
 	ntp = expr_dup_type(tp1);
 	ntp->t_subt = nstp;
 	return ntp;
+}
 /* See C99 6.5.15 "Conditional operator". */
 static tnode_t *
 build_colon(bool sys, tnode_t *ln, tnode_t *rn)
+{
 	tspec_t	lt, rt;
 	type_t	*tp;
 	lt = ln->tn_type->t_tspec;
 	rt = rn->tn_type->t_tspec;
 	if (is_arithmetic(lt) && is_arithmetic(rt)) {
 		/* The operands were already balanced in build_binary. */
 		tp = ln->tn_type;
 	} else if (lt == BOOL && rt == BOOL) {
 		tp = ln->tn_type;
 	} else if (lt == VOID || rt == VOID) {
 		tp = gettyp(VOID);
 	} else if (is_struct_or_union(lt)) {
 		/* Both types must be identical. */
 		lint_assert(is_struct_or_union(rt));
 		lint_assert(ln->tn_type->t_str == rn->tn_type->t_str);
 		if (is_incomplete(ln->tn_type)) {
 			/* unknown operand size, op '%s' */
 			error(138, op_name(COLON));
 			return NULL;
+		}
 		tp = ln->tn_type;
 	} else if (lt == PTR && is_integer(rt)) {
 		if (rt != PTRDIFF_TSPEC)
 			rn = convert(NOOP, 0, gettyp(PTRDIFF_TSPEC), rn);
 		tp = ln->tn_type;
 	} else if (rt == PTR && is_integer(lt)) {
 		if (lt != PTRDIFF_TSPEC)
 			ln = convert(NOOP, 0, gettyp(PTRDIFF_TSPEC), ln);
 		tp = rn->tn_type;
 	} else if (lt == PTR && is_null_pointer(rn)) {
 		tp = merge_qualifiers(ln->tn_type, rn->tn_type);
 	} else if (rt == PTR && is_null_pointer(ln)) {
 		tp = merge_qualifiers(rn->tn_type, ln->tn_type);
 	} else if (lt == PTR && ln->tn_type->t_subt->t_tspec == VOID) {
 		tp = merge_qualifiers(ln->tn_type, rn->tn_type);
 	} else if (rt == PTR && rn->tn_type->t_subt->t_tspec == VOID) {
 		tp = merge_qualifiers(rn->tn_type, ln->tn_type);
 	} else {
 		/*
 		 * XXX For now we simply take the left type. This is
 		 * probably wrong, if one type contains a function prototype
 		 * and the other one, at the same place, only an old-style
 		 * declaration.
 		 */
 		tp = merge_qualifiers(ln->tn_type, rn->tn_type);
+	}
 	return new_tnode(COLON, sys, tp, ln, rn);
+}
 /* TODO: check for varargs */
 static bool
 is_cast_redundant(const tnode_t *tn)
+{
 	const type_t *ntp = tn->tn_type, *otp = tn->tn_left->tn_type;
 	tspec_t nt = ntp->t_tspec, ot = otp->t_tspec;
 	if (nt == BOOL || ot == BOOL)
 		return nt == BOOL && ot == BOOL;
 	if (is_integer(nt) && is_integer(ot)) {
 		unsigned int nw = width_in_bits(ntp), ow = width_in_bits(otp);
 		if (is_uinteger(nt) == is_uinteger(ot))
 		       return nw >= ow;
 		return is_uinteger(ot) && nw > ow;
+	}
 	if (is_complex(nt) || is_complex(ot))
 		return is_complex(nt) && is_complex(ot) &&
 		       size_in_bits(nt) >= size_in_bits(ot);
 	if (is_floating(nt) && is_floating(ot))
 		return size_in_bits(nt) >= size_in_bits(ot);
 	if (nt == PTR && ot == PTR) {
 		if (!ntp->t_subt->t_const && otp->t_subt->t_const)
 			return false;
 		if (!ntp->t_subt->t_volatile && otp->t_subt->t_volatile)
 			return false;
 		if (ntp->t_subt->t_tspec == VOID ||
 		    otp->t_subt->t_tspec == VOID ||
 		    types_compatible(ntp->t_subt, otp->t_subt,
 			false, false, NULL))
 			return true;
+	}
 	return false;
+}
 /*
  * Create a node for an assignment operator (both = and op= ).
  */
 static tnode_t *
 build_assignment(op_t op, bool sys, tnode_t *ln, tnode_t *rn)
+{
 	tspec_t	lt, rt;
 	tnode_t	*ntn, *ctn;
 	lint_assert(ln != NULL);
 	lint_assert(rn != NULL);
 	lt = ln->tn_type->t_tspec;
 	rt = rn->tn_type->t_tspec;
 	if ((op == ADDASS || op == SUBASS) && lt == PTR) {
 		lint_assert(is_integer(rt));
 		ctn = subt_size_in_bytes(ln->tn_type);
 		if (rn->tn_type->t_tspec != ctn->tn_type->t_tspec)
 			rn = convert(NOOP, 0, ctn->tn_type, rn);
 		rn = new_tnode(MULT, sys, rn->tn_type, rn, ctn);
 		if (rn->tn_left->tn_op == CON)
 			rn = fold(rn);
+	}
 	if ((op == ASSIGN || op == RETURN || op == INIT) &&
 	    (lt == STRUCT || rt == STRUCT)) {
 		lint_assert(lt == rt);
 		lint_assert(ln->tn_type->t_str == rn->tn_type->t_str);
 		if (is_incomplete(ln->tn_type)) {
 			if (op == RETURN) {
 				/* cannot return incomplete type */
 				error(212);
 			} else {
 				/* unknown operand size, op '%s' */
 				error(138, op_name(op));
+			}
 			return NULL;
+		}
+	}
 	if (op == SHLASS) {
 		if (portable_size_in_bits(lt) < portable_size_in_bits(rt)) {
 			if (hflag)
 				/* semantics of '%s' change in ANSI C; ... */
 				warning(118, "<<=");
+		}
 	} else if (op != SHRASS) {
 		if (op == ASSIGN || lt != PTR) {
 			if (lt != rt ||
 			    (ln->tn_type->t_bitfield && rn->tn_op == CON)) {
 				rn = convert(op, 0, ln->tn_type, rn);
 				rt = lt;
+			}
+		}
+	}
 	if (any_query_enabled && rn->tn_op == CVT && rn->tn_cast &&
 	    types_compatible(ln->tn_type, rn->tn_type, false, false, NULL) &&
 	    is_cast_redundant(rn)) {
 		/* redundant cast from '%s' to '%s' before assignment */
 		query_message(7,
 		    type_name(rn->tn_left->tn_type), type_name(rn->tn_type));
+	}
 	ntn = new_tnode(op, sys, ln->tn_type, ln, rn);
 	return ntn;
+}
 /*
  * Create a node for REAL, IMAG
  */
 static tnode_t *
 build_real_imag(op_t op, bool sys, tnode_t *ln)
+{
 	tnode_t	*cn, *ntn;
 	lint_assert(ln != NULL);
 	if (ln->tn_op == NAME) {
 		/*
 		 * This may be too much, but it avoids wrong warnings.
 		 * See d_c99_complex_split.c.
 		 */
 		mark_as_used(ln->tn_sym, false, false);
 		mark_as_set(ln->tn_sym);
+	}
 	switch (ln->tn_type->t_tspec) {
 	case LCOMPLEX:
 		/* XXX: integer and LDOUBLE don't match. */
 		cn = build_integer_constant(LDOUBLE, (int64_t)1);
 		break;
 	case DCOMPLEX:
 		/* XXX: integer and DOUBLE don't match. */
 		cn = build_integer_constant(DOUBLE, (int64_t)1);
 		break;
 	case FCOMPLEX:
 		/* XXX: integer and FLOAT don't match. */
 		cn = build_integer_constant(FLOAT, (int64_t)1);
 		break;
 	default:
 		/* '__%s__' is illegal for type '%s' */
 		error(276, op == REAL ? "real" : "imag",
 		    type_name(ln->tn_type));
 		return NULL;
+	}
 	ntn = new_tnode(op, sys, cn->tn_type, ln, cn);
 	ntn->tn_lvalue = true;
 	return ntn;
+}
 static bool
 is_confusing_precedence(op_t op, op_t lop, bool lparen, op_t rop, bool rparen)
+{
 	if (op == SHL || op == SHR) {
 		if (!lparen && (lop == PLUS || lop == MINUS))
 			return true;
 		if (!rparen && (rop == PLUS || rop == MINUS))
 			return true;
 		return false;
+	}
 	if (op == LOGOR) {
 		if (!lparen && lop == LOGAND)
 			return true;
 		if (!rparen && rop == LOGAND)
 			return true;
 		return false;
+	}
 	lint_assert(op == BITAND || op == BITXOR || op == BITOR);
 	if (!lparen && lop != op) {
 		if (lop == PLUS || lop == MINUS)
 			return true;
 		if (lop == BITAND || lop == BITXOR)
 			return true;
+	}
 	if (!rparen && rop != op) {
 		if (rop == PLUS || rop == MINUS)
 			return true;
 		if (rop == BITAND || rop == BITXOR)
 			return true;
+	}
 	return false;
+}
 /*
  * Print a warning if the given node has operands which should be
  * parenthesized.
+ *
  * XXX Does not work if an operand is a constant expression. Constant
  * expressions are already folded.
  */
 static void
 check_precedence_confusion(tnode_t *tn)
+{
 	tnode_t *ln, *rn;
 	if (!hflag)
 		return;
 	debug_node(tn);
 	lint_assert(is_binary(tn));
 	for (ln = tn->tn_left; ln->tn_op == CVT; ln = ln->tn_left)
 		continue;
 	for (rn = tn->tn_right; rn->tn_op == CVT; rn = rn->tn_left)
 		continue;
 	if (is_confusing_precedence(tn->tn_op,
 	    ln->tn_op, ln->tn_parenthesized,
 	    rn->tn_op, rn->tn_parenthesized)) {
 		/* precedence confusion possible: parenthesize! */
 		warning(169);
+	}
+}
 /*
  * Fold constant nodes, as much as is needed for comparing the value with 0.
  */
 static tnode_t *
 fold_bool(tnode_t *tn)
+{
 	bool	l, r;
 	val_t	*v;
 	v = xcalloc(1, sizeof(*v));
 	v->v_tspec = tn->tn_type->t_tspec;
 	lint_assert(v->v_tspec == INT || (Tflag && v->v_tspec == BOOL));
 	l = constant_is_nonzero(tn->tn_left);
 	r = is_binary(tn) && constant_is_nonzero(tn->tn_right);
 	switch (tn->tn_op) {
 	case NOT:
 		if (hflag && !constcond_flag)
 			/* constant argument to '!' */
 			warning(239);
 		v->v_quad = !l ? 1 : 0;
 		break;
 	case LOGAND:
 		v->v_quad = l && r ? 1 : 0;
 		break;
 	case LOGOR:
 		v->v_quad = l || r ? 1 : 0;
 		break;
 	default:
 		lint_assert(/*CONSTCOND*/false);
+	}
 	return build_constant(tn->tn_type, v);
+}
 static ldbl_t
 floating_error_value(tspec_t t, ldbl_t lv)
+{
 	if (t == FLOAT)
 		return lv < 0 ? -FLT_MAX : FLT_MAX;
 	if (t == DOUBLE)
 		return lv < 0 ? -DBL_MAX : DBL_MAX;
-	return lv < 0 ? -LDBL_MAX : LDBL_MAX;
+	/*
 	 * When lint is compiled on x86_64 to check for sparc64, it uses the
 	 * type 'long double' from x86_64, which is the Intel 80-bit format.
 	 * The constant LDBL_MAX comes from the sparc64 preprocessor though
 	 * and uses the IEEE-754-binary128 format, with the same exponent
 	 * range but a wider mantissa.
+	 *
 	 * To properly handle this situation, lint would have to implement the
 	 * floating-point types in a platform-independent way, which is not
 	 * worth the effort, given how few programs practically use 'long
 	 * double'.
+	 *
 	 * This caveat only affects cross builds.
 	 */
 	/* LINTED 248: floating-point constant out of range */
 	ldbl_t max = LDBL_MAX;
 	return lv < 0 ? -max : max;
+}
 /*
  * Fold constant nodes having operands with floating point type.
  */
 static tnode_t *
 fold_float(tnode_t *tn)
+{
 	val_t	*v;
 	tspec_t	t;
 	ldbl_t	lv, rv = 0;
 	fpe = 0;
 	v = xcalloc(1, sizeof(*v));
 	v->v_tspec = t = tn->tn_type->t_tspec;
 	lint_assert(is_floating(t));
 	lint_assert(t == tn->tn_left->tn_type->t_tspec);
 	lint_assert(!is_binary(tn) || t == tn->tn_right->tn_type->t_tspec);
 	lv = tn->tn_left->tn_val->v_ldbl;
 	if (is_binary(tn))
 		rv = tn->tn_right->tn_val->v_ldbl;
 	switch (tn->tn_op) {
 	case UPLUS:
 		v->v_ldbl = lv;
 		break;
 	case UMINUS:
 		v->v_ldbl = -lv;
 		break;
 	case MULT:
 		v->v_ldbl = lv * rv;
 		break;
 	case DIV:
 		if (rv == 0.0) {
 			/* division by 0 */
 			error(139);
 			v->v_ldbl = floating_error_value(t, lv);
 		} else {
 			v->v_ldbl = lv / rv;
+		}
 		break;
 	case PLUS:
 		v->v_ldbl = lv + rv;
 		break;
 	case MINUS:
 		v->v_ldbl = lv - rv;
 		break;
 	case LT:
 		v->v_quad = lv < rv ? 1 : 0;
 		break;
 	case LE:
 		v->v_quad = lv <= rv ? 1 : 0;
 		break;
 	case GE:
 		v->v_quad = lv >= rv ? 1 : 0;
 		break;
 	case GT:
 		v->v_quad = lv > rv ? 1 : 0;
 		break;
 	case EQ:
 		v->v_quad = lv == rv ? 1 : 0;
 		break;
 	case NE:
 		v->v_quad = lv != rv ? 1 : 0;
 		break;
 	default:
 		lint_assert(/*CONSTCOND*/false);
+	}
 	lint_assert(fpe != 0 || isnan(v->v_ldbl) == 0);
 	if (is_complex(v->v_tspec)) {
 		/*
 		 * Don't warn, as lint doesn't model the imaginary part of
 		 * complex numbers.
 		 */
 		fpe = 0;
 	} else if (fpe != 0 || isfinite(v->v_ldbl) == 0 ||
 	    (t == FLOAT &&
 	     (v->v_ldbl > FLT_MAX || v->v_ldbl < -FLT_MAX)) ||
 	    (t == DOUBLE &&
 	     (v->v_ldbl > DBL_MAX || v->v_ldbl < -DBL_MAX))) {
 		/* floating point overflow on operator '%s' */
 		warning(142, op_name(tn->tn_op));
 		v->v_ldbl = floating_error_value(t, v->v_ldbl);
 		fpe = 0;
+	}
 	return build_constant(tn->tn_type, v);
+}
 /*
  * Create a tree node for a binary operator and its two operands. Also called
  * for unary operators; in that case rn is NULL.
+ *
  * Function calls, sizeof and casts are handled elsewhere.
  */
 tnode_t *
 build_binary(tnode_t *ln, op_t op, bool sys, tnode_t *rn)
+{
 	const mod_t *mp;
 	tnode_t	*ntn;
 	type_t	*rettp;
 	mp = &modtab[op];
 	/* If there was an error in one of the operands, return. */
 	if (ln == NULL || (mp->m_binary && rn == NULL))
 		return NULL;
 	/*
 	 * Apply class conversions to the left operand, but only if its
 	 * value is needed or it is compared with zero.
 	 */
 	if (mp->m_value_context || mp->m_compares_with_zero)
 		ln = cconv(ln);
 	/*
 	 * The right operand is almost always in a test or value context,
 	 * except if it is a struct or union member.
 	 */
 	if (mp->m_binary && op != ARROW && op != POINT)
 		rn = cconv(rn);
 	/*
 	 * Print some warnings for comparisons of unsigned values with
 	 * constants lower than or equal to null. This must be done
 	 * before promote() because otherwise unsigned char and unsigned
 	 * short would be promoted to int. Types are also tested to be
 	 * CHAR, which would also become int.
 	 */
 	if (mp->m_comparison)
 		check_integer_comparison(op, ln, rn);
 	if (mp->m_value_context || mp->m_compares_with_zero)
 		ln = promote(op, false, ln);
 	if (mp->m_binary && op != ARROW && op != POINT &&
 	    op != ASSIGN && op != RETURN && op != INIT) {
 		rn = promote(op, false, rn);
+	}
 	/*
 	 * If the result of the operation is different for signed or
 	 * unsigned operands and one of the operands is signed only in
 	 * ANSI C, print a warning.
 	 */
 	if (mp->m_warn_if_left_unsigned_in_c90 &&
 	    ln->tn_op == CON && ln->tn_val->v_unsigned_since_c90) {
 		/* ANSI C treats constant as unsigned, op '%s' */
 		warning(218, mp->m_name);
 		ln->tn_val->v_unsigned_since_c90 = false;
+	}
 	if (mp->m_warn_if_right_unsigned_in_c90 &&
 	    rn->tn_op == CON && rn->tn_val->v_unsigned_since_c90) {
 		/* ANSI C treats constant as unsigned, op '%s' */
 		warning(218, mp->m_name);
 		rn->tn_val->v_unsigned_since_c90 = false;
+	}
 	/* Make sure both operands are of the same type */
 	if (mp->m_balance_operands || (!allow_c90 && (op == SHL || op == SHR)))
 		balance(op, &ln, &rn);
 	/*
 	 * Check types for compatibility with the operation and mutual
 	 * compatibility. Return if there are serious problems.
 	 */
 	if (!typeok(op, 0, ln, rn))
 		return NULL;
 	/* And now create the node. */
 	switch (op) {
 	case POINT:
 	case ARROW:
 		ntn = build_struct_access(op, sys, ln, rn);
 		break;
 	case INCAFT:
 	case DECAFT:
 	case INCBEF:
 	case DECBEF:
 		ntn = build_prepost_incdec(op, sys, ln);
 		break;
 	case ADDR:
 		ntn = build_address(sys, ln, false);
 		break;
 	case INDIR:
 		ntn = new_tnode(INDIR, sys, ln->tn_type->t_subt, ln, NULL);
 		break;
 	case PLUS:
 	case MINUS:
 		ntn = build_plus_minus(op, sys, ln, rn);
 		break;
 	case SHL:
 	case SHR:
 		ntn = build_bit_shift(op, sys, ln, rn);
 		break;
 	case COLON:
 		ntn = build_colon(sys, ln, rn);
 		break;
 	case ASSIGN:
 	case MULASS:
 	case DIVASS:
 	case MODASS:
 	case ADDASS:
 	case SUBASS:
 	case SHLASS:
 	case SHRASS:
 	case ANDASS:
 	case XORASS:
 	case ORASS:
 	case RETURN:
 	case INIT:
 		ntn = build_assignment(op, sys, ln, rn);
 		break;
 	case COMMA:
 	case QUEST:
 		ntn = new_tnode(op, sys, rn->tn_type, ln, rn);
 		break;
 	case REAL:
 	case IMAG:
 		ntn = build_real_imag(op, sys, ln);
 		break;
 	default:
 		rettp = mp->m_returns_bool
 		    ? gettyp(Tflag ? BOOL : INT) : ln->tn_type;
 		lint_assert(mp->m_binary == (rn != NULL));
 		ntn = new_tnode(op, sys, rettp, ln, rn);
 		break;
+	}
 	/* Return if an error occurred. */
 	if (ntn == NULL)
 		return NULL;
 	/* Print a warning if precedence confusion is possible */
 	if (mp->m_possible_precedence_confusion)
 		check_precedence_confusion(ntn);
 	/*
 	 * Print a warning if one of the operands is in a context where
 	 * it is compared with zero and if this operand is a constant.
 	 */
 	if (hflag && !constcond_flag &&
 	    mp->m_compares_with_zero &&
 	    (ln->tn_op == CON ||
 	     ((mp->m_binary && op != QUEST) && rn->tn_op == CON)) &&
 	    /* XXX: rn->tn_system_dependent should be checked as well */
 	    !ln->tn_system_dependent) {
 		/* constant in conditional context */
 		warning(161);
+	}
 	/* Fold if the operator requires it */
 	if (mp->m_fold_constant_operands) {
 		if (ln->tn_op == CON && (!mp->m_binary || rn->tn_op == CON)) {
 			if (mp->m_compares_with_zero) {
 				ntn = fold_bool(ntn);
 			} else if (is_floating(ntn->tn_type->t_tspec)) {
 				ntn = fold_float(ntn);
 			} else {
 				ntn = fold(ntn);
+			}
 		} else if (op == QUEST && ln->tn_op == CON) {
 			ntn = ln->tn_val->v_quad != 0
 			    ? rn->tn_left : rn->tn_right;
+		}
+	}
 	return ntn;
+}
 tnode_t *
 build_unary(op_t op, bool sys, tnode_t *tn)
+{
 	return build_binary(tn, op, sys, NULL);
+}
 /*
  * Return whether all struct/union members with the same name have the same
  * type and offset.
  */
 static bool
 all_members_compatible(const sym_t *msym)
+{
 	for (const sym_t *csym = msym;
 	     csym != NULL; csym = csym->s_symtab_next) {
 		if (!is_member(csym))
 			continue;
 		if (strcmp(msym->s_name, csym->s_name) != 0)
 			continue;
 		for (const sym_t *sym = csym->s_symtab_next;
 		     sym != NULL; sym = sym->s_symtab_next) {
 			if (!is_member(sym))
 				continue;
 			if (strcmp(csym->s_name, sym->s_name) != 0)
 				continue;
 			if (csym->u.s_member.sm_offset_in_bits !=
 			    sym->u.s_member.sm_offset_in_bits)
 				return false;
 			bool w = false;
 			if (!types_compatible(csym->s_type, sym->s_type,
 			    false, false, &w) && !w)
 				return false;
 			if (csym->s_bitfield != sym->s_bitfield)
 				return false;
 			if (csym->s_bitfield) {
 				type_t *tp1 = csym->s_type;
 				type_t *tp2 = sym->s_type;
 				if (tp1->t_flen != tp2->t_flen)
 					return false;
 				if (tp1->t_foffs != tp2->t_foffs)
 					return false;
+			}
+		}
+	}
 	return true;
+}
 /*
  * Returns a symbol which has the same name as the msym argument and is a
  * member of the struct or union specified by the tn argument.
  */
 static sym_t *
 struct_or_union_member(tnode_t *tn, op_t op, sym_t *msym)
+{
 	struct_or_union	*str;
 	type_t	*tp;
 	tspec_t	t;
 	/*
 	 * Remove the member if it was unknown until now, which means
 	 * that no defined struct or union has a member with the same name.
 	 */
 	if (msym->s_scl == NOSCL) {
 		/* type '%s' does not have member '%s' */
 		error(101, type_name(tn->tn_type), msym->s_name);
 		rmsym(msym);
 		msym->s_kind = FMEMBER;
 		msym->s_scl = STRUCT_MEMBER;
 		struct_or_union *sou = expr_zero_alloc(sizeof(*sou));
 		sou->sou_tag = expr_zero_alloc(sizeof(*sou->sou_tag));
 		sou->sou_tag->s_name = unnamed;
 		msym->u.s_member.sm_sou_type = sou;
 		/*
 		 * The member sm_offset_in_bits is not needed here since this
 		 * symbol can only be used for error reporting.
 		 */
 		return msym;
+	}
 	/* Set str to the tag of which msym is expected to be a member. */
 	str = NULL;
 	t = (tp = tn->tn_type)->t_tspec;
 	if (op == POINT) {
 		if (is_struct_or_union(t))
 			str = tp->t_str;
 	} else if (op == ARROW && t == PTR) {
 		t = (tp = tp->t_subt)->t_tspec;
 		if (is_struct_or_union(t))
 			str = tp->t_str;
+	}
 	/*
 	 * If this struct/union has a member with the name of msym, return it.
 	 */
 	if (str != NULL) {
 		for (sym_t *sym = msym;
 		     sym != NULL; sym = sym->s_symtab_next) {
 			if (is_member(sym) &&
 			    sym->u.s_member.sm_sou_type == str &&
 			    strcmp(sym->s_name, msym->s_name) == 0)
 				return sym;
+		}
+	}
 	bool eq = all_members_compatible(msym);
 	/*
 	 * Now handle the case in which the left operand refers really
 	 * to a struct/union, but the right operand is not member of it.
 	 */
 	if (str != NULL) {
 		if (eq && !allow_c90) {
 			/* illegal use of member '%s' */
 			warning(102, msym->s_name);
 		} else {
 			/* illegal use of member '%s' */
 			error(102, msym->s_name);
+		}
 		return msym;
+	}
 	/*
 	 * Now the left operand of ARROW does not point to a struct/union
 	 * or the left operand of POINT is no struct/union.
 	 */
 	if (eq) {
 		if (op == POINT) {
 			if (!allow_c90) {
 				/* left operand of '.' must be struct ... */
 				warning(103, type_name(tn->tn_type));
 			} else {
 				/* left operand of '.' must be struct ... */
 				error(103, type_name(tn->tn_type));
+			}
 		} else {
 			if (!allow_c90 && tn->tn_type->t_tspec == PTR) {
 				/* left operand of '->' must be pointer ... */
 				warning(104, type_name(tn->tn_type));
 			} else {
 				/* left operand of '->' must be pointer ... */
 				error(104, type_name(tn->tn_type));
+			}
+		}
 	} else {
 		if (!allow_c90) {
 			/* non-unique member requires struct/union %s */
 			error(105, op == POINT ? "object" : "pointer");
 		} else {
 			/* unacceptable operand of '%s' */
 			error(111, op_name(op));
+		}
+	}
 	return msym;
+}
 tnode_t *
 build_member_access(tnode_t *ln, op_t op, bool sys, sbuf_t *member)
+{
 	sym_t	*msym;
 	if (ln == NULL)
 		return NULL;
 	if (op == ARROW) {
 		/* must do this before struct_or_union_member is called */
 		ln = cconv(ln);
+	}
 	msym = struct_or_union_member(ln, op, getsym(member));
 	return build_binary(ln, op, sys, build_name(msym, false));
+}
 /*
  * Perform class conversions.
+ *
  * Arrays of type T are converted into pointers to type T.
  * Functions are converted to pointers to functions.
  * Lvalues are converted to rvalues.
+ *
  * C99 6.3 "Conversions"
  * C99 6.3.2 "Other operands"
  * C99 6.3.2.1 "Lvalues, arrays, and function designators"
  */
 tnode_t *
 cconv(tnode_t *tn)
+{
 	/*
 	 * Array-lvalue (array of type T) is converted into rvalue
 	 * (pointer to type T)
 	 */
 	if (tn->tn_type->t_tspec == ARRAY) {
 		if (!tn->tn_lvalue) {
 			/* XXX print correct operator */
 			/* %soperand of '%s' must be lvalue */
 			gnuism(114, "", op_name(ADDR));
+		}
 		tn = new_tnode(ADDR, tn->tn_sys,
 		    expr_derive_type(tn->tn_type->t_subt, PTR), tn, NULL);
+	}
 	/*
 	 * Expression of type function (function with return value of type T)
 	 * in rvalue-expression (pointer to function with return value
 	 * of type T)
 	 */
 	if (tn->tn_type->t_tspec == FUNC)
 		tn = build_address(tn->tn_sys, tn, true);
 	/* lvalue to rvalue */
 	if (tn->tn_lvalue) {
 		type_t *tp = expr_dup_type(tn->tn_type);
 		/* C99 6.3.2.1p2 sentence 2 says to remove the qualifiers. */
 		tp->t_const = tp->t_volatile = false;
 		tn = new_tnode(LOAD, tn->tn_sys, tp, tn, NULL);
+	}
 	return tn;
+}
 const tnode_t *
 before_conversion(const tnode_t *tn)
+{
 	while (tn->tn_op == CVT && !tn->tn_cast)
 		tn = tn->tn_left;
 	return tn;
+}
 /*
  * Most errors required by ANSI C are reported in struct_or_union_member().
  * Here we only check for totally wrong things.
  */
 static bool
 typeok_point(const tnode_t *ln, const type_t *ltp, tspec_t lt)
+{
 	if (is_struct_or_union(lt))
 		return true;
 	if (lt == FUNC || lt == VOID || ltp->t_bitfield)
 		goto wrong;
 	/*
 	 * Some C dialects from before C90 tolerated any lvalue on the
 	 * left-hand side of the '.' operator, allowing things like
 	 * char st[100]; st.st_mtime, assuming that the member 'st_mtime'
 	 * only occurred in a single struct; see typeok_arrow.
 	 */
 	if (ln->tn_lvalue)
 		return true;
 wrong:
 	/* With allow_c90 we already got an error */
 	if (!allow_c90)
 		/* unacceptable operand of '%s' */
 		error(111, op_name(POINT));
 	return false;
+}
 static bool
 typeok_arrow(tspec_t lt)
+{
 	/*
 	 * C1978 Appendix A 14.1 says: <quote>In fact, any lvalue is allowed
 	 * before '.', and that lvalue is then assumed to have the form of
 	 * the structure of which the name of the right is a member. [...]
 	 * Such constructions are non-portable.</quote>
 	 */
 	if (lt == PTR || (!allow_c90 && is_integer(lt)))
 		return true;
 	/* With allow_c90 we already got an error */
 	if (!allow_c90)
 		/* unacceptable operand of '%s' */
 		error(111, op_name(ARROW));
 	return false;
+}
 static bool
 typeok_incdec(op_t op, const tnode_t *tn, const type_t *tp)
+{
 	/* operand has scalar type (checked in typeok) */
 	if (!tn->tn_lvalue) {
 		if (tn->tn_op == CVT && tn->tn_cast &&
 		    tn->tn_left->tn_op == LOAD) {
 			/* a cast does not yield an lvalue */
 			error(163);
+		}
 		/* %soperand of '%s' must be lvalue */
 		error(114, "", op_name(op));
 		return false;
+	}
 	if (tp->t_const && allow_c90) {
 		/* %soperand of '%s' must be modifiable lvalue */
 		warning(115, "", op_name(op));
+	}
 	return true;
+}
 static bool
 typeok_address(const mod_t *mp,
 	       const tnode_t *tn, const type_t *tp, tspec_t t)
+{
 	if (t == ARRAY || t == FUNC) {
 		/* ok, a warning comes later (in build_address()) */
 	} else if (!tn->tn_lvalue) {
 		if (tn->tn_op == CVT && tn->tn_cast &&
 		    tn->tn_left->tn_op == LOAD) {
 			/* a cast does not yield an lvalue */
 			error(163);
+		}
 		/* %soperand of '%s' must be lvalue */
 		error(114, "", mp->m_name);
 		return false;
 	} else if (is_scalar(t)) {
 		if (tp->t_bitfield) {
 			/* cannot take address of bit-field */
 			error(112);
 			return false;
+		}
 	} else if (t != STRUCT && t != UNION) {
 		/* unacceptable operand of '%s' */
 		error(111, mp->m_name);
 		return false;
+	}
 	if (tn->tn_op == NAME && tn->tn_sym->s_register) {
 		/* cannot take address of register '%s' */
 		error(113, tn->tn_sym->s_name);
 		return false;
+	}
 	return true;
+}
 static bool
 typeok_indir(const type_t *tp, tspec_t t)
+{
 	if (t != PTR) {
 		/* cannot dereference non-pointer type '%s' */
 		error(96, type_name(tp));
 		return false;
+	}
 	return true;
+}
 static void
 warn_incompatible_types(op_t op,
 			const type_t *ltp, tspec_t lt,
 			const type_t *rtp, tspec_t rt)
+{
 	const mod_t *mp = &modtab[op];
 	if (lt == VOID || (mp->m_binary && rt == VOID)) {
 		/* void type illegal in expression */
 		error(109);
 	} else if (op == ASSIGN) {
 		/* cannot assign to '%s' from '%s' */
 		error(171, type_name(ltp), type_name(rtp));
 	} else if (mp->m_binary) {
 		/* operands of '%s' have incompatible types '%s' and '%s' */
 		error(107, mp->m_name, tspec_name(lt), tspec_name(rt));
 	} else {
 		lint_assert(rt == NOTSPEC);
 		/* operand of '%s' has invalid type '%s' */
 		error(108, mp->m_name, type_name(ltp));
+	}
+}
 static bool
 typeok_plus(op_t op,
 	    const type_t *ltp, tspec_t lt,
 	    const type_t *rtp, tspec_t rt)
+{
 	/* operands have scalar types (checked in typeok) */
 	if ((lt == PTR && !is_integer(rt)) || (rt == PTR && !is_integer(lt))) {
 		warn_incompatible_types(op, ltp, lt, rtp, rt);
 		return false;
+	}
 	return true;
+}
 static bool
 typeok_minus(op_t op,
 	     const type_t *ltp, tspec_t lt,
 	     const type_t *rtp, tspec_t rt)
+{
 	/* operands have scalar types (checked in typeok) */
 	if ((lt == PTR && rt != PTR && !is_integer(rt)) ||
 	    (lt != PTR && rt == PTR)) {
 		warn_incompatible_types(op, ltp, lt, rtp, rt);
 		return false;
+	}
 	if (lt == PTR && rt == PTR &&
 	    !types_compatible(ltp->t_subt, rtp->t_subt, true, false, NULL)) {
 		/* illegal pointer subtraction */
 		error(116);
+	}
 	return true;
+}
 static void
 typeok_shr(const mod_t *mp,
 	   const tnode_t *ln, tspec_t lt,
 	   const tnode_t *rn, tspec_t rt)
+{
 	tspec_t olt, ort;
 	olt = before_conversion(ln)->tn_type->t_tspec;
 	ort = before_conversion(rn)->tn_type->t_tspec;
 	/* operands have integer types (checked in typeok) */
 	if (pflag && !is_uinteger(olt)) {
 		integer_constraints lc = ic_expr(ln);
 		if (!ic_maybe_signed(ln->tn_type, &lc))
 			return;
 		/*
 		 * The left operand is signed. This means that
 		 * the operation is (possibly) nonportable.
 		 */
 		if (ln->tn_op != CON) {
 			/* bitwise '%s' on signed value possibly nonportable */
 			warning(117, mp->m_name);
 		} else if (ln->tn_val->v_quad < 0) {
 			/* bitwise '%s' on signed value nonportable */
 			warning(120, mp->m_name);
+		}
 	} else if (allow_trad && allow_c90 &&
 		   !is_uinteger(olt) && is_uinteger(ort)) {
 		/* The left operand would become unsigned in traditional C. */
 		if (hflag && (ln->tn_op != CON || ln->tn_val->v_quad < 0)) {
 			/* semantics of '%s' change in ANSI C; use ... */
 			warning(118, mp->m_name);
+		}
 	} else if (allow_trad && allow_c90 &&
 		   !is_uinteger(olt) && !is_uinteger(ort) &&
 		   portable_size_in_bits(lt) < portable_size_in_bits(rt)) {
 		/*
 		 * In traditional C the left operand would be extended
 		 * (possibly sign-extended) and then shifted.
 		 */
 		if (hflag && (ln->tn_op != CON || ln->tn_val->v_quad < 0)) {
 			/* semantics of '%s' change in ANSI C; use ... */
 			warning(118, mp->m_name);
+		}
+	}
+}
 static void
 typeok_shl(const mod_t *mp, tspec_t lt, tspec_t rt)
+{
 	/*
 	 * C90 does not perform balancing for shift operations,
 	 * but traditional C does. If the width of the right operand
 	 * is greater than the width of the left operand, then in
 	 * traditional C the left operand would be extended to the
 	 * width of the right operand. For SHL this may result in
 	 * different results.
 	 */
 	if (portable_size_in_bits(lt) < portable_size_in_bits(rt)) {
 		/*
 		 * XXX If both operands are constant, make sure
 		 * that there is really a difference between
 		 * ANSI C and traditional C.
 		 */
 		if (hflag && !allow_c99)
 			/* semantics of '%s' change in ANSI C; use ... */
 			warning(118, mp->m_name);
+	}
+}
 static void
 typeok_shift(const type_t *ltp, tspec_t lt, const tnode_t *rn, tspec_t rt)
+{
 	if (rn->tn_op != CON)
 		return;
 	if (!is_uinteger(rt) && rn->tn_val->v_quad < 0) {
 		/* negative shift */
 		warning(121);
 	} else if ((uint64_t)rn->tn_val->v_quad ==
 		   (uint64_t)size_in_bits(lt)) {
 		/* shift amount %u equals bit-size of '%s' */
 		warning(267, (unsigned)rn->tn_val->v_quad, type_name(ltp));
 	} else if ((uint64_t)rn->tn_val->v_quad > (uint64_t)size_in_bits(lt)) {
 		/* shift amount %llu is greater than bit-size %llu of '%s' */
 		warning(122, (unsigned long long)rn->tn_val->v_quad,
 		    (unsigned long long)size_in_bits(lt),
 		    tspec_name(lt));
+	}
+}
 static bool
 is_typeok_eq(const tnode_t *ln, tspec_t lt, const tnode_t *rn, tspec_t rt)
+{
 	if (lt == PTR && is_null_pointer(rn))
 		return true;
 	if (rt == PTR && is_null_pointer(ln))
 		return true;
 	return false;
+}
 /*
  * Called if incompatible pointer types are detected.
  * Print an appropriate warning.
  */
 static void
 warn_incompatible_pointers(const mod_t *mp,
 			   const type_t *ltp, const type_t *rtp)
+{
 	lint_assert(ltp->t_tspec == PTR);
 	lint_assert(rtp->t_tspec == PTR);
 	tspec_t lt = ltp->t_subt->t_tspec;
 	tspec_t rt = rtp->t_subt->t_tspec;
 	if (is_struct_or_union(lt) && is_struct_or_union(rt)) {
 		if (mp == NULL) {
 			/* illegal structure pointer combination */
 			warning(244);
 		} else {
 			/* incompatible structure pointers: '%s' '%s' '%s' */
 			warning(245, type_name(ltp), mp->m_name, type_name(rtp));
+		}
 	} else {
 		if (mp == NULL) {
 			/* illegal combination of '%s' and '%s' */
 			warning(184, type_name(ltp), type_name(rtp));
 		} else {
 			/* illegal combination of '%s' and '%s', op '%s' */
 			warning(124,
 			    type_name(ltp), type_name(rtp), mp->m_name);
+		}
+	}
+}
 static void
 check_pointer_comparison(op_t op, const tnode_t *ln, const tnode_t *rn)
+{
 	type_t *ltp = ln->tn_type, *rtp = rn->tn_type;
 	tspec_t lst = ltp->t_subt->t_tspec, rst = rtp->t_subt->t_tspec;
 	if (lst == VOID || rst == VOID) {
 		/* TODO: C99 behaves like C90 here. */
 		if ((!allow_trad && !allow_c99) &&
 		    (lst == FUNC || rst == FUNC)) {
 			/* (void *)0 is already handled in typeok() */
 			const char *lsts, *rsts;
 			*(lst == FUNC ? &lsts : &rsts) = "function pointer";
 			*(lst == VOID ? &lsts : &rsts) = "'void *'";
 			/* ANSI C forbids comparison of %s with %s */
 			warning(274, lsts, rsts);
+		}
 		return;
+	}
 	if (!types_compatible(ltp->t_subt, rtp->t_subt, true, false, NULL)) {
 		warn_incompatible_pointers(&modtab[op], ltp, rtp);
 		return;
+	}
 	if (lst == FUNC && rst == FUNC) {
 		/* TODO: C99 behaves like C90 here, see C99 6.5.8p2. */
 		if ((!allow_trad && !allow_c99) && op != EQ && op != NE)
 			/* ANSI C forbids ordered comparisons of ... */
 			warning(125);
+	}
+}
 static bool
 typeok_compare(op_t op,
 	       const tnode_t *ln, const type_t *ltp, tspec_t lt,
 	       const tnode_t *rn, const type_t *rtp, tspec_t rt)
+{
 	if (lt == PTR && rt == PTR) {
 		check_pointer_comparison(op, ln, rn);
 		return true;
+	}
 	if (lt != PTR && rt != PTR)
 		return true;
 	if (!is_integer(lt) && !is_integer(rt)) {
 		warn_incompatible_types(op, ltp, lt, rtp, rt);
 		return false;
+	}
 	const char *lx = lt == PTR ? "pointer" : "integer";
 	const char *rx = rt == PTR ? "pointer" : "integer";
 	/* illegal combination of %s '%s' and %s '%s', op '%s' */
 	warning(123, lx, type_name(ltp), rx, type_name(rtp), op_name(op));
 	return true;
+}
 static bool
 typeok_quest(tspec_t lt, const tnode_t *rn)
+{
 	if (!is_scalar(lt)) {
 		/* first operand must have scalar type, op ? : */
 		error(170);
 		return false;
+	}
 	lint_assert(before_conversion(rn)->tn_op == COLON);
 	return true;
+}
 static void
 typeok_colon_pointer(const mod_t *mp, const type_t *ltp, const type_t *rtp)
+{
 	type_t *lstp = ltp->t_subt;
 	type_t *rstp = rtp->t_subt;
 	tspec_t lst = lstp->t_tspec;
 	tspec_t rst = rstp->t_tspec;
 	if ((lst == VOID && rst == FUNC) || (lst == FUNC && rst == VOID)) {
 		/* (void *)0 is handled in typeok_colon */
 		/* TODO: C99 behaves like C90 here. */
 		if (!allow_trad && !allow_c99)
 			/* ANSI C forbids conversion of %s to %s, op %s */
 			warning(305, "function pointer", "'void *'",
 			    mp->m_name);
 		return;
+	}
 	if (pointer_types_are_compatible(lstp, rstp, true))
 		return;
 	if (!types_compatible(lstp, rstp, true, false, NULL))
 		warn_incompatible_pointers(mp, ltp, rtp);
+}
 static bool
 typeok_colon(const mod_t *mp,
 	     const tnode_t *ln, const type_t *ltp, tspec_t lt,
 	     const tnode_t *rn, const type_t *rtp, tspec_t rt)
+{
 	if (is_arithmetic(lt) && is_arithmetic(rt))
 		return true;
 	if (lt == BOOL && rt == BOOL)
 		return true;
 	if (lt == STRUCT && rt == STRUCT && ltp->t_str == rtp->t_str)
 		return true;
 	if (lt == UNION && rt == UNION && ltp->t_str == rtp->t_str)
 		return true;
 	if (lt == PTR && is_null_pointer(rn))
 		return true;
 	if (rt == PTR && is_null_pointer(ln))
 		return true;
 	if ((lt == PTR && is_integer(rt)) || (is_integer(lt) && rt == PTR)) {
 		const char *lx = lt == PTR ? "pointer" : "integer";
 		const char *rx = rt == PTR ? "pointer" : "integer";
 		/* illegal combination of %s '%s' and %s '%s', op '%s' */
 		warning(123, lx, type_name(ltp),
 		    rx, type_name(rtp), mp->m_name);
 		return true;
+	}
 	if (lt == VOID || rt == VOID) {
 		if (lt != VOID || rt != VOID)
 			/* incompatible types '%s' and '%s' in conditional */
 			warning(126, type_name(ltp), type_name(rtp));
 		return true;
+	}
 	if (lt == PTR && rt == PTR) {
 		typeok_colon_pointer(mp, ltp, rtp);
 		return true;
+	}
 	/* incompatible types '%s' and '%s' in conditional */
 	error(126, type_name(ltp), type_name(rtp));
 	return false;
+}
 /*
  * Returns true if the given structure or union has a constant member
  * (maybe recursively).
  */
 static bool
 has_constant_member(const type_t *tp)
+{
 	lint_assert(is_struct_or_union(tp->t_tspec));
 	for (sym_t *m = tp->t_str->sou_first_member;
 	     m != NULL; m = m->s_next) {
 		const type_t *mtp = m->s_type;
 		if (mtp->t_const)
 			return true;
 		if (is_struct_or_union(mtp->t_tspec) &&
 		    has_constant_member(mtp))
 			return true;
+	}
 	return false;
+}
 static bool
 typeok_assign(op_t op, const tnode_t *ln, const type_t *ltp, tspec_t lt)
+{
 	if (op == RETURN || op == INIT || op == FARG)
 		return true;
 	if (!ln->tn_lvalue) {
 		if (ln->tn_op == CVT && ln->tn_cast &&
 		    ln->tn_left->tn_op == LOAD) {
 			/* a cast does not yield an lvalue */
 			error(163);
+		}
 		/* %soperand of '%s' must be lvalue */
 		error(114, "left ", op_name(op));
 		return false;
 	} else if (ltp->t_const || (is_struct_or_union(lt) &&
 				    has_constant_member(ltp))) {
 		if (allow_c90)
 			/* %soperand of '%s' must be modifiable lvalue */
 			warning(115, "left ", op_name(op));
+	}
 	return true;
+}
 /* Check the types using the information from modtab[]. */
 static bool