summaryrefslogtreecommitdiffstats
path: root/generic/tclPanic.c
diff options
context:
space:
mode:
authorMiguel Sofer <miguel.sofer@gmail.com>2015-07-30 18:10:39 (GMT)
committerMiguel Sofer <miguel.sofer@gmail.com>2015-07-30 18:10:39 (GMT)
commit27c8daeb604edffdf3a5229bf7c5f4f3aec99793 (patch)
treebdb6db40da106568de01318fc68481e3d6a0bcc1 /generic/tclPanic.c
parent49b6c42281198a76cb470d7f5a17e816e140c35d (diff)
downloadtcl-27c8daeb604edffdf3a5229bf7c5f4f3aec99793.zip
tcl-27c8daeb604edffdf3a5229bf7c5f4f3aec99793.tar.gz
tcl-27c8daeb604edffdf3a5229bf7c5f4f3aec99793.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.c9
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,