`!dbg` attachment on the wrong subprogram

A Yul function definition and an msize() in the same inline-assembly block make the stock pipeline attach a debug location scoped to the user function to an instruction in the enclosing function. LLVM's verifier rejects the module and compilation fails.

The --newyork pipeline is unaffected.

MRE

// SPDX-License-Identifier: MIT
pragma solidity >=0.8.0;
contract DbgScope {
  function run() external {
    assembly {
      function f() { }
      let q := msize()
    }
  }
}

--disable-solc-optimizer is required, because solc refuses msize while its own Yul optimizer is on.

Execution results

$ resolc --disable-solc-optimizer -O3 --bin DbgScope.sol
Error: The contract `DbgScope.sol:DbgScope` unoptimized LLVM IR verification error:
!dbg attachment points at wrong subprogram for function
  !199 = distinct !DISubprogram(name: "fun_run_8_runtime__14", ...)
  ptr @fun_run_8_runtime__14
  br label %return, !dbg !246
  !246 = !DILocation(line: 77, column: 22, scope: !247)
  !247 = distinct !DISubprogram(name: "usr$f1_runtime__15", ...)

The branch belongs to fun_run_8_runtime__14, the entry function, but carries a location scoped to usr$f1_runtime__15, the Yul function.

With --newyork the same contract compiles at every level.

Git commit: d1c00c21471e94bc7a7c94a608c2e56dca1c237e; LLVM 22.1.5