| commit | f21af5b674c734e772ae23e2b15ceb0726ffa7dc | [log] [tgz] |
|---|---|---|
| author | Giulio Eulisse <10544+ktf@users.noreply.github.com> | Sat Sep 30 07:26:19 2023 +0200 |
| committer | Copybara-Service <copybara-worker@google.com> | Fri Sep 29 22:31:30 2023 -0700 |
| tree | 9a258a7d8cf1c03d5c3ee7284af8c1c0d607b3f6 | |
| parent | 80d11b44bb738a97ed4d3b32524f1f020f146ffd [diff] |
Introduce paged vector (#66430) The goal of the class is to be an (almost) drop in replacement for SmallVector and std::vector when those are presized and filled later, as it happens in SourceManager and ASTReader. By doing so, sparsely accessed PagedVector can profit from reduced memory footprint. GitOrigin-RevId: 4ae51570806ba5c5fcabe6d6dcbe52e3a5d5453b