Searched refs:CapacityMsg (Results 1 – 1 of 1) sorted by relevance
266 const std::string CapacityMsg = in checkLeftShiftOverflow() local285 Left->getValue(), ConcreteRight->getValue(), CapacityMsg, OverflownBits, in checkLeftShiftOverflow()292 Left->getValue(), CapacityMsg); in checkLeftShiftOverflow()