Lines Matching full:correct
34 * - datum in the decl symtab has correct type_set
35 * - scope datum has correct decl ids
36 * - dominates bitmap is correct
50 * - role a and b in base, b dom a, are types correct (TODO)
83 /* make sure it has the correct type set (g_b_type_1, no negset, no flags) */
93 /* make sure it has the correct type set (o1_b_type_1, no negset, no flags) */
114 /* make sure it has the correct type set (g_m1_type_1, no negset, no flags) */
124 /* make sure it has the correct type set (o1_m1_type_1, no negset, no flags) */
137 /* make sure it has the correct type set (g_m1_type_1, no negset, no flags) */
149 /* make sure it has the correct type set (g_b_type_2, g_m1_type_2, g_m2_type_2, no negset, no flags) */
