OSDN Git Service

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