Only create SourceFile for leak on demand#4021

Merged

sigurdm merged 3 commits intodart-lang:masterfrom sigurdm:optimize_leak_detector

Sep 27, 2023

+36-19

Commits on Sep 15, 2023

Only create SourceFile for leak when detected
sigurdm
committed

Commits on Sep 26, 2023

Create SourceFile lazily through cache
sigurdm
committed

Commits on Sep 27, 2023

Only create sourcefile for smaller files, and only on-demand
sigurdm
committed