Skip to content

Make OccAnal stricter in various ways.

Andreas Klebinger requested to merge wip/andreask/occ_anal_tuning into master

This speeds up compilation for the reproducer in #26425 and reduces residency.

Turns out when OccAnal would update the AST it would not force the core expressions it created. Resulting in some of them being thunks keeping all of the OccEnv alive.

I fixed some of the sources of thunks, and added a few strategic seqExpr to avoid leaks. It would be better to not allocate those thunks in the first place. But for now this will have to do.

Edited by Andreas Klebinger

Merge request reports