mirror of
https://github.com/github/codeql.git
synced 2026-04-28 02:05:14 +02:00
This generalizes the location cache to allow multiple sources to be extracted in the same trap file, by adding `file_label` to `Location`, and therefore to location cache keys. This will be used by the Rust extractor.