diff options
author | Miguel Sofer <miguel.sofer@gmail.com> | 2015-07-30 18:10:39 (GMT) |
---|---|---|
committer | Miguel Sofer <miguel.sofer@gmail.com> | 2015-07-30 18:10:39 (GMT) |
commit | 0b6ed354d13eb319d021e3907230bc8841c3e336 (patch) | |
tree | bdb6db40da106568de01318fc68481e3d6a0bcc1 /generic/tclPanic.c | |
parent | a6c191c2eaf0913d127c222ce898b9d4ae052550 (diff) | |
download | tcl-0b6ed354d13eb319d021e3907230bc8841c3e336.zip tcl-0b6ed354d13eb319d021e3907230bc8841c3e336.tar.gz tcl-0b6ed354d13eb319d021e3907230bc8841c3e336.tar.bz2 |
add comment to flag Tcl_Panic as no-return for Coverity Scan static analyzer
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, |