| 4289 | } |
| 4290 | |
| 4291 | static void valueFlowSetConditionToKnown(const Token* tok, std::list<ValueFlow::Value>& values, bool then) |
| 4292 | { |
| 4293 | if (values.empty()) |
| 4294 | return; |
| 4295 | if (then && !Token::Match(tok, "==|!|(")) |
| 4296 | return; |
| 4297 | if (!then && !Token::Match(tok, "!=|%var%|(")) |
| 4298 | return; |
| 4299 | if (isConditionKnown(tok, then)) |
| 4300 | changePossibleToKnown(values); |
| 4301 | } |
| 4302 | |
| 4303 | static bool isBreakScope(const Token* const endToken) |
| 4304 | { |
no test coverage detected