Bug 311268 fixed some f.p. in return checker

1 files changed, 32 insertions, 0 deletions

diff --git a/codan/org.eclipse.cdt.codan.core.test/src/org/eclipse/cdt/codan/core/cfg/ControlFlowGraphTest.java b/codan/org.eclipse.cdt.codan.core.test/src/org/eclipse/cdt/codan/core/cfg/ControlFlowGraphTest.java
index aa9fcf244a7..086dd8fb0a6 100644
--- a/codan/org.eclipse.cdt.codan.core.test/src/org/eclipse/cdt/codan/core/cfg/ControlFlowGraphTest.java
+++ b/codan/org.eclipse.cdt.codan.core.test/src/org/eclipse/cdt/codan/core/cfg/ControlFlowGraphTest.java
@@ -324,4 +324,36 @@ public class ControlFlowGraphTest extends CodanTestCase {
 		IBasicBlock m3 = jumpEnd(m2);
 		assertSame(m1, m3);
 	}
+	/*-
+	 <code file="test_throw.cc">
+	 int foo() {
+	 	throw 5;
+	 }
+	 </code>
+	 */
+	public void test_throw() {
+		buildAndCheck("test_throw.cc");
+		IStartNode startNode = graph.getStartNode();
+		assertEquals(1, graph.getExitNodeSize());
+		Iterator<IExitNode> exitNodeIterator = graph.getExitNodeIterator();
+		IExitNode exit = exitNodeIterator.next();
+
+		assertEquals("throw 5;", data(exit));
+	}
+	/*-
+	 <code file="test_exit.c">
+	 int foo() {
+	 	exit(0);
+	 }
+	 </code>
+	 */
+	public void test_exit() {
+		buildAndCheck("test_exit.c");
+		IStartNode startNode = graph.getStartNode();
+		assertEquals(1, graph.getExitNodeSize());
+		Iterator<IExitNode> exitNodeIterator = graph.getExitNodeIterator();
+		IExitNode exit = exitNodeIterator.next();
+
+		assertEquals("exit(0);", data(exit));
+	}
 }