| 763 | } |
| 764 | |
| 765 | void updateState(const Token* tok) override |
| 766 | { |
| 767 | // Update program state |
| 768 | pms.removeModifiedVars(tok); |
| 769 | pms.addState(tok, getProgramState()); |
| 770 | } |
| 771 | |
| 772 | void update(Token* tok, Action a, Direction d) override { |
| 773 | ValueFlow::Value* value = getValue(tok); |
nothing calls this directly
no test coverage detected