OSDN Git Service

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