OSDN Git Service

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