Tcl Source Code

Check-in [de879c7755]
Login

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:add comment to flag Tcl_Panic as no-return for Coverity Scan static analyzer
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1: de879c7755608d39e9139f73334d95449f044964
User & Date: msofer 2015-07-30 18:10:39
Context
2015-07-30
18:22
Fix bug [f00009f7ce]: memory (object) leaks in TclNativeCreateNativeRep for windows platform: missi... check-in: ecaddab40c user: sebres tags: trunk
18:10
add comment to flag Tcl_Panic as no-return for Coverity Scan static analyzer check-in: de879c7755 user: msofer tags: trunk
13:02
Fix bug [f00009f7ce]: memory (object) leaks in TclNativeCreateNativeRep for windows platform (errone... check-in: 4199a28012 user: sebres tags: trunk
Changes
Hide Diffs Unified Diffs Ignore Whitespace Patch

Changes to generic/tclPanic.c.

137
138
139
140
141
142
143
144







145
146
147
148
149
150
151
 *
 * Side effects:
 *	The process dies, entering the debugger if possible.
 *
 *----------------------------------------------------------------------
 */

	/* ARGSUSED */







void
Tcl_Panic(
    const char *format,
    ...)
{
    va_list argList;








|
>
>
>
>
>
>
>







137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
 *
 * Side effects:
 *	The process dies, entering the debugger if possible.
 *
 *----------------------------------------------------------------------
 */

/* 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,
    ...)
{
    va_list argList;