1ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 2ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--------------------------------------------------------------------*/ 3ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- Demangling of C++ mangled names. demangle.c ---*/ 4ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--------------------------------------------------------------------*/ 5ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 6ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* 7ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown This file is part of Valgrind, a dynamic binary instrumentation 8ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown framework. 9ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 10436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov Copyright (C) 2000-2013 Julian Seward 11ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown jseward@acm.org 12ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 13ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown This program is free software; you can redistribute it and/or 14ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown modify it under the terms of the GNU General Public License as 15ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown published by the Free Software Foundation; either version 2 of the 16ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown License, or (at your option) any later version. 17ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 18ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown This program is distributed in the hope that it will be useful, but 19ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown WITHOUT ANY WARRANTY; without even the implied warranty of 20ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 21ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown General Public License for more details. 22ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 23ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown You should have received a copy of the GNU General Public License 24ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown along with this program; if not, write to the Free Software 25ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 26ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 02111-1307, USA. 27ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 28ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown The GNU General Public License is contained in the file COPYING. 29ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown*/ 30ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 31ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "pub_core_basics.h" 32ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "pub_core_demangle.h" 33ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "pub_core_libcassert.h" 34ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "pub_core_libcbase.h" 35ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "pub_core_libcprint.h" 36ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "pub_core_mallocfree.h" 37ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "pub_core_options.h" 38ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 39ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "vg_libciface.h" 40ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "demangle.h" 41ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 42ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* The demangler's job is to take a raw symbol name and turn it into 43ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown something a Human Bean can understand. There are two levels of 44ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown mangling. 45ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 46ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 1. First, C++ names are mangled by the compiler. So we'll have to 47ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown undo that. 48ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 49ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 2. Optionally, in relatively rare cases, the resulting name is then 50ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown itself encoded using Z-escaping (see pub_core_redir.h) so as to 51ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown become part of a redirect-specification. 52ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 53ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Therefore, VG_(demangle) first tries to undo (2). If successful, 54ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown the soname part is discarded (humans don't want to see that). 55ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Then, it tries to undo (1) (using demangling code from GNU/FSF). 56ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 57ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Finally, change the name of all symbols which are known to be 58ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown functions below main() to "(below main)". This helps reduce 59ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown variability of stack traces, something which has been a problem for 60ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown the testsuite for a long time. 61ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 62ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown -------- 63ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown If do_cxx_demangle == True, does all the above stages: 64ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown - undo (2) [Z-encoding] 65ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown - undo (1) [C++ mangling] 66ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown - do the below-main hack 67ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 68ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown If do_cxx_demangle == False, the middle stage is skipped: 69ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown - undo (2) [Z-encoding] 70ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown - do the below-main hack 71ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown*/ 72ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 73ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Note that the C++ demangler is from GNU libiberty and is almost 74ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown completely unmodified. We use vg_libciface.h as a way to 75ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown impedance-match the libiberty code into our own framework. 76ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 77ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown The current code is from libiberty in the gcc tree, gcc svn 78663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng r181975, dated 12 Dec 2011 (when the gcc trunk was in Stage 3 79663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng leading up to a gcc-4.7 release). As of r141363, libiberty is LGPL 80ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 2.1, which AFAICT is compatible with "GPL 2 or later" and so is OK 81ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown for inclusion in Valgrind. 82ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 83ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown To update to a newer libiberty, it might be simplest to svn diff 84663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng the gcc tree libibery against r181975 and then apply those diffs 85ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown here. */ 86ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 87ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* This is the main, standard demangler entry point. */ 88ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 89ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid VG_(demangle) ( Bool do_cxx_demangling, Bool do_z_demangling, 90436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov HChar* orig, HChar* result, Int result_size ) 91ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 92ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown# define N_ZBUF 4096 93ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown HChar* demangled = NULL; 94ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown HChar z_demangled[N_ZBUF]; 95ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 96ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Possibly undo (2) */ 97ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Z-Demangling was requested. 98ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown The fastest way to see if it's a Z-mangled name is just to attempt 99ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown to Z-demangle it (with NULL for the soname buffer, since we're not 100ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown interested in that). */ 101ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (do_z_demangling) { 102ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (VG_(maybe_Z_demangle)( orig, NULL,0,/*soname*/ 103b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov z_demangled, N_ZBUF, NULL, NULL, NULL )) { 104ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown orig = z_demangled; 105ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 106ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 107ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 108ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Possibly undo (1) */ 109ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (do_cxx_demangling && VG_(clo_demangle)) { 110ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown demangled = ML_(cplus_demangle) ( orig, DMGL_ANSI | DMGL_PARAMS ); 111ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } else { 112ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown demangled = NULL; 113ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 114ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (demangled) { 115ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(strncpy_safely)(result, demangled, result_size); 116ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(arena_free) (VG_AR_DEMANGLE, demangled); 117ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } else { 118ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(strncpy_safely)(result, orig, result_size); 119ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 120ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 121ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // 13 Mar 2005: We used to check here that the demangler wasn't leaking 122ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // by calling the (now-removed) function VG_(is_empty_arena)(). But, 123ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // very rarely (ie. I've heard of it twice in 3 years), the demangler 124ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // does leak. But, we can't do much about it, and it's not a disaster, 125ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // so we just let it slide without aborting or telling the user. 126ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown# undef N_ZBUF 127ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 128ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 129ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 130ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*------------------------------------------------------------*/ 131ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- DEMANGLE Z-ENCODED NAMES ---*/ 132ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*------------------------------------------------------------*/ 133ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 134ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Demangle a Z-encoded name as described in pub_tool_redir.h. 135ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Z-encoded names are used by Valgrind for doing function 136ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown interception/wrapping. 137ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 138ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Demangle 'sym' into its soname and fnname parts, putting them in 139ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown the specified buffers. Returns a Bool indicating whether the 140ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown demangled failed or not. A failure can occur because the prefix 141ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown isn't recognised, the internal Z-escaping is wrong, or because one 142ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown or the other (or both) of the output buffers becomes full. Passing 143ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 'so' as NULL is acceptable if the caller is only interested in the 144ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown function name part. */ 145ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 146ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownBool VG_(maybe_Z_demangle) ( const HChar* sym, 147ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /*OUT*/HChar* so, Int soLen, 148ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /*OUT*/HChar* fn, Int fnLen, 149b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov /*OUT*/Bool* isWrap, 150b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov /*OUT*/Int* eclassTag, 151b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov /*OUT*/Int* eclassPrio ) 152ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 153ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown# define EMITSO(ch) \ 154ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown do { \ 155ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (so) { \ 156ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (soi >= soLen) { \ 157ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown so[soLen-1] = 0; oflow = True; \ 158ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } else { \ 159ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown so[soi++] = ch; so[soi] = 0; \ 160ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } \ 161ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } \ 162ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } while (0) 163ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown# define EMITFN(ch) \ 164ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown do { \ 165ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (fni >= fnLen) { \ 166ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown fn[fnLen-1] = 0; oflow = True; \ 167ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } else { \ 168ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown fn[fni++] = ch; fn[fni] = 0; \ 169ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } \ 170ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } while (0) 171ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 172ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Bool error, oflow, valid, fn_is_encoded, is_VG_Z_prefixed; 173ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Int soi, fni, i; 174ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 175ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(soLen > 0 || (soLen == 0 && so == NULL)); 176ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(fnLen > 0); 177ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown error = False; 178ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown oflow = False; 179ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown soi = 0; 180ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown fni = 0; 181ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 182ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown valid = sym[0] == '_' 183ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown && sym[1] == 'v' 184ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown && sym[2] == 'g' 185b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov && (sym[3] == 'r' || sym[3] == 'w') 186b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov && VG_(isdigit)(sym[4]) 187b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov && VG_(isdigit)(sym[5]) 188b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov && VG_(isdigit)(sym[6]) 189b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov && VG_(isdigit)(sym[7]) 190b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov && VG_(isdigit)(sym[8]) 191b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov && sym[9] == 'Z' 192b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov && (sym[10] == 'Z' || sym[10] == 'U') 193b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov && sym[11] == '_'; 194b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov 195b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov if (valid 196b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov && sym[4] == '0' && sym[5] == '0' && sym[6] == '0' && sym[7] == '0' 197b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov && sym[8] != '0') { 198b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov /* If the eclass tag is 0000 (meaning "no eclass"), the priority 199b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov must be 0 too. */ 200b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov valid = False; 201b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov } 202b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov 203ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (!valid) 204ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return False; 205ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 206b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov fn_is_encoded = sym[10] == 'Z'; 207ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 208ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (isWrap) 209ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown *isWrap = sym[3] == 'w'; 210ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 211b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov if (eclassTag) { 212b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov *eclassTag = 1000 * ((Int)sym[4] - '0') 213b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov + 100 * ((Int)sym[5] - '0') 214b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov + 10 * ((Int)sym[6] - '0') 215b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov + 1 * ((Int)sym[7] - '0'); 216b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov vg_assert(*eclassTag >= 0 && *eclassTag <= 9999); 217b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov } 218b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov 219b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov if (eclassPrio) { 220b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov *eclassPrio = ((Int)sym[8]) - '0'; 221b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov vg_assert(*eclassPrio >= 0 && *eclassPrio <= 9); 222b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov } 223b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov 224ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Now check the soname prefix isn't "VG_Z_", as described in 225ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown pub_tool_redir.h. */ 226ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown is_VG_Z_prefixed = 227b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov sym[12] == 'V' && 228b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov sym[13] == 'G' && 229b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov sym[14] == '_' && 230b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov sym[15] == 'Z' && 231b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov sym[16] == '_'; 232ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (is_VG_Z_prefixed) { 233ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert2(0, "symbol with a 'VG_Z_' prefix: %s.\n" 234ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown "see pub_tool_redir.h for an explanation.", sym); 235ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 236ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 237ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Now scan the Z-encoded soname. */ 238b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov i = 12; 239ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown while (True) { 240ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 241ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (sym[i] == '_') 242ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Found the delimiter. Move on to the fnname loop. */ 243ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown break; 244ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 245ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (sym[i] == 0) { 246ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown error = True; 247ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown goto out; 248ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 249ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 250ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (sym[i] != 'Z') { 251ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown EMITSO(sym[i]); 252ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown i++; 253ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown continue; 254ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 255ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 256ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* We've got a Z-escape. */ 257ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown i++; 258ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown switch (sym[i]) { 259ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case 'a': EMITSO('*'); break; 260ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case 'c': EMITSO(':'); break; 261ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case 'd': EMITSO('.'); break; 262ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case 'h': EMITSO('-'); break; 263ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case 'p': EMITSO('+'); break; 264ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case 's': EMITSO(' '); break; 265ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case 'u': EMITSO('_'); break; 266ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case 'A': EMITSO('@'); break; 267ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case 'D': EMITSO('$'); break; 268ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case 'L': EMITSO('('); break; 269ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case 'R': EMITSO(')'); break; 270ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case 'Z': EMITSO('Z'); break; 271ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown default: error = True; goto out; 272ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 273ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown i++; 274ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 275ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 276ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(sym[i] == '_'); 277ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown i++; 278ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 279ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Now deal with the function name part. */ 280ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (!fn_is_encoded) { 281ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 282ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* simple; just copy. */ 283ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown while (True) { 284ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (sym[i] == 0) 285ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown break; 286ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown EMITFN(sym[i]); 287ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown i++; 288ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 289ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown goto out; 290ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 291ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 292ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 293ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* else use a Z-decoding loop like with soname */ 294ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown while (True) { 295ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 296ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (sym[i] == 0) 297ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown break; 298ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 299ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (sym[i] != 'Z') { 300ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown EMITFN(sym[i]); 301ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown i++; 302ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown continue; 303ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 304ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 305ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* We've got a Z-escape. */ 306ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown i++; 307ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown switch (sym[i]) { 308ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case 'a': EMITFN('*'); break; 309ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case 'c': EMITFN(':'); break; 310ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case 'd': EMITFN('.'); break; 311ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case 'h': EMITFN('-'); break; 312ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case 'p': EMITFN('+'); break; 313ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case 's': EMITFN(' '); break; 314ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case 'u': EMITFN('_'); break; 315ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case 'A': EMITFN('@'); break; 316ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case 'D': EMITFN('$'); break; 317ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case 'L': EMITFN('('); break; 318ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case 'R': EMITFN(')'); break; 319ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case 'Z': EMITFN('Z'); break; 320ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown default: error = True; goto out; 321ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 322ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown i++; 323ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 324ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 325ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown out: 326ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown EMITSO(0); 327ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown EMITFN(0); 328ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 329ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (error) { 330ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Something's wrong. Give up. */ 331ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(message)(Vg_UserMsg, 332ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown "m_demangle: error Z-demangling: %s\n", sym); 333ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return False; 334ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 335ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (oflow) { 336ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* It didn't fit. Give up. */ 337ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(message)(Vg_UserMsg, 338ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown "m_demangle: oflow Z-demangling: %s\n", sym); 339ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return False; 340ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 341ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 342ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return True; 343ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 344ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 345ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 346ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--------------------------------------------------------------------*/ 347ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- end ---*/ 348ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--------------------------------------------------------------------*/ 349