Lines Matching refs:Inv_Unset
805 Inv_Unset=1, /* not established yet */ enumerator
845 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()
1274 case Inv_Unset: /* this should never happen */ in preen_global_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()
1821 tl_assert(inv->tag != Inv_Unset); in helperc__mem_access()