Add test case for a constant true guard

INRIA · Apr 7, 2024 · 2d426f4 · 2d426f4
1 parent 1ba6ecf
commit 2d426f4
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 0 deletions.
diff --git a/spoon-control-flow/src/test/java/fr/inria/controlflow/ForwardFlowBuilderVisitorTest.java b/spoon-control-flow/src/test/java/fr/inria/controlflow/ForwardFlowBuilderVisitorTest.java
@@ -327,6 +327,16 @@ public void testSimpleSealedHierarchyExhaustive() throws Exception {
 			assertEquals(2, paths.size());
 		}
 
+		@Test
+		public void testConstantGuardExhaustive() throws Exception {
+			ControlFlowGraph graph = testMethod("enhancedSwitchExhaustiveConstantTrueGuard", true, null, null, null);
+			graph.simplify();
+			ControlFlowPathHelper pathHelper = new ControlFlowPathHelper();
+			ControlFlowNode entryNode = graph.findNodesOfKind(BEGIN).get(0);
+			List<List<ControlFlowNode>> paths = pathHelper.paths(entryNode);
+			assertEquals(2, paths.size());
+		}
+
 		@Test
 		public void testComplexSealedHierarchyExhaustive() throws Exception {
 			ControlFlowGraph graph = testMethod("enhancedSwitchMultilevelSealedExhaustive", true, null, null, null);

diff --git a/spoon-control-flow/src/test/resources/control-flow/ControlFlowArithmetic.java b/spoon-control-flow/src/test/resources/control-flow/ControlFlowArithmetic.java
@@ -510,6 +510,13 @@ static int enhancedSwitchSealedExhaustive(I i) {
 		};
 	}
 
+	static int enhancedSwitchExhaustiveConstantTrueGuard(I i) {
+		switch (i) {
+			case A a when 1 < 2 -> {}
+			case R r -> {}
+		};
+	}
+
 	static int enhancedSwitchMultilevelSealedExhaustive(I i) {
 		switch (i) {
 			case B b -> {}