| 694 | } |
| 695 | |
| 696 | bool |
| 697 | FactPointTo::is_assertable(const Statement* stm) const |
| 698 | { |
| 699 | string dummy; |
| 700 | return (var->get_array(dummy) == NULL) && |
| 701 | !is_variable_in_set(point_to_vars, garbage_ptr) && |
| 702 | !is_variable_in_set(point_to_vars, tbd_ptr) && |
| 703 | !has_invisible(stm); |
| 704 | } |
| 705 | |
| 706 | std::vector<const Variable*> |
| 707 | FactPointTo::merge_pointees_of_pointer(const Variable* ptr, int indirect, const std::vector<const Fact*>& facts) |
nothing calls this directly
no test coverage detected