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 */
 |