[tignear]

A ref or const ref formal of unpacked structure type was rejected,
which blocks UVM: uvm_reg_adapter::reg2bus(const ref uvm_reg_bus_op rw)
and bus2reg(..., ref uvm_reg_bus_op rw) are elaborated with every
uvm_pkg. A structure is a set of member variables, so its reference
formal is now one reference per member, bound to the matching member of
the actual (IEEE 1800-2023 13.5.2): writes through the formal are seen at
once in both directions, also across task suspensions.

• The analyzer records the members of a structure formal in
  SubroutineParam::leaves. A reference formal gets no copy-in or
  copy-out. The body that dispatches a virtual method forwards the members,
  so a call through a pure virtual method binds the override's members to
  the caller's.
• Actuals: structure variables, members that are structures, class
  properties of structure type and their members. A scalar member of a
  structure is now also an ordinary reference actual (bump(x.a)).
• Type equivalence (6.22.2) compares structure types by identity, also
  for containers of structures (ref s_t q[$]).
• const ref writes, nonblocking writes and fork uses are checked per
  member.
• The frontend binds each member like a scalar reference. A concatenation
  assignment to members bound to class properties writes temporaries in
  their place, so every destination position is taken before any write,
  then stores each property. A formal bound to a property and passed on
  to an output or inout structure argument copies each member back.
• A receiver with a side effect (a pop, $urandom, a call) is rejected
  for a structure property actual, as for its whole reads, since each
  member would evaluate it again.

Tests cover callee whole assignment, patterns, comparisons and passing
on by reference or value; enumeration, string, class handle and 4-state
members; handle members across heap collections; pure virtual
reg2bus/bus2reg; and a task holding the reference across delays.
Verilator 5.052 rejects two cases that bind a class property in a
function that constructs an object (%Error-IMPURE, also with a scalar
ref). xezim 0.11.3 shows its known copy semantics and padded string
properties. Icarus does not support unpacked structures. The docs state
that structure members may not be dynamic containers.

Depends-On: #2424

[tignear]

This pull request is part of a Mergify stack:

#	Pull Request	Link
1	feat(sv): support unpacked structures	#2415
2	feat(sv): support class properties of unpacked structure type	#2419
3	feat(sv): support unpacked structures as dynamic container elements	#2422
4	feat(sv): support nested dynamic containers and class handle keys	#2424
5	feat(sv): pass unpacked structures by reference	#2473	👈

[chatgpt-codex-connector]

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review	Status	Commit	Review trigger
📝 Code Review	✅ Completed 2026-10-28T22:34:53.536298Z	e0c060f	New commits

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

• Open a pull request for review
• Mark a draft as ready
• Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

[chatgpt-codex-connector]

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: c841a15f04

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

• Open a pull request for review
• Mark a draft as ready
• Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

[mergify]

Queued — the merge queue status continues in this comment ↓.

[tignear]

Revision history

#	Type	Changes	Reason	Date
1	initial	c841a15		2026-10-28 19:23 UTC
2	content	c841a15 → 31d6b3f	Review fixes: property-bound structure references forwarded to output/inout copy each member back; concatenations with property-bound members write temporaries first, keeping destination positions; e…	2026-10-28 19:23 UTC
3	content	31d6b3f → 43e8dc3		2026-10-28 20:25 UTC
4	content	43e8dc3 → e0c060f		2026-10-28 22:32 UTC

[mergify]

✅ Merged into master as 56777f4 at 23:20 UTC

Merged together with #2424. 14 min in the queue, 11 min of it CI.

So far

• ✅ Entered the queue Wed 28 Oct, 23:06 · rule changes · triggered by rule Queue explicitly requested merges
• ✅ Passed · draft merge queue: checking #2424 + #2473 together on master (5fcbf1f), stacked on #2415, #2419 and #2422 #2496
• ✅ Merged 23:20 · 56777f4 · merge

Merge conditions: 8 of 8 met

This pull request

	Condition
✅	depends-on = celox-sim/celox#2424

The batch, tested on draft #2496

	Condition	Required by
✅	check-success = Conventional Commit title	—
✅	check-success = Queue validation	—
✅	any of: check-success = @github-actions/Lint & Format, check-neutral = @github-actions/Lint & Format, check-skipped = @github-actions/Lint & Format	GitHub repository ruleset rule master
✅	any of: check-success = @github-actions/Rust Test & NAPI Build, check-neutral = @github-actions/Rust Test & NAPI Build, check-skipped = @github-actions/Rust Test & NAPI Build	GitHub repository ruleset rule master
✅	any of: check-success = @github-actions/JS Test (Ubuntu), check-neutral = @github-actions/JS Test (Ubuntu), check-skipped = @github-actions/JS Test (Ubuntu)	GitHub repository ruleset rule master
✅	any of: check-success = @github-actions/Conventional Commit title, check-neutral = @github-actions/Conventional Commit title, check-skipped = @github-actions/Conventional Commit title	GitHub repository ruleset rule master
✅	any of: check-success = @github-actions/Queue validation, check-neutral = @github-actions/Queue validation, check-skipped = @github-actions/Queue validation	GitHub repository ruleset rule master

_{Times in UTC · dashboard · how the merge queue works}