Fix the 'nested_paths' rule

AdaCore · Dec 16, 2024 · 350ad5d · 350ad5d
1 parent 44f8b40
commit 350ad5d
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/lkql_checker/share/lkql/nested_paths.lkql b/lkql_checker/share/lkql/nested_paths.lkql
@@ -49,7 +49,7 @@ fun nested_paths(node) =
       if_stmt.f_alternatives[1] == null
 
       # Has an "else" part
-      and if_stmt.f_else_part.f_stmts[1] != null
+      and if_stmt.f_else_part != null
 
       and not has_last_breaking_stmt(node)
       and has_last_breaking_stmt(if if_stmt.f_then_stmts == node

diff --git a/testsuite/tests/checks/nested_paths/paths.adb b/testsuite/tests/checks/nested_paths/paths.adb
@@ -93,4 +93,8 @@ begin
    else
       I := I + 1;                  --  NOFLAG
    end if;
+
+   if Cond then
+      null;                        --  NOFLAG
+   end if;
 end Paths;