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

Reduce partial definition flow edge redundancy

Browse Source
This commit is contained in:
Pavel Avgustinov
2019-07-10 14:41:50 +01:00
committed by Jonas Jensen
parent bb8eb235e0
commit 1b9a2d3d87
2 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowPrivate.qll
View File

@@ -173,7 +173,7 @@ private class ArrayContent extends Content, TArrayContent {
predicate storeStep(Node node1, Content f, PostUpdateNode node2) {
exists(FieldAccess fa |
exists(Assignment a |
(a.getRValue() = node1.asExpr() or node1.asExpr() = a) and
node1.asExpr() = a and
a.getLValue() = fa
) and
not fa.getTarget().isStatic() and

3
cpp/ql/src/semmle/code/cpp/dataflow/internal/FlowVar.qll
View File

@@ -320,7 +320,8 @@ module FlowVar_internal {
BlockVar() { this = TBlockVar(sbb, v) }
override VariableAccess getAnAccess() {
variableAccessInSBB(v, getAReachedBlockVarSBB(this), result)
variableAccessInSBB(v, getAReachedBlockVarSBB(this), result) and
result != sbb
}
override predicate definedByInitialValue(LocalScopeVariable lsv) {