Fix process sequential part labels added to wrong scope

Author: kraigher

vhdl_lang/src/analysis/concurrent.rs

@@ -121,7 +121,7 @@ impl<'a> AnalyzeContext<'a> {
                     }
                 }
                 let nested = scope.nested();
-                self.define_labels_for_sequential_part(scope, parent, statements, diagnostics)?;
+                self.define_labels_for_sequential_part(&nested, parent, statements, diagnostics)?;
                 self.analyze_declarative_part(&nested, parent, decl, diagnostics)?;
                 self.analyze_sequential_part(&nested, parent, statements, diagnostics)?;
             }

vhdl_lang/src/analysis/tests/homographs.rs

@@ -1030,3 +1030,31 @@ end architecture;
         .related(code.s("homo1", 1), "Previously defined here")],
     );
 }
+
+// This was a bug at one point
+#[test]
+fn same_label_in_different_process_is_not_homograph() {
+    check_code_with_no_diagnostics(
+        "
+entity ent is
+end entity;
+
+architecture a of ent is
+begin
+    process
+    begin
+        l0 : loop
+        end loop;
+        wait;
+    end process;
+
+    process
+    begin
+        l0 : loop
+        end loop;
+        wait;
+    end process;
+end architecture;
+    ",
+    );
+}