Searched refs:OverdefinedVal (Results 1 – 2 of 2) sorted by relevance
49 LatticeVal UndefVal, OverdefinedVal, UntrackedVal;55 OverdefinedVal = overdefinedVal; in AbstractLatticeFunction()62 LatticeVal getOverdefinedVal() const { return OverdefinedVal; } in getOverdefinedVal()210 else if (V == OverdefinedVal) in PrintLatticeVal()
58 OverdefinedVal, enumerator72 bool isOverdefined() const { return LatticeVal.getInt() == OverdefinedVal; } in isOverdefined()105 TestLatticeVal(nullptr, TestLatticeVal::OverdefinedVal), in TestLatticeFunc()