| 704 | } |
| 705 | |
| 706 | std::vector<const Variable*> |
| 707 | FactPointTo::merge_pointees_of_pointer(const Variable* ptr, int indirect, const std::vector<const Fact*>& facts) |
| 708 | { |
| 709 | vector<const Variable*> tmp; |
| 710 | tmp.push_back(ptr); |
| 711 | // recursively trace the pointer(s) to find real variables they point to |
| 712 | while (indirect-- > 0) { |
| 713 | tmp = FactPointTo::merge_pointees_of_pointers(tmp, facts); |
| 714 | } |
| 715 | return tmp; |
| 716 | } |
| 717 | |
| 718 | std::vector<const Variable*> |
| 719 | FactPointTo::merge_pointees_of_pointers(const std::vector<const Variable*>& ptrs, const std::vector<const Fact*>& facts) |
nothing calls this directly
no outgoing calls
no test coverage detected