diff options
Diffstat (limited to 'codan/org.eclipse.cdt.codan.core.test/src/org/eclipse/cdt/codan/core/internal/checkers/CaseBreakCheckerTest.java')
| -rw-r--r-- | codan/org.eclipse.cdt.codan.core.test/src/org/eclipse/cdt/codan/core/internal/checkers/CaseBreakCheckerTest.java | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/codan/org.eclipse.cdt.codan.core.test/src/org/eclipse/cdt/codan/core/internal/checkers/CaseBreakCheckerTest.java b/codan/org.eclipse.cdt.codan.core.test/src/org/eclipse/cdt/codan/core/internal/checkers/CaseBreakCheckerTest.java index 99da565912f..dab450839e5 100644 --- a/codan/org.eclipse.cdt.codan.core.test/src/org/eclipse/cdt/codan/core/internal/checkers/CaseBreakCheckerTest.java +++ b/codan/org.eclipse.cdt.codan.core.test/src/org/eclipse/cdt/codan/core/internal/checkers/CaseBreakCheckerTest.java @@ -563,4 +563,18 @@ public class CaseBreakCheckerTest extends CheckerTestCase { loadCodeAndRun(code); checkErrorLine(4, ER_ID); } + + // void foo() { + // switch (0) { + // case 0: + // return 42;; + // case 1: + // break; + // } + // } + public void testDoubleSemicolon_bug441714() { + String code = getAboveComment(); + loadCodeAndRun(code); + checkNoErrorsOfKind(ER_ID); + } } |