| 23 | PointsTo::MappingPtr PointsTo::currentBestReverseNodeMapping = nullptr; |
| 24 | |
| 25 | PointsTo::PointsTo() |
| 26 | : type(Options::PtType()), nodeMapping(currentBestNodeMapping), |
| 27 | reverseNodeMapping(currentBestReverseNodeMapping) |
| 28 | { |
| 29 | if (type == SBV) new (&sbv) SparseBitVector<>(); |
| 30 | else if (type == CBV) new (&cbv) CoreBitVector(); |
| 31 | else if (type == BV) new (&bv) BitVector(); |
| 32 | else assert(false && "PointsTo::PointsTo: unknown type"); |
| 33 | } |
| 34 | |
| 35 | PointsTo::PointsTo(const PointsTo &pt) |
| 36 | : type(pt.type), nodeMapping(pt.nodeMapping), |
nothing calls this directly
no outgoing calls
no test coverage detected