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

Merge pull request #2286 from calumgrant/cs/windows-tests

Browse Source 
C#: Make qltests pass on all platforms
This commit is contained in:
Tom Hvitved
2019-11-13 16:21:08 +01:00
committed by GitHub
parent b11a7427c2 b65ab15d46
commit 46bc804562
15 changed files with 64 additions and 482 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
csharp/ql/src/semmle/code/cil/ConsistencyChecks.qll
View File

@@ -315,7 +315,7 @@ class InvalidReturn extends InstructionViolation {
/**
* A throw instruction that does not have a stack size of 0 after it.
*/
class InvalidThrow extends InstructionViolation {
class InvalidThrow extends InstructionViolation, DisabledCheck {
InvalidThrow() { instruction instanceof Throw and instruction.getStackSizeAfter() != 0 }
override string getMessage() {