| 70 | } |
| 71 | |
| 72 | size_t PointsToSet::size() const { |
| 73 | // Because pointed-to elements may be duplicated we have to create a flattened |
| 74 | // set and return the size. |
| 75 | return CreateFlattenedSet().size(); |
| 76 | } |
| 77 | |
| 78 | PointsToSet::BufferSet PointsToSet::CreateFlattenedSet() const { |
| 79 | BufferSet flat_set; |
no outgoing calls