mirror of
https://github.com/github/codeql.git
synced 2026-02-20 08:53:49 +01:00
Since locations for any given source file are never referenced in any TRAP files besides the one for that particular source file, it's not necessary to use global IDs. Using fresh IDs will reduce the size of the ID pool (both on disk and in memory) and the speed of multi-threaded TRAP import. The one exception is the empty location, which still uses a global ID.