add pragma to fix performance (same issue as in #2512)

This commit is contained in:
Erik Krogh Kristensen
2020-01-16 14:16:04 +01:00
parent a76ab39a39
commit 9998059d59

View File

@@ -318,6 +318,7 @@ abstract class BarrierGuardNode extends DataFlow::Node {
*
* INTERNAL: this predicate should only be used from within `blocks(boolean, Expr)`.
*/
pragma[noinline,nomagic]
predicate internalBlocks(DataFlow::Node nd, string label) {
// 1) `nd` is a use of a refinement node that blocks its input variable
exists(SsaRefinementNode ref, boolean outcome |