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 | 83d2431232a89cad320df4f1c33c27dd9b7db67c (patch) | |
| tree | bdb6db40da106568de01318fc68481e3d6a0bcc1 | |
| parent | 8c00651852c62c75770396bcf3b92fbefe0426a6 (diff) | |
| download | tcl-83d2431232a89cad320df4f1c33c27dd9b7db67c.zip tcl-83d2431232a89cad320df4f1c33c27dd9b7db67c.tar.gz tcl-83d2431232a89cad320df4f1c33c27dd9b7db67c.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, |