| 67 | vector<vector<const Variable*> > FactPointTo::all_aliases; |
| 68 | |
| 69 | bool |
| 70 | FactPointTo::is_null() const |
| 71 | { |
| 72 | size_t i; |
| 73 | for (i=0; i<point_to_vars.size(); i++) { |
| 74 | if (point_to_vars[i] == null_ptr) { |
| 75 | return true; |
| 76 | } |
| 77 | } |
| 78 | return false; |
| 79 | } |
| 80 | |
| 81 | bool |
| 82 | FactPointTo::is_tbd_only() const |
no test coverage detected