On Mon, 2025-07-07 at 17:12 -0700, Alexei Starovoitov wrote: [...] > > check_cfg(), right, thank you. > > But still, this feels like an artificial limitation. > > Just because we have a check_cfg() pass as a separate thing we need > > this hint. > > and insn_successors(). > All of them have to work before the main verifier analysis. Yeah, I see. In theory, it shouldn't be hard to write a reaching definitions analysis and make it do an additional pass once a connection between gotox and a map is established. And have this run before main verification pass. I'll modify llvm branch to emit the label.
