Ruby: Sync identical files.

This commit is contained in:
Mathias Vorreiter Pedersen
2021-10-25 22:03:44 +01:00
parent e2d3474563
commit 4b137ede0e

View File

@@ -169,7 +169,7 @@ pragma[noinline]
private predicate inDefDominanceFrontier(BasicBlock bb, SourceVariable v) {
exists(BasicBlock defbb, Definition def |
def.definesAt(v, defbb, _) and
inDominanceFrontier(defbb, bb)
inDominanceFrontier(pragma[only_bind_into](defbb), bb)
)
}