Searched refs:rhsLattice (Results 1 – 4 of 4) sorted by relevance
128 const LatticeElement<ValueT> &rhsLattice = in join() local132 if (isAtFixpoint() || rhsLattice.isUninitialized()) in join()136 return join(rhsLattice.getValue()); in join()
128 const LatticeElement<ValueT> &rhsLattice =132 if (isAtFixpoint() || rhsLattice.isUninitialized())136 return join(rhsLattice.getValue());