| 2459 | } |
| 2460 | |
| 2461 | void SMTEncoder::resetReferences(VariableDeclaration const& _varDecl) |
| 2462 | { |
| 2463 | m_context.resetVariables([&](VariableDeclaration const& _var) { |
| 2464 | if (_var == _varDecl) |
| 2465 | return false; |
| 2466 | |
| 2467 | // If both are state variables no need to clear knowledge. |
| 2468 | if (_var.isStateVariable() && _varDecl.isStateVariable()) |
| 2469 | return false; |
| 2470 | |
| 2471 | return sameTypeOrSubtype(_var.type(), _varDecl.type()); |
| 2472 | }); |
| 2473 | } |
| 2474 | |
| 2475 | void SMTEncoder::resetReferences(Type const* _type) |
| 2476 | { |
nothing calls this directly
no test coverage detected