Add a simple script to demangle symbols

Gbp-Dch: Ignore

1 files changed, 17 insertions, 0 deletions

diff --git a/debian/filtersym b/debian/filtersym
new file mode 100755
index 0000000..8248b47
--- /dev/null
+++ b/debian/filtersym
@@ -0,0 +1,17 @@
+#!/usr/bin/gawk -f
+
+# demangle symbols file
+
+/^lib/
+
+/^ \(/
+
+function demangle(sym) {
+    split(sym, parts, /@/)
+    "c++filt -n " parts[1] | getline demangled
+    return demangled "@" parts[2]
+}
+
+/^ _Z/ {
+    print " (c++)\"" demangle($1) "\" " $2
+}