OSDN Git Service

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