2003-05-01 H.J. Lu <hjl@gnu.org>

	* config/tc-ia64.c (ia64_check_label): New.
	* config/tc-ia64.h (tc_check_label): New.

	* read.c (read_a_source_file): Call tc_check_label after
	creating a user-defined label if defined.

1 files changed, 3 insertions, 0 deletions

diff --git a/gas/read.c b/gas/read.c
index 90ef367..3c4c244 100644
--- a/gas/read.c
+++ b/gas/read.c
@@ -710,6 +710,9 @@ read_a_source_file (name)
 		  line_label = colon (s);	/* User-defined label.  */
 		  /* Put ':' back for error messages' sake.  */
 		  *input_line_pointer++ = ':';
+#ifdef tc_check_label
+		  tc_check_label (line_label);
+#endif
 		  /* Input_line_pointer->after ':'.  */
 		  SKIP_WHITESPACE ();
 		}