Address Robert's feedback

*** 99,107 ****
--- 99,112 ----
  const char *
  dis_demangle(const char *name)
  {
          static char *demangled_name = NULL;
  
+         /*
+          * Since demangled_name is static, it may be preserved across
+          * invocations.  As such, make sure any memory that might be present
+          * from previous invocations is freed.
+          */
          free(demangled_name);
          demangled_name = sysdemangle(name, SYSDEM_LANG_CPP, NULL);
          return ((demangled_name != NULL) ? demangled_name : name);
  }