Searched refs:Inv_Unset (Results 1 – 1 of 1) sorted by relevance
806 Inv_Unset=1, /* not established yet */ enumerator846 case Inv_Unset: in pp_Invar()872 tl_assert(i1->tag != Inv_Unset); in eq_Invar()873 tl_assert(i2->tag != Inv_Unset); in eq_Invar()910 case Inv_Unset: in gen_delta_str()974 case Inv_Unset: in show_Invar()1439 sf->htab[ix].invar.tag = Inv_Unset; in find_or_create_IInstance_SLOW()1464 sf->htab[ix].invar.tag = Inv_Unset; in find_or_create_IInstance()1794 if (inv->tag == Inv_Unset) { in helperc__mem_access()1801 tl_assert(inv->tag != Inv_Unset); in helperc__mem_access()[all …]