PIPS
|
Go to the source code of this file.
Data Structures | |
struct | path |
Macros | |
#define | SEMANTICS_OPTIONS "?Otcfieod-D:" |
include file for semantic analysis More... | |
#define | SEQUENTIAL_TRANSFORMER_SUFFIX ".tran" |
#define | USER_TRANSFORMER_SUFFIX ".utran" |
#define | SEQUENTIAL_PRECONDITION_SUFFIX ".prec" |
#define | USER_PRECONDITION_SUFFIX ".uprec" |
#define | SEQUENTIAL_TOTAL_PRECONDITION_SUFFIX ".tprec" |
#define | USER_TOTAL_PRECONDITION_SUFFIX ".utprec" |
#define | semantics_user_warning semantics_user_warning_func2 |
Variables | |
bool | refine_transformers_p |
Transformer recomputation cannot be of real use unless an interprocedural analysis is performed. More... | |
#define SEMANTICS_OPTIONS "?Otcfieod-D:" |
include file for semantic analysis
Definition at line 26 of file semantics-local.h.
#define semantics_user_warning semantics_user_warning_func2 |
Definition at line 46 of file semantics-local.h.
#define SEQUENTIAL_PRECONDITION_SUFFIX ".prec" |
Definition at line 30 of file semantics-local.h.
#define SEQUENTIAL_TOTAL_PRECONDITION_SUFFIX ".tprec" |
Definition at line 32 of file semantics-local.h.
#define SEQUENTIAL_TRANSFORMER_SUFFIX ".tran" |
Definition at line 28 of file semantics-local.h.
#define USER_PRECONDITION_SUFFIX ".uprec" |
Definition at line 31 of file semantics-local.h.
#define USER_TOTAL_PRECONDITION_SUFFIX ".utprec" |
Definition at line 33 of file semantics-local.h.
#define USER_TRANSFORMER_SUFFIX ".utran" |
Definition at line 29 of file semantics-local.h.
|
extern |
Transformer recomputation cannot be of real use unless an interprocedural analysis is performed.
For intraprocedural analyses, using property SEMANTICS_COMPUTE_TRANSFORMERS_IN_CONTEXT is sufficient.
Definition at line 352 of file dbm_interface.c.