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