From f73c63900f666d1b9f90673210365d4e261e4d84 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Thu, 18 Jul 2019 16:20:57 +0200
Subject: [PATCH] abi_symbols: drop weak local symbols

Fixes #3457
---
 tool/abi_symbols | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/tool/abi_symbols b/tool/abi_symbols
index 735ca6473..5e6534755 100755
--- a/tool/abi_symbols
+++ b/tool/abi_symbols
@@ -90,6 +90,12 @@ foreach line [split $symbols "\n"] {
 	if {[regexp {W|V} $type] && ($name != $demangled_name)} {
 		set keep 0 }
 
+	#
+	# Drop weak local symbols
+	#
+	if {[regexp {w|v} $type]} {
+		set keep 0 }
+
 	#
 	# Drop blacklisted symbols
 	#