OSDN Git Service

* interface.c (fold_unary): Rename to...
[pf3gnuchains/gcc-fork.git] / gcc / fortran / ChangeLog
1 2009-06-11  Jakub Jelinek  <jakub@redhat.com>
2
3         * interface.c (fold_unary): Rename to...
4         (fold_unary_intrinsic): ... this.
5         (gfc_extend_expr): Adjust caller.
6         (gfc_match_generic_spec): Likewise.  Initialize *op to INTRINSIC_NONE
7         to avoid warnings.
8         * expr.c (gfc_simplify_expr): Initialize start and end before calling
9         gfc_extract_int.
10
11 2009-06-10  Dave Korn  <dave.korn.cygwin@gmail.com>
12
13         * trans-decl.c (create_main_function):  Don't build main decl twice.
14
15 2009-06-09  Tobias Burnus  <burnus@net-b.de>
16
17         * trans-decl.c (gfc_generate_function_code): Use gfc_option.rtcheck
18         instead of flag_bounds_check.
19         * intrinsic.texi (ISO_FORTRAN_ENV): Document INT{8,16,32,64} and
20         REAL{32,64,128}.
21
22 2009-06-08  Paul Thomas  <pault@gcc.gnu.org>
23
24         * trans-array.h : Replace prototypes for
25         gfc_conv_descriptor_offset, gfc_conv_descriptor_stride,
26         gfc_conv_descriptor_lbound, gfc_conv_descriptor_ubound with new
27         prototypes of the same names with _get or _set appended.
28         * trans-array.c : Make the originals of the above static and
29         new functions for the _get and _set functions. Update all the
30         references to these descriptor access functions.
31         * trans-expr.c : Update references to the above descriptor
32         access functions.
33         * trans-intrinsic.c : The same.
34         * trans-openmp.c : The same.
35         * trans-stmt.c : The same.
36
37 2009-06-08  Alexandre Oliva  <aoliva@redhat.com>
38
39         * options.c (gfc_post_options): Disable dump_parse_tree
40         during -fcompare-debug-second.
41
42 2009-06-07  Jerry DeLisle  <jvdelisle@gcc.gnu.org>
43
44         PR fortran/40008
45         * gfortran.h (gfc_open): Add newunit expression to structure.
46         * io.c (io_tag): Add new unit tag and fix whitespace.
47         (match_open_element): Add matching for newunit.
48         (gfc_free_open): Free the newunit expression.
49         (gfc_resolve_open): Add newunit to resolution and check constraints.
50         (gfc_resolve_close): Add check for non-negative unit.
51         (gfc_resolve_filepos): Likewise.
52         (gfc_resolve_dt): Likewise.
53         * trans-io.c (set_parameter_value): Build runtime checks for unit
54         numbers within range of kind=4 integer. (gfc_trans_open) Set the
55         newunit parameter.
56         * ioparm.def (IOPARM): Define the newunit parameter as a pointer
57         to GFC_INTEGER_4, pint4.
58
59 2009-06-07  Daniel Franke  <franke.daniel@gmail.com>
60
61         PR fortran/25104
62         PR fortran/29962
63         * array.c (gfc_append_constructor): Added NULL-check.
64         * check.c (gfc_check_spread): Check DIM.
65         (gfc_check_unpack): Check that the ARRAY arguments provides enough
66         values for MASK.
67         * intrinsic.h (gfc_simplify_spread): New prototype.
68         (gfc_simplify_unpack): Likewise.
69         * intrinsic.c (add_functions): Added new simplifier callbacks.
70         * simplify.c (gfc_simplify_spread): New.
71         (gfc_simplify_unpack): New.
72         * expr.c (check_transformational): Allow additional transformational
73         intrinsics in initialization expression.
74
75 2009-06-07  Daniel Franke  <franke.daniel@gmail.com>
76
77         PR fortran/25104
78         PR fortran/29962
79         * check.c (gfc_check_all_any): Check rank of DIM.
80         (gfc_check_count): Likewise.
81         * intrinsic.h (gfc_simplify_all): New prototype.
82         (gfc_simplify_any): Likewise.
83         (gfc_simplify_count): Likewise.
84         (gfc_simplify_sum): Likewise.
85         (gfc_simplify_product): Likewise.
86         * intrinsic.c (add_functions): Added new simplifier callbacks.
87         * simplify.c (transformational_result): New.
88         (simplify_transformation_to_scalar): New.
89         (simplify_transformation_to_array): New.
90         (gfc_count): New.
91         (gfc_simplify_all): New.
92         (gfc_simplify_any): New.
93         (gfc_simplify_count): New.
94         (gfc_simplify_sum): New.
95         (gfc_simplify_product): New.
96         * expr.c (check_transformational): Allow additional transformational
97         intrinsics in initialization expression.
98
99 2009-06-07  Daniel Franke  <franke.daniel@gmail.com>
100
101         * check.c (dim_rank_check): Return SUCCESS if DIM=NULL.
102         (gfc_check_lbound): Removed (now) redundant check for DIM=NULL.
103         (gfc_check_minloc_maxloc): Likewise.
104         (check_reduction): Likewise.
105         (gfc_check_size): Likewise.
106         (gfc_check_ubound): Likewise.
107         (gfc_check_cshift): Added missing shape-conformance checks.
108         (gfc_check_eoshift): Likewise.
109         * gfortran.h (gfc_check_conformance): Modified prototype to printf-style.
110         * expr.c (gfc_check_conformance): Accept error-message chunks in 
111         printf-style. Changed all callers.
112
113
114 2009-06-07  Daniel Franke  <franke.daniel@gmail.com>
115
116         PR fortran/25104
117         PR fortran/29962
118         * intrinsic.h (gfc_simplify_dot_product): New prototype.
119         (gfc_simplify_matmul): Likewise.
120         (gfc_simplify_transpose): Likewise.
121         * intrinsic.c (add_functions): Added new simplifier callbacks.
122         * simplify.c (init_result_expr): New.
123         (compute_dot_product): New.
124         (gfc_simplify_dot_product): New.
125         (gfc_simplify_matmul): New.
126         (gfc_simplify_transpose): New.
127         * expr.c (check_transformational): Allow transformational intrinsics
128         with simplifier in initialization expression.
129
130 2009-06-06  Daniel Franke  <franke.daniel@gmail.com>
131
132         PR fortran/37203
133         * simplify.c (gfc_simplify_reshape): Fixed reshaping of empty arrays
134         without padding.
135
136 2009-06-06  Daniel Franke  <franke.daniel@gmail.com>
137
138         PR fortran/32890
139         * intrinsic.h (gfc_simplify_pack): New prototype.
140         * intrinsic.c (add_functions): Added
141         simplifier-callback to PACK.
142         * simplify.c (is_constant_array_expr): Moved
143         to beginning of file.
144         (gfc_simplify_pack): New.
145         * check.c (gfc_check_pack): Check that VECTOR has enough elements.
146         Added safeguards for empty arrays.
147
148 2009-06-05  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
149
150         * simplify.c (call_mpc_func): Use mpc_realref/mpc_imagref
151         instead of MPC_RE/MPC_IM.
152
153 2009-06-05  Alexandre Oliva  <aoliva@redhat.com>
154
155         * trans-decl.c (gfc_build_qualified_array): Don't skip generation
156         of range types.
157         * trans.h (struct lang_type): Add base_decls.
158         (GFC_TYPE_ARRAY_BASE_DECL): New.
159         * trans-types.c (gfc_get_array_type_bounds): Initialize base decls
160         proactively and excessively.
161         (gfc_get_array_descr_info): Use existing base decls if available.
162
163 2009-06-04  Daniel Franke  <franke.daniel@gmail.com>
164
165         PR fortran/37203
166         * check.c (gfc_check_reshape): Additional checks for the
167         SHAPE and ORDER arguments.
168         * simplify.c (gfc_simplify_reshape): Converted argument checks
169         to asserts.
170
171 2009-06-03  Tobias Burnus  <burnus@net-b.de>
172
173         * gfortran.texi: Add mixed-language programming, mention
174         varying string lengths, some clean up of introduction parts.
175         * intrinsic.texi (instrinsic modules): Create @menu for subsections.
176         (ISO_C_BINDING): Support ISOCBINDING_INT_FAST128_T.
177         * libgfortran.h: Comment to rember to keep gfortran.texi in sync.
178         * iso-c-binding.def: Support ISOCBINDING_INT_FAST128_T.
179
180 2009-06-03  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
181             Tobias Burnus  <burnus@net-b.de>
182
183         * iso-c-binding.def: Use INTMAX_TYPE instead of intmax_type_node.
184         * trans-types.c (init_c_interop_kinds): Remove intmax_type_node.
185
186 2009-06-03  Alexandre Oliva  <aoliva@redhat.com>
187
188         * module.c (mio_f2k_derived): Initialize cur.
189
190 2009-06-01  Tobias Burnus  <burnus@net-b.de>
191
192         PR fortran/40309
193         * trans-decl.c (gfc_sym_identifier): Use "MAIN__" for PROGRAM "main".
194         (create_main_function): Set main_identifier_node.
195
196 2009-05-29  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
197
198         PR fortran/40019
199         * trans-types.c (gfc_build_uint_type): Make nonstatic.
200         * trans.h (gfor_fndecl_clz128, gfor_fndecl_ctz128): New prototypes.
201         * trans-types.h (gfc_build_uint_type): Add prototype.
202         * trans-decl.c (gfc_build_intrinsic_function_decls): Build
203         gfor_fndecl_clz128 and gfor_fndecl_ctz128.
204         * trans-intrinsic.c (gfc_conv_intrinsic_leadz,
205         gfc_conv_intrinsic_trailz): Call the right builtins or library
206         functions, and cast arguments to unsigned types first.
207         * simplify.c (gfc_simplify_leadz): Deal with negative arguments.
208
209 2009-05-27  Ian Lance Taylor  <iant@google.com>
210
211         * Make-lang.in (gfortran$(exeext)): Change $(COMPILER) to
212         $(LINKER).
213         (f951$(exeext)): Likewise.
214
215 2009-05-27  Tobias Burnus  <burnus@net-b.de>
216
217         PR fortran/40270
218         * trans-decl.c (create_main_function): Mark MAIN__ and
219         argc/argv as TREE_USED and push/pop function_decl context
220         if needed.
221
222 2009-05-26  Tobias Burnus  <burnus@net-b.de>
223
224         PR fortran/39178
225         * gfortranspec.c (lang_specific_driver): Stop linking
226         libgfortranbegin.
227         * trans-decl.c (gfc_build_builtin_function_decls): Stop
228         making MAIN__ publicly visible.
229         (gfc_build_builtin_function_decls): Add
230         gfor_fndecl_set_args.
231         (create_main_function) New function.
232         (gfc_generate_function_code): Use it.
233
234 2009-05-26  Tobias Burnus  <burnus@net-b.de>
235
236         PR fortran/40246
237         * match.c (gfc_match_nullify): NULLify freed pointer.
238
239 2009-05-26  Ian Lance Taylor  <iant@google.com>
240
241         * Make-lang.in (gfortranspec.o): Use $(COMPILER).
242         (gfortran$(exeext), f951$(exeext), fortran/cpp.o): Likewise.
243
244 2009-05-26  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
245
246         * gfortran.h (GFC_MPC_RND_MODE): New.
247         * simplify.c (call_mpc_func): New helper function.
248         (gfc_simplify_cos, gfc_simplify_exp, gfc_simplify_log,
249         gfc_simplify_sin, gfc_simplify_sqrt): Add MPC support.
250
251 2009-05-25  Janus Weil  <janus@gcc.gnu.org>
252
253         PR fortran/40176
254         * primary.c (gfc_match_varspec): Handle procedure pointer components
255         with array return value.
256         * resolve.c (resolve_expr_ppc): Ditto.
257         (resolve_symbol): Make sure the interface of a procedure pointer has
258         been resolved.
259         * trans-array.c (gfc_walk_function_expr): Handle procedure pointer
260         components with array return value.
261         * trans-expr.c (gfc_conv_component_ref,gfc_conv_procedure_call,
262         gfc_trans_arrayfunc_assign): Ditto.
263         (gfc_trans_pointer_assignment): Handle procedure pointer assignments,
264         where the rhs is a dummy argument.
265         * trans-types.c (gfc_get_ppc_type,gfc_get_derived_type): Handle
266         procedure pointer components with array return value.
267
268 2009-05-24  Jerry DeLisle  <jvdelisle@gcc.gnu.org>
269             Dominique Dhumieres
270
271         PR fortran/35732
272         PR fortran/39872
273         * trans-array.c (gfc_conv_ss_startstride): Add one to index.
274
275 2009-05-22  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
276
277         PR fortran/40195
278         * module.c (read_md5_from_module_file): Close file before returning.
279
280 2009-05-18  Janus Weil  <janus@gcc.gnu.org>
281
282         PR fortran/40164
283         * primary.c (gfc_match_rvalue): Handle procedure pointer components in
284         arrays.
285         * resolve.c (resolve_ppc_call,resolve_expr_ppc): Resolve component and
286         array references.
287         (resolve_fl_derived): Procedure pointer components are not required to
288         have constant array bounds in their return value.
289
290 2009-05-18  Janus Weil  <janus@gcc.gnu.org>
291
292         * intrinsic.c (add_sym): Fix my last commit (r147655),
293         which broke bootstrap.
294
295 2009-05-18  Richard Guenther  <rguenther@suse.de>
296
297         PR fortran/40168
298         * trans-expr.c (gfc_trans_zero_assign): For local array
299         destinations use an assignment from an empty constructor.
300
301 2009-05-18  Janus Weil  <janus@gcc.gnu.org>
302
303         PR fortran/36947
304         PR fortran/40039
305         * expr.c (gfc_check_pointer_assign): Check intents when comparing
306         interfaces.
307         * gfortran.h (typedef struct gfc_intrinsic_arg): Add 'intent' member.
308         (gfc_compare_interfaces): Additional argument.
309         * interface.c (operator_correspondence): Add check for equality of
310         intents, and new argument 'intent_check'.
311         (gfc_compare_interfaces): New argument 'intent_check', which is passed
312         on to operator_correspondence.
313         (check_interface1): Don't check intents when comparing interfaces.
314         (compare_parameter): Do check intents when comparing interfaces.
315         * intrinsic.c (add_sym): Add intents for arguments of intrinsic
316         procedures.
317         (add_sym_1,add_sym_1s,add_sym_1m,add_sym_2,add_sym_2s,add_sym_3,
318         add_sym_3ml,add_sym_3red,add_sym_3s,add_sym_4): Use INTENT_IN by
319         default.
320         (add_sym_1_intent,add_sym_1s_intent,add_sym_2s_intent,add_sym_3s_intent)
321         : New functions to add intrinsic symbols, specifying custom intents.
322         (add_sym_4s,add_sym_5s): Add new arguments to specify intents.
323         (add_functions,add_subroutines): Add intents for various intrinsics.
324         * resolve.c (check_generic_tbp_ambiguity): Don't check intents when
325         comparing interfaces.
326         * symbol.c (gfc_copy_formal_args_intr): Copy intent.
327
328 2009-05-17  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
329
330         * iso-fortran-env.def: Define INT8, INT16, INT32, INT64, REAL32,
331         REAL64 and REAL128.
332         * gfortran.h (gfc_get_int_kind_from_width_isofortranenv,
333         gfc_get_real_kind_from_width_isofortranenv): New prototypes.
334         * iso-c-binding.def: Update definitions for the INT*_T,
335         INT_LEAST*_T and INT_FAST*_T named parameters.
336         * trans-types.c (get_typenode_from_name, get_int_kind_from_name,
337         gfc_get_real_kind_from_width_isofortranenv): New functions.
338
339 2009-05-17  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
340
341         PR fortran/36260
342         * intrinsic.c (add_functions, add_subroutines): Fix argument
343         names and wrap long lines.
344         * intrinsic.texi: Fix documentation and argument names of
345         LOG_GAMMA, DATAN2, DBESJN, DTIME, ETIME, FSTAT, STAT, LSTAT,
346         GET_COMMAND, IDATE, LTIME, MOVE_ALLOC, NINT, OR, PRODUCT,
347         SUM, RAND, RANDOM_SEED, REAL, SELECTED_INT_KIND,
348         SELECTED_REAL_KIND and XOR.
349
350 2009-05-16  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
351
352         PR fortran/33197
353         * intrinsic.c (add_functions): Use ERFC_SCALED simplification.
354         * intrinsic.h (gfc_simplify_erfc_scaled): New prototype.
355         * simplify.c (fullprec_erfc_scaled, asympt_erfc_scaled,
356         gfc_simplify_erfc_scaled): New functions.
357
358 2009-05-16  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
359
360         PR fortran/31243
361         * resolve.c (resolve_substring): Don't allow too large substring
362         indexes.
363         (gfc_resolve_substring_charlen): Fix typo.
364         (gfc_resolve_character_operator): Fix typo.
365         (resolve_charlen): Catch unreasonably large string lengths.
366         * simplify.c (gfc_simplify_len): Don't error out on LEN
367         range checks.
368
369 2009-05-16  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
370
371         PR fortran/36031
372         * decl.c (set_enum_kind): Use global short-enums flag.
373         * gfortran.h (gfc_option_t): Remove short_enums flag.
374         * lang.opt (-fshort-enums): Refer to C documentation.
375         * options.c (gfc_init_options, gfc_handle_option): Use global
376         short-enums flag.
377
378 2009-05-15  Tobias Burnus  <burnus@net-b.de>
379
380         PR fortran/39352
381         * f95-lang.c: Add gfc_maybe_initialize_eh.
382         * gfortran.h: Add gfc_maybe_initialize_eh prototype.
383         * Make-lang.in: Add new .h dendencies for f95-lang.c
384         * openmp.c (resolve_omp_do): Call gfc_maybe_initialize_eh.
385         * misc.c (gfc_free): Avoid #define trickery for free.
386
387 2009-05-14  Steven G. Kargl  <kargl@gcc.gnu.org>
388
389         * dump-parse-tree.c (show_code_node): Add ERRMSG to the dumping
390         of allocate and deallocate statements.
391
392 2009-05-14  Ian Lance Taylor  <iant@google.com>
393
394         * decl.c (match_attr_spec): Change d to unsigned int.
395         * dump-parse-tree.c (show_namespace): Change op to int.  Add cast.
396         * interface.c (gfc_check_interfaces): Change i to int.  Add casts.
397         * module.c (read_module): Change i to int.  Add cast.
398         (write_module): Change i to int.
399         * symbol.c (gfc_get_namespace): Change in to int.
400         (gfc_free_namespace): Change i to int.
401         * trans-io.c (gfc_build_io_library_fndecls): Change ptype to
402         unsigned int.  Add cast.
403         * trans-types.c (gfc_init_kinds): Change mode to unsigned int.
404         Add casts.
405
406 2009-05-14  Daniel Kraft  <d@domob.eu>
407
408         PR fortran/40045
409         * dump-parse-tree.c (show_typebound): Fix missing adaption to new
410         type-bound procedure storage structure.
411
412 2009-05-14  Janus Weil  <janus@gcc.gnu.org>
413
414         PR fortran/39996
415         * decl.c (gfc_match_function_decl): Use gfc_add_type.
416         * symbol.c (gfc_add_type): Better checking for duplicate types in
417         function declarations. And: Always give an error for duplicte types,
418         not just a warning with -std=gnu.
419
420 2009-05-14  Jakub Jelinek  <jakub@redhat.com>
421
422         PR fortran/39865
423         * io.c (resolve_tag_format): CHARACTER array in FMT= argument
424         isn't an extension.  Reject non-CHARACTER array element of
425         assumed shape or pointer or assumed size array.
426         * trans-array.c (array_parameter_size): New function.
427         (gfc_conv_array_parameter): Add size argument.  Call
428         array_parameter_size if it is non-NULL.
429         * trans-array.h (gfc_conv_array_parameter): Adjust prototype.
430         * trans-expr.c (gfc_conv_function_call, gfc_trans_arrayfunc_assign):
431         Adjust callers.
432         * trans-intrinsic.c (gfc_conv_intrinsic_loc): Likewise.
433         * trans-io.c (gfc_convert_array_to_string): Rewritten.
434
435 2009-05-13  Steven G. Kargl  <kargl@gcc.gnu.org>
436
437         * gfortran.h (gfc_code): Rename struct member expr to expr1.
438         * openmp.c (resolve_omp_atomic): Update expr to expr1.
439         * interface.c (gfc_extend_assign): Ditto.
440         * trans-expr.c (gfc_conv_expr_reference, gfc_trans_assignment,
441         gfc_trans_init_assign): Ditto.
442         * dump-parse-tree.c (show_code_node): Ditto.
443         * trans-openmp.c (gfc_trans_omp_atomic): Ditto.
444         * trans-stmt.c ( gfc_trans_label_assign, gfc_trans_goto, gfc_trans_call,
445         gfc_trans_return, gfc_trans_pause, gfc_trans_stop, gfc_trans_if_1,
446         gfc_trans_arithmetic_if, gfc_trans_do_while, gfc_trans_integer_select,
447         gfc_trans_logical_select, gfc_trans_character_select
448         forall_make_variable_temp, check_forall_dependencies
449         gfc_trans_forall_1, gfc_trans_where_2, gfc_trans_where_3
450         gfc_trans_where, gfc_trans_allocate, gfc_trans_deallocate): Ditto.
451         * io.c (match_io_element, gfc_match_inquire): Ditto.
452         * resolve.c (resolve_typebound_call, resolve_ppc_call,
453         resolve_allocate_expr, resolve_allocate_deallocate, resolve_select,
454         resolve_transfer, resolve_where, gfc_resolve_assign_in_forall,
455         gfc_resolve_blocks, resolve_code, build_init_assign): Ditto.
456         * st.c (gfc_free_statement): Ditto.
457         * match.c (gfc_match_assignment, gfc_match_pointer_assignment,
458         match_arithmetic_if, gfc_match_if, gfc_match_elseif
459         gfc_match_stopcode, gfc_match_assign, gfc_match_goto,
460         gfc_match_nullify, match_typebound_call, gfc_match_call
461         gfc_match_select, match_simple_where, gfc_match_where
462         gfc_match_elsewhere, match_simple_forall, gfc_match_forall): Ditto.
463         * trans-io.c (gfc_trans_transfer): Ditto.
464         * parse.c (parse_where_block, parse_if_block): Ditto.
465
466 2009-05-13  Steven G. Kargl  <kargl@gcc.gnu.org>
467
468         * gfortran.h (gfc_code): Rename struct member label to label1.
469         * dump-parse-tree.c (show_code_node): Update symbol.
470         * trans-stmt.c (gfc_trans_label_assign, gfc_trans_goto,
471         gfc_trans_arithmetic_if): Ditto.
472         * resolve.c (gfc_resolve_blocks, resolve_code): Ditto.
473         * match.c (match_arithmetic_if, gfc_match_if, gfc_reference_st_label,
474         gfc_match_assign, gfc_match_goto): Ditto.
475         * parse.c (parse_do_block): Ditto.
476
477 2009-05-13  Tobias Burnus  <burnus@net-b.de>
478
479         PR fortran/34153
480         * gfortran.h (gfc_exec_op): Add EXEC_END_PROCEDURE.
481         * dump-parse-tree.c (show_code_node): Use EXEC_END_PROCEDURE.
482         * trans.c (gfc_trans_code): Ditto.
483         * resolve.c (resolve_code): Ditto.
484         * st.c (gfc_free_statement): Ditto.
485         * parse.c (accept_statement): Ditto.
486
487 2009-05-12  Tobias Burnus  <burnus@net-b.de>
488
489         PR fortran/40110
490         * decl.c (gfc_match_kind_spec): Turn C kind error into a warning.
491
492 2009-05-11  Steve Ellcey  <sje@cup.hp.com>
493
494         * resolve.c (check_host_association): Initialize tail.
495
496 2009-05-11  Janus Weil  <janus@gcc.gnu.org>
497
498         PR fortran/40089
499         * resolve.c (resolve_fl_derived): Only return FAILURE if
500         gfc_notify_std fails.
501
502 2009-05-10  Ian Lance Taylor  <iant@google.com>
503
504         * gfortran.h (enum gfc_omp_sched_kind): New enum, broken out of
505         gfc_omp_clauses.
506         (enum gfc_omp_default_sharing): Likewise.
507         * module.c (enum gfc_rsym_state): New enum, broken out of
508         pointer_info.
509         (enum gfc_wsym_state): Likewise.
510         * parse.c (enum state_order): New enum, broken out of st_state.
511
512 2009-05-10  Paul Thomas  <pault@gcc.gnu.org>
513
514         PR fortran/40018
515         * trans-array.c (gfc_trans_array_constructor_value): Fold
516         convert numeric constants.
517         (gfc_build_constant_array_constructor): The same.
518
519 2009-05-10  Paul Thomas  <pault@gcc.gnu.org>
520
521         PR fortran/38863
522         * trans-expr.c (gfc_conv_operator_assign): Remove function.
523         * trans.h : Remove prototype for gfc_conv_operator_assign.
524         * trans-stmt.c (gfc_conv_elemental_dependencies): Initialize
525         derivde types with intent(out).
526         (gfc_trans_call): Add mask, count1 and invert arguments. Add
527         code to use mask for WHERE assignments.
528         (gfc_trans_forall_1): Use new arguments for gfc_trans_call.
529         (gfc_trans_where_assign): The gfc_symbol argument is replaced
530         by the corresponding code. If this has a resolved_sym, then
531         gfc_trans_call is called. The call to gfc_conv_operator_assign
532         is removed.
533         (gfc_trans_where_2): Change the last argument in the call to
534         gfc_trans_where_assign.
535         * trans-stmt.h : Modify prototype for gfc_trans_call.
536         * trans.c (gfc_trans_code): Use new args for gfc_trans_call.
537
538 2009-05-08  Janus Weil  <janus@gcc.gnu.org>
539
540         PR fortran/39876
541         * intrinsic.c (gfc_is_intrinsic): Do not add the EXTERNAL attribute if
542         the symbol is a module procedure.
543
544 2009-05-08  Tobias Burnus  <burnus@net-b.de>
545
546         * invoke.texi: Add do/recursion to the -fcheck= summary.
547
548 2009-05-07  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
549
550         PR fortran/38830
551         * gfortran.texi: Document that we don't support variable FORMAT
552         expressions.
553
554 2009-05-07  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
555
556         PR fortran/39576
557         * error.c (error_print): Add missing break statement.
558
559 2009-05-07  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
560
561         PR fortran/36382
562         * invoke.texi: Document that -fdollar-ok does not allow $ to be
563         used in IMPLICIT statement.
564
565 2009-05-06  Janus Weil  <janus@gcc.gnu.org>
566             Paul Thomas  <pault@gcc.gnu.org>
567
568         PR fortran/39630
569         * decl.c (match_procedure_interface): New function to match the
570         interface for a PROCEDURE statement.
571         (match_procedure_decl): Call match_procedure_interface.
572         (match_ppc_decl): New function to match the declaration of a
573         procedure pointer component.
574         (gfc_match_procedure):  Call match_ppc_decl.
575         (match_binding_attributes): Add new argument 'ppc' and handle the
576         POINTER attribute for procedure pointer components.
577         (match_procedure_in_type,gfc_match_generic): Added new argument to
578         match_binding_attributes.
579         * dump-parse-tree.c (show_expr,show_components,show_code_node): Handle
580         procedure pointer components.
581         * expr.c (free_expr0,gfc_copy_expr,gfc_simplify_expr): Handle EXPR_PPC.
582         (gfc_check_pointer_assign): Handle procedure pointer components, but no
583         full checking yet.
584         (is_proc_ptr_comp): New function to determine if an expression is a
585         procedure pointer component.
586         * gfortran.h (expr_t): Add EXPR_PPC.
587         (symbol_attribute): Add new member 'proc_pointer_comp'.
588         (gfc_component): Add new member 'formal'.
589         (gfc_exec_op): Add EXEC_CALL_PPC.
590         (gfc_get_default_type): Changed first argument.
591         (is_proc_ptr_comp): Add prototype.
592         (gfc_match_varspec): Add new argument.
593         * interface.c (compare_actual_formal): Handle procedure pointer
594         components.
595         * match.c (gfc_match_pointer_assignment,match_typebound_call): Handle
596         procedure pointer components.
597         * module.c (mio_expr): Handle EXPR_PPC.
598         * parse.c (parse_derived): Handle procedure pointer components.
599         * primary.c (gfc_match_varspec): Add new argument 'ppc_arg' and handle
600         procedure pointer components.
601         (gfc_variable_attr): Handle procedure pointer components.
602         (gfc_match_rvalue): Added new argument to gfc_match_varspec and changed
603         first argument of gfc_get_default_type.
604         (match_variable): Added new argument to gfc_match_varspec.
605         * resolve.c (resolve_entries,set_type,resolve_fl_parameter): Changed
606         first argument of gfc_get_default_type.
607         (resolve_structure_cons,resolve_actual_arglist): Handle procedure
608         pointer components.
609         (resolve_ppc_call): New function to resolve a call to a procedure
610         pointer component (subroutine).
611         (resolve_expr_ppc): New function to resolve a call to a procedure
612         pointer component (function).
613         (gfc_resolve_expr): Handle EXPR_PPC.
614         (resolve_code): Handle EXEC_CALL_PPC.
615         (resolve_fl_derived): Copy the interface for a procedure pointer
616         component.
617         (resolve_symbol): Fix overlong line.
618         * st.c (gfc_free_statement): Handle EXEC_CALL_PPC.
619         * symbol.c (gfc_get_default_type): Changed first argument.
620         (gfc_set_default_type): Changed first argument of gfc_get_default_type.
621         (gfc_add_component): Initialize ts.type to BT_UNKNOWN.
622         * trans.h (gfc_conv_function_call): Renamed.
623         * trans.c (gfc_trans_code): Handle EXEC_CALL_PPC.
624         * trans-expr.c (gfc_conv_component_ref): Ditto.
625         (gfc_conv_function_val): Rename to 'conv_function_val', add new
626         argument 'expr' and handle procedure pointer components.
627         (gfc_conv_operator_assign): Renamed gfc_conv_function_val.
628         (gfc_apply_interface_mapping_to_expr): Handle EXPR_PPC.
629         (gfc_conv_function_call): Rename to 'gfc_conv_procedure_call', add new
630         argument 'expr' and handle procedure pointer components.
631         (gfc_get_proc_ptr_comp): New function to get the backend decl for a
632         procedure pointer component.
633         (gfc_conv_function_expr): Renamed gfc_conv_function_call.
634         (gfc_conv_structure): Handle procedure pointer components.
635         * trans-intrinsic.c (gfc_conv_intrinsic_funcall,
636         conv_generic_with_optional_char_arg): Renamed gfc_conv_function_call.
637         * trans-stmt.h (gfc_get_proc_ptr_comp): Add prototype.
638         * trans-stmt.c (gfc_trans_call): Renamed gfc_conv_function_call.
639         * trans-types.h (gfc_get_ppc_type): Add prototype.
640         * trans-types.c (gfc_get_ppc_type): New function to build a tree node
641         for a procedure pointer component.
642         (gfc_get_derived_type): Handle procedure pointer components.
643
644 2009-05-06  Tobias Burnus  <burnus@net-b.de>
645
646         PR fortran/40041
647         * resolve.c (resolve_symbol): Print no warning for implicitly
648         typed intrinsic functions.
649
650 2009-05-05  Janus Weil  <janus@gcc.gnu.org>
651
652         PR fortran/39998
653         * expr.c (gfc_check_pointer_assign): Check for statement functions and
654         internal procedures in procedure pointer assignments.
655
656 2009-04-28  Janus Weil  <janus@gcc.gnu.org>
657
658         PR fortran/39946
659         * resolve.c (resolve_symbol): Correctly copy the interface of a
660         PROCEDURE statement if the interface involves a RESULT variable.
661
662 2009-04-28  Janus Weil  <janus@gcc.gnu.org>
663
664         PR fortran/39930
665         PR fortran/39931
666         * expr.c (gfc_check_pointer_assign): Correctly detect if the left hand
667         side is a pointer.
668         * parse.c (gfc_fixup_sibling_symbols): Don't check for ambiguity.
669
670 2009-04-28  Paul Thomas  <pault@gcc.gnu.org>
671
672         PR fortran/39879
673         * trans_expr.c (gfc_conv_procedure_call): Deep copy a derived
674         type parentheses argument if it is a variable with allocatable
675         components.
676
677 2009-04-27  Ian Lance Taylor  <iant@google.com>
678
679         * trans-intrinsic.c (DEFINE_MATH_BUILTIN): Add casts to enum
680         type.
681         * trans-io.c (st_parameter_field): Add casts to enum type.
682
683 2009-04-26  Steven G. Kargl  <kargl@gcc.gnu.org>
684
685         PR fortran/39893
686         fortran/data.c (gfc_assign_data_value): If the lvalue is an 
687         assumed character length entity in a data statement, then 
688         return FAILURE to prevent segmentation fault.
689
690 2009-04-26  Jakub Jelinek  <jakub@redhat.com>
691
692         * trans-decl.c: Include pointer-set.h.
693         (nonlocal_dummy_decl_pset, tree nonlocal_dummy_decls): New variables.
694         (gfc_nonlocal_dummy_array_decl): New function.
695         (gfc_get_symbol_decl): Call it for non-local dummy args with saved
696         descriptor.
697         (gfc_get_symbol_decl): Set DECL_BY_REFERENCE when needed.
698         (gfc_generate_function_code): Initialize nonlocal_dummy_decl{s,_pset},
699         chain it to outermost block's vars, destroy it afterwards.
700         * Make-lang.in (trans-decl.o): Depend on pointer-set.h.
701
702 2009-04-25  Janus Weil  <janus@gcc.gnu.org>
703
704         PR fortran/39688
705         * decl.c (gfc_match_import): Use 'sym->name' instead of 'name'.
706         They differ if the symbol has been use-renamed.
707
708 2009-04-24  Ian Lance Taylor  <iant@google.com>
709
710         * gfortran.h (enum gfc_symbol_type): New named enum type, broken
711         out of struct gfc_symbol.
712         (struct gfc_symbol): Use enum gfc_symbol_type.
713         (enum gfc_array_ref_dimen_type): New named enum type, broken out
714         of struct gfc_array_ref).
715         (struct gfc_array_ref): Use enum gfc_array_ref_dimen_type.
716         (mod_pointee_as): Update declaration.
717         * decl.c (add_global_entry): Change type to enum gfc_symbol_type.
718         (gfc_mod_pointee_as): Change return type to "match".
719         * module.c (mio_array_ref): Add cast to enum type.
720         (mio_symbol): Likewise.
721         * resolve.c (resolve_global_procedure): Change type to enum
722         gfc_symbol_type.
723         * trans-io.c (gfc_build_st_parameter): Change type to unsigned
724         int.
725
726 2009-04-24  Daniel Kraft  <d@domob.eu>
727
728         * gfortran.h (gfc_get_typebound_proc): Removed as macro, now a function.
729         (struct gfc_symtree): Moved "typebound" member inside union.
730         (struct gfc_namespace): Add "tb_sym_root" as new symtree to sort out
731         type-bound procedures there.
732         (gfc_get_tbp_symtree): New procedure.
733         * symbol.c (tentative_tbp_list): New global.
734         (gfc_get_namespace): NULL new "tb_sym_root" member.
735         (gfc_new_symtree): Removed initialization of "typebound" member.
736         (gfc_undo_symbols): Process list of tentative tbp's.
737         (gfc_commit_symbols): Ditto.
738         (free_tb_tree): New method.
739         (gfc_free_namespace): Call it.
740         (gfc_get_typebound_proc): New method.
741         (gfc_get_tbp_symtree): New method.
742         (gfc_find_typebound_proc): Adapt to structural changes of gfc_symtree
743         and gfc_namespace with regards to tbp's.
744         * dump-parse-tree.c (show_typebound): Ditto.
745         * primary.c (gfc_match_varspec): Ditto.  Don't reference tbp-symbol
746         as it isn't a symbol any longer.
747         * module.c (mio_typebound_symtree): Adapt to changes.
748         (mio_typebound_proc): Ditto, create symtrees using "gfc_get_tbp_symtree"
749         rather than "gfc_get_sym_tree".
750         (mio_f2k_derived): Ditto.
751         * decl.c (match_procedure_in_type): Ditto.
752         (gfc_match_generic): Ditto.  Don't reference tbp-symbol.
753         * resolve.c (check_typebound_override): Adapt to changes.
754         (resolve_typebound_generic): Ditto.
755         (resolve_typebound_procedures): Ditto.
756         (ensure_not_abstract_walker): Ditto.
757         (ensure_not_abstract): Ditto.
758         (resolve_typebound_procedure): Ditto, ignore erraneous symbols (for
759         instance, through removed tentative ones).
760         * gfc-internals.texi (Type-bound procedures): Document changes.
761
762 2009-04-24  Janus Weil  <janus@gcc.gnu.org>
763
764         PR fortran/39861
765         PR fortran/39864
766         * symbol.c (gfc_copy_formal_args_intr): Set attr.flavor and attr.dummy
767         for the formal arguments.
768
769 2009-04-21  Taras Glek <tglek@mozilla.com>
770
771         * f95-lang.c: Update GTY annotations to new syntax.
772         * trans-intrinsic.c: Likewise.
773         * trans-io.c: Likewise.
774         * trans.h: Likewise.
775
776 2009-04-22  Janus Weil  <janus@gcc.gnu.org>
777
778         PR fortran/39735
779         * decl.c (add_hidden_procptr_result): Bugfix for procptr results.
780         (match_procedure_decl): Set if_source.
781         * expr.c (gfc_check_pointer_assign): Bugfix: Return after error.
782         And: Check interface also for IFSRC_UNKNOWN (return type may be known).
783         * gfortran.h (typedef enum ifsrc): Remove IFSRC_USAGE,
784         add documentation. Rename copy_formal_args and copy_formal_args_intr.
785         * interface.c (gfc_compare_interfaces): Check for return types,
786         handle IFSRC_UNKNOWN.
787         (compare_intr_interfaces,compare_actual_formal_intr): Obsolete, removed.
788         (gfc_procedure_use): Modified handling of intrinsics.
789         * intrinsic.c (add_functions): Bugfix for "dim".
790         * resolve.c (resolve_intrinsic): New function to resolve intrinsics,
791         which copies the interface from isym to sym.
792         (resolve_procedure_expression,resolve_function): Use new function
793         'resolve_intrinsic'.
794         (resolve_symbol): Add function attribute for externals with return type
795         and use new function 'resolve_intrinsic'.
796         * symbol.c (ifsrc_types): Remove string for IFSRC_USAGE.
797         (copy_formal_args): Renamed to gfc_copy_formal_args.
798         (copy_formal_args_intr): Renamed to gfc_copy_formal_args_intr.
799         * trans-const.c (gfc_conv_const_charlen): Handle cl==NULL.
800
801 2009-04-21  Joseph Myers  <joseph@codesourcery.com>
802
803         * ChangeLog, ChangeLog-2002, ChangeLog-2003, ChangeLog-2004,
804         ChangeLog-2005, ChangeLog-2006, ChangeLog-2007, ChangeLog-2008,
805         ChangeLog.ptr, config-lang.in, ioparm.def, mathbuiltins.def: Add
806         copyright and license notices.
807         * ChangeLog, ChangeLog-2005, ChangeLog-2006, ChangeLog-2007,
808         ChangeLog-2008: Correct dates.
809
810 2009-04-20  Tobias Burnus  <burnus@net-b.de>
811
812         PR fortran/39811
813         * scanner.c (load_line): Fix bogus "&" compile-time diagnostic.
814
815 2009-04-20  Paul Thomas  <pault@gcc.gnu.org>
816
817         PR fortran/39800
818         * resolve.c (is_sym_host_assoc): New function.
819         (resolve_fl_derived): Call it when checking PRIVATE components
820         of PUBLIC derived types.  Change gfc_error to a gfc_notify_std
821         with std=f2003.
822         (resolve_fl_namelist): Call it twice to check for host
823         association.
824
825 2009-04-20  Ian Lance Taylor  <iant@google.com>
826
827         * module.c (import_iso_c_binding_module): Add casts to enum type.
828         * trans-intrinsic.c (gfc_conv_intrinsic_minmax): Change op to enum
829         tree_code.
830         (gfc_conv_intrinsic_anyall): Likewise.
831         (gfc_conv_intrinsic_arith): Likewise.
832         (gfc_conv_intrinsic_minmaxloc): Likewise.
833         (gfc_conv_intrinsic_minmaxval): Likewise.
834         (gfc_conv_intrinsic_bitop): Likewise.
835         (gfc_conv_intrinsic_singlebitop): Likewise.
836         (gfc_conv_intrinsic_strcmp): Likewise.
837
838 2009-04-20  Vasilis Liaskovitis  <vliaskov@gmail.com>
839             Jakub Jelinek  <jakub@redhat.com>
840
841         PR fortran/35423
842         * trans.h (OMPWS_WORKSHARE_FLAG, OMPWS_CURR_SINGLEUNIT,
843         OMPWS_SCALARIZER_WS, OMPWS_NOWAIT): Define.
844         (ompws_flags): New extern decl.
845         * trans-array.c (gfc_trans_scalarized_loop_end): Build OMP_FOR
846         for the outer dimension if ompws_flags allow it.
847         * trans.c (gfc_generate_code): Clear ompws_flags.
848         * trans-expr.c (gfc_trans_assignment_1): Allow worksharing
849         array assignments inside of !$omp workshare.
850         * trans-stmt.c (gfc_trans_where_3): Similarly for where statements
851         and constructs.
852         * trans-openmp.c (ompws_flags): New variable.
853         (gfc_trans_omp_workshare): Rewritten.
854
855 2009-04-11  Daniel Kraft  <d@domob.eu>
856
857         PR fortran/37746
858         * gfortran.h (struct gfc_charlen): New field "passed_length" to store
859         the actual passed string length for dummy arguments.
860         * trans-decl.c (gfc_create_string_length): Formatting fixes and added
861         assertion, moved a local variable into the innermost block it is needed.
862         (create_function_arglist): Removed TODO about the check being
863         implemented and initialize cl->passed_length here.
864         (add_argument_checking): New method.
865         (gfc_generate_function_code): Call the argument checking method.
866
867 2009-04-11  Janus Weil  <janus@gcc.gnu.org>
868
869         PR fortran/39692
870         * symbol.c (check_conflict): Reject procedure pointers for -std=f95.
871
872 2009-04-11  Daniel Franke  <franke.daniel@gmail.com>
873
874         * resolve.c (resolve_global_procedure): Enable whole-file checking for
875         procedures that are declared later in the file.
876         
877 2009-04-10  Paolo Bonzini  <bonzini@gnu.org>
878
879         PR middle-end/39701
880         * trans.c (gfc_allocate_with_status): Fix type mismatches
881         on "pstat == 0".
882
883 2009-04-10  Daniel Franke  <franke.daniel@gmail.com>
884
885         PR fortran/38709
886         * expr.c (find_array_section): Leave early on zero-sized arrays.
887
888 2009-04-09  Janus Weil  <janus@gcc.gnu.org>
889
890         PR fortran/36704
891         * decl.c (add_hidden_procptr_result): New function for handling
892         procedure pointer return values by adding a hidden result variable.
893         (variable_decl,match_procedure_decl,gfc_match_function_decl,
894         gfc_match_subroutine,gfc_match_end,attr_decl1): Handle procedure pointer
895         return values.
896         * parse.c (parse_interface): Add EXTERNAL attribute only after
897         FUNCTION/SUBROUTINE declaration is complete.
898         * primary.c (replace_hidden_procptr_result): New function for replacing
899         function symbol by hidden result variable.
900         (gfc_match_rvalue,match_variable): Replace symbol by hidden result
901         variable.
902         * resolve.c (resolve_contained_fntype,resolve_function,resolve_variable,
903         resolve_symbol): Allow for procedure pointer function results.
904         (resolve_fl_procedure): Conflict detection moved here from
905         'check_conflict'.
906         * symbol.c (gfc_check_function_type): Allow for procedure pointer
907         function results.
908         (check_conflict): Move some conflict detection to resolution stage.
909         * trans-types.c (gfc_sym_type,gfc_get_function_type): Handle hidden
910         result variables.
911
912 2009-04-08  Jakub Jelinek  <jakub@redhat.com>
913
914         * trans-types.c (gfc_init_types): Ensure gfc_integer_types doesn't
915         contain TYPE_STRING_FLAG types.
916
917 2009-04-08  Janne Blomqvist  <jb@gcc.gnu.org>
918
919         PR fortran/39670
920         * invoke.texi (fdollar-ok): Fix typo.
921         
922 2009-04-08  Daniel Franke  <franke.daniel@gmail.com>
923
924         PR fortran/39670
925         * invoke.texi (fdollar-ok): Clarify limitations.
926
927 2009-04-08  Paul Thomas  <pault@gcc.gnu.org>
928
929         PR fortran/38863
930         * trans-array.c (gfc_trans_deferred_array): Return if this
931         is a result variable.
932
933 2009-04-07  Janus Weil  <janus@gcc.gnu.org>
934
935         PR fortran/38152
936         * trans-decl.c (gfc_get_symbol_decl): Correctly set decl location for
937         procedure pointer decls.
938
939 2009-04-07  Janus Weil  <janus@gcc.gnu.org>
940
941         PR fortran/38290
942         * expr.c (gfc_check_pointer_assign): Enable interface check for
943         procedure pointers.
944         * gfortran.h: Add copy_formal_args_intr.
945         * interface.c (gfc_compare_interfaces): Call gfc_compare_intr_interfaces
946         if second argument is an intrinsic.
947         (compare_intr_interfaces): Correctly set attr.function, attr.subroutine
948         and ts.
949         (compare_parameter): Call gfc_compare_interfaces also for intrinsics.
950         * resolve.c (resolve_specific_f0,resolve_specific_s0): Don't resolve
951         intrinsic interfaces here. Must happen earlier.
952         (resolve_symbol): Resolution of intrinsic interfaces moved here from
953         resolve_specific_..., and formal args are now copied from intrinsic
954         interfaces.
955         * symbol.c (copy_formal_args_intr): New function to copy the formal
956         arguments from an intinsic procedure.
957
958 2009-04-06  Paul Thomas  <pault@gcc.gnu.org>
959
960         PR fortran/38863
961         * dependency.c (ref_same_as_full_array): New function.
962         (gfc_dep_resolver): Call it.
963
964 2009-04-06  Janus Weil  <janus@gcc.gnu.org>
965
966         PR fortran/39414
967         * decl.c (match_procedure_decl): Fix double declaration problems with
968         PROCEDURE statements.
969         * symbol.c (gfc_add_type): Ditto.
970
971 2009-04-06  Paul Thomas  <pault@gcc.gnu.org>
972
973         PR fortran/36091
974         * trans-array.c (gfc_conv_array_ref): If the symbol has the
975         temporary attribute use the array_spec for the bounds.
976         * gfortran.h : Add the temporary field to the structure
977         'symbol_attribute'.
978         * trans-stmt.c (forall_make_variable_temp): Set the symbol's
979         temporary attribute.
980
981 2009-04-05  Daniel Franke  <franke.daniel@gmail.com>
982
983         PR fortran/29458
984         * trans-array.c (gfc_trans_array_constructor_value): Shadow
985         implied do-loop variable to avoid spurious middle-end warnings.
986
987 2009-04-04  Tobias Burnus  <burnus@net-b.de>
988
989         PR fortran/39577
990         * trans-decl.c (gfc_generate_function_code): Move recursive
991         check to the right position.
992
993 2009-04-04  Paul Thomas  <pault@gcc.gnu.org>
994
995         PR fortran/37614
996         * trans-common.c (translate_common): Do not offset the whole
997         coomon block.
998
999 2009-04-03  Tobias Burnus  <burnus@net-b.de>
1000
1001         PR fortran/39594
1002         * resolve.c (resolve_common_vars): Add FL_VARIABLE to symbol
1003         if it is not a procedure pointer.
1004         * primary.c (match_actual_arg): Ditto.
1005
1006 2009-03-31  Joseph Myers  <joseph@codesourcery.com>
1007
1008         PR preprocessor/15638
1009         * cpp.c (cb_cpp_error): Handle CPP_DL_FATAL.
1010
1011 2009-03-30  Steven G. Kargl  <kargls@comcast.net>
1012
1013         PR fortran/38389
1014         * trans-stmt.c(gfc_trans_allocate): Add translation of ERRMSG.
1015         (gfc_trans_deallocate): Add translation of ERRMSG.  Remove stale
1016         comments.  Minor whitespace cleanup.
1017         * resolve.c(is_scalar_expr_ptr): Whitespace cleanup.
1018         (resolve_deallocate_expr (gfc_expr *e): Update error message.
1019         (resolve_allocate_expr):  Remove dead code.  Update error message.
1020         Move error checking to ...
1021         (resolve_allocate_deallocate): ... here.  Add additional error
1022         checking for STAT, ERRMSG, and allocate-objects.
1023         * match.c(gfc_match_allocate,gfc_match_deallocate):  Parse ERRMSG.
1024         Check for redundant uses of STAT and ERRMSG.  Reword error message
1025         and add checking for pointer, allocatable, and proc_pointer attributes.
1026
1027 2009-03-30  Paul Thomas  <pault@gcc.gnu.org>
1028
1029         PR fortran/22571
1030         PR fortran/26227
1031         PR fortran/24886
1032         * symbol.c : Add gfc_global_ns_list.
1033         * decl.c (add_global_entry): Set the namespace ('ns') field.
1034         * gfortran.h : Add the resolved field to gfc_namespace. Add the
1035         namespace ('ns') field to gfc_gsymbol.  Add flag_whole_file to
1036         gfc_option_t.  Add the prototype for gfc_free_dt_list.
1037         * lang.opt : Add the whole-file option.
1038         * invoke.texi : Document the whole-file option.
1039         * resolve.c (resolve_global_procedure): If the fwhole-file
1040         option is set, reorder gsymbols to ensure that translation is
1041         in the right order.  Resolve the gsymbol's namespace if that
1042         has not occurred and then check interfaces.
1043         (resolve_function): Move call to resolve_global_procedure.
1044         (resolve_call): The same.
1045         (resolve_codes): Store the current labels_obstack.
1046         (gfc_resolve) : Return if the namespace is already resolved.
1047         trans-decl.c (gfc_get_extern_function_decl): If the whole_file
1048         option is selected, use the backend_decl of a gsymbol, if it is
1049         available.
1050         parse.c (add_global_procedure, add_global_program): If the flag
1051         whole-file is set, add the namespace to the gsymbol.
1052         (gfc_parse_file): On -fwhole-file, put procedure namespaces on
1053         the global namespace list.  Rearrange to do resolution of all
1054         the procedures in a file, followed by their translation.
1055         * options.c (gfc_init_options): Add -fwhole-file.
1056         (gfc_handle_option): The same.
1057
1058 2009-03-30  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
1059
1060         * f95-lang.c (gfc_init_builtin_functions): Define BUILT_IN_HUGE_VAL
1061         family of intrinsics instead of BUILT_IN_INF family.
1062         * trans-intrinsics.c (gfc_conv_intrinsic_nearest): Use
1063         BUILT_IN_HUGE_VAL instead of BUILT_IN_INF.
1064
1065 2009-03-30  Jakub Jelinek  <jakub@redhat.com>
1066
1067         * trans-types.c (gfc_sym_type, gfc_return_by_reference): For
1068         sym->attr.result check sym->ns->proc_name->attr.is_bind_c.
1069
1070 2009-03-30  Joseph Myers  <joseph@codesourcery.com>
1071
1072         PR rtl-optimization/323
1073         * options.c (gfc_post_options): Set
1074         flag_excess_precision_cmdline.  Give an error for
1075         -fexcess-precision=standard for processors where the option is
1076         significant.
1077
1078 2009-03-29  Joseph Myers  <joseph@codesourcery.com>
1079
1080         PR preprocessor/34695
1081         * cpp.c (cb_cpp_error): New.
1082         (gfc_cpp_post_options): Don't set cpp_option->inhibit_warnings.
1083         Don't check cpp_errors (cpp_in).
1084         (gfc_cpp_init_0): Set cb->error.
1085
1086 2009-03-29  Steven G. Kargl  <kargl@gcc.gnu.org>
1087
1088         PR fortran/38823
1089         * gfortran.h: Add ARITH_PROHIBIT to arith enum.
1090         expr.c (gfc_match_init_expr): Add global variable init_flag to
1091         flag matching an initialization expression.
1092         (check_intrinsic_op): Move no longer reachable error message to ...
1093         * arith.c (arith_power): ... here.  Remove gfc_ prefix in
1094         gfc_arith_power.  Use init_flag.  Allow constant folding of x**y
1095         when y is REAL or COMPLEX.
1096         (eval_intrinsic): Remove restriction that y in x**y must be INTEGER
1097         for constant folding.
1098         * gfc_power: Update gfc_arith_power to arith_power
1099
1100 2009-03-29  Daniel Kraft  <d@domob.eu>
1101
1102         PR fortran/37423
1103         * gfortran.h (struct gfc_typebound_proc): Added new flag "deferred" and
1104         added a comment explaining DEFERRED binding handling.
1105         * decl.c (match_binding_attributes): Really match DEFERRED attribute.
1106         (match_procedure_in_type): Really match PROCEDURE(interface) syntax
1107         and do some validity checks for DEFERRED and this construct.
1108         * module.c (binding_overriding): New string constant for DEFERRED.
1109         (mio_typebound_proc): Module-IO DEFERRED flag.
1110         * resolve.c (check_typebound_override): Ensure that a non-DEFERRED
1111         binding is not overridden by a DEFERRED one.
1112         (resolve_typebound_procedure): Allow abstract interfaces as targets
1113         for DEFERRED bindings.
1114         (ensure_not_abstract_walker), (ensure_not_abstract): New methods.
1115         (resolve_fl_derived): Use new "ensure_not_abstract" method for
1116         non-ABSTRACT types extending ABSTRACT ones to ensure each DEFERRED
1117         binding is overridden.
1118         (check_typebound_baseobject): New method.
1119         (resolve_compcall), (resolve_typebound_call): Check base-object of
1120         the type-bound procedure call.
1121         * gfc-internals.texi (Type-bound procedures): Document a little bit
1122         about internal handling of DEFERRED bindings.
1123
1124 2009-03-29  Tobias Schlueter  <tobi@gcc.gnu.org>
1125
1126         PR fortran/38507
1127         * gfortran.h (gfc_st_label): Fix comment.
1128         (gfc_exec_op): Add statement code EXEC_END_BLOCK for end of block.
1129         * parse.c (accept_statement): Use EXEC_END_BLOCK for END IF and
1130         END SELECT with labels.
1131         (check_do_closure): Fix formatting.
1132         (parse_do_block): Fix typo in error message.
1133         * resolve.c (code_stack): Remove tail member.  Update comment to
1134         new use of reachable_labels.
1135         (reachable_labels): Rename to ...
1136         (find_reachable_labels): ... this.  Overhaul.  Update preceding
1137         comment.
1138         (resolve_branch): Fix comment preceding function.  Rewrite.
1139         (resolve_code): Update call to find_reachable_labels.  Add code to
1140         deal with EXEC_END_BLOCK.
1141         * st.c (gfc_free_statement): Add code to deal with EXEC_END_BLOCK.
1142         Add 2009 to copyright years.
1143         * trans.c (gfc_trans_code): Likewise on both counts.
1144
1145 2009-03-31  Paul Thomas  <pault@gcc.gnu.org>
1146
1147         PR fortran/38917
1148         * expr.c (gfc_check_assign): Allow pointer components when
1149         checking for NULL.
1150
1151         PR fortran/38918
1152         * resolve.c (check_data_variable): Treat pointer arrays with
1153         scalars.
1154
1155 2009-03-31  Paul Thomas  <pault@gcc.gnu.org>
1156
1157         PR fortran/38915
1158         * trans-expr.c (gfc_trans_assignment_1): Ensure temporaries
1159         have a string_length.
1160
1161 2009-03-28  Tobias Burnus  <burnus@net-b.de>
1162
1163         PR fortran/34656
1164         * trans-stmt.c (gfc_trans_simple_do, gfc_trans_do):
1165         Add GFC_RTCHECK_DO support.
1166         * option.c (gfc_handle_runtime_check_option): Enable GFC_RTCHECK_DO.
1167         * invoke.texi (-fcheck): Document "do" option.
1168
1169 2009-03-28  Paul Thomas  <pault@gcc.gnu.org>
1170
1171         PR fortran/38538
1172         * trans-array.c (get_elemental_fcn_charlen): Remove.
1173         (get_array_charlen): New function to replace previous.
1174
1175 2009-03-28  Paul Thomas  <pault@gcc.gnu.org>
1176
1177         PR fortran/38765
1178         * parse.c (parse_derived): Do not break on finding pointer,
1179         allocatable or private components.
1180
1181 2009-03-28  Tobias Burnus  <burnus@net-b.de>
1182
1183         PR fortran/32626
1184         * option.c (gfc_handle_runtime_check_option): Enable recursion check.
1185         * trans-decl.c (gfc_generate_function_code): Add recursion check.
1186         * invoke.texi (-fcheck): Add recursive option.
1187
1188 2009-03-28  Tobias Burnus  <burnus@net-b.de>
1189
1190         PR fortran/38432
1191         * resolve.c (gfc_resolve_iterator): Add zero-loop warning.
1192
1193 2009-03-28  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
1194             Paul Thomas  <pault@gcc.gnu.org>
1195             Tobias Burnus  <burnus@net-b.de>
1196
1197         * gfortran.h (gfc_option_t): Add rtcheck.
1198         * lang.opt: New option -fcheck.
1199         * libgfortran.h: Add GFC_RTCHECK_* constants.
1200         * invoke.texi: Document -fcheck.
1201         * options.c (gfc_handle_runtime_check_option): New function.
1202         (gfc_init_options,gfc_post_options,gfc_handle_option):
1203         Add -fcheck option.
1204
1205 2009-03-27  Richard Guenther  <rguenther@suse.de>
1206
1207         * trans-array.c (gfc_conv_descriptor_data_addr): Use
1208         gfc_build_addr_expr instead of build_fold_addr_expr.
1209         (gfc_trans_allocate_array_storage, gfc_trans_array_constructor_value,
1210         gfc_trans_constant_array_constructor, gfc_conv_array_data,
1211         gfc_conv_expr_descriptor, gfc_conv_array_parameter): Likewise.
1212         * trans-expr.c (gfc_conv_missing_dummy, gfc_conv_variable,
1213         gfc_conv_function_val, gfc_conv_operator_assign,
1214         gfc_conv_subref_array_arg, gfc_conv_function_call,
1215         gfc_conv_expr_reference, gfc_trans_scalar_assign): Likewise.
1216         * trans-intrinsic.c (gfc_conv_intrinsic_exponent,
1217         gfc_conv_intrinsic_ctime, gfc_conv_intrinsic_fdate,
1218         gfc_conv_intrinsic_ttynam, gfc_conv_intrinsic_minmax_char,
1219         gfc_conv_intrinsic_fraction, gfc_conv_intrinsic_spacing,
1220         gfc_conv_intrinsic_rrspacing, gfc_conv_intrinsic_set_exponent,
1221         gfc_conv_intrinsic_array_transfer, gfc_conv_intrinsic_transfer,
1222         gfc_conv_intrinsic_si_kind, gfc_conv_intrinsic_trim): Likewise.
1223         * trans-io.c (gfc_trans_io_runtime_check, set_parameter_ref,
1224         gfc_convert_array_to_string, gfc_trans_open, gfc_trans_close,
1225         build_filepos, gfc_trans_inquire, gfc_trans_wait,
1226         nml_get_addr_expr, transfer_namelist_element, build_dt,
1227         gfc_trans_dt_end, transfer_array_component, transfer_expr,
1228         transfer_array_desc, gfc_trans_transfer): Likewise.
1229         * trans-stmt.c (gfc_trans_allocate, gfc_trans_deallocate): Likewise.
1230         * trans.c (gfc_build_addr_expr): Mark the base of the address
1231         TREE_ADDRESSABLE.
1232
1233 2009-03-27  Tobias Burnus  <burnus@net-b.de>
1234
1235         * gfortran.h (enum init_local_real.): Add GFC_INIT_REAL_SNAN.
1236         (gfc_expr): Add is_snan.
1237         * trans-const.c (gfc_conv_mpfr_to_tree): Support SNaN.
1238         (gfc_conv_constant_to_tree): Update call to gfc_conv_mpfr_to_tree.
1239         * trans-const.h (gfc_conv_mpfr_to_tree): Update prototype.
1240         * resolve.c (build_default_init_expr): Update call.
1241         * target-memory.c (encode_float): Ditto.
1242         * trans-intrinsic.c (gfc_conv_intrinsic_aint,gfc_conv_intrinsic_mod,
1243
1244 2009-03-18  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
1245
1246         * lang.opt: Unify help texts for -I, -Wconversion, -d, -fopenmp,
1247         and -fpreprocessed.
1248
1249 2009-03-06  Alexandre Oliva <aoliva@redhat.com>
1250
1251         * simplify.c (gfc_simplify_transfer): Zero-initialize the
1252         buffer.
1253
1254 2009-02-27  Tobias Burnus  <burnus@net-b.de>
1255
1256         PR fortran/39309
1257         * module.c (read_md5_from_module_file): Add missing quote.
1258
1259 2009-02-27  Tobias Burnus  <burnus@net-b.de>
1260
1261         PR fortran/39309
1262         * module.c (read_md5_from_module_file): Include mod version
1263         in had-changed test.
1264
1265 2009-02-26  Paul Thomas  <pault@gcc.gnu.org>
1266
1267         PR fortran/39295
1268         * interface.c (compare_type_rank_if): Return 1 if the symbols
1269         are the same and deal with external procedures where one is
1270         identified to be a function or subroutine by usage but the
1271         other is not.
1272
1273 2009-02-26  Paul Thomas  <pault@gcc.gnu.org>
1274
1275         PR fortran/39292
1276         * trans-array.c (gfc_conv_array_initializer): Convert all
1277         expressions rather than ICEing.
1278
1279 2009-02-21  Thomas Koenig  <tkoenig@gcc.gnu.org>
1280
1281         PR fortran/38914
1282         * array.c (ref_dimen_size):  Rename to gfc_ref_dimen_size,
1283         make global.  Change function name in error messages.
1284         (ref_size):  Change ref_dimen_size to gfc_ref_dimen_size.
1285         (gfc_array_ref_shape):  Likewise.
1286         * gfortran.h:  Add prototype for gfc_ref_dimen_size.
1287         * simplify.c (simplify_bound_dim):  Add ref argument.
1288         If the reference isn't a full array, return one for
1289         the lower bound and the extent for the upper bound.
1290         (simplify_bound):  For array sections, take as from the
1291         argument.  Add reference to all to simplify_bound_dim.
1292
1293 2009-02-19  Daniel Franke  <franke.daniel@gmail.com>
1294
1295         * scanner.c (load_line): At end of line, skip '\r' without setting
1296         the truncation flag.
1297
1298 2009-02-18  Daniel Kraft  <d@domob.eu>
1299
1300         * gfortran.texi: New chapter about compiler characteristics.
1301         (Compiler Characteristics): Document KIND type parameters here.
1302
1303 2009-02-18  Tobias Burnus  <burnus@net-b.de>
1304
1305         * intrinsic.texi (MALLOC): Make example more portable.
1306
1307 2009-02-13  Mikael Morin  <mikael.morin@tele2.fr>
1308
1309         PR fortran/38259
1310         * module.c (gfc_dump_module,gfc_use_module): Add module
1311         version number.
1312
1313 2009-02-13  Paul Thomas  <pault@gcc.gnu.org>
1314
1315         PR fortran/36703
1316         PR fortran/36528
1317         * trans-expr.c (gfc_conv_function_val): Stabilize Cray-pointer
1318         function references to ensure that a valid expression is used.
1319         (gfc_conv_function_call): Pass Cray pointers to procedures.
1320
1321 2009-02-03  Jakub Jelinek  <jakub@redhat.com>
1322
1323         * gfortranspec.c (lang_specific_driver): Update copyright notice
1324         dates.
1325
1326 2009-01-28  Paul Thomas  <pault@gcc.gnu.org>
1327
1328         PR fortran/38852
1329         PR fortran/39006
1330         * trans-intrinsic.c (gfc_conv_intrinsic_bound): Use the array
1331         descriptor ubound for UBOUND, when the array lbound == 1.
1332
1333 2009-01-27  Daniel Kraft  <d@domob.eu>
1334
1335         PR fortran/38883
1336         * trans-stmt.c (gfc_conv_elemental_dependencies):  Create temporary
1337         for the real type needed to make it work for subcomponent-references.
1338
1339 2009-01-21  Daniel Kraft  <d@domob.eu>
1340
1341         * trans-stmt.c (gfc_conv_elemental_dependencies):  Cleaned up comment.
1342
1343 2009-01-20  Paul Thomas  <pault@gcc.gnu.org>
1344
1345         PR fortran/38907
1346         * resolve.c (check_host_association): Remove the matching to
1347         correct an incorrect host association and use manipulation of
1348         the expression instead.
1349
1350 2009-01-20  Tobias Burnus  <burnus@net-b.de>
1351
1352         * invoke.texi (RANGE): RANGE also takes INTEGER arguments.
1353
1354 2009-01-19  Mikael Morin  <mikael.morin@tele2.fr>
1355
1356         PR fortran/38859
1357         * simplify.c (simplify_bound): Don't use array specification
1358         if variable or component has subsequent references.
1359
1360 2009-01-17  Paul Thomas  <pault@gcc.gnu.org>
1361
1362         PR fortran/38657
1363         * module.c (write_common_0): Add argument 'this_module' and
1364         check that non-use associated common blocks are written first.
1365         (write_common): Call write_common_0 twice, once with true and
1366         then with false.
1367
1368 2009-01-17  Paul Thomas  <pault@gcc.gnu.org>
1369
1370         PR fortran/34955
1371         * trans-intrinsic.c (gfc_conv_intrinsic_array_transfer): Has
1372         been absorbed into gfc_conv_intrinsic_transfer. All
1373         references to it in trans-intrinsic.c have been changed
1374         accordingly.  PR fixed by using a temporary for scalar
1375         character transfer, when the source is shorter than the
1376         destination.
1377
1378 2009-01-17  Paul Thomas  <pault@gcc.gnu.org>
1379
1380         PR fortran/38657
1381         * module.c (write_common_0): Revert patch of 2009-01-05.
1382
1383 2009-01-16  Janus Weil  <janus@gcc.gnu.org>
1384
1385         PR fortran/38152
1386         * expr.c (gfc_check_pointer_assign): Allow use-associated procedure
1387         pointers as lvalue.
1388         * trans-decl.c (get_proc_pointer_decl,gfc_create_module_variable):
1389         Enable procedure pointers as module variables.
1390
1391 2009-01-14  Steven G. Kargl  <kargl@gcc.gnu.org>
1392
1393         * ChangeLog-2007: Clean out svn merge droppings.
1394
1395 2009-01-10  Paul Thomas  <pault@gcc.gnu.org>
1396
1397         PR fortran/38763
1398         * target-memory.c (encode_derived): Encode NULL.
1399
1400 2009-01-10  Paul Thomas  <pault@gcc.gnu.org>
1401
1402         PR fortran/38765
1403         * resolve.c (check_host_association): Use the symtree name to
1404         search for a potential contained procedure, since this is the
1405         name by which it would be referenced.
1406
1407 2009-01-06  Thomas Koenig  <tkoenig@gcc.gnu.org>
1408
1409         PR fortran/38220
1410         * interface.c (gfc_procedure_use):  Don't warn about functions
1411         from ISO_C_BINDING.
1412         * symbol.c (generate_isocbinding_symbol):  Mark c_loc and
1413         c_funloc as pure.
1414
1415 2009-01-05  Paul Thomas  <pault@gcc.gnu.org>
1416
1417         PR fortran/38657
1418         * module.c (write_common_0): Use the name of the symtree rather
1419         than the common block, to determine if the common has been
1420         written.
1421
1422 2009-01-05  Daniel Franke  <franke.daniel@gmail.com>
1423
1424         PR fortran/37159
1425         * check.c (gfc_check_random_seed): Added size check for GET
1426         dummy argument, reworded error messages to follow common pattern.
1427
1428 2009-01-05  Thomas Koenig  <tkoenig@gcc.gnu.org>
1429
1430         PR fortran/38672
1431         * trans-types.c (gfc_get_derived_type):  Check for the
1432         presence of derived->ns->proc_name before
1433         accessing derived->ns->proc_name->attr.flavor .
1434         * resolve.c (resolve_symbol):  Likewise.
1435
1436 2009-01-05  Paul Thomas  <pault@gcc.gnu.org>
1437
1438         PR fortran/38665
1439         * gfortran.h : Add bit to gfc_expr 'user_operator'
1440         * interface.c (gfc_extend_expr): Set the above if the operator
1441         is substituted by a function. 
1442         * resolve.c (check_host_association): Return if above is set.
1443
1444 2009-01-04  Mikael Morin  <mikael.morin@tele2.fr>
1445
1446         PR fortran/35681
1447         * ChangeLog-2008: Fix function name.
1448
1449         PR fortran/38487
1450         * dependency.c (gfc_check_argument_var_dependency):
1451         Move the check for pointerness inside the if block
1452         so that it doesn't affect the return value.
1453
1454         PR fortran/38669
1455         * trans-stmt.c (gfc_trans_call):
1456         Add the dependency code after the loop bounds calculation one.
1457
1458 2009-01-04  Daniel Franke  <franke.daniel@gmail.com>
1459
1460         * intrinsic.c (do_simplify): Removed already implemented TODO.
1461
1462 2009-01-04  Daniel Franke  <franke.daniel@gmail.com>
1463
1464         PR fortran/38718
1465         * simplify.c (gfc_simplify_merge): New.
1466         * intrinsic.h (gfc_simplify_merge): New prototype.
1467         * intrinsic.c (add_functions): Added simplification for MERGE.
1468
1469 2009-01-04  Mikael Morin  <mikael.morin@tele2.fr>
1470
1471         PR fortran/38536
1472         * gfortran.h (gfc_is_data_pointer): Added prototype
1473         * resolve.c (gfc_iso_c_func_interface):
1474         Use gfc_is_data_pointer to test for pointer attribute.
1475         * dependency.c (gfc_is_data_pointer):
1476         Support pointer-returning functions.
1477
1478 2009-01-03  Daniel Franke  <franke.daniel@gmail.com>
1479
1480         * symbol.c (save_symbol): Don't SAVE function results.
1481
1482 2009-01-03  Paul Thomas  <pault@gcc.gnu.org>
1483
1484         PR fortran/38594
1485         * resolve.c (resolve_call): When searching for proper host
1486         association, use symtree rather than symbol.  For everything
1487         except generic subroutines, substitute the symtree in the call
1488         rather than the symbol.
1489
1490 \f
1491 Copyright (C) 2009 Free Software Foundation, Inc.
1492
1493 Copying and distribution of this file, with or without modification,
1494 are permitted in any medium without royalty provided the copyright
1495 notice and this notice are preserved.