Searched refs:absentVal (Results 1 – 1 of 1) sorted by relevance
695 Value absentVal = absentYield.getResult(); in buildLattices() local696 unsigned rhs = addExp(kInvariant, absentVal); in buildLattices()