I’m propagating asts in custom unit results so I still have access to them in the custom final analysis phase. This allows me to call the FlowSpec analysis on asts in the custom final analysis phase (which needs the NaBL2 analysis results, so it needs to happen in the final phase). FlowSpec then traverses the AST again and reuses the NaBL2 index annotations. But on some list tails those are missing at that point. During the unit phase they’re not missing yet so they are lost somewhere in between…

Submitted by Jeff Smits on 23 November 2018 at 10:58