scriptoriumadmin/GitNexus
1
0
Fork 0
mirror of https://github.com/abhigyanpatwari/GitNexus.git synced 2026-10-05 02:43:32 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 11

perf(cfg): switch production reaching-defs to the sparse solver (#2201 U5)

Browse source
This commit is contained in:
Gergo Magyar 2026-06-15 13:47:52 +00:00
parent aa84c91d35
commit d6703f49d5
1 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
gitnexus/src/core/ingestion/cfg/reaching-defs.ts
View file

@ -191,9 +191,10 @@ type InSetsComputer = (
* MUST be byte-identical (status, bindings, sorted facts, def/use telemetry).
*/
export function computeReachingDefs(cfg: FunctionCfg, limits?: ReachingDefsLimits): FunctionDefUse {
// #2201: production still runs the dense solver until U5 flips this to
// computeInSetsSparse (once the differential fuzz is byte-identical green).
return solveReachingDefs(cfg, limits, computeInSetsDense);
// #2201 U5: production runs the sparse, change-driven solver. The dense
// worklist ({@link computeReachingDefsDense}) is retained as the differential
// equivalence oracle the fuzz suite holds this byte-identical to.
return solveReachingDefs(cfg, limits, computeInSetsSparse);
}
/**