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