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

Merge pull request #6961 from MathiasVP/fix-join-order-in-in-def-dominance-frontier

Browse Source 
C#: Fix join order in `inDefDominanceFrontier`
This commit is contained in:
Mathias Vorreiter Pedersen
2021-10-26 12:55:31 +01:00
committed by GitHub
parent 2b9edd7ff6 67fd38f328
commit 4a58349fcd
5 changed files with 5 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
csharp/ql/lib/semmle/code/cil/internal/SsaImplCommon.qll
View File

@@ -156,6 +156,7 @@ private predicate dominatesPredecessor(BasicBlock bb1, BasicBlock bb2) {
}
/** Holds if `df` is in the dominance frontier of `bb`. */
pragma[noinline]
private predicate inDominanceFrontier(BasicBlock bb, BasicBlock df) {
dominatesPredecessor(bb, df) and
not strictlyDominates(bb, df)

1
csharp/ql/lib/semmle/code/csharp/controlflow/internal/pressa/SsaImplCommon.qll
View File

@@ -156,6 +156,7 @@ private predicate dominatesPredecessor(BasicBlock bb1, BasicBlock bb2) {
}
/** Holds if `df` is in the dominance frontier of `bb`. */
pragma[noinline]
private predicate inDominanceFrontier(BasicBlock bb, BasicBlock df) {
dominatesPredecessor(bb, df) and
not strictlyDominates(bb, df)

1
csharp/ql/lib/semmle/code/csharp/dataflow/internal/SsaImplCommon.qll
View File

@@ -156,6 +156,7 @@ private predicate dominatesPredecessor(BasicBlock bb1, BasicBlock bb2) {
}
/** Holds if `df` is in the dominance frontier of `bb`. */
pragma[noinline]
private predicate inDominanceFrontier(BasicBlock bb, BasicBlock df) {
dominatesPredecessor(bb, df) and
not strictlyDominates(bb, df)

1
csharp/ql/lib/semmle/code/csharp/dataflow/internal/basessa/SsaImplCommon.qll
View File

@@ -156,6 +156,7 @@ private predicate dominatesPredecessor(BasicBlock bb1, BasicBlock bb2) {
}
/** Holds if `df` is in the dominance frontier of `bb`. */
pragma[noinline]
private predicate inDominanceFrontier(BasicBlock bb, BasicBlock df) {
dominatesPredecessor(bb, df) and
not strictlyDominates(bb, df)

1
ruby/ql/lib/codeql/ruby/dataflow/internal/SsaImplCommon.qll
View File

@@ -156,6 +156,7 @@ private predicate dominatesPredecessor(BasicBlock bb1, BasicBlock bb2) {
}
/** Holds if `df` is in the dominance frontier of `bb`. */
pragma[noinline]
private predicate inDominanceFrontier(BasicBlock bb, BasicBlock df) {
dominatesPredecessor(bb, df) and
not strictlyDominates(bb, df)