summaryrefslogtreecommitdiff
path: root/misc.c
diff options
context:
space:
mode:
authorivmai <ivmai>2011-03-22 18:50:16 +0100
committerIvan Maidanski <ivmai@mail.ru>2011-07-26 19:06:57 +0200
commit2de7add91598ef5ba24e869c15b4003bc57819b1 (patch)
tree2640539b96ce5b77bb8a437a1e968a1cd92dd959 /misc.c
parentad269687a9cb0d834eed41ad67c9c4acbad205c9 (diff)
2011-03-22 Ivan Maidanski <ivmai@mail.ru>
* misc.c (GC_abort): Use _exit() (instead of DebugBreak) on Win32 when doing code static analysis (to inform the tool that the function is a no-return one). * os_dep.c (GC_linux_stack_base): Remove a duplicate validation of the length of "stat" file; use signed int type for "i", "buf_offset" and "len" local variables (since read() may return -1).
Diffstat (limited to 'misc.c')
-rw-r--r--misc.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/misc.c b/misc.c
index a81b11c..0843bce 100644
--- a/misc.c
+++ b/misc.c
@@ -1389,7 +1389,7 @@ GC_API GC_warn_proc GC_CALL GC_get_warn_proc(void)
# ifndef LINT2
if (!msg) return; /* to suppress compiler warnings in ABORT callers. */
# endif
-# if defined(MSWIN32) && defined(NO_DEBUGGING)
+# if defined(MSWIN32) && (defined(NO_DEBUGGING) || defined(LINT2))
/* A more user-friendly abort after showing fatal message. */
_exit(-1); /* exit on error without running "at-exit" callbacks */
# elif defined(MSWINCE) && defined(NO_DEBUGGING)