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 | 27c8daeb604edffdf3a5229bf7c5f4f3aec99793 (patch) | |
| tree | bdb6db40da106568de01318fc68481e3d6a0bcc1 | |
| parent | 49b6c42281198a76cb470d7f5a17e816e140c35d (diff) | |
| download | tcl-27c8daeb604edffdf3a5229bf7c5f4f3aec99793.zip tcl-27c8daeb604edffdf3a5229bf7c5f4f3aec99793.tar.gz tcl-27c8daeb604edffdf3a5229bf7c5f4f3aec99793.tar.bz2 | |
add comment to flag Tcl_Panic as no-return for Coverity Scan static analyzer
| -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, |