Skip to content

Commit dfe567a

Browse files
hvitvedCopilot
andauthored
Potential fix for pull request finding
Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>
1 parent 0d8e951 commit dfe567a

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3092,7 +3092,7 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
30923092
not expensiveLen2unfolding(c)
30933093
} or
30943094
TConsCons(Content c1, Content c2, int len) {
3095-
Stage4::consCand(c1, TFrontHead(c2, _)) and
3095+
Stage4::consCand(c1, TFrontHead(c2, len - 1)) and
30963096
len in [2 .. Config::accessPathLimit()] and
30973097
not expensiveLen2unfolding(c1)
30983098
} or

0 commit comments

Comments
 (0)