Skip to content

Commit 8664842

Browse files
committed
PS: Remove two more 'forex's.
1 parent b79f366 commit 8664842

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

powershell/ql/lib/semmle/code/powershell/dataflow/internal/DataFlowPrivate.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -516,8 +516,8 @@ class NamedSet extends NamedSet0 {
516516
* this set.
517517
*/
518518
CfgNodes::ExprNodes::CallExprCfgNode getAnExactBindingCall() {
519-
forex(string name | name = this.getAName() | exists(result.getNamedArgument(name))) and
520-
forex(string name | exists(result.getNamedArgument(name)) | name = this.getAName())
519+
result = this.getABindingCallRec(this.getSize() - 1) and
520+
strictcount(string name | result.hasNamedArgument(name)) = this.getSize()
521521
or
522522
this.isEmpty() and
523523
not exists(result.getNamedArgument(_))

0 commit comments

Comments
 (0)