Skip to content

Commit 5b3403c

Browse files
committed
C++: Fix bad join in 'lastRefRedefExt'.
1 parent b88a1b2 commit 5b3403c

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

shared/ssa/codeql/ssa/Ssa.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -801,7 +801,7 @@ module Make<LocationSig Location, InputSig<Location> Input> {
801801
input = bb
802802
or
803803
varBlockReachesExt(def, v, bb, input) and
804-
ssaDefReachesThroughBlock(def, input)
804+
ssaDefReachesThroughBlock(def, pragma[only_bind_into](input))
805805
)
806806
}
807807

0 commit comments

Comments
 (0)