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

C++: Remove superfluous inference logic.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2025-09-24 10:51:45 +01:00
parent b3cbdb5c1a
commit 2b47ac83e8
1 changed files with 0 additions and 19 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll
View File

@@ -436,25 +436,6 @@ private module LogicInput_v1 implements GuardsImpl::LogicInputSig {
) { ) {
g1.(ConditionalBranchInstruction).getCondition() = g2 and g1.(ConditionalBranchInstruction).getCondition() = g2 and
v1.asBooleanValue() = v2.asBooleanValue() v1.asBooleanValue() = v2.asBooleanValue()
or
exists(SwitchInstruction switch, SwitchEdge edge |
g1 = switch.getSuccessor(edge) and
g2 = switch.getExpression()
|
v1.asBooleanValue() = true and
(
v2.asIntValue() = edge.getValue().toInt()
or
v2.asConstantValue().isRange(edge.getMinValue(), edge.getMaxValue())
)
or
v1.asBooleanValue() = false and
(
v2.getDualValue().asIntValue() = edge.getValue().toInt()
or
v2.getDualValue().asConstantValue().isRange(edge.getMinValue(), edge.getMaxValue())
)
)
} }
} }