usr/src/tools/smatch/src/smatch.h

1367

return type_positive_bits(sval.type);

usr/src/tools/smatch/src/smatch_comparison.c

177

if (type_positive_bits(rl_type(left_rl)) > type_positive_bits(type))

usr/src/tools/smatch/src/smatch_comparison.c

179

if (type_positive_bits(rl_type(right_rl)) > type_positive_bits(type))

usr/src/tools/smatch/src/smatch_extra.c

1914

if (type_positive_bits(type) == 32) {

usr/src/tools/smatch/src/smatch_extra.c

1917

} else if (type_positive_bits(type) == 64) {

usr/src/tools/smatch/src/smatch_implied.c

760

if (type_positive_bits(rl_type(rl)) > type_positive_bits(type))

usr/src/tools/smatch/src/smatch_implied.c

762

if (type_positive_bits(type) < 31)

usr/src/tools/smatch/src/smatch_math.c

768

type_positive_bits(left) == type_positive_bits(right))

usr/src/tools/smatch/src/smatch_ranges.c

1246

if (type_positive_bits(type) < type_positive_bits(rl_type(rl_right)))

usr/src/tools/smatch/src/smatch_ranges.c

1248

if (type_positive_bits(type) < 31)

usr/src/tools/smatch/src/smatch_ranges.c

1275

if (type_positive_bits(type) < type_positive_bits(rl_type(rl_right)))

usr/src/tools/smatch/src/smatch_ranges.c

1277

if (type_positive_bits(type) < 31)

usr/src/tools/smatch/src/smatch_ranges.c

1301

if (type_positive_bits(type) < type_positive_bits(rl_type(right_ranges)))

usr/src/tools/smatch/src/smatch_ranges.c

1303

if (type_positive_bits(type) < 31)

usr/src/tools/smatch/src/smatch_ranges.c

1327

if (type_positive_bits(type) < type_positive_bits(rl_type(right_ranges)))

usr/src/tools/smatch/src/smatch_ranges.c

1329

if (type_positive_bits(type) < 31)

usr/src/tools/smatch/src/smatch_ranges.c

1787

if (type_positive_bits(rl_type(left_orig)) > type_positive_bits(type))

usr/src/tools/smatch/src/smatch_ranges.c

1789

if (type_positive_bits(rl_type(right_orig)) > type_positive_bits(type))

usr/src/tools/smatch/src/smatch_ranges.c

1809

} else if (type_positive_bits(type) < 63 &&

usr/src/tools/smatch/src/smatch_ranges.c

1936

if (type_positive_bits(rl_type(left_orig)) < 32)

usr/src/tools/smatch/src/smatch_ranges.c

1938

else if(type_positive_bits(rl_type(left_orig)) == 63)

usr/src/tools/smatch/src/smatch_ranges.c

421

if (type_positive_bits(rl_type(start_rl)) > type_positive_bits(type))

usr/src/tools/smatch/src/smatch_ranges.c

423

if (type_positive_bits(rl_type(right_orig)) > type_positive_bits(type))

usr/src/tools/smatch/src/smatch_ranges.c

493

} else if (type_positive_bits(type) == 64) {

usr/src/tools/smatch/src/smatch_ranges.c

829

if (!type || type_positive_bits(type) < 0)

usr/src/tools/smatch/src/smatch_sval.c

652

if (type_positive_bits(right.type) > type_positive_bits(left.type))

usr/src/tools/smatch/src/smatch_sval.c

654

if (type_positive_bits(type) < 31)

usr/src/tools/smatch/src/smatch_sval.c

721

if (type_positive_bits(right.type) > type_positive_bits(left.type))

usr/src/tools/smatch/src/smatch_sval.c

723

if (type_positive_bits(type) <= 31)

usr/src/tools/smatch/src/smatch_type.c

107

if (type_positive_bits(left) < 31 && type_positive_bits(right) < 31)

usr/src/tools/smatch/src/smatch_type.c

110

if (type_positive_bits(left) > type_positive_bits(right))

usr/src/tools/smatch/src/smatch_type.c

222

if (type_positive_bits(one) > type_positive_bits(two))

usr/src/tools/smatch/src/smatch_type.c

369

if (type_positive_bits(left) > type_positive_bits(ret))

usr/src/tools/smatch/src/smatch_type.c

371

if (type_positive_bits(right) > type_positive_bits(ret))

usr/src/tools/smatch/src/smatch_type.c

469

ret.value = (~0ULL) >> (64 - type_positive_bits(base_type));

usr/src/tools/smatch/src/smatch_type.c

503

ret.value = (~0ULL) << type_positive_bits(base_type);

usr/src/tools/smatch/src/smatch_type.c

603

if (type_positive_bits(one) != type_positive_bits(two))

usr/src/tools/smatch/src/smatch_type.c

620

if (type_positive_bits(test) > type_positive_bits(type))

usr/src/tools/smatch/src/smatch_type.c

72

if (type_positive_bits(left) < 31)