Searched refs:Inv_Unset (Results 1 – 2 of 2) sorted by relevance
805 Inv_Unset=1, /* not established yet */ enumerator845 case Inv_Unset: in pp_Invar()874 case Inv_Unset: in eq_Invar()909 case Inv_Unset: in gen_delta_str()973 case Inv_Unset: in show_Invar()1447 sf->htab[ix].invar.tag = Inv_Unset; in find_or_create_IInstance_SLOW()1472 sf->htab[ix].invar.tag = Inv_Unset; in find_or_create_IInstance()1802 if (inv->tag == Inv_Unset) { in helperc__mem_access()1809 tl_assert(inv->tag != Inv_Unset); in helperc__mem_access()1817 tl_assert(new_inv.tag != Inv_Unset); in helperc__mem_access()[all …]