PIPS
semantics-local.h
Go to the documentation of this file.
1
/*
2
3
$Id: semantics-local.h 23065 2016-03-02 09:05:50Z coelho $
4
5
Copyright 1989-2016 MINES ParisTech
6
7
This file is part of PIPS.
8
9
PIPS is free software: you can redistribute it and/or modify it
10
under the terms of the GNU General Public License as published by
11
the Free Software Foundation, either version 3 of the License, or
12
any later version.
13
14
PIPS is distributed in the hope that it will be useful, but WITHOUT ANY
15
WARRANTY; without even the implied warranty of MERCHANTABILITY or
16
FITNESS FOR A PARTICULAR PURPOSE.
17
18
See the GNU General Public License for more details.
19
20
You should have received a copy of the GNU General Public License
21
along with PIPS. If not, see <http://www.gnu.org/licenses/>.
22
23
*/
24
/* include file for semantic analysis */
25
26
#define SEMANTICS_OPTIONS "?Otcfieod-D:"
27
28
#define SEQUENTIAL_TRANSFORMER_SUFFIX ".tran"
29
#define USER_TRANSFORMER_SUFFIX ".utran"
30
#define SEQUENTIAL_PRECONDITION_SUFFIX ".prec"
31
#define USER_PRECONDITION_SUFFIX ".uprec"
32
#define SEQUENTIAL_TOTAL_PRECONDITION_SUFFIX ".tprec"
33
#define USER_TOTAL_PRECONDITION_SUFFIX ".utprec"
34
35
extern
bool
refine_transformers_p
;
36
37
typedef
struct
{
38
gen_array_t
indices
;
39
statement
statement
;
40
}
path
;
41
42
#if defined(__STDC_VERSION__) && (__STDC_VERSION__ >= 199901L)
// C99
43
#define semantics_user_warning(...) \
44
semantics_user_warning_func(CURRENT_FUNCTION, __VA_ARGS__)
45
#else
46
#define semantics_user_warning semantics_user_warning_func2
47
#endif
48
refine_transformers_p
bool refine_transformers_p
Transformer recomputation cannot be of real use unless an interprocedural analysis is performed.
Definition:
dbm_interface.c:352
_gen_array_chunk_t
Definition:
array.c:33
_newgen_struct_statement_
Definition:
ri.h:2435
path
Definition:
semantics-local.h:37
path::statement
statement statement
Definition:
semantics-local.h:39
path::indices
gen_array_t indices
Definition:
semantics-local.h:38
pips
src
Libs
semantics
semantics-local.h
Generated on Thu Sep 26 2024 22:11:47 for PIPS by
1.9.1