hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-27 01:35:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #6293 from hvitved/csharp/ssa/remove-redundant-conjunct

Browse Source 
C#: Remove redundant conjunct in `ssaDefReachesReadWithinBlock`
This commit is contained in:
Tom Hvitved
2021-07-16 06:15:34 +02:00
committed by GitHub
parent 59855de0ac caf88a2d31
commit 8321d5f312
4 changed files with 4 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
csharp/ql/src/semmle/code/cil/internal/SsaImplCommon.qll
View File

@@ -284,8 +284,7 @@ private module SsaDefReaches {
predicate ssaDefReachesReadWithinBlock(SourceVariable v, Definition def, BasicBlock bb, int i) {
exists(int rnk |
ssaDefReachesRank(bb, def, rnk, v) and
rnk = ssaRefRank(bb, i, v, SsaRead()) and
variableRead(bb, i, v, _)
rnk = ssaRefRank(bb, i, v, SsaRead())
)
}

3
csharp/ql/src/semmle/code/csharp/controlflow/internal/pressa/SsaImplCommon.qll
View File

@@ -284,8 +284,7 @@ private module SsaDefReaches {
predicate ssaDefReachesReadWithinBlock(SourceVariable v, Definition def, BasicBlock bb, int i) {
exists(int rnk |
ssaDefReachesRank(bb, def, rnk, v) and
rnk = ssaRefRank(bb, i, v, SsaRead()) and
variableRead(bb, i, v, _)
rnk = ssaRefRank(bb, i, v, SsaRead())
)
}

3
csharp/ql/src/semmle/code/csharp/dataflow/internal/SsaImplCommon.qll
View File

@@ -284,8 +284,7 @@ private module SsaDefReaches {
predicate ssaDefReachesReadWithinBlock(SourceVariable v, Definition def, BasicBlock bb, int i) {
exists(int rnk |
ssaDefReachesRank(bb, def, rnk, v) and
rnk = ssaRefRank(bb, i, v, SsaRead()) and
variableRead(bb, i, v, _)
rnk = ssaRefRank(bb, i, v, SsaRead())
)
}

3
csharp/ql/src/semmle/code/csharp/dataflow/internal/basessa/SsaImplCommon.qll
View File

@@ -284,8 +284,7 @@ private module SsaDefReaches {
predicate ssaDefReachesReadWithinBlock(SourceVariable v, Definition def, BasicBlock bb, int i) {
exists(int rnk |
ssaDefReachesRank(bb, def, rnk, v) and
rnk = ssaRefRank(bb, i, v, SsaRead()) and
variableRead(bb, i, v, _)
rnk = ssaRefRank(bb, i, v, SsaRead())
)
}