| 2539 | } |
| 2540 | |
| 2541 | bool Token::hasKnownSymbolicValue(const Token* tok) const |
| 2542 | { |
| 2543 | if (tok->exprId() == 0) |
| 2544 | return false; |
| 2545 | return mImpl->mValues && |
| 2546 | std::any_of(mImpl->mValues->begin(), mImpl->mValues->end(), [&](const ValueFlow::Value& value) { |
| 2547 | return value.isKnown() && value.isSymbolicValue() && value.tokvalue && |
| 2548 | value.tokvalue->exprId() == tok->exprId(); |
| 2549 | }); |
| 2550 | } |
| 2551 | |
| 2552 | const ValueFlow::Value* Token::getKnownValue(ValueFlow::Value::ValueType t) const |
| 2553 | { |
no test coverage detected