43     return GetStatus() == LatticeStatus::BOT;  in IsBot()
68         return ValueLattice(LatticeStatus::BOT);  in Meet()
72         return ValueLattice(LatticeStatus::BOT);  in Meet()
139             os << "BOT";  in Print()
544     return UpdateValueLattice(gate, ValueLattice(LatticeStatus::BOT));  in RunDependEntry()
700         value = ValueLattice(LatticeStatus::BOT);  in RunDependSelector()
710         value = ValueLattice(LatticeStatus::BOT);  in RunDependRelay()
717     ValueLattice value = ValueLattice(LatticeStatus::BOT);  in RunDependAnd()
730 … UpdateValueLattice(gate, reachabilityLatticeMap_(gate).Implies(ValueLattice(LatticeStatus::BOT)));  in RunJSBytecode()
748         ValueLattice(LatticeStatus::BOT)));  in RunGetException()
793     return UpdateValueLattice(gate, ValueLattice(LatticeStatus::BOT));  in RunAlloca()
798     return UpdateValueLattice(gate, ValueLattice(LatticeStatus::BOT));  in RunArg()
803     return UpdateValueLattice(gate, ValueLattice(LatticeStatus::BOT));  in RunMutableData()
808     return UpdateValueLattice(gate, ValueLattice(LatticeStatus::BOT));  in RunConstData()
813     return UpdateValueLattice(gate, ValueLattice(LatticeStatus::BOT));  in RunRelocatableData()
857         return UpdateValueLattice(gate, ValueLattice(LatticeStatus::BOT));  in RunAdd()
872         return UpdateValueLattice(gate, ValueLattice(LatticeStatus::BOT));  in RunSub()
891         return UpdateValueLattice(gate, ValueLattice(LatticeStatus::BOT));  in RunMul()
906         return UpdateValueLattice(gate, ValueLattice(LatticeStatus::BOT));  in RunExp()
931         return UpdateValueLattice(gate, ValueLattice(LatticeStatus::BOT));  in RunSDiv()
946         return UpdateValueLattice(gate, ValueLattice(LatticeStatus::BOT));  in RunSMod()
961         return UpdateValueLattice(gate, ValueLattice(LatticeStatus::BOT));  in RunUDiv()
976         return UpdateValueLattice(gate, ValueLattice(LatticeStatus::BOT));  in RunUMod()
991         return UpdateValueLattice(gate, ValueLattice(LatticeStatus::BOT));  in RunFDiv()
1006         return UpdateValueLattice(gate, ValueLattice(LatticeStatus::BOT));  in RunFMod()
1021         return UpdateValueLattice(gate, ValueLattice(LatticeStatus::BOT));  in RunAnd()
1036         return UpdateValueLattice(gate, ValueLattice(LatticeStatus::BOT));  in RunXor()
1051         return UpdateValueLattice(gate, ValueLattice(LatticeStatus::BOT));  in RunOr()
1066         return UpdateValueLattice(gate, ValueLattice(LatticeStatus::BOT));  in RunLSL()
1081         return UpdateValueLattice(gate, ValueLattice(LatticeStatus::BOT));  in RunLSR()
1096         return UpdateValueLattice(gate, ValueLattice(LatticeStatus::BOT));  in RunASR()
1112         return UpdateValueLattice(gate, ValueLattice(LatticeStatus::BOT));  in RunIcmp()
1128         return UpdateValueLattice(gate, ValueLattice(LatticeStatus::BOT));  in RunFcmp()
1283                     std::cerr << "[Bot]";  in Run()