diff options
Diffstat (limited to 'generic/tclPanic.c')
| -rw-r--r-- | generic/tclPanic.c | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/generic/tclPanic.c b/generic/tclPanic.c index 2a453b9..851695f 100644 --- a/generic/tclPanic.c +++ b/generic/tclPanic.c @@ -141,7 +141,14 @@ Tcl_PanicVA( *---------------------------------------------------------------------- */ - /* ARGSUSED */ +/* ARGSUSED */ + +/* + * The following comment is here so that Coverity's static analizer knows that + * a Tcl_Panic() call can never return and avoids lots of false positives. + */ + +/* coverity[+kill] */ void Tcl_Panic( const char *format, |