| 235 | } |
| 236 | |
| 237 | static void setConditionalValues(const Token* tok, |
| 238 | bool lhs, |
| 239 | MathLib::bigint value, |
| 240 | ValueFlow::Value& true_value, |
| 241 | ValueFlow::Value& false_value) |
| 242 | { |
| 243 | if (Token::Match(tok, "==|!=|>=|<=")) { |
| 244 | setConditionalValue(true_value, tok, value); |
| 245 | const char* greaterThan = ">="; |
| 246 | const char* lessThan = "<="; |
| 247 | if (lhs) |
| 248 | std::swap(greaterThan, lessThan); |
| 249 | if (Token::simpleMatch(tok, greaterThan, strlen(greaterThan))) { |
| 250 | setConditionalValue(false_value, tok, value - 1); |
| 251 | } else if (Token::simpleMatch(tok, lessThan, strlen(lessThan))) { |
| 252 | setConditionalValue(false_value, tok, value + 1); |
| 253 | } else { |
| 254 | setConditionalValue(false_value, tok, value); |
| 255 | } |
| 256 | } else { |
| 257 | const char* greaterThan = ">"; |
| 258 | const char* lessThan = "<"; |
| 259 | if (lhs) |
| 260 | std::swap(greaterThan, lessThan); |
| 261 | if (Token::simpleMatch(tok, greaterThan, strlen(greaterThan))) { |
| 262 | setConditionalValue(true_value, tok, value + 1); |
| 263 | setConditionalValue(false_value, tok, value); |
| 264 | } else if (Token::simpleMatch(tok, lessThan, strlen(lessThan))) { |
| 265 | setConditionalValue(true_value, tok, value - 1); |
| 266 | setConditionalValue(false_value, tok, value); |
| 267 | } |
| 268 | } |
| 269 | setValueBound(true_value, tok, lhs); |
| 270 | setValueBound(false_value, tok, !lhs); |
| 271 | } |
| 272 | |
| 273 | static bool isSaturated(MathLib::bigint value) |
| 274 | { |
no test coverage detected