re PR tree-optimization/59287 (points-to analysis confused by union accesses)
[official-gcc.git] / gcc / fortran / match.h
blob1a701f04f39ead3f39678d6ca40a58682f2df6d2
1 /* All matcher functions.
2 Copyright (C) 2003-2013 Free Software Foundation, Inc.
3 Contributed by Steven Bosscher
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation; either version 3, or (at your option) any later
10 version.
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
15 for more details.
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING3. If not see
19 <http://www.gnu.org/licenses/>. */
22 #ifndef GFC_MATCH_H
23 #define GFC_MATCH_H
25 /* gfc_new_block points to the symbol of a newly matched block. */
26 extern gfc_symbol *gfc_new_block;
28 /* Current statement label. Zero means no statement label. Because
29 new_st can get wiped during statement matching, we have to keep it
30 separate. */
31 extern gfc_st_label *gfc_statement_label;
33 extern int gfc_matching_ptr_assignment;
34 extern int gfc_matching_procptr_assignment;
35 extern bool gfc_matching_prefix;
37 /* Default access specifier while matching procedure bindings. */
38 extern gfc_access gfc_typebound_default_access;
40 /****************** All gfc_match* routines *****************/
42 /* match.c. */
44 /* Generic match subroutines. */
45 match gfc_match_special_char (gfc_char_t *);
46 match gfc_match_space (void);
47 match gfc_match_eos (void);
48 match gfc_match_small_literal_int (int *, int *);
49 match gfc_match_st_label (gfc_st_label **);
50 match gfc_match_label (void);
51 match gfc_match_small_int (int *);
52 match gfc_match_small_int_expr (int *, gfc_expr **);
53 match gfc_match_name (char *);
54 match gfc_match_name_C (const char **buffer);
55 match gfc_match_symbol (gfc_symbol **, int);
56 match gfc_match_sym_tree (gfc_symtree **, int);
57 match gfc_match_intrinsic_op (gfc_intrinsic_op *);
58 match gfc_match_char (char);
59 match gfc_match (const char *, ...);
60 match gfc_match_iterator (gfc_iterator *, int);
61 match gfc_match_parens (void);
62 match gfc_match_type_spec (gfc_typespec *);
65 /* Statement matchers. */
66 match gfc_match_program (void);
67 match gfc_match_pointer_assignment (void);
68 match gfc_match_assignment (void);
69 match gfc_match_if (gfc_statement *);
70 match gfc_match_else (void);
71 match gfc_match_elseif (void);
72 match gfc_match_critical (void);
73 match gfc_match_block (void);
74 match gfc_match_associate (void);
75 match gfc_match_do (void);
76 match gfc_match_cycle (void);
77 match gfc_match_exit (void);
78 match gfc_match_lock (void);
79 match gfc_match_pause (void);
80 match gfc_match_stop (void);
81 match gfc_match_error_stop (void);
82 match gfc_match_continue (void);
83 match gfc_match_assign (void);
84 match gfc_match_goto (void);
85 match gfc_match_sync_all (void);
86 match gfc_match_sync_images (void);
87 match gfc_match_sync_memory (void);
88 match gfc_match_unlock (void);
90 match gfc_match_allocate (void);
91 match gfc_match_nullify (void);
92 match gfc_match_deallocate (void);
93 match gfc_match_return (void);
94 match gfc_match_call (void);
96 /* We want to use this function to check for a common-block-name
97 that can exist in a bind statement, so removed the "static"
98 declaration of the function in match.c.
100 TODO: should probably rename this now that it'll be globally seen to
101 gfc_match_common_name. */
102 match match_common_name (char *name);
104 match gfc_match_common (void);
105 match gfc_match_block_data (void);
106 match gfc_match_namelist (void);
107 match gfc_match_module (void);
108 match gfc_match_equivalence (void);
109 match gfc_match_st_function (void);
110 match gfc_match_case (void);
111 match gfc_match_select (void);
112 match gfc_match_select_type (void);
113 match gfc_match_type_is (void);
114 match gfc_match_class_is (void);
115 match gfc_match_where (gfc_statement *);
116 match gfc_match_elsewhere (void);
117 match gfc_match_forall (gfc_statement *);
119 /* Other functions. */
121 gfc_common_head *gfc_get_common (const char *, int);
123 /* openmp.c. */
125 /* OpenMP directive matchers. */
126 match gfc_match_omp_eos (void);
127 match gfc_match_omp_atomic (void);
128 match gfc_match_omp_barrier (void);
129 match gfc_match_omp_critical (void);
130 match gfc_match_omp_do (void);
131 match gfc_match_omp_flush (void);
132 match gfc_match_omp_master (void);
133 match gfc_match_omp_ordered (void);
134 match gfc_match_omp_parallel (void);
135 match gfc_match_omp_parallel_do (void);
136 match gfc_match_omp_parallel_sections (void);
137 match gfc_match_omp_parallel_workshare (void);
138 match gfc_match_omp_sections (void);
139 match gfc_match_omp_single (void);
140 match gfc_match_omp_task (void);
141 match gfc_match_omp_taskwait (void);
142 match gfc_match_omp_taskyield (void);
143 match gfc_match_omp_threadprivate (void);
144 match gfc_match_omp_workshare (void);
145 match gfc_match_omp_end_nowait (void);
146 match gfc_match_omp_end_single (void);
148 /* decl.c. */
150 match gfc_match_data (void);
151 match gfc_match_null (gfc_expr **);
152 match gfc_match_kind_spec (gfc_typespec *, bool);
153 match gfc_match_old_kind_spec (gfc_typespec *);
154 match gfc_match_decl_type_spec (gfc_typespec *, int);
156 match gfc_match_end (gfc_statement *);
157 match gfc_match_data_decl (void);
158 match gfc_match_formal_arglist (gfc_symbol *, int, int);
159 match gfc_match_procedure (void);
160 match gfc_match_generic (void);
161 match gfc_match_function_decl (void);
162 match gfc_match_entry (void);
163 match gfc_match_subroutine (void);
164 match gfc_match_derived_decl (void);
165 match gfc_match_final_decl (void);
167 match gfc_match_implicit_none (void);
168 match gfc_match_implicit (void);
170 void gfc_set_constant_character_len (int, gfc_expr *, int);
172 /* Matchers for attribute declarations. */
173 match gfc_match_allocatable (void);
174 match gfc_match_asynchronous (void);
175 match gfc_match_codimension (void);
176 match gfc_match_contiguous (void);
177 match gfc_match_dimension (void);
178 match gfc_match_external (void);
179 match gfc_match_gcc_attributes (void);
180 match gfc_match_import (void);
181 match gfc_match_intent (void);
182 match gfc_match_intrinsic (void);
183 match gfc_match_optional (void);
184 match gfc_match_parameter (void);
185 match gfc_match_pointer (void);
186 match gfc_match_protected (void);
187 match gfc_match_private (gfc_statement *);
188 match gfc_match_public (gfc_statement *);
189 match gfc_match_save (void);
190 match gfc_match_modproc (void);
191 match gfc_match_target (void);
192 match gfc_match_value (void);
193 match gfc_match_volatile (void);
195 /* decl.c. */
197 /* Fortran 2003 c interop.
198 TODO: some of these should be moved to another file rather than decl.c */
199 void set_com_block_bind_c (gfc_common_head *, int);
200 bool set_verify_bind_c_sym (gfc_symbol *, int);
201 bool set_verify_bind_c_com_block (gfc_common_head *, int);
202 bool get_bind_c_idents (void);
203 match gfc_match_bind_c_stmt (void);
204 match gfc_match_suffix (gfc_symbol *, gfc_symbol **);
205 match gfc_match_bind_c (gfc_symbol *, bool);
206 match gfc_get_type_attr_spec (symbol_attribute *, char*);
208 /* primary.c. */
209 match gfc_match_structure_constructor (gfc_symbol *, gfc_expr **);
210 match gfc_match_variable (gfc_expr **, int);
211 match gfc_match_equiv_variable (gfc_expr **);
212 match gfc_match_actual_arglist (int, gfc_actual_arglist **);
213 match gfc_match_literal_constant (gfc_expr **, int);
215 /* expr.c -- FIXME: this one should be eliminated by moving the
216 matcher to matchexp.c and a call to a new function in expr.c that
217 only makes sure the init expr. is valid. */
218 bool gfc_reduce_init_expr (gfc_expr *expr);
219 match gfc_match_init_expr (gfc_expr **);
221 /* array.c. */
222 match gfc_match_array_spec (gfc_array_spec **, bool, bool);
223 match gfc_match_array_ref (gfc_array_ref *, gfc_array_spec *, int, int);
224 match gfc_match_array_constructor (gfc_expr **);
226 /* interface.c. */
227 match gfc_match_abstract_interface (void);
228 match gfc_match_generic_spec (interface_type *, char *, gfc_intrinsic_op *);
229 match gfc_match_interface (void);
230 match gfc_match_end_interface (void);
232 /* io.c. */
233 match gfc_match_format (void);
234 match gfc_match_open (void);
235 match gfc_match_close (void);
236 match gfc_match_endfile (void);
237 match gfc_match_backspace (void);
238 match gfc_match_rewind (void);
239 match gfc_match_flush (void);
240 match gfc_match_inquire (void);
241 match gfc_match_read (void);
242 match gfc_match_wait (void);
243 match gfc_match_write (void);
244 match gfc_match_print (void);
246 /* matchexp.c. */
247 match gfc_match_defined_op_name (char *, int);
248 match gfc_match_expr (gfc_expr **);
250 /* module.c. */
251 match gfc_match_use (void);
252 void gfc_use_modules (void);
254 #endif /* GFC_MATCH_H */