From 6b4de9aa82563ddf91412e0b07579133e62ae955 Mon Sep 17 00:00:00 2001 From: Cary R Date: Sun, 13 Mar 2011 12:04:40 -0700 Subject: [PATCH] A '$' is also allowed in identifier names (dumpers) Update the dumper escaped identifier check to allow a '$' character after the first character in a normal identifier. (cherry picked from commit 2e0accf8124260c2b9caac8641de63e5d1b35056) --- vpi/vcd_priv.c | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/vpi/vcd_priv.c b/vpi/vcd_priv.c index 6dc5c4c00..7ba22eb62 100644 --- a/vpi/vcd_priv.c +++ b/vpi/vcd_priv.c @@ -1,5 +1,5 @@ /* - * Copyright (c) 2003-2010 Stephen Williams (steve@icarus.com) + * Copyright (c) 2003-2011 Stephen Williams (steve@icarus.com) * * This source code is free software; you can redistribute it * and/or modify it in source code form under the terms of the GNU @@ -36,7 +36,8 @@ int is_escaped_id(const char *name) for (lp=1; name[lp] != '\0'; lp++) { /* If this digit is not alpha-numeric or '_' we have * an escaped identifier. */ - if (!(isalnum((int)name[lp]) || name[lp] == '_')) { + if (!(isalnum((int)name[lp]) || + name[lp] == '_') || name[lp] == '$') { return 1; } }