Python: Remove unnecessary cached annotation from adjacentRefUse

As discussed in https://github.com/github/codeql/pull/4544#pullrequestreview-516575676
This commit is contained in:
Rasmus Wriedt Larsen
2020-11-04 15:16:08 +01:00
committed by GitHub
parent 104ff5d217
commit 31247739d7

View File

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