We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent aa1d49c commit 227e099Copy full SHA for 227e099
ql/ql/src/queries/style/OmittableExists.ql
@@ -13,8 +13,7 @@ import ql
13
from VarDecl existsArgument, VarAccess use
14
where
15
existsArgument = any(Exists e).getAnArgument() and
16
- strictcount(existsArgument.getAnAccess()) = 1 and
17
- use = existsArgument.getAnAccess() and
+ use = unique( | | existsArgument.getAnAccess()) and
18
exists(Call c, int argPos | c.getArgument(argPos) = use |
19
not existsArgument.getType().getASuperType+() = c.getTarget().getParameterType(argPos)
20
)
0 commit comments