Searched refs:old_class_id (Results 1 – 1 of 1) sorted by relevance
418 int64_t old_class_id = tok.class_id; in promote_token() local419 while (((new_class_id = env.promote_immediate (old_class_id)) in promote_token()420 != old_class_id) in promote_token()430 old_class_id = new_class_id; in promote_token()