Lines Matching refs:types_used
1541 for (i = 0; i < env->types_used; i++) {
1552 if (env->types_used > 0 && env->types_used % 8 != 7)
2092 env->types_used = 0;
2341 dst->types_used = src->types_used;
2343 for (i = 0; i < src->types_used; i++)
3326 vassert(env->types_used >= 0);
3328 vassert(env->types_used <= env->types_size);
3329 if (env->types_used < env->types_size) {
3330 env->types[env->types_used] = ty;
3331 return env->types_used++;
3337 for (i = 0; i < env->types_used; i++)
3354 vassert(tmp < env->types_used);
3660 if (tmp < 0 || tmp >= bb->tyenv->types_used)
4312 Int n_temps = bb->tyenv->types_used;
