add comment to flag Tcl_Panic as no-return for Coverity Scan static a…

…nalyzer
tcltk · Jul 30, 2015 · 202ad21 · 202ad21
1 parent cc7fd96
commit 202ad21
Showing 1 changed file with 8 additions and 1 deletion.
diff --git 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,