2000-12-20 Fernando Nasser <fnasser@redhat.com>
[deliverable/binutils-gdb.git] / gdb / language.c
index 6db94d429099ba358898ae7a460f0f7446aecf4a..a5b2a863f718482e834937183a4f050aace81a09 100644 (file)
@@ -231,7 +231,7 @@ set_language_command (char *ignore, int from_tty)
   /* Reset the language (esp. the global string "language") to the 
      correct values. */
   err_lang = savestring (language, strlen (language));
-  make_cleanup (free, err_lang);       /* Free it after error */
+  make_cleanup (xfree, err_lang);      /* Free it after error */
   set_language (current_language->la_language);
   error ("Unknown language `%s'.", err_lang);
 }
@@ -330,9 +330,7 @@ set_range_command (char *ignore, int from_tty)
 /* Show command.  Display a warning if the case sensitivity setting does
    not match the current language. */
 static void
-show_case_command(ignore, from_tty)
-   char *ignore;
-   int from_tty;
+show_case_command (char *ignore, int from_tty)
 {
    if (case_sensitivity != current_language->la_case_sensitivity)
       printf_unfiltered(
@@ -341,9 +339,7 @@ show_case_command(ignore, from_tty)
 
 /* Set command.  Change the setting for case sensitivity. */
 static void
-set_case_command(ignore, from_tty)
-   char *ignore;
-   int from_tty;
+set_case_command (char *ignore, int from_tty)
 {
    if (STREQ (case_sensitive, "on"))
    {
@@ -425,7 +421,7 @@ set_lang_str (void)
   char *prefix = "";
 
   if (language)
-    free (language);
+    xfree (language);
   if (language_mode == language_mode_auto)
     prefix = "auto; currently ";
 
@@ -438,7 +434,7 @@ set_type_str (void)
   char *tmp = NULL, *prefix = "";
 
   if (type)
-    free (type);
+    xfree (type);
   if (type_mode == type_mode_auto)
     prefix = "auto; currently ";
 
@@ -484,7 +480,7 @@ set_range_str (void)
     }
 
   if (range)
-    free (range);
+    xfree (range);
   range = concat (pref, tmp, NULL);
 }
 
@@ -508,7 +504,7 @@ set_case_str()
      error ("Unrecognized case-sensitive setting.");
    }
 
-   free (case_sensitive);
+   xfree (case_sensitive);
    case_sensitive = concat (prefix, tmp, NULL);
 }
 
This page took 0.026312 seconds and 4 git commands to generate.