Lines Matching full:negative

11 // operators '<<' and '>>' are invalid (negative or too large).
45   {"left operand of bit shift is non-negative", " and right operand is less than "},
46   {"right operand of bit shift is non-negative", " but less than "},
47   {"both operands of bit shift are non-negative", " and right operand is less than "}
108   // Report a bug if the right operand is negative:  in run()
115     // Report a bug if the left operand is negative:  in run()
145   // negative `Val` could be converted to a large positive value.  in assumeRequirement()
197 // 1. "... The behaviour is undefined if the right operand is negative..."
199 //     if E1 has a signed type and non-negative value ...
202 //     If E1 has a signed type and a negative value,
204 // However, negative left arguments work in practice and the C++20 standard
207   // If the type is unsigned, it cannot be negative  in checkOperandNegative()
211   // Main check: determine whether the operand is constrained to be negative  in checkOperandNegative()
215   std::string ShortMsg = formatv("{0} operand is negative in {1} shift",  in checkOperandNegative()
220                             "because the {1} operand is negative",  in checkOperandNegative()
253   // negative, so it cannot be negative here.  in checkLeftShiftOverflow()
275     // Here ConcreteRight must contain a small non-negative integer, because  in checkLeftShiftOverflow()