Use DenseMap for pointer->pointer maps.