37 lines
		
	
	
	
		
			683 B
		
	
	
	
		
			C
		
	
	
	
	
	
			
		
		
	
	
			37 lines
		
	
	
	
		
			683 B
		
	
	
	
		
			C
		
	
	
	
	
	
| /*
 | |
|  * (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
 | |
|  * See the copyright notice in the ACK home directory, in the file "Copyright".
 | |
|  */
 | |
| /* $Id$ */
 | |
| /*	DATAFLOW ANALYSIS ON C PROGRAMS	*/
 | |
| 
 | |
| /*	Compile the C compiler with flag DATAFLOW.
 | |
| 	Use the compiler option --d.
 | |
| */
 | |
| 
 | |
| #include	"dataflow.h"	/* UF */
 | |
| 
 | |
| #ifdef	DATAFLOW
 | |
| char *CurrentFunction = 0;
 | |
| int NumberOfCalls;
 | |
| 
 | |
| DfaStartFunction(nm)
 | |
| 	char *nm;
 | |
| {
 | |
| 	CurrentFunction = nm;
 | |
| 	NumberOfCalls = 0;
 | |
| }
 | |
| 
 | |
| DfaEndFunction()
 | |
| {
 | |
| 	if (NumberOfCalls == 0)
 | |
| 		print("DFA: %s: --none--\n", CurrentFunction);
 | |
| }
 | |
| 
 | |
| DfaCallFunction(s)
 | |
| 	char *s;
 | |
| {
 | |
| 	print("DFA: %s: %s\n", CurrentFunction, s);
 | |
| 	++NumberOfCalls;
 | |
| }
 | |
| #endif	/* DATAFLOW */
 |