usr/src/tools/smatch/src/lib.c

1214

if (flags & PTYPE_TYPE)

usr/src/tools/smatch/src/lib.c

1268

predefined_ctype("WCHAR", wchar_ctype, PTYPE_ALL_T|PTYPE_MIN|PTYPE_TYPE);

usr/src/tools/smatch/src/lib.c

1269

predefined_ctype("WINT", wint_ctype, PTYPE_ALL_T|PTYPE_MIN|PTYPE_TYPE);

usr/src/tools/smatch/src/lib.c

1270

predefined_ctype("CHAR16", &ushort_ctype, PTYPE_TYPE);

usr/src/tools/smatch/src/lib.c

1271

predefined_ctype("CHAR32", &uint_ctype, PTYPE_TYPE);

usr/src/tools/smatch/src/lib.c

1277

predefined_ctype("INT8", &schar_ctype, PTYPE_MAX|PTYPE_TYPE);

usr/src/tools/smatch/src/lib.c

1278

predefined_ctype("UINT8", &uchar_ctype, PTYPE_MAX|PTYPE_TYPE);

usr/src/tools/smatch/src/lib.c

1279

predefined_ctype("INT16", &short_ctype, PTYPE_MAX|PTYPE_TYPE);

usr/src/tools/smatch/src/lib.c

1280

predefined_ctype("UINT16", &ushort_ctype, PTYPE_MAX|PTYPE_TYPE);

usr/src/tools/smatch/src/lib.c

1281

predefined_ctype("INT32", int32_ctype, PTYPE_MAX|PTYPE_TYPE);

usr/src/tools/smatch/src/lib.c

1282

predefined_ctype("UINT32", uint32_ctype, PTYPE_MAX|PTYPE_TYPE);

usr/src/tools/smatch/src/lib.c

1283

predefined_ctype("INT64", int64_ctype, PTYPE_MAX|PTYPE_TYPE);

usr/src/tools/smatch/src/lib.c

1284

predefined_ctype("UINT64", uint64_ctype, PTYPE_MAX|PTYPE_TYPE);

usr/src/tools/smatch/src/lib.c

1288

predefined_ctype("INTMAX", intmax_ctype, PTYPE_MAX|PTYPE_TYPE|PTYPE_WIDTH);

usr/src/tools/smatch/src/lib.c

1289

predefined_ctype("UINTMAX", uintmax_ctype, PTYPE_MAX|PTYPE_TYPE);

usr/src/tools/smatch/src/lib.c

1290

predefined_ctype("INTPTR", ssize_t_ctype, PTYPE_MAX|PTYPE_TYPE|PTYPE_WIDTH);

usr/src/tools/smatch/src/lib.c

1291

predefined_ctype("UINTPTR", size_t_ctype, PTYPE_MAX|PTYPE_TYPE);

usr/src/tools/smatch/src/lib.c

1292

predefined_ctype("PTRDIFF", ssize_t_ctype, PTYPE_ALL_T|PTYPE_TYPE);

usr/src/tools/smatch/src/lib.c

1293

predefined_ctype("SIZE", size_t_ctype, PTYPE_ALL_T|PTYPE_TYPE);