Merge pull request #4608 from RasmusWL/patch-1

Python: Remove unnecessary cached annotation from adjacentRefUse
This commit is contained in:
yoff
2020-11-04 16:08:30 +01:00
committed by GitHub

View File

@@ -446,7 +446,6 @@ private module SsaComputeImpl {
* ```
*/
pragma[nomagic]
cached
private predicate adjacentRefUse(
SsaSourceVariable v, BasicBlock b2, int i2, ControlFlowNode use1
) {