From 19a01f6cb09447349854b88124694fa7304f9378 Mon Sep 17 00:00:00 2001 From: Cedric Roux Date: Mon, 6 Aug 2018 12:26:35 +0200 Subject: [PATCH] minor: bug fix in T tracer 'to_vcd' --- common/utils/T/tracer/to_vcd.c | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/common/utils/T/tracer/to_vcd.c b/common/utils/T/tracer/to_vcd.c index 049282f890..1a67a9d4ff 100644 --- a/common/utils/T/tracer/to_vcd.c +++ b/common/utils/T/tracer/to_vcd.c @@ -304,8 +304,7 @@ int main(int n, char **v) /* setup traces */ for (i = 0; i < nvars; i++) { char format[256]; - if (strlen(vars[i].arg) > 256-3) abort(); - if (strlen(vars[i].vcd_name) > 256-1) abort(); + if (strlen(vars[i].arg) + strlen(vars[i].vcd_name) > 256-16) abort(); sprintf(format, "%c [%s] %s", vars[i].boolean ? 'b' : 'l', vars[i].arg,