442   auto Effect = LatticeJoinEffect::Unchanged;  in widen()  local
482       Effect = LatticeJoinEffect::Changed;  in widen()
491     Effect = LatticeJoinEffect::Changed;  in widen()
493   return Effect;  in widen()
503   auto Effect = LatticeJoinEffect::Unchanged;  in join()  local
513     Effect = LatticeJoinEffect::Changed;  in join()
517     Effect = LatticeJoinEffect::Changed;  in join()
522     Effect = LatticeJoinEffect::Changed;  in join()
551       Effect = LatticeJoinEffect::Changed;  in join()
555     Effect = LatticeJoinEffect::Changed;  in join()
559   return Effect;  in join()