Hi, > Shouldn't the call resolution be part of call graph analysis? since it's an analysis, it shouldn't be modifying bitcode, for example by simplifying calls. That said, it would be easy to teach it to look through this kind of simple bitcast. Ciao, Duncan.