From b3cefb4ba05365815c4d30b46fbda1df79466cd9 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Wed, 9 Nov 2011 11:12:31 +0100 Subject: [PATCH] Constification of parameter, and attribute no_return. --- include/surf/surfxml_parse.h | 2 +- src/surf/surfxml_parse.c | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/include/surf/surfxml_parse.h b/include/surf/surfxml_parse.h index de188574da..6457ba6d31 100644 --- a/include/surf/surfxml_parse.h +++ b/include/surf/surfxml_parse.h @@ -47,7 +47,7 @@ XBT_PUBLIC(void) surf_parse_close(void); XBT_PUBLIC(void) surf_parse_init_callbacks(void); XBT_PUBLIC(void) surf_parse_reset_callbacks(void); XBT_PUBLIC(void) surf_parse_free_callbacks(void); -XBT_PUBLIC(void) surf_parse_error(char *msg); +XBT_PUBLIC(void) surf_parse_error(const char *msg) _XBT_GNUC_NORETURN; XBT_PUBLIC(double) surf_parse_get_double(const char *string); XBT_PUBLIC(int) surf_parse_get_int(const char *string); XBT_PUBLIC(void) surf_parse_models_setup(void); diff --git a/src/surf/surfxml_parse.c b/src/surf/surfxml_parse.c index b03e0b0cae..3ee3d56374 100644 --- a/src/surf/surfxml_parse.c +++ b/src/surf/surfxml_parse.c @@ -21,7 +21,7 @@ int ETag_surfxml_include_state(void); /* * Helping functions */ -void surf_parse_error(char *msg) { +void surf_parse_error(const char *msg) { xbt_die("Parse error on line %d: %s\n", surf_parse_lineno, msg); } -- 2.20.1