semantics-local.h File Reference

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...

Macro Definition Documentation

SEMANTICS_OPTIONS

#define SEMANTICS_OPTIONS   "?Otcfieod-D:"

include file for semantic analysis

Definition at line 26 of file semantics-local.h.

semantics_user_warning

#define semantics_user_warning   semantics_user_warning_func2

Definition at line 46 of file semantics-local.h.

SEQUENTIAL_PRECONDITION_SUFFIX

#define SEQUENTIAL_PRECONDITION_SUFFIX   ".prec"

Definition at line 30 of file semantics-local.h.

SEQUENTIAL_TOTAL_PRECONDITION_SUFFIX

#define SEQUENTIAL_TOTAL_PRECONDITION_SUFFIX   ".tprec"

Definition at line 32 of file semantics-local.h.

SEQUENTIAL_TRANSFORMER_SUFFIX

#define SEQUENTIAL_TRANSFORMER_SUFFIX   ".tran"

Definition at line 28 of file semantics-local.h.

USER_PRECONDITION_SUFFIX

#define USER_PRECONDITION_SUFFIX   ".uprec"

Definition at line 31 of file semantics-local.h.

USER_TOTAL_PRECONDITION_SUFFIX

#define USER_TOTAL_PRECONDITION_SUFFIX   ".utprec"

Definition at line 33 of file semantics-local.h.

USER_TRANSFORMER_SUFFIX

#define USER_TRANSFORMER_SUFFIX   ".utran"

Definition at line 29 of file semantics-local.h.

Variable Documentation

refine_transformers_p

bool refine_transformers_p

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.