OSDN Git Service

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