OSDN Git Service

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