| 197 | } |
| 198 | |
| 199 | static bool isNonConditionalPossibleIntValue(const ValueFlow::Value& v) |
| 200 | { |
| 201 | if (v.conditional) |
| 202 | return false; |
| 203 | if (v.condition) |
| 204 | return false; |
| 205 | if (!v.isPossible()) |
| 206 | return false; |
| 207 | if (!v.isIntValue()) |
| 208 | return false; |
| 209 | return true; |
| 210 | } |
| 211 | |
| 212 | static void setValueUpperBound(ValueFlow::Value& value, bool upper) |
| 213 | { |
no test coverage detected