diff options
author | eschnett <eschnett@17b73243-c579-4c4c-a9d2-2d5706c11dac> | 2013-03-11 17:11:20 +0000 |
---|---|---|
committer | eschnett <eschnett@17b73243-c579-4c4c-a9d2-2d5706c11dac> | 2013-03-11 17:11:20 +0000 |
commit | 2eb69f5959e5160140c9b0988ce1fb74d1f90e23 (patch) | |
tree | 0b0b8b07abbf9ee1c12515e9092f2756384ec44b | |
parent | 65b32c63b24b094d6a0457e801bd871958dd9ab6 (diff) |
Mark code after CCTK_Warn(0,...) as unreachable
git-svn-id: http://svn.cactuscode.org/flesh/trunk@4980 17b73243-c579-4c4c-a9d2-2d5706c11dac
-rw-r--r-- | src/main/WarnLevel.c | 3 |
1 files changed, 2 insertions, 1 deletions
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) |