Skip to content

Commit 177dd76

Browse files
committed
C#: Accept consistency changes.
1 parent 5dc9d9a commit 177dd76

File tree

22 files changed

+4473
-0
lines changed

22 files changed

+4473
-0
lines changed

csharp/ql/consistency-queries/DataFlowConsistency.ql

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -71,4 +71,6 @@ private class MyConsistencyConfiguration extends ConsistencyConfiguration {
7171
}
7272

7373
override predicate reverseReadExclude(Node n) { n.asExpr() = any(AwaitExpr ae).getExpr() }
74+
75+
override predicate identityLocalStepExclude(Node n) { this.missingLocationExclude(n) }
7476
}
Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
identityLocalStep
2+
| test.cs:17:41:17:44 | this access | Node steps to itself |
3+
| test.cs:34:41:34:44 | this access | Node steps to itself |
4+
| test.cs:52:41:52:44 | this access | Node steps to itself |
5+
| test.cs:67:41:67:44 | this access | Node steps to itself |
6+
| test.cs:77:22:77:24 | this access | Node steps to itself |
7+
| test.cs:90:41:90:44 | this access | Node steps to itself |

csharp/ql/test/library-tests/cil/attributes/CONSISTENCY/DataFlowConsistency.expected

Lines changed: 263 additions & 0 deletions
Large diffs are not rendered by default.

csharp/ql/test/library-tests/cil/consistency/CONSISTENCY/DataFlowConsistency.expected

Lines changed: 263 additions & 0 deletions
Large diffs are not rendered by default.

csharp/ql/test/library-tests/cil/dataflow/CONSISTENCY/DataFlowConsistency.expected

Lines changed: 263 additions & 0 deletions
Large diffs are not rendered by default.

csharp/ql/test/library-tests/cil/enums/CONSISTENCY/DataFlowConsistency.expected

Lines changed: 263 additions & 0 deletions
Large diffs are not rendered by default.

csharp/ql/test/library-tests/cil/functionPointers/CONSISTENCY/DataFlowConsistency.expected

Lines changed: 263 additions & 0 deletions
Large diffs are not rendered by default.

csharp/ql/test/library-tests/cil/init-only-prop/CONSISTENCY/DataFlowConsistency.expected

Lines changed: 263 additions & 0 deletions
Large diffs are not rendered by default.

csharp/ql/test/library-tests/cil/pdbs/CONSISTENCY/DataFlowConsistency.expected

Lines changed: 263 additions & 0 deletions
Large diffs are not rendered by default.

csharp/ql/test/library-tests/cil/regressions/CONSISTENCY/DataFlowConsistency.expected

Lines changed: 263 additions & 0 deletions
Large diffs are not rendered by default.

0 commit comments

Comments
 (0)