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

C#: Remove two pragma[nomagic]

Browse Source
This commit is contained in:
Tom Hvitved
2019-08-07 16:04:23 +02:00
parent d0a761477b
commit c1604caa31
2 changed files with 1 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
csharp/ql/src/semmle/code/csharp/controlflow/Guards.qll
View File

@@ -1574,7 +1574,6 @@ module Internal {
*
* This predicate does not rely on the control flow graph.
*/
pragma[nomagic]
predicate preImpliesSteps(Guard g1, AbstractValue v1, Guard g2, AbstractValue v2) {
g1 = g2 and
v1 = v2 and
@@ -1592,7 +1591,6 @@ module Internal {
*
* This predicate relies on the control flow graph.
*/
pragma[nomagic]
predicate impliesSteps(Guard g1, AbstractValue v1, Guard g2, AbstractValue v2) {
g1 = g2 and
v1 = v2 and

2
csharp/ql/src/semmle/code/csharp/controlflow/internal/PreSsa.qll
View File

@@ -125,7 +125,7 @@ class Definition extends TPreSsaDef {
Definition getAnUltimateDefinition() {
result = this.getAPhiInput*() and
not this = TPhiPreSsaDef(_, _)
not result = TPhiPreSsaDef(_, _)
}
}