////////////////////////////////////////////////////////////////////////// * */
| 366 | * |
| 367 | */ |
| 368 | FactPointTo::FactPointTo(const Variable* v) : |
| 369 | Fact(ePointTo), |
| 370 | var(v) |
| 371 | { |
| 372 | // every pointer starts from un-initialized state |
| 373 | point_to_vars.push_back(garbage_ptr); |
| 374 | } |
| 375 | |
| 376 | /* |
| 377 | * |