|
|
As each statement in the program executes, it will be listed at the terminal, followed by the name and value of any variables referenced or modified in the statement, followed by any output from the statement. Loops in the trace output are detected and tracing is stopped until the loop is exited or a different sequence of statements within the loop is executed. A warning message is printed every 1000 times through the loop to help you detect infinite loops. The trace output goes to the standard output so you can put it into a file for examination with an editor or the bfs(C) or more(C) commands.
The options commonly used are:
You may want to add to the default formats for printing variables. Long and pointer variables are always printed as signed integers. Pointers to character arrays are also printed as strings if appropriate. char, short, and int variables are also printed as signed integers and, if appropriate, as characters. double variables are printed as floating-point numbers in scientific notation.
String arguments to the string(S) functions and return values from fgets(S), gets(S), and sprintf(S) are printed as strings. You can request that variables be printed in additional formats, if appropriate, with these options:
These options are used only in special circumstances:
You can do both of these by adding ctroff() and ctron() function calls to your program to turn the tracing off and on, respectively, at execution time. Thus, you can code arbitrarily complex criteria for trace control with if statements, and you can even conditionally include this code because ctrace defines the CTRACE preprocessor variable. For example:
#ifdef CTRACE
if (c == '!' && i > 1000)
ctron();
#endif
You can also call these functions from
sdb(CP)
if you compile with the -g option.
For example, to trace all but lines 7 to 10 in the main function, enter:
You can also turn the trace off and on by setting static variable tr_ct_ to 0 and 1, respectively. This is useful if you are using a debugger that cannot call these functions directly.
Warning: some variables are not traced in this statementWarning: statement too long to traceCannot handle preprocessor code, use -P option'if ... else if' sequence too longPossible syntax error, try -P option3.149050e-311 for a structure with two integer members)
when printing the value of an aggregate.
Pointer values are always treated as pointers to character strings.
The loop trace output elimination is done separately for each file of a multifile program. This can result in functions called from a loop still being traced, or the elimination of trace output from one function in a file until another in the same file is called.
Defining a function with the same name as a system function may cause a syntax error if the number of arguments is changed. Just use a different name.
The ctrace command assumes that BADMAG
is a preprocessor macro, and that EOF and
NULL are #defined constants.
Declaring any of these to be variables, for example,
"int EOF;", will cause a syntax error.
1 #include <stdio.h>
2 main() /* count lines in input */
3 {
4 int c, nl;
5
6 nl = 0;
7 while ((c = getchar()) != EOF)
8 if (c = '\n')
9 ++nl;
10 printf("%d\n", nl);
11 }
and you enter these commands and test data:
the program will be compiled and executed.
The output of the program will be the number 2,
which is not correct because there is only one line in the test data.
The error in this program is common, but subtle.
If you invoke ctrace with these commands:
ctrace lc.c >temp.c
cc temp.c
a.out
the output will be:
2 main()
6 nl = 0;
/* nl == 0 */
7 while ((c = getchar()) != EOF)
The program is now waiting for input.
If you enter the same test data as before, the output will be:
/* c == 49 or '1' or "text" */
8 if (c = '\n')
/* c == 10 or '\n' */
9 ++nl;
/* nl == 1 */
7 while ((c = getchar()) != EOF)
/* c == 10 or '\n' */
8 if (c = '\n')
/* c == 10 or '\n' */
9 ++nl;
/* nl == 2 */
7 /* repeating */
If you now enter an end-of-file character (<Ctrl>-D) the final output will be:
/* repeated < 1 time */
7 while ((c = getchar()) != EOF)
/* c == -1 */
10 printf ("%d\n", nl);
/* nl == 2 */2
/* return */
Note that the program output printed at the end of the
trace line for the nl variable.
Also note the return comment added by
ctrace at the end of the trace output.
This shows the implicit return at the terminating brace in the function.
The trace output shows that variable c is assigned the value '1' in line 7, but in line 8 it has the value '\n'. Once your attention is drawn to this if statement, you will probably realize that you used the assignment operator (``='') in place of the equality operator (``==''). You can easily miss this error during code reading.