From a0ff5b6b4f71587ceec32644b32288a584617bf9 Mon Sep 17 00:00:00 2001
From: Alena Laskavaia <elaskavaia.cdt@gmail.com>
Date: Sun, 1 May 2011 21:11:52 +0000
Subject: [PATCH] Bug 343767 - [fp] 'No return' warning when return in both if
 and else

---
 .../internal/checkers/ReturnCheckerTest.java  | 35 +++++++++++++++++++
 1 file changed, 35 insertions(+)

diff --git a/codan/org.eclipse.cdt.codan.core.test/src/org/eclipse/cdt/codan/core/internal/checkers/ReturnCheckerTest.java b/codan/org.eclipse.cdt.codan.core.test/src/org/eclipse/cdt/codan/core/internal/checkers/ReturnCheckerTest.java
index 27551954fe2..d9174dd00eb 100644
--- a/codan/org.eclipse.cdt.codan.core.test/src/org/eclipse/cdt/codan/core/internal/checkers/ReturnCheckerTest.java
+++ b/codan/org.eclipse.cdt.codan.core.test/src/org/eclipse/cdt/codan/core/internal/checkers/ReturnCheckerTest.java
@@ -210,4 +210,39 @@ public class ReturnCheckerTest extends CheckerTestCase {
 		loadCodeAndRun(getAboveComment());
 		checkErrorLine(1);
 	}
+
+	//int bar(int foo)
+	//{
+	//    if(foo)
+	//        return 0;
+	//    else
+	//        return 0;
+	//}
+	public void testBranches_Bug343767() {
+		loadCodeAndRunCpp(getAboveComment());
+		checkNoErrors();
+	}
+//	int f()
+//	{
+//	    switch (g()) {
+//	      case 1: return 1;
+//	      case 2:
+//	        return 0;
+//	}
+	public void testBranchesSwitch_Bug343767() {
+		loadCodeAndRunCpp(getAboveComment());
+		checkNoErrors();
+	}
+	//int bar(int foo)
+	//{
+	//    if(foo)
+	//        return 0;
+	//    else
+	//        if (g()) return 0;
+	//        else return 1;
+	//}
+	public void testBranches2_Bug343767() {
+		loadCodeAndRunCpp(getAboveComment());
+		checkNoErrors();
+	}
 }
\ No newline at end of file