PFA.xcc

Benoit Dupont de Dinechin (Benoit.Dupont-de-Dinechin@st.com).

Copyright 2002 - 2007 STMicroelectronics. Copyright 1995 - 1998 Commissariat a l'Energie Atomique.

This program is free software; you can redistribute it and/or modify it under the terms of either (at your option): the GNU General Public License (GPL) version 2; the GNU Lesser General Public License (LGPL) version 2.1; any later version of these licences as published by the Free Software Foundation.

The PFA (Program Flow Analyses) library contains the following modules:

Timer— A multi valued timer
struct Timer_;
PFA_TRACE— File handle used to print the PFA traces.
extern FILE *PFA_TRACE;
#ifdef ECL_NTRACE
#define PFA_TRACE NULL
#endif//ECL_NTRACE
MAXLIVE_TRACE— File handle used to print the MAXLIVE traces.
extern FILE *MAXLIVE_TRACE;
#ifdef ECL_NTRACE
#define MAXLIVE_TRACE NULL
#endif//ECL_NTRACE
PFA_TIMER— File handle used to print the PFA time information.
extern FILE *PFA_TIMER;
#ifdef ECL_NTIMER
#define PFA_TIMER NULL
#endif//ECL_TIMER
PFA_STATS— File handle used to print the PFA stats.
extern FILE *PFA_STATS;
#ifdef ECL_NTRACE
#define PFA_STATS NULL
#endif//ECL_NTRACE

Variables used to control PFA in non-release mode.

extern int FORCE_SUPERGROW;
extern int FORCE_REUSELIMIT;
PFA_INIT— Initialize the PFA library.
void
PFA_INIT(void);
PFA_FINI— Finalize the PFA library.
void
PFA_FINI(void);