| 184 | } |
| 185 | |
| 186 | static void changePossibleToKnown(std::list<ValueFlow::Value>& values, int indirect = -1) |
| 187 | { |
| 188 | for (ValueFlow::Value& v : values) { |
| 189 | if (indirect >= 0 && v.indirect != indirect) |
| 190 | continue; |
| 191 | if (!v.isPossible()) |
| 192 | continue; |
| 193 | if (v.bound != ValueFlow::Value::Bound::Point) |
| 194 | continue; |
| 195 | v.setKnown(); |
| 196 | } |
| 197 | } |
| 198 | |
| 199 | static bool isNonConditionalPossibleIntValue(const ValueFlow::Value& v) |
| 200 | { |
no test coverage detected