hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Dataflow: Remove superfluous constraint.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2025-01-29 14:56:34 +01:00
parent 04db61a0fe
commit 3cbf8e517f
1 changed files with 2 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll
View File

@@ -1623,10 +1623,7 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
or
node instanceof FlowCheckNode
or
exists(FlowState s |
additionalLocalStateStep(_, s, node, state, _, _, _) and
s != state
)
additionalLocalStateStep(_, _, node, state, _, _, _)
)
}
@@ -1661,8 +1658,7 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
|
additionalJumpStateStep(node, state, next, s, _)
or
additionalLocalStateStep(node, state, next, s, _, _, _) and
s != state
additionalLocalStateStep(node, state, next, s, _, _, _)
)
or
node instanceof FlowCheckNode