+/* Comparison function for a splay tree in which the keys are strings.
+ K1 and K2 have the dynamic type "const char *". Returns <0, 0, or
+ >0 to indicate whether K1 is less than, equal to, or greater than
+ K2, respectively. */
+
+static int
+splay_tree_compare_strings (splay_tree_key k1, splay_tree_key k2)
+{
+ const char *s1 = (const char *)k1;
+ const char *s2 = (const char *)k2;
+ int ret;
+
+ if (s1 == s2)
+ return 0;
+
+ ret = strcmp (s1, s2);
+
+ /* The strings are always those from IDENTIFIER_NODEs, and,
+ therefore, we should never have two copies of the same
+ string. */
+ gcc_assert (ret);
+
+ return ret;
+}
+