diff --git a/lib/core/Handles/HandlesAssign.py b/lib/core/Handles/HandlesAssign.py
index fb7dac4..0810640 100644
--- a/lib/core/Handles/HandlesAssign.py
+++ b/lib/core/Handles/HandlesAssign.py
@@ -198,6 +198,14 @@ class AssignHandle(BaseHandle):
                 if isinstance(Value.type, ir.VoidType):
                     return
                 Gen._UnregisterTempPtr(Value)
+                # 【右值形态判定】只有"取地址形态"的右值才需要自动解一层引用：Name/Attribute/
+                # Subscript 的求值结果是**存储地址**（变量 alloca / 字段地址 /"对象即指针"），
+                # 赋给指针变量时必须 load 出内层指针。而 Call（显式 cast 如 `str*(addr)`、
+                # `t.CPtr(x)`，以及构造/普通函数调用）与其它表达式给出的是**值本身**，
+                # 再 load 会多解一层 → 静默取到野指针（现场 includes/argparse.vp 的
+                # `entry = str*(uint64(argv) + idx*8)`：i8** 右值被多解一次，entry 变成
+                # argv[idx] 本身，随后 entry[0] 去读字符串头 8 字节 → ASan access-violation）。
+                _rhs_addr_form: bool = isinstance(Node.value, (ast.Name, ast.Attribute, ast.Subscript))
                 # 大端局部变量：赋值时 bswap
                 Value = Gen._apply_bswap_if_big(Value, Gen.local_var_byteorders.get(VarName, ""), f"bswap_assign_{VarName}")
                 if isinstance(Value.type, ir.PointerType) and isinstance(Value.type.pointee, (ir.LiteralStructType, ir.IdentifiedStructType)):
@@ -398,7 +406,7 @@ class AssignHandle(BaseHandle):
                         types_differ = TargetType and Value.type != TargetType
                     except AssertionError:
                         types_differ = False
-                    if isinstance(Value.type, ir.PointerType) and isinstance(Value.type.pointee, ir.PointerType):
+                    if _rhs_addr_form and isinstance(Value.type, ir.PointerType) and isinstance(Value.type.pointee, ir.PointerType):
                         LoadedValue: ir.Value = Gen._load(Value, name=f"Load_{VarName}")
                         Loaded_differ: bool
                         try:
@@ -435,7 +443,7 @@ class AssignHandle(BaseHandle):
                         GVar: ir.GlobalVariable = Gen.module.globals[VarName]
                         Gen._store(Value, GVar, Node=Node.value)
                         Gen.variables[VarName] = GVar
-                    elif isinstance(Value.type, ir.PointerType) and isinstance(Value.type.pointee, ir.PointerType):
+                    elif _rhs_addr_form and isinstance(Value.type, ir.PointerType) and isinstance(Value.type.pointee, ir.PointerType):
                         LoadedValue: ir.Value = Gen._load(Value, name=f"Load_{VarName}")
                         var: ir.AllocaInstr = Gen._allocaEntry(LoadedValue.type, name=VarName)
                         Gen._store(LoadedValue, var, Node=Node.value)