Use the symbol_name query instead of trying to infer from the link_name attribute#3724

bors merged 1 commit into

rust-lang:masterrust-lang/miri:masterfrom

bjorn3:use_symbol_name_querybjorn3/miri:use_symbol_name_queryCopy head branch name to clipboard