tomoaki/hakorune
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

builder: pin receiver in emit_box_or_plugin_call to prevent undefined recv across blocks (Patch‑A)

Browse Source
This commit is contained in:
nyash-codex
2025-09-28 12:32:26 +09:00
parent 510f4cf523
commit a472938916
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/mir/builder/utils.rs
View File

@ -76,6 +76,10 @@ impl super::MirBuilder {
args: Vec<super::ValueId>, args: Vec<super::ValueId>,
effects: super::EffectMask, effects: super::EffectMask,
) -> Result<(), String> { ) -> Result<(), String> {
// Ensure receiver has a definition in the current block to avoid undefined use across
// block boundaries (LoopForm/header, if-joins, etc.).
// Pinning creates a local Copy that participates in PHI when needed.
let box_val = self.pin_to_slot(box_val, "@recv").unwrap_or(box_val);
// Check environment variable for unified call usage, with safe overrides for core/user boxes // Check environment variable for unified call usage, with safe overrides for core/user boxes
let use_unified_env = super::calls::call_unified::is_unified_call_enabled(); let use_unified_env = super::calls::call_unified::is_unified_call_enabled();
// First, try to determine the box type // First, try to determine the box type