| 79 | // lattice functions |
| 80 | virtual bool is_top(void) const { return point_to_vars.empty();} |
| 81 | virtual bool is_bottom(void) const { return false;} // there is no bottom, we just grow the points-to set |
| 82 | virtual void set_top(void) { point_to_vars.clear();} |
| 83 | virtual void set_bottom(void) {}; |
| 84 |
nothing calls this directly
no outgoing calls
no test coverage detected