| 302 | } |
| 303 | |
| 304 | Fact* |
| 305 | FactPointTo::clone(void) const |
| 306 | { |
| 307 | FactPointTo *fact = new FactPointTo(var, point_to_vars); |
| 308 | facts_.push_back(fact); |
| 309 | return fact; |
| 310 | } |
| 311 | |
| 312 | FactPointTo * |
| 313 | FactPointTo::make_fact(const Variable *v) |
nothing calls this directly
no outgoing calls
no test coverage detected