| 91 | } |
| 92 | |
| 93 | bool |
| 94 | FactPointTo::has_invisible(const Statement* stm) const |
| 95 | { |
| 96 | size_t i; |
| 97 | if (!var->is_visible(stm->parent)) { |
| 98 | return true; |
| 99 | } |
| 100 | for (i=0; i<point_to_vars.size(); i++) { |
| 101 | const Variable* v = point_to_vars[i]; |
| 102 | if (v != null_ptr && v != garbage_ptr && v != tbd_ptr && !v->is_visible(stm->parent)) { |
| 103 | return true; |
| 104 | } |
| 105 | } |
| 106 | return false; |
| 107 | } |
| 108 | |
| 109 | /* mark a variable in point_to_vars as dead, note |
| 110 | this create a new fact, and if that variable is |
nothing calls this directly
no test coverage detected