Handle force/release in all-sensitised process. Fixes #877

NEWS.md

@@ -1,4 +1,6 @@
 ## Unreleased changes
+- Fixed a crash when a process contains a `force` or `release`
+  assignment inside a `process (all)` statement (#877).
 
 ## Version 1.12.0 - 2024-04-07
 - The `--jit` elaboration option no longer requires `--no-save`.

src/common.c

@@ -2242,10 +2242,15 @@ void build_wait(tree_t expr, build_wait_fn_t fn, void *ctx)
       break;
 
    case T_VAR_ASSIGN:
+   case T_FORCE:
       build_wait_for_target(tree_target(expr), fn, ctx);
       build_wait(tree_value(expr), fn, ctx);
       break;
 
+   case T_RELEASE:
+      build_wait_for_target(tree_target(expr), fn, ctx);
+      break;
+
    case T_CASE:
    case T_MATCH_CASE:
       {

test/regress/issue877.vhd

@@ -0,0 +1,47 @@
+entity sub is
+    port ( o : out natural );
+end entity;
+
+architecture test of sub is
+    signal s : natural;
+begin
+    o <= s + 1 after 1 ns;
+end architecture;
+
+-------------------------------------------------------------------------------
+
+entity issue877 is
+end entity;
+
+architecture test of issue877 is
+    signal x : natural;
+begin
+
+    uut: entity work.sub
+        port map ( x );
+
+    update: process (all) is
+        alias s is << signal uut.s : natural >>;
+    begin
+        if x = 10 then
+            s <= release;
+        else
+            s <= force x;
+        end if;
+    end process;
+
+    check: process is
+    begin
+        wait for 1 ns;
+        assert x = 1;
+        wait for 1 ns;
+        assert x = 2;
+        wait for 8 ns;
+        assert x = 10;
+        wait for 1 ns;
+        assert x = 1;
+        std.env.finish;
+        wait;
+    end process;
+
+end architecture;

test/regress/testlist.txt

@@ -963,3 +963,4 @@ issue873        normal
 array19         normal
 issue874        normal,2008
 vhpi14          normal,vhpi
+issue877        normal,2008