| 2026 | } |
| 2027 | |
| 2028 | static bool removePointValue(std::list<ValueFlow::Value>& values, std::list<ValueFlow::Value>::iterator& x) |
| 2029 | { |
| 2030 | const bool isPoint = x->bound == ValueFlow::Value::Bound::Point; |
| 2031 | if (!isPoint) |
| 2032 | x->decreaseRange(); |
| 2033 | else |
| 2034 | x = values.erase(x); |
| 2035 | return isPoint; |
| 2036 | } |
| 2037 | |
| 2038 | static bool removeContradiction(std::list<ValueFlow::Value>& values) |
| 2039 | { |
no test coverage detected