mirror of
https://github.com/github/codeql.git
synced 2025-12-18 01:33:15 +01:00
We had a global set of labels for generic specialisations that we'd extracted, but these labels could contain references to other labels, and thus you can get false collisions between labels for different TRAP files. We now only keep the set for a single TRAP file, and live with the extra TRAP duplication that we get from that.