From 2fad5eff956d2960d6fbb3bc98de0a02f7752463 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Thu, 18 Jul 2019 15:08:32 +0200
Subject: [PATCH] abi_symbols: handle symbols without value

Fixes #3456
---
 tool/abi_symbols | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tool/abi_symbols b/tool/abi_symbols
index 1a0eace760..735ca6473a 100755
--- a/tool/abi_symbols
+++ b/tool/abi_symbols
@@ -39,8 +39,8 @@ foreach line [split $symbols "\n"] {
 	# match undefined symbol
 	if {![regexp {^(\w+) U\s*$} $line dummy name]} {
 
-		# match defined symbol, which does not always feature a size value
-		if {![regexp {^([\w.]+) (\w) \w+ ?(\w*)$} $line dummy name type size_hex]} {
+		# match defined symbol, which does not always feature a value or size
+		if {![regexp {^([\w.]+) (\w) *\w* ?(\w*)$} $line dummy name type size_hex]} {
 			puts stderr "Error: unexpected format of line: $line"
 			exit -1
 		}