If my measurements are correct then over libraries.pmi, 55% of tracked locals are wholly defined and then used within a single BB:

Total number of non-parameter tracked locals: 1784135
Total number of non-parameter tracked locals wholly defined and only used in a single BB: 990613 (55.5%)

Unless I'm missing something these locals can be tracked separately and per-BB instead of globally in the varsets and should not contribute to the complexity of our dataflow analyses. Thus, we should consider always tracking such locals and not having them count towards the tracked locals limit.

category:cq
theme:profile-feedback