Skip to content

Commit ccbab33

Browse files
hvitvedaschackmull
andauthored
Update shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
1 parent 6b3afee commit ccbab33

1 file changed

Lines changed: 0 additions & 1 deletion

File tree

shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -568,7 +568,6 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
568568
result = 0
569569
or
570570
exists(Content c, Ap tail |
571-
ap = apCons(c, tail) and
572571
fwdFlowConsCand(_, ap, c, _, tail) and
573572
ap != tail and // no need to report a longer length
574573
result = 1 + getAnApLengthLowerBound(tail) and

0 commit comments

Comments
 (0)