Merge pull request #1309 from hvitved/csharp/get-explicit-arg-nomagic

Add `pragma[nomagic]` to `getExplicitArgument()`
This commit is contained in:
Calum Grant
2019-05-16 10:57:00 +01:00
committed by GitHub

View File

@@ -108,15 +108,13 @@ class Call extends DotNet::Call, Expr, @call {
)
}
// predicate folding to get proper join-order
pragma[noinline]
private Expr getImplicitArgument(int pos) {
result = getArgument(pos) and
not exists(result.getExplicitArgumentName())
}
// predicate folding to get proper join-order
pragma[noinline]
pragma[nomagic]
private Expr getExplicitArgument(string name) {
result = getAnArgument() and
result.getExplicitArgumentName() = name