This patch introduces backward support to MustBeExecutedContext. For a given program point P, MustBeExecutedContextExplorer will explore until one can't go backward(In this patch, the condition is that predecessor block is only one). While exploration, store the instruction to stack.
Diff Detail
Diff Detail
Event Timeline
Comment Actions
This is not (a stripped down version of) the code in D64975 which does the same thing, correct?