aspsk wrote: > Some data flow analysis will be needed to achieve this. I have not explored this yet. In my example above (provided by Eduard initially) there's two jump tables, but only one gotox https://github.com/llvm/llvm-project/pull/149715