OSDN Git Service

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