lint_assert
lint_assert(t == INT || t == UINT);
lint_assert(yychar < 0);
lint_assert($2 != NULL);
lint_assert(debug_indentation > 0);
lint_assert(tn->tn_type->t_tspec == BOOL);
lint_assert(has_operands(tn));
lint_assert(tn->u.ops.left != NULL);
lint_assert(is_binary(tn) == (tn->u.ops.right != NULL));
lint_assert(t == BOOL);
lint_assert((int)t < (int)STRUCT);
lint_assert(is_member(dsym));
lint_assert(is_member(rdsym));
lint_assert(dcs->d_tag_type->u.sou != NULL);
lint_assert(*tpp != NULL);
lint_assert(*tpp != NULL);
lint_assert(*tpp != NULL);
lint_assert(*tpp != NULL);
lint_assert(*tpp != NULL);
lint_assert(*tpp != NULL);
lint_assert(sc == EXTERN);
lint_assert(dcs->d_scl == NO_SCL || dcs->d_scl == REG);
lint_assert(sc == EXTERN);
lint_assert(dcs->d_kind == DLK_ABSTRACT);
lint_assert(sym->s_defparam);
lint_assert(kind == ENUM);
lint_assert(dsym->s_rename == NULL);
lint_assert(dcs->d_kind == DLK_AUTO);
lint_assert(src != NULL);
lint_assert(dst->t_tspec == src->t_tspec);
lint_assert(false);
lint_assert(dcs->d_kind == DLK_ABSTRACT
lint_assert(arg->s_set);
lint_assert(block_level != 0);
lint_assert(block_level == 1);
lint_assert(lab->s_block_level == 1);
lint_assert(sym->s_type->t_tspec == ENUM);
lint_assert(scl == EXTERN || scl == STATIC);
lint_assert(sym->s_kind == SK_MEMBER);
lint_assert(dcs->d_type == NULL);
lint_assert(dcs->d_abstract_type == NO_TSPEC);
lint_assert(dcs->d_sign_mod == NO_TSPEC);
lint_assert(dcs->d_rank_mod == NO_TSPEC);
lint_assert(dcs != NULL);
lint_assert(false);
lint_assert(t == NO_TSPEC);
lint_assert(s == NO_TSPEC);
lint_assert(l == NO_TSPEC);
lint_assert(dcs->d_type->t_typedef);
lint_assert(dcs->d_type->t_typedef);
lint_assert(tp->t_tspec != FUNC);
lint_assert(elsz > 0);
lint_assert(t != FUNC);
lint_assert(a >= 1);
lint_assert(sym->s_name != unnamed);
lint_assert(tt[ts] != '?' && ss[ts] != '?');
lint_assert(def == DECL);
lint_assert(sym->s_block_level == 1);
lint_assert(param->s_name == unnamed);
lint_assert(param->s_name != unnamed);
lint_assert(dcs->d_enclosing == NULL);
lint_assert(dcs->d_kind == DLK_EXTERN);
lint_assert(case_expr->tn_op == CON);
lint_assert(cs->c_switch_type != NULL);
lint_assert(cstmt->c_switch_type != NULL);
lint_assert(cstmt->c_switch_type->u.enumer != NULL);
lint_assert(is_struct_or_union(tp->t_tspec));
lint_assert(dr->dr_member != NULL);
lint_assert(
lint_assert(dr->dr_subscript == 0);
lint_assert(dr->dr_member == NULL);
lint_assert(dr->dr_member == NULL);
lint_assert(dr->dr_subscript == 0);
lint_assert(dn->dn_len > 0);
lint_assert(bl->bl_type != NULL);
lint_assert(dr->dr_member != NULL);
lint_assert(tp->t_tspec == ARRAY);
lint_assert(!tp->t_incomplete_array);
lint_assert(bl != NULL);
lint_assert(bl != NULL);
lint_assert(pp_line.len == 0);
lint_assert(sym->s_kind == sym_kind);
lint_assert(dl->d_kind == DLK_AUTO);
lint_assert(sym->s_block_level >= next->s_block_level);
lint_assert(sym->s_block_level <= block_level);
lint_assert(level != -1);
lint_assert(block_level >= sym->s_block_level);
lint_assert(eptr == cp + len);
lint_assert(eptr == cp + len);
lint_assert(tn->tn_op == CON);
lint_assert(tn->tn_type->t_tspec == tn->u.value.v_tspec);
lint_assert(i < 64);
lint_assert(bitsize > 0);
lint_assert(false);
lint_assert(p1->tt_rank_kind == p2->tt_rank_kind);
lint_assert(p1->tt_rank_value > 0);
lint_assert(false);
lint_assert(p2->tt_rank_value > 0);
lint_assert(has_operands(tn));
lint_assert(is_integer(tp->t_tspec));
lint_assert(rn->tn_op == NAME);
lint_assert(is_member(rn->u.sym));
lint_assert(!allow_c90);
lint_assert(is_integer(ln->tn_type->t_tspec));
lint_assert(tp->t_tspec == PTR);
lint_assert(elsz_in_bits != -1);
lint_assert(ln != NULL);
lint_assert(ec != NULL);
lint_assert(INT_MIN <= max_enum_value && max_enum_value <= INT_MAX);
lint_assert(is_integer(rt));
lint_assert(lt == PTR);
lint_assert(op == MINUS);
lint_assert(tp1->t_tspec == PTR);
lint_assert(tp2->t_tspec == PTR);
lint_assert(is_struct_or_union(rt));
lint_assert(ln->tn_type->u.sou == rn->tn_type->u.sou);
lint_assert(is_integer(rt));
lint_assert(lt == rt);
lint_assert(ln->tn_type->u.sou == rn->tn_type->u.sou);
lint_assert(ln != NULL);
lint_assert(op == BITAND || op == BITXOR || op == BITOR);
lint_assert(is_binary(tn));
lint_assert(v->v_tspec == INT || (Tflag && v->v_tspec == BOOL));
lint_assert(has_operands(tn));
lint_assert(false);
lint_assert(is_floating(t));
lint_assert(has_operands(tn));
lint_assert(t == tn->u.ops.left->tn_type->t_tspec);
lint_assert(!is_binary(tn) || t == tn->u.ops.right->tn_type->t_tspec);
lint_assert(false);
lint_assert(fpe != 0 || isnan(v->u.floating) == 0);
lint_assert(has_operands(tn));
lint_assert(mp->m_binary == (rn != NULL));
lint_assert(has_operands(rn));
lint_assert(is_member(mem));
lint_assert(mem->u.s_member.sm_containing_type == sou);
lint_assert(rt == NO_TSPEC);
lint_assert(ltp->t_tspec == PTR);
lint_assert(rtp->t_tspec == PTR);
lint_assert(before_conversion(rn)->tn_op == COLON);
lint_assert(is_struct_or_union(tp->t_tspec));
lint_assert(false);
lint_assert(nt != LDOUBLE);
lint_assert(tp != NULL);
lint_assert(elsz > 0);
lint_assert(tp != NULL);
lint_assert(is_integer(tp->t_tspec));
lint_assert(seen_error);
lint_assert(tn->tn_type->t_tspec == tn->u.value.v_tspec);
lint_assert(ln->tn_op == ADDR);
lint_assert(ln->u.ops.left->tn_op == NAME);
lint_assert(minimum <= maximum);
lint_assert(has_operands(tn));
lint_assert(minimum <= maximum);
lint_assert(is_integer(tn->tn_type->t_tspec));
lint_assert(ln->tn_type->t_tspec == PTR);
lint_assert(sym->s_kind == SK_VCFT || sym->s_kind == SK_MEMBER);