Skip to content

DmdAnal: Don't give an absent demand signature to an argument if the argument doesn't have one in the unfolding

Zubin requested to merge wip/26416 into master

DmdAnal: Don't give an absent demand signature to an argument if the argument doesn't also have an absent demand signature in its unfolding.

Otherwise, in some cases we might mark an argument as absent and generate a LitRubbish for it, but then the function might inline and turn out to actually use this argument, resulting in a run time crash.

Partially addresses #26416 (closed).

There may still be cases where an absent argument turns out to be used due to a rule firing.

Merge request reports