From 2eb69f5959e5160140c9b0988ce1fb74d1f90e23 Mon Sep 17 00:00:00 2001 From: eschnett Date: Mon, 11 Mar 2013 17:11:20 +0000 Subject: Mark code after CCTK_Warn(0,...) as unreachable git-svn-id: http://svn.cactuscode.org/flesh/trunk@4980 17b73243-c579-4c4c-a9d2-2d5706c11dac --- src/main/WarnLevel.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/main/WarnLevel.c b/src/main/WarnLevel.c index ff257e83..fcdd329e 100644 --- a/src/main/WarnLevel.c +++ b/src/main/WarnLevel.c @@ -258,7 +258,7 @@ int CCTK_VInfo (const char *thorn, const char *format, ...) static int info_format_decoded = 0; /* are the following two flags valid? */ /* Boolean flags decoded from cactus::info_format */ static int info_format_numeric = 0; /* print a numeric timestamp? */ - static int info_format_human_readable = 0; /* print a human-readable timestamp? */ + static int info_format_human_readable = 0; /* print a human-readable timestamrrp? */ /* necessary for wrapping up the final message */ int msg_size; @@ -447,6 +447,7 @@ void CCTK_Error (int line, const char *message) { CCTK_Warn (0, line, file, thorn, message); + CCTK_BUILTIN_UNREACHABLE(); } void CCTK_FCALL CCTK_FNAME (CCTK_Error) -- cgit v1.2.3