| 562 | } |
| 563 | |
| 564 | bool |
| 565 | FactPointTo::equal(const Fact& f) const |
| 566 | { |
| 567 | if (eCat == f.eCat) { |
| 568 | const FactPointTo& fact = (const FactPointTo&)f; |
| 569 | return (var == fact.get_var() && equal_variable_sets(point_to_vars, fact.get_point_to_vars())); |
| 570 | } |
| 571 | return false; |
| 572 | } |
| 573 | |
| 574 | /* |
| 575 | * return 1 if changed, 0 otherwise |
nothing calls this directly
no test coverage detected