OSDN Git Service

gcc/
[pf3gnuchains/gcc-fork.git] / gcc / fortran / ChangeLog
1 2010-03-18  Shujing Zhao  <pearly.zhao@oracle.com>
2
3         * lang.opt (-ffixed-line-length-, ffree-line-length-): Remove
4         redundant tab.
5
6 2010-03-17  Tobias Burnus  <burnus@net-b.de>
7
8         PR fortran/43331
9         * trans-array.c (gfc_conv_array_index_offset,gfc_conv_array_ref,
10         gfc_conv_ss_startstride): Remove no-longer-needed cp_was_assumed
11         check.
12         * decl.c (gfc_match_derived_decl): Don't mark assumed-size Cray
13         pointees as having explizit size.
14         * expr.c (gfc_check_assign): Remove now unreachable Cray pointee
15         check.
16         * trans-types.c (gfc_is_nodesc_array): Add cp_was_assumed to assert.
17         (gfc_sym_type): Don't mark Cray pointees as restricted pointers.
18         * resolve.c (resolve_symbol): Handle cp_was_assumed.
19         * trans-decl.c (gfc_trans_deferred_vars): Ditto.
20         (gfc_finish_var_decl): Don't mark Cray pointees as restricted
21         pointers.
22
23 2010-03-14  Tobias Burnus  <burnus@net-b.de>
24
25         PR fortran/43362
26         * resolve.c (resolve_structure_cons): Add missing PURE constraint.
27         (resolve_ordinary_assign): Add check to avoid segfault.
28
29 2010-03-12  Paul Thomas  <pault@gcc.gnu.org>
30
31         PR fortran/43291
32         PR fortran/43326
33         * resolve.c (resolve_compcall): Add new boolean dummy argument
34         'class_members'. Only resolve expression at end if false.
35         Remove redundant, static variable 'class_object'.
36         (check_class_members): Add extra argument to call of
37         resolve_compcall.
38         (resolve_typebound_function): Renamed resolve_class_compcall.
39         Do all the detection of class references here. Correct calls to
40         resolve_compcall for extra argument.
41         (resolve_typebound_subroutine): resolve_class_typebound_call
42         renamed. Otherwise same as resolve_typebound_function.
43         (gfc_resolve_expr): Call resolve_typebound_function.
44         (resolve_code): Call resolve_typebound_subroutine.
45
46 2010-03-10  Tobias Burnus  <burnus@net-b.de
47
48         PR fortran/43303
49         * symbol.c (get_iso_c_sym): Set sym->result.
50
51 2010-03-08  Janus Weil  <janus@gcc.gnu.org>
52
53         PR fortran/43256
54         * resolve.c (resolve_compcall): Don't set 'value.function.name' here
55         for TBPs, otherwise they will not be resolved properly.
56         (resolve_function): Use 'value.function.esym' instead of
57         'value.function.name' to check if we're dealing with a TBP.
58         (check_class_members): Set correct type of passed object for all TBPs,
59         not only generic ones, except if the type is abstract.
60
61 2010-03-04  Janus Weil  <janus@gcc.gnu.org>
62
63         PR fortran/43244
64         * decl.c (gfc_match_final_decl): Make sure variable names starting with
65         'final...' are not misinterpreted as FINAL statements.
66
67 2010-03-03  Paul Thomas  <pault@gcc.gnu.org>
68
69         PR fortran/43243
70         * trans-array.c (gfc_conv_array_parameter): Contiguous refs to
71         allocatable ultimate components do not need temporaries, whilst
72         ultimate pointer components do.
73
74 2010-03-03  Janus Weil  <janus@gcc.gnu.org>
75
76         PR fortran/43169
77         * resolve.c (resolve_code): Correctly set gfc_current_ns for
78         EXEC_SELECT_TYPE.
79         (gfc_impure_variable): Make it work with sub-namespaces (BLOCK etc).
80         (gfc_pure): Ditto.
81
82 2010-03-02  Paul Thomas  <pault@gcc.gnu.org>
83
84         PR fortran/43180
85         * trans-array.c (gfc_conv_array_parameter): A full array of
86         derived type need not be restricted to a symbol without an
87         array spec to use the call to gfc_conv_expr_descriptor.
88
89         PR fortran/43173
90         * trans-array.c (gfc_conv_array_parameter): Contiguous refs to
91         allocatable arrays do not need temporaries.
92
93 2010-03-01  Tobias Burnus  <burnus@net-b.de>
94
95         PR fortran/43199
96         * resolve.c (find_array_spec): Handle REF_COMPONENT with
97         CLASS components.
98
99 2010-02-28  Tobias Burnus  <burnus@net-b.de>
100
101         PR fortran/43205
102         * trans-expr.c (is_zero_initializer_p): Move up in the file.
103         (gfc_conv_initializer): Handle zero initializer as special case.
104
105 2010-02-27  Tobias Burnus  <burnus@net-b.de>
106
107         PR fortran/43185
108         * resolve.c (resolve_fl_variable_derived): Imply SAVE
109         for module variables for Fortran 2008.
110
111 2010-02-25  Jakub Jelinek  <jakub@redhat.com>
112
113         PR debug/43166
114         * trans-common.c (build_common_decl): Also update DECL_MODE,
115         and DECL_SIZE when encountering a larger common block and call
116         layout_decl.
117
118 2010-02-24  Tobias Burnus  <burnus@net-b.de>              
119
120         PR fortran/43042
121         * trans-expr.c (gfc_conv_initializer): Call directly
122         gfc_conv_constant for C_NULL_(FUN)PTR.              
123
124 2010-02-22  Paul Thomas  <pault@gcc.gnu.org>
125
126         PR fortran/43072
127         * dependency.c (gfc_full_array_ref_p): Check for contiguous by
128         checking the rest of the dimensions for elements.
129
130 2010-02-21  Tobias Burnus  <burnus@net-b.de>
131
132         PR fortran/35259
133         * gfortran.h (gfc_option_t): New flag -fprotect-parens.
134         * lang.opt: Ditto.
135         * option.c (gfc_init_options,gfc_handle_option): Ditto.
136         * trans-expr.c (gfc_conv_expr_op): Use the flag.
137         * invoke.texi: Document new -fno-protect-parens flag.
138
139 2010-02-20  Paul Thomas  <pault@gcc.gnu.org>
140
141         PR fortran/36932
142         PR fortran/36933
143         PR fortran/43072
144         PR fortran/43111
145         * dependency.c (gfc_check_argument_var_dependency): Use enum
146         value instead of arithmetic vaue for 'elemental'.
147         (check_data_pointer_types): New function.
148         (gfc_check_dependency): Call check_data_pointer_types.
149         * trans-array.h : Change fourth argument of
150         gfc_conv_array_parameter to boolean.
151         * trans-array.c (gfc_conv_array_parameter): A contiguous array
152         can be a dummy but it must not be assumed shape or deferred.
153         Change fourth argument to boolean. Array constructor exprs will
154         always be contiguous and do not need packing and unpacking.
155         * trans-expr.c (gfc_conv_procedure_call): Clean up some white
156         space and change fourth argument of gfc_conv_array_parameter
157         to boolean.
158         (gfc_trans_arrayfunc_assign): Change fourth argument of
159         gfc_conv_array_parameter to boolean.
160         * trans-io.c (gfc_convert_array_to_string): The same.
161         * trans-intrinsic.c (gfc_conv_intrinsic_loc): The same.
162
163 2010-02-20  Tobias Burnus  <burnus@net-b.de>
164
165         PR fortran/42958
166         * libgfortran.h: Add GFC_RTCHECK_MEM.
167         * invoke.texi (-fcheck=): Document -fcheck=mem.
168         * tranc.c (gfc_call_malloc): Remove negative-size run-time error
169         and enable malloc-success check only with -fcheck=mem.
170         * option.c (gfc_handle_runtime_check_option): Add -fcheck=mem.
171
172 2010-02-16  Tobias Burnus  <burnus@net-b.de>
173
174         PR fortran/43040
175         * gfortran.h (gfc_isym_id): Rename GFS_ISYM_GAMMA to GFS_ISYM_TGAMMA.
176         * intrinsic.c (add_functions): Ditto.
177         * iresolve.c (gfc_resolve_gamma): Call tgamma instead of gamma.
178         * mathbuiltins.def: Use TGAMMA instead of GAMMA with "tgamma".
179
180 2010-02-14  Jerry DeLisle  <jvdelisle@gcc.gnu.org>
181
182         PR fortran/32382
183         * trans-stmt.h: Add prototype for gfc_trans_code_cond. Add tree cond to
184         gfc_trans_do prototype.
185         * trans-stmt.c (gfc_trans_simple_do): Add optional argument to pass in
186         a loop exit condition.  If exit condition is given, build the loop exit
187         code, checking IO results of implied do loops in READ and WRITE.
188         (gfc_trans_do): Likewise.
189         * trans.c (trans_code): New static work function, previously
190         gfc_trans_code. Passes exit condition to gfc_trans_do.
191         (gfc_trans_code): Calls trans_code with NULL_TREE condition.
192         (gfc_trans_code_cond): Calls trans_code with loop exit condition.
193         * trans-io.c (build_dt): Build an exit condition to allow checking IO
194         result status bits in the dtparm structure. Use this condition in call
195         to gfc_trans_code_cond.
196
197 2010-02-13  Paul Thomas  <pault@gcc.gnu.org>
198
199         PR fortran/41113
200         PR fortran/41117
201         * trans-array.c (gfc_conv_array_parameter): Use
202         gfc_full_array_ref_p to detect full and contiguous variable
203         arrays. Full array components and contiguous arrays do not need
204         internal_pack and internal_unpack.
205
206 2010-02-11  Jakub Jelinek  <jakub@redhat.com>
207
208         PR fortran/43030
209         * resolve.c (gfc_resolve_dim_arg): Call gfc_clear_ts.
210
211         PR fortran/43029
212         * decl.c (enumerator_decl): Don't call gfc_free_enum_history
213         here.
214         (gfc_match_enumerator_def): But here whenever enumerator_decl returns
215         MATCH_ERROR.
216
217 2010-02-10  Joost VandeVondele <jv244@cam.ac.uk>
218             Tobias Burnus <burnus@net-b.de>
219
220         PR fortran/40823
221         * decl.c (gfc_match_subroutine): Explicitly set sym->declared_at.
222
223 2010-02-10  Tobias Burnus  <burnus@net-b.de>
224
225         PR fortran/43015
226         * trans-decl.c (gfc_generate_function_code): Only check
227         actual-vs.-dummy character bounds if not bind(C).
228
229 2010-02-10  Jakub Jelinek  <jakub@redhat.com>
230
231         PR fortran/42309
232         * trans-expr.c (gfc_conv_subref_array_arg): Avoid accessing
233         info->dimen after info has been freed.
234
235 2010-02-09  Jerry DeLisle  <jvdelisle@gcc.gnu.org>
236
237         PR fortran/42999
238         * array.c (gfc_constant_ac): Do not prevent expansion of constructors
239         with iterators.
240
241 2010-02-09  Jakub Jelinek  <jakub@redhat.com>
242
243         * module.c (fix_mio_expr): Declare sym.
244
245 2010-02-09  Paul Thomas  <pault@gcc.gnu.org>
246
247         PR fortran/41869
248         * module.c (fix_mio_expr): Fix for private generic procedures.
249
250 2010-02-09  Daniel Kraft  <d@domob.eu>
251
252         PR fortran/39171
253         * resolve.c (resolve_charlen): Change warning about negative CHARACTER
254         length to be correct and issue only with -Wsurprising.
255         * invoke.texi (Wsurprising): Mention this new warning that is
256         turned on by -Wsurprising.
257
258 2010-02-09  Daniel Kraft  <d@domob.eu>
259
260         PR fortran/41507
261         * intrinsic.texi (MAXVAL): Remove wrong claim that array argument
262         can be CHARACTER type.
263         (MINVAL), (MAXLOC), (MINLOC): Ditto.
264
265 2010-02-05  Paul Thomas  <pault@gcc.gnu.org>
266
267         PR fortran/42309
268         * trans-expr.c (gfc_conv_subref_array_arg): Add new argument
269         'formal_ptr'. If this is true, give returned descriptor unity
270         lbounds, in all dimensions, and the appropriate offset.
271         (gfc_conv_procedure_call); If formal is a pointer, set the last
272         argument of gfc_conv_subref_array_arg to true.
273         * trans.h : Add last argument for gfc_conv_subref_array_arg.
274         * trans-io.c (set_internal_unit, gfc_trans_transfer): Set the
275         new arg of gfc_conv_subref_array_arg to false.
276         * trans-stmt.c (forall_make_variable_temp): The same.
277
278 2010-02-03  Tobias Burnus  <burnus@net-b.de>
279
280         PR fortran/42936
281         * interface.c (compare_parameter): Disable rank-checking
282         for NULL().
283
284 2010-02-02  Tobias Burnus  <burnus@net-b.de>
285
286         PR fortran/42650
287         * parse.c (decode_specification_statement): Use sym->result not sym.
288
289 2010-02-01  Tobias Burnus  <burnus@net-b.de>
290
291         PR fortran/42922
292         * decl.c (variable_decl): Allow default initializer in
293         TYPE declarations in PURE functions.
294
295 2010-01-31  Janus Weil  <janus@gcc.gnu.org>
296
297         PR fortran/42888
298         * resolve.c (resolve_allocate_expr): Move default initialization code
299         here from gfc_trans_allocate.
300         * trans.c (gfc_trans_code): Call gfc_trans_class_assign also for
301         EXEC_INIT_ASSIGN.
302         * trans-expr.c (gfc_trans_class_assign): Handle default initialization
303         of CLASS variables via memcpy.
304         * trans-stmt.c (gfc_trans_allocate): Move default initialization code
305         to resolve_allocate_expr.
306
307 2010-01-31  Paul Thomas  <pault@gcc.gnu.org>
308
309         PR fortran/38324
310         * expr.c (gfc_get_full_arrayspec_from_expr): New function.
311         * gfortran.h : Add prototype for above.
312         * trans-expr.c (gfc_trans_alloc_subarray_assign): New function.
313         (gfc_trans_subcomponent_assign): Call new function to replace
314         the code to deal with allocatable components.
315         * trans-intrinsic.c (gfc_conv_intrinsic_bound): Call
316         gfc_get_full_arrayspec_from_expr to replace existing code.
317
318 2010-01-25  Tobias Burnus  <burnus@net-b.de>
319
320         PR fortran/42858
321         * array.c (gfc_array_dimen_size): Fix intrinsic procedure
322         check.
323
324 2010-01-24  Paul Thomas  <pault@gcc.gnu.org>
325
326         PR fortran/41044
327         PR fortran/41167
328         * expr.c (remove_subobject_ref): If the constructor is NULL use
329         the expression as the source.
330         (simplify_const_ref): Change the type of expression if
331         there are component references.  Allow for substring to be at
332         the end of an arbitrarily long chain of references.  If an
333         element is found that is not in an EXPR_ARRAY, assume that this
334         is scalar initialization of array. Call remove_subobject_ref in
335         this case with NULL second argument.
336
337 2010-01-24  Tobias Burnus  <burnus@net-b.de>
338
339         PR fortran/39304
340         * array.c (gfc_array_dimen_size): Use correct specific
341         function in the check.
342
343 2010-01-21  Paul Thomas  <pault@gcc.gnu.org>
344
345         PR fortran/42736
346         * trans-stmt.c (gfc_conv_elemental_dependencies): If temporary
347         is required, turn any trailing array elements after a range
348         into ranges so that offsets can be calculated.
349
350 2010-01-20  Joern Rennecke  <amylaar@spamcop.net>
351
352         * module.c (mio_f2k_derived): Use enumerator as initializer of
353         enum variable.
354
355         PR bootstrap/42812
356         * gfortran.h  (struct gfc_namespace) <resolved>: Change to signed
357         bitfield of width 2.
358
359 2010-01-19  Janus Weil  <janus@gcc.gnu.org>
360
361         PR fortran/42804
362         * resolve.c (extract_compcall_passed_object): Set locus for
363         passed-object argument.
364         (extract_ppc_passed_object): Set locus and correctly remove PPC
365         reference.
366
367 2010-01-19  Paul Thomas  <pault@gcc.gnu.org>
368
369         PR fortran/42783
370         * trans-decl.c (add_argument_checking): Do not use the backend
371         decl directly to test for the presence of an optional dummy
372         argument.  Use gfc_conv_expr_present, remembering to set the
373         symbol referenced.
374
375         PR fortran/42772
376         * trans-decl.c (gfc_generate_function_code): Small white space
377         changes. If 'recurcheckvar' is NULL do not try to reset it.
378
379 2010-01-19  Janus Weil  <janus@gcc.gnu.org>
380
381         PR fortran/42545
382         * resolve.c (resolve_fl_derived): Set the accessibility of the parent
383         component for extended types.
384         * symbol.c (gfc_find_component): Remove a wrongly-worded error message
385         and take care of parent component accessibility.
386
387 2010-01-17  Janus Weil  <janus@gcc.gnu.org>
388
389         PR fortran/42677
390         * gfortran.h (symbol_attribute): Remove 'ambiguous_interfaces'.
391         * interface.c (check_interface1): Move a warning message here from
392         resolve_fl_procedure.
393         (check_sym_interfaces): Removed 'attr.ambiguous_interfaces'.
394         * module.c (read_module): Remove call to gfc_check_interfaces, since
395         this comes too early here.
396         * resolve.c (resolve_fl_procedure): Move warning message to
397         check_interface1.
398
399 2010-01-14 Jerry DeLisle <jvdelisle@gcc.gnu.org>
400
401         PR fortran/42684
402         * interface.c (check_interface1): Pass symbol name rather than NULL to
403         gfc_compare_interfaces. (gfc_compare_interfaces): Add assert to
404         trap MULL.
405         * resolve.c (check_generic_tbp_ambiguity): Pass symbol name rather
406         than NULL to gfc_compare_interfaces.
407
408 2010-01-14  Paul Thomas  <pault@gcc.gnu.org>
409
410         PR fortran/41478
411         * trans-array.c (duplicate_allocatable):  Static version of
412         gfc_duplicate_allocatable with provision to handle scalar
413         components. New boolean argument to switch off call to malloc
414         if true.
415         (gfc_duplicate_allocatable): New function to call above with
416         new argument false.
417         (gfc_copy_allocatable_data): New function to call above with
418         new argument true.
419         (structure_alloc_comps): Do not apply indirect reference to
420         scalar pointers. Add new section to copy allocatable components
421         of arrays. Extend copying of allocatable components to include
422         scalars.
423         (gfc_copy_only_alloc_comp): New function to copy allocatable
424         component derived types, without allocating the base structure.
425         * trans-array.h : Add primitive for gfc_copy_allocatable_data.
426         Add primitive for gfc_copy_only_alloc_comp.
427         * trans-expr.c (gfc_conv_procedure_call): After calls to
428         transformational functions with results that are derived types
429         with allocatable components, copy the components in the result.
430         (gfc_trans_arrayfunc_assign): Deallocate allocatable components
431         of lhs derived types before allocation.
432         
433 2010-01-14  Paul Thomas  <pault@gcc.gnu.org>
434
435         PR fortran/42481
436         * module.c (load_generic_interfaces): If a procedure that is
437         use associated but not generic is given an interface that
438         includes itself, then make it generic.
439
440 2010-01-11  Joseph Myers  <joseph@codesourcery.com>  
441             Shujing Zhao  <pearly.zhao@oracle.com>
442
443         PR translation/42469
444         * lang.opt (fblas-matmul-limit=, finit-character=, finit-integer=,
445         finit-logical=, finit-real=, fmax-array-constructor=): Use tab
446         character between option name and help text.
447
448 2010-01-09 Jerry DeLisle <jvdelisle@gcc.gnu.org>
449
450         PR fortran/20923
451         PR fortran/32489
452         * trans-array.c (gfc_conv_array_initializer): Change call to
453         gfc_error_now to call to gfc_fatal_error.
454         * array.c (count_elements): Whitespace. (extract_element): Whitespace.
455         (is_constant_element): Changed name from constant_element.
456         (gfc_constant_ac): Only use expand_construuctor for expression
457         types of EXPR_ARRAY.  If expression type is EXPR_CONSTANT, no need to
458         call gfc_is_constant_expr.
459         * expr.c (gfc_reduce_init_expr): Adjust conditionals and delete error
460         message.
461         * resolve.c (gfc_is_expandable_expr): New function that determiners if
462         array expressions should have their constructors expanded.
463         (gfc_resolve_expr): Use new function to determine whether or not to call
464         gfc_expand_constructor.
465
466 2010-01-09  Tobias Burnus  <burnus@net-b.de>
467
468         PR fortran/41298
469         * trans-expr.c (gfc_trans_structure_assign): Handle
470         c_null_(fun)ptr.
471         * symbol.c (gen_special_c_interop_ptr): Add NULL_EXPR
472         to the constructor for c_null_(fun)ptr.
473         * resolve.c (resolve_structure_cons): Add special case
474         for c_null_(fun)ptr.
475
476 2010-01-09  Jakub Jelinek  <jakub@redhat.com>
477
478         * gfortranspec.c (lang_specific_driver): Update copyright notice
479         dates.
480
481 2010-01-08  Tobias Burnus  <burnus@net-b.de>
482
483         PR/fortran 25829
484         * symbol.c (check_conflict, gfc_copy_attr): Add
485         ASYNCHRONOUS support.
486         (gfc_add_asynchronous): New function.
487         * decl.c (match_attr_spec): Add ASYNCHRONOUS support.
488         (gfc_match_asynchronous): New function.
489         * dump-parse-tree.c (show_attr): Add ASYNCHRONOUS support.
490         * gfortran.h (symbol_attribute): New ASYNCHRONOUS bit.
491         (gfc_add_asynchronous): New Prototype.
492         * module.c (ab_attribute, mio_symbol_attribute): Add
493         ASYNCHRONOUS support.
494         * resolve.c (was_declared): Ditto.
495         * match.h (gfc_match_asynchronous): New prototype.
496         * parse.c (decode_specification_statement,decode_statement):
497         Add ASYNCHRONOUS support.
498
499 2010-01-07  Tobias Burnus  <burnus@net-b.de>
500
501         PR fortran/42597
502         * trans-decl.c (get_proc_pointer_decl): Fix call to
503         gfc_conv_initializer for array-valued proc-pointer funcs.
504
505 2010-01-07  Tobias Burnus  <burnus@net-b.de>
506
507         PR fortran/41872
508         * trans-decl.c (gfc_trans_deferred_vars): Don't initialize
509         allocatable scalars with SAVE attribute.
510
511 2010-01-05  Tobias Burnus  <burnus@net-b.de>
512
513         PR fortran/42517
514         * options.c (gfc_post_options): Set -frecursion
515         when -fopenmp is used.
516
517 2010-01-05  Tobias Burnus  <burnus@net-b.de>
518
519         PR fortran/41872
520         * trans-expr.c (gfc_conv_procedure_call): Nullify
521         return value for allocatable-scalar character functions.
522
523 2010-01-04  Tobias Burnus  <burnus@net-b.de>
524
525         PR fortran/36161
526         * error.c (error_printf, gfc_warning, gfc_notify_std,
527         gfc_warning_now, gfc_error, gfc_error_now,
528         gfc_fatal_error): Change argument name from nocmsgid to
529         gmsgid to enable (x)gettext's % checking.
530
531 2010-01-04  Tobias Burnus  <burnus@net-b.de>
532         
533         * trans-decl.c (gfc_trans_deferred_vars): Fix spelling.
534
535 2010-01-04  Tobias Burnus  <burnus@net-b.de>
536
537         PR fortran/41872
538         * trans-expr.c (gfc_conv_procedure_call): Add indirect ref
539         for functions returning allocatable scalars.
540         * trans-stmt.c (gfc_trans_allocate): Emmit error when
541         reallocating an allocatable scalar.
542         * trans.c (gfc_allocate_with_status): Fix pseudocode syntax
543         in comment.
544         * trans-decl.c (gfc_trans_deferred_vars): Nullify local
545         allocatable scalars.
546         (gfc_generate_function_code): Nullify result variable for
547         allocatable scalars.
548         
549         PR fortran/40849
550         * module.c (gfc_use_module): Fix warning string to allow
551         for translation.
552
553         PR fortran/42517
554         * invoke.texi (-fcheck=recursion): Mention that the checking
555         is also disabled for -frecursive.
556         * trans-decl.c (gfc_generate_function_code): Disable
557         -fcheck=recursion when -frecursive is used.
558
559         * intrinsic.texi (iso_c_binding): Improve wording.
560
561 \f
562 Copyright (C) 2010 Free Software Foundation, Inc.
563
564 Copying and distribution of this file, with or without modification,
565 are permitted in any medium without royalty provided the copyright
566 notice and this notice are preserved.