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::statement
statement statement
Definition: semantics-local.h:39
path::indices
gen_array_t indices
Definition: semantics-local.h:38