OSDN Git Service

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