OSDN Git Service

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