OSDN Git Service

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