xlint/lint1/tree.c

89 	lint_assert(is_integer(tp->t_tspec));
92 	    : size_in_bits(tp->t_tspec);
108 	return !is_uinteger(tp->t_tspec) && ic->bclr >> 63 == 0;
117 	if (is_uinteger(tp->t_tspec)) {
140 	lint_assert(is_integer(tp->t_tspec));
157 	bool nu = is_uinteger(ntp->t_tspec);
158 	bool ou = is_uinteger(otp->t_tspec);
281 	lint_assert(is_integer(tn->tn_type->t_tspec));
287 		if (!is_integer(tn->u.ops.left->tn_type->t_tspec))
343 	tp2->t_tspec = t;
357 	tp2->t_tspec = t;
375 		lint_assert(ln->tn_type->t_tspec == PTR);
376 		tspec_t t = ln->tn_type->t_subt->t_tspec;
391 	n->u.value.v_tspec = tp->t_tspec;
529 		if (sym->s_kind == SK_VCFT && sym->s_type->t_tspec != FUNC)
547 	tp->t_tspec = ARRAY;
627 	tspec_t lt = ln->tn_type->t_tspec;
628 	tspec_t rt = rn->tn_type->t_tspec;
744 	ntp->t_tspec = t;
761 	tspec_t lt = (*lnp)->tn_type->t_tspec;
762 	tspec_t rt = (*rnp)->tn_type->t_tspec;
797 	if (!force && ((t = tn->tn_type->t_tspec) == ARRAY || t == FUNC)) {
806 	    tn->u.ops.left->tn_type->t_tspec == PTR &&
982 	tspec_t t = tn->u.ops.left->tn_type->t_tspec;
1034 	v->v_tspec = tn->tn_type->t_tspec;
1057 	else if (ln->tn_type->t_tspec != PTR) {
1059 		lint_assert(is_integer(ln->tn_type->t_tspec));
1087 	lint_assert(tp->t_tspec == PTR);
1091 	while (tp->t_tspec == ARRAY) {
1097 	switch (tp->t_tspec) {
1118 		if ((elsz_in_bits = size_in_bits(tp->t_tspec)) == 0)
1142 	tnode_t *cn = ln->tn_type->t_tspec == PTR
1156 	if (ltp->t_tspec != ARRAY || ltp->t_incomplete_array)
1195 	if (rn->tn_type->t_tspec == PTR && is_integer(ln->tn_type->t_tspec)) {
1204 	tspec_t lt = ln->tn_type->t_tspec;
1205 	tspec_t rt = rn->tn_type->t_tspec;
1213 		tspec_t szt = elsz->tn_type->t_tspec;
1247 	if (!allow_c90 && rn->tn_type->t_tspec != INT)
1258 	tspec_t t = tn->tn_type->t_tspec;
1263 	return ((t == PTR && tn->tn_type->t_subt->t_tspec == VOID)
1273 	lint_assert(tp1->t_tspec == PTR);
1274 	lint_assert(tp2->t_tspec == PTR);
1297 	tspec_t lt = ln->tn_type->t_tspec;
1298 	tspec_t rt = rn->tn_type->t_tspec;
1329 	else if (lt == PTR && ln->tn_type->t_subt->t_tspec == VOID)
1331 	else if (rt == PTR && rn->tn_type->t_subt->t_tspec == VOID)
1350 	tspec_t nt = ntp->t_tspec, ot = otp->t_tspec;
1375 		if (ntp->t_subt->t_tspec == VOID ||
1376 		    otp->t_subt->t_tspec == VOID ||
1408 	tspec_t lt = ln->tn_type->t_tspec;
1409 	tspec_t rt = rn->tn_type->t_tspec;
1419 		if (rn->tn_type->t_tspec != ctn->tn_type->t_tspec)
1454 	    && lt == PTR && ln->tn_type->t_subt->t_tspec != VOID
1455 	    && rt == PTR && rn->tn_type->t_subt->t_tspec == VOID
1486 	switch (ln->tn_type->t_tspec) {
1580 	v->v_tspec = tn->tn_type->t_tspec;
1654 	tspec_t t = tn->tn_type->t_tspec;
1661 	lint_assert(t == tn->u.ops.left->tn_type->t_tspec);
1662 	lint_assert(!is_binary(tn) || t == tn->u.ops.right->tn_type->t_tspec);
1891 			else if (is_floating(ntn->tn_type->t_tspec))
1973 		if (is_struct_or_union(mem->s_type->t_tspec)
2019 	if (op == POINT && is_struct_or_union(tn->tn_type->t_tspec))
2021 	if (op == ARROW && tn->tn_type->t_tspec == PTR
2022 	    && is_struct_or_union(tn->tn_type->t_subt->t_tspec))
2062 			if (!allow_c90 && tn->tn_type->t_tspec == PTR)
2110 	if (tn->tn_type->t_tspec == ARRAY) {
2120 	if (tn->tn_type->t_tspec == FUNC)
2314 	tspec_t olt = before_conversion(ln)->tn_type->t_tspec;
2315 	tspec_t ort = before_conversion(rn)->tn_type->t_tspec;
2404 	lint_assert(ltp->t_tspec == PTR);
2405 	lint_assert(rtp->t_tspec == PTR);
2407 	tspec_t lt = ltp->t_subt->t_tspec;
2408 	tspec_t rt = rtp->t_subt->t_tspec;
2435 	tspec_t lst = ltp->t_subt->t_tspec, rst = rtp->t_subt->t_tspec;
2506 	tspec_t lst = lstp->t_tspec;
2507 	tspec_t rst = rstp->t_tspec;
2574 	lint_assert(is_struct_or_union(tp->t_tspec));
2581 		if (is_struct_or_union(mtp->t_tspec) &&
2724 	return tp->t_tspec == PTR &&
2725 	    tp->t_subt->t_tspec == CHAR &&
2733 	return tp->t_tspec == PTR && tp->t_subt->t_const;
2741 	if (lstp->t_tspec == CHAR && !lstp->t_const &&
2887 	if ((lt = (ltp = ln->tn_type)->t_tspec) == PTR)
2888 		lst = (lstp = ltp->t_subt)->t_tspec;
2889 	if ((rt = (rtp = rn->tn_type)->t_tspec) == PTR)
2890 		rst = (rstp = rtp->t_subt)->t_tspec;
2902 		if (is_integer(rn->tn_type->t_tspec))
2932 	if (op == CVT && tn->tn_type->t_tspec == VOID)
2956 	    tn->tn_type->t_tspec == VOID;
2973 	    tn->tn_type->t_tspec == INT &&
3093 	    ((ln->tn_type->t_is_enum && rn->tn_type->t_tspec == PTR) ||
3094 	     (rn->tn_type->t_is_enum && ln->tn_type->t_tspec == PTR))) {
3150 		    is_integer(rn->tn_type->t_tspec) &&
3199 	tspec_t lt = ltp->t_tspec;
3202 	tspec_t rt = mp->m_binary ? rtp->t_tspec : NO_TSPEC;
3279 	tspec_t ot = otp->t_tspec;
3288 	ntp->t_tspec = nt;
3308 	if (is_uinteger(tp->t_tspec)
3399 	ot = ptn->tn_type->t_tspec;
3420 	if (!is_uinteger(tp->t_tspec))
3428 	if (is_uinteger(tp->t_tspec)
3537 	return tp->t_tspec == ARRAY &&
3538 	    (tp->t_subt->t_tspec == CHAR || tp->t_subt->t_tspec == UCHAR);
3558 		nstp = nstp->t_subt, nst = nstp->t_tspec;
3560 		ostp = ostp->t_subt, ost = ostp->t_tspec;
3615 	tspec_t nst = nstp->t_tspec;
3616 	tspec_t ost = ostp->t_tspec;
3669 	tspec_t nt = tp->t_tspec;
3670 	tspec_t ot = tn->tn_type->t_tspec;
3958 	tspec_t nt = nv->v_tspec = ntp->t_tspec;
4008 	if (!is_struct_or_union(tp->t_tspec)) {
4016 			if (tp->t_tspec != ARRAY)
4022 			if (!is_struct_or_union(tp->t_tspec))
4051 	while (tp->t_tspec == ARRAY) {
4063 	switch (tp->t_tspec) {
4093 		elsz = size_in_bits(tp->t_tspec);
4105 	if (tp->t_tspec == FUNC) {
4110 	if (tp->t_tspec == VOID) {
4160 	    && is_integer(n->u.ops.right->tn_type->t_tspec)) {
4164 	if (n->tn_type->t_tspec == PTR
4168 	    && n->u.ops.left->u.ops.left->tn_type->t_tspec == PTR) {
4185 	tspec_t nt = tp->t_tspec;
4186 	tspec_t ot = tn->tn_type->t_tspec;
4313 		tspec_t at = arg->tn_type->t_tspec;
4357 	if (func->tn_type->t_tspec != PTR ||
4358 	    func->tn_type->t_subt->t_tspec != FUNC) {
4398 	v->v_tspec = tn->tn_type->t_tspec;
4401 		lint_assert(tn->tn_type->t_tspec == tn->u.value.v_tspec);
4462 		      is_constcond_false(tn, tn->tn_type->t_tspec)))
4490 	    && arr->tn_type->t_tspec == ARRAY
4503 	int64_t con = is_uinteger(idx->tn_type->t_tspec)
4509 	if (!is_uinteger(idx->tn_type->t_tspec) && con < 0)
4658 		bool discard = op == CVT && tn->tn_type->t_tspec == VOID;
4686 	if (op == COLON && tn->tn_type->t_tspec == VOID)
4688 	bool discard = op == CVT && tn->tn_type->t_tspec == VOID;
4773 		t = tn->tn_type->t_tspec;
4774 		ot = tn->u.ops.left->tn_type->t_tspec;