OSDN Git Service

0a737bfd1e91994f688d3144ba8c8ff3798ea118
[pf3gnuchains/gcc-fork.git] / gcc / fortran / ChangeLog
1 2009-06-07  Daniel Franke  <franke.daniel@gmail.com>
2
3         PR fortran/25104
4         PR fortran/29962
5         * array.c (gfc_append_constructor): Added NULL-check.
6         * check.c (gfc_check_spread): Check DIM.
7         (gfc_check_unpack): Check that the ARRAY arguments provides enough
8         values for MASK.
9         * intrinsic.h (gfc_simplify_spread): New prototype.
10         (gfc_simplify_unpack): Likewise.
11         * intrinsic.c (add_functions): Added new simplifier callbacks.
12         * simplify.c (gfc_simplify_spread): New.
13         (gfc_simplify_unpack): New.
14         * expr.c (check_transformational): Allow additional transformational
15         intrinsics in initialization expression.
16
17 2009-06-07  Daniel Franke  <franke.daniel@gmail.com>
18
19         PR fortran/25104
20         PR fortran/29962
21         * check.c (gfc_check_all_any): Check rank of DIM.
22         (gfc_check_count): Likewise.
23         * intrinsic.h (gfc_simplify_all): New prototype.
24         (gfc_simplify_any): Likewise.
25         (gfc_simplify_count): Likewise.
26         (gfc_simplify_sum): Likewise.
27         (gfc_simplify_product): Likewise.
28         * intrinsic.c (add_functions): Added new simplifier callbacks.
29         * simplify.c (transformational_result): New.
30         (simplify_transformation_to_scalar): New.
31         (simplify_transformation_to_array): New.
32         (gfc_count): New.
33         (gfc_simplify_all): New.
34         (gfc_simplify_any): New.
35         (gfc_simplify_count): New.
36         (gfc_simplify_sum): New.
37         (gfc_simplify_product): New.
38         * expr.c (check_transformational): Allow additional transformational
39         intrinsics in initialization expression.
40
41 2009-06-07  Daniel Franke  <franke.daniel@gmail.com>
42
43         * check.c (dim_rank_check): Return SUCCESS if DIM=NULL.
44         (gfc_check_lbound): Removed (now) redundant check for DIM=NULL.
45         (gfc_check_minloc_maxloc): Likewise.
46         (check_reduction): Likewise.
47         (gfc_check_size): Likewise.
48         (gfc_check_ubound): Likewise.
49         (gfc_check_cshift): Added missing shape-conformance checks.
50         (gfc_check_eoshift): Likewise.
51         * gfortran.h (gfc_check_conformance): Modified prototype to printf-style.
52         * expr.c (gfc_check_conformance): Accept error-message chunks in 
53         printf-style. Changed all callers.
54
55
56 2009-06-07  Daniel Franke  <franke.daniel@gmail.com>
57
58         PR fortran/25104
59         PR fortran/29962
60         * intrinsic.h (gfc_simplify_dot_product): New prototype.
61         (gfc_simplify_matmul): Likewise.
62         (gfc_simplify_transpose): Likewise.
63         * intrinsic.c (add_functions): Added new simplifier callbacks.
64         * simplify.c (init_result_expr): New.
65         (compute_dot_product): New.
66         (gfc_simplify_dot_product): New.
67         (gfc_simplify_matmul): New.
68         (gfc_simplify_transpose): New.
69         * expr.c (check_transformational): Allow transformational intrinsics
70         with simplifier in initialization expression.
71
72 2009-06-06  Daniel Franke  <franke.daniel@gmail.com>
73
74         PR fortran/37203
75         * simplify.c (gfc_simplify_reshape): Fixed reshaping of empty arrays
76         without padding.
77
78 2009-06-06  Daniel Franke  <franke.daniel@gmail.com>
79
80         PR fortran/32890
81         * intrinsic.h (gfc_simplify_pack): New prototype.
82         * intrinsic.c (add_functions): Added
83         simplifier-callback to PACK.
84         * simplify.c (is_constant_array_expr): Moved
85         to beginning of file.
86         (gfc_simplify_pack): New.
87         * check.c (gfc_check_pack): Check that VECTOR has enough elements.
88         Added safeguards for empty arrays.
89
90 2009-06-05  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
91
92         * simplify.c (call_mpc_func): Use mpc_realref/mpc_imagref
93         instead of MPC_RE/MPC_IM.
94
95 2009-06-05  Alexandre Oliva  <aoliva@redhat.com>
96
97         * trans-decl.c (gfc_build_qualified_array): Don't skip generation
98         of range types.
99         * trans.h (struct lang_type): Add base_decls.
100         (GFC_TYPE_ARRAY_BASE_DECL): New.
101         * trans-types.c (gfc_get_array_type_bounds): Initialize base decls
102         proactively and excessively.
103         (gfc_get_array_descr_info): Use existing base decls if available.
104
105 2009-06-04  Daniel Franke  <franke.daniel@gmail.com>
106
107         PR fortran/37203
108         * check.c (gfc_check_reshape): Additional checks for the
109         SHAPE and ORDER arguments.
110         * simplify.c (gfc_simplify_reshape): Converted argument checks
111         to asserts.
112
113 2009-06-03  Tobias Burnus  <burnus@net-b.de>
114
115         * gfortran.texi: Add mixed-language programming, mention
116         varying string lengths, some clean up of introduction parts.
117         * intrinsic.texi (instrinsic modules): Create @menu for subsections.
118         (ISO_C_BINDING): Support ISOCBINDING_INT_FAST128_T.
119         * libgfortran.h: Comment to rember to keep gfortran.texi in sync.
120         * iso-c-binding.def: Support ISOCBINDING_INT_FAST128_T.
121
122 2009-06-03  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
123             Tobias Burnus  <burnus@net-b.de>
124
125         * iso-c-binding.def: Use INTMAX_TYPE instead of intmax_type_node.
126         * trans-types.c (init_c_interop_kinds): Remove intmax_type_node.
127
128 2009-06-03  Alexandre Oliva  <aoliva@redhat.com>
129
130         * module.c (mio_f2k_derived): Initialize cur.
131
132 2009-06-01  Tobias Burnus  <burnus@net-b.de>
133
134         PR fortran/40309
135         * trans-decl.c (gfc_sym_identifier): Use "MAIN__" for PROGRAM "main".
136         (create_main_function): Set main_identifier_node.
137
138 2009-05-29  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
139
140         PR fortran/40019
141         * trans-types.c (gfc_build_uint_type): Make nonstatic.
142         * trans.h (gfor_fndecl_clz128, gfor_fndecl_ctz128): New prototypes.
143         * trans-types.h (gfc_build_uint_type): Add prototype.
144         * trans-decl.c (gfc_build_intrinsic_function_decls): Build
145         gfor_fndecl_clz128 and gfor_fndecl_ctz128.
146         * trans-intrinsic.c (gfc_conv_intrinsic_leadz,
147         gfc_conv_intrinsic_trailz): Call the right builtins or library
148         functions, and cast arguments to unsigned types first.
149         * simplify.c (gfc_simplify_leadz): Deal with negative arguments.
150
151 2009-05-27  Ian Lance Taylor  <iant@google.com>
152
153         * Make-lang.in (gfortran$(exeext)): Change $(COMPILER) to
154         $(LINKER).
155         (f951$(exeext)): Likewise.
156
157 2009-05-27  Tobias Burnus  <burnus@net-b.de>
158
159         PR fortran/40270
160         * trans-decl.c (create_main_function): Mark MAIN__ and
161         argc/argv as TREE_USED and push/pop function_decl context
162         if needed.
163
164 2009-05-26  Tobias Burnus  <burnus@net-b.de>
165
166         PR fortran/39178
167         * gfortranspec.c (lang_specific_driver): Stop linking
168         libgfortranbegin.
169         * trans-decl.c (gfc_build_builtin_function_decls): Stop
170         making MAIN__ publicly visible.
171         (gfc_build_builtin_function_decls): Add
172         gfor_fndecl_set_args.
173         (create_main_function) New function.
174         (gfc_generate_function_code): Use it.
175
176 2009-05-26  Tobias Burnus  <burnus@net-b.de>
177
178         PR fortran/40246
179         * match.c (gfc_match_nullify): NULLify freed pointer.
180
181 2009-05-26  Ian Lance Taylor  <iant@google.com>
182
183         * Make-lang.in (gfortranspec.o): Use $(COMPILER).
184         (gfortran$(exeext), f951$(exeext), fortran/cpp.o): Likewise.
185
186 2009-05-26  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
187
188         * gfortran.h (GFC_MPC_RND_MODE): New.
189         * simplify.c (call_mpc_func): New helper function.
190         (gfc_simplify_cos, gfc_simplify_exp, gfc_simplify_log,
191         gfc_simplify_sin, gfc_simplify_sqrt): Add MPC support.
192
193 2009-05-25  Janus Weil  <janus@gcc.gnu.org>
194
195         PR fortran/40176
196         * primary.c (gfc_match_varspec): Handle procedure pointer components
197         with array return value.
198         * resolve.c (resolve_expr_ppc): Ditto.
199         (resolve_symbol): Make sure the interface of a procedure pointer has
200         been resolved.
201         * trans-array.c (gfc_walk_function_expr): Handle procedure pointer
202         components with array return value.
203         * trans-expr.c (gfc_conv_component_ref,gfc_conv_procedure_call,
204         gfc_trans_arrayfunc_assign): Ditto.
205         (gfc_trans_pointer_assignment): Handle procedure pointer assignments,
206         where the rhs is a dummy argument.
207         * trans-types.c (gfc_get_ppc_type,gfc_get_derived_type): Handle
208         procedure pointer components with array return value.
209
210 2009-05-24  Jerry DeLisle  <jvdelisle@gcc.gnu.org>
211             Dominique Dhumieres
212
213         PR fortran/35732
214         PR fortran/39872
215         * trans-array.c (gfc_conv_ss_startstride): Add one to index.
216
217 2009-05-22  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
218
219         PR fortran/40195
220         * module.c (read_md5_from_module_file): Close file before returning.
221
222 2009-05-18  Janus Weil  <janus@gcc.gnu.org>
223
224         PR fortran/40164
225         * primary.c (gfc_match_rvalue): Handle procedure pointer components in
226         arrays.
227         * resolve.c (resolve_ppc_call,resolve_expr_ppc): Resolve component and
228         array references.
229         (resolve_fl_derived): Procedure pointer components are not required to
230         have constant array bounds in their return value.
231
232 2009-05-18  Janus Weil  <janus@gcc.gnu.org>
233
234         * intrinsic.c (add_sym): Fix my last commit (r147655),
235         which broke bootstrap.
236
237 2009-05-18  Richard Guenther  <rguenther@suse.de>
238
239         PR fortran/40168
240         * trans-expr.c (gfc_trans_zero_assign): For local array
241         destinations use an assignment from an empty constructor.
242
243 2009-05-18  Janus Weil  <janus@gcc.gnu.org>
244
245         PR fortran/36947
246         PR fortran/40039
247         * expr.c (gfc_check_pointer_assign): Check intents when comparing
248         interfaces.
249         * gfortran.h (typedef struct gfc_intrinsic_arg): Add 'intent' member.
250         (gfc_compare_interfaces): Additional argument.
251         * interface.c (operator_correspondence): Add check for equality of
252         intents, and new argument 'intent_check'.
253         (gfc_compare_interfaces): New argument 'intent_check', which is passed
254         on to operator_correspondence.
255         (check_interface1): Don't check intents when comparing interfaces.
256         (compare_parameter): Do check intents when comparing interfaces.
257         * intrinsic.c (add_sym): Add intents for arguments of intrinsic
258         procedures.
259         (add_sym_1,add_sym_1s,add_sym_1m,add_sym_2,add_sym_2s,add_sym_3,
260         add_sym_3ml,add_sym_3red,add_sym_3s,add_sym_4): Use INTENT_IN by
261         default.
262         (add_sym_1_intent,add_sym_1s_intent,add_sym_2s_intent,add_sym_3s_intent)
263         : New functions to add intrinsic symbols, specifying custom intents.
264         (add_sym_4s,add_sym_5s): Add new arguments to specify intents.
265         (add_functions,add_subroutines): Add intents for various intrinsics.
266         * resolve.c (check_generic_tbp_ambiguity): Don't check intents when
267         comparing interfaces.
268         * symbol.c (gfc_copy_formal_args_intr): Copy intent.
269
270 2009-05-17  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
271
272         * iso-fortran-env.def: Define INT8, INT16, INT32, INT64, REAL32,
273         REAL64 and REAL128.
274         * gfortran.h (gfc_get_int_kind_from_width_isofortranenv,
275         gfc_get_real_kind_from_width_isofortranenv): New prototypes.
276         * iso-c-binding.def: Update definitions for the INT*_T,
277         INT_LEAST*_T and INT_FAST*_T named parameters.
278         * trans-types.c (get_typenode_from_name, get_int_kind_from_name,
279         gfc_get_real_kind_from_width_isofortranenv): New functions.
280
281 2009-05-17  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
282
283         PR fortran/36260
284         * intrinsic.c (add_functions, add_subroutines): Fix argument
285         names and wrap long lines.
286         * intrinsic.texi: Fix documentation and argument names of
287         LOG_GAMMA, DATAN2, DBESJN, DTIME, ETIME, FSTAT, STAT, LSTAT,
288         GET_COMMAND, IDATE, LTIME, MOVE_ALLOC, NINT, OR, PRODUCT,
289         SUM, RAND, RANDOM_SEED, REAL, SELECTED_INT_KIND,
290         SELECTED_REAL_KIND and XOR.
291
292 2009-05-16  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
293
294         PR fortran/33197
295         * intrinsic.c (add_functions): Use ERFC_SCALED simplification.
296         * intrinsic.h (gfc_simplify_erfc_scaled): New prototype.
297         * simplify.c (fullprec_erfc_scaled, asympt_erfc_scaled,
298         gfc_simplify_erfc_scaled): New functions.
299
300 2009-05-16  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
301
302         PR fortran/31243
303         * resolve.c (resolve_substring): Don't allow too large substring
304         indexes.
305         (gfc_resolve_substring_charlen): Fix typo.
306         (gfc_resolve_character_operator): Fix typo.
307         (resolve_charlen): Catch unreasonably large string lengths.
308         * simplify.c (gfc_simplify_len): Don't error out on LEN
309         range checks.
310
311 2009-05-16  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
312
313         PR fortran/36031
314         * decl.c (set_enum_kind): Use global short-enums flag.
315         * gfortran.h (gfc_option_t): Remove short_enums flag.
316         * lang.opt (-fshort-enums): Refer to C documentation.
317         * options.c (gfc_init_options, gfc_handle_option): Use global
318         short-enums flag.
319
320 2009-05-15  Tobias Burnus  <burnus@net-b.de>
321
322         PR fortran/39352
323         * f95-lang.c: Add gfc_maybe_initialize_eh.
324         * gfortran.h: Add gfc_maybe_initialize_eh prototype.
325         * Make-lang.in: Add new .h dendencies for f95-lang.c
326         * openmp.c (resolve_omp_do): Call gfc_maybe_initialize_eh.
327         * misc.c (gfc_free): Avoid #define trickery for free.
328
329 2009-05-14  Steven G. Kargl  <kargl@gcc.gnu.org>
330
331         * dump-parse-tree.c (show_code_node): Add ERRMSG to the dumping
332         of allocate and deallocate statements.
333
334 2009-05-14  Ian Lance Taylor  <iant@google.com>
335
336         * decl.c (match_attr_spec): Change d to unsigned int.
337         * dump-parse-tree.c (show_namespace): Change op to int.  Add cast.
338         * interface.c (gfc_check_interfaces): Change i to int.  Add casts.
339         * module.c (read_module): Change i to int.  Add cast.
340         (write_module): Change i to int.
341         * symbol.c (gfc_get_namespace): Change in to int.
342         (gfc_free_namespace): Change i to int.
343         * trans-io.c (gfc_build_io_library_fndecls): Change ptype to
344         unsigned int.  Add cast.
345         * trans-types.c (gfc_init_kinds): Change mode to unsigned int.
346         Add casts.
347
348 2009-05-14  Daniel Kraft  <d@domob.eu>
349
350         PR fortran/40045
351         * dump-parse-tree.c (show_typebound): Fix missing adaption to new
352         type-bound procedure storage structure.
353
354 2009-05-14  Janus Weil  <janus@gcc.gnu.org>
355
356         PR fortran/39996
357         * decl.c (gfc_match_function_decl): Use gfc_add_type.
358         * symbol.c (gfc_add_type): Better checking for duplicate types in
359         function declarations. And: Always give an error for duplicte types,
360         not just a warning with -std=gnu.
361
362 2009-05-14  Jakub Jelinek  <jakub@redhat.com>
363
364         PR fortran/39865
365         * io.c (resolve_tag_format): CHARACTER array in FMT= argument
366         isn't an extension.  Reject non-CHARACTER array element of
367         assumed shape or pointer or assumed size array.
368         * trans-array.c (array_parameter_size): New function.
369         (gfc_conv_array_parameter): Add size argument.  Call
370         array_parameter_size if it is non-NULL.
371         * trans-array.h (gfc_conv_array_parameter): Adjust prototype.
372         * trans-expr.c (gfc_conv_function_call, gfc_trans_arrayfunc_assign):
373         Adjust callers.
374         * trans-intrinsic.c (gfc_conv_intrinsic_loc): Likewise.
375         * trans-io.c (gfc_convert_array_to_string): Rewritten.
376
377 2009-05-13  Steven G. Kargl  <kargl@gcc.gnu.org>
378
379         * gfortran.h (gfc_code): Rename struct member expr to expr1.
380         * openmp.c (resolve_omp_atomic): Update expr to expr1.
381         * interface.c (gfc_extend_assign): Ditto.
382         * trans-expr.c (gfc_conv_expr_reference, gfc_trans_assignment,
383         gfc_trans_init_assign): Ditto.
384         * dump-parse-tree.c (show_code_node): Ditto.
385         * trans-openmp.c (gfc_trans_omp_atomic): Ditto.
386         * trans-stmt.c ( gfc_trans_label_assign, gfc_trans_goto, gfc_trans_call,
387         gfc_trans_return, gfc_trans_pause, gfc_trans_stop, gfc_trans_if_1,
388         gfc_trans_arithmetic_if, gfc_trans_do_while, gfc_trans_integer_select,
389         gfc_trans_logical_select, gfc_trans_character_select
390         forall_make_variable_temp, check_forall_dependencies
391         gfc_trans_forall_1, gfc_trans_where_2, gfc_trans_where_3
392         gfc_trans_where, gfc_trans_allocate, gfc_trans_deallocate): Ditto.
393         * io.c (match_io_element, gfc_match_inquire): Ditto.
394         * resolve.c (resolve_typebound_call, resolve_ppc_call,
395         resolve_allocate_expr, resolve_allocate_deallocate, resolve_select,
396         resolve_transfer, resolve_where, gfc_resolve_assign_in_forall,
397         gfc_resolve_blocks, resolve_code, build_init_assign): Ditto.
398         * st.c (gfc_free_statement): Ditto.
399         * match.c (gfc_match_assignment, gfc_match_pointer_assignment,
400         match_arithmetic_if, gfc_match_if, gfc_match_elseif
401         gfc_match_stopcode, gfc_match_assign, gfc_match_goto,
402         gfc_match_nullify, match_typebound_call, gfc_match_call
403         gfc_match_select, match_simple_where, gfc_match_where
404         gfc_match_elsewhere, match_simple_forall, gfc_match_forall): Ditto.
405         * trans-io.c (gfc_trans_transfer): Ditto.
406         * parse.c (parse_where_block, parse_if_block): Ditto.
407
408 2009-05-13  Steven G. Kargl  <kargl@gcc.gnu.org>
409
410         * gfortran.h (gfc_code): Rename struct member label to label1.
411         * dump-parse-tree.c (show_code_node): Update symbol.
412         * trans-stmt.c (gfc_trans_label_assign, gfc_trans_goto,
413         gfc_trans_arithmetic_if): Ditto.
414         * resolve.c (gfc_resolve_blocks, resolve_code): Ditto.
415         * match.c (match_arithmetic_if, gfc_match_if, gfc_reference_st_label,
416         gfc_match_assign, gfc_match_goto): Ditto.
417         * parse.c (parse_do_block): Ditto.
418
419 2009-05-13  Tobias Burnus  <burnus@net-b.de>
420
421         PR fortran/34153
422         * gfortran.h (gfc_exec_op): Add EXEC_END_PROCEDURE.
423         * dump-parse-tree.c (show_code_node): Use EXEC_END_PROCEDURE.
424         * trans.c (gfc_trans_code): Ditto.
425         * resolve.c (resolve_code): Ditto.
426         * st.c (gfc_free_statement): Ditto.
427         * parse.c (accept_statement): Ditto.
428
429 2009-05-12  Tobias Burnus  <burnus@net-b.de>
430
431         PR fortran/40110
432         * decl.c (gfc_match_kind_spec): Turn C kind error into a warning.
433
434 2009-05-11  Steve Ellcey  <sje@cup.hp.com>
435
436         * resolve.c (check_host_association): Initialize tail.
437
438 2009-05-11  Janus Weil  <janus@gcc.gnu.org>
439
440         PR fortran/40089
441         * resolve.c (resolve_fl_derived): Only return FAILURE if
442         gfc_notify_std fails.
443
444 2009-05-10  Ian Lance Taylor  <iant@google.com>
445
446         * gfortran.h (enum gfc_omp_sched_kind): New enum, broken out of
447         gfc_omp_clauses.
448         (enum gfc_omp_default_sharing): Likewise.
449         * module.c (enum gfc_rsym_state): New enum, broken out of
450         pointer_info.
451         (enum gfc_wsym_state): Likewise.
452         * parse.c (enum state_order): New enum, broken out of st_state.
453
454 2009-05-10  Paul Thomas  <pault@gcc.gnu.org>
455
456         PR fortran/40018
457         * trans-array.c (gfc_trans_array_constructor_value): Fold
458         convert numeric constants.
459         (gfc_build_constant_array_constructor): The same.
460
461 2009-05-10  Paul Thomas  <pault@gcc.gnu.org>
462
463         PR fortran/38863
464         * trans-expr.c (gfc_conv_operator_assign): Remove function.
465         * trans.h : Remove prototype for gfc_conv_operator_assign.
466         * trans-stmt.c (gfc_conv_elemental_dependencies): Initialize
467         derivde types with intent(out).
468         (gfc_trans_call): Add mask, count1 and invert arguments. Add
469         code to use mask for WHERE assignments.
470         (gfc_trans_forall_1): Use new arguments for gfc_trans_call.
471         (gfc_trans_where_assign): The gfc_symbol argument is replaced
472         by the corresponding code. If this has a resolved_sym, then
473         gfc_trans_call is called. The call to gfc_conv_operator_assign
474         is removed.
475         (gfc_trans_where_2): Change the last argument in the call to
476         gfc_trans_where_assign.
477         * trans-stmt.h : Modify prototype for gfc_trans_call.
478         * trans.c (gfc_trans_code): Use new args for gfc_trans_call.
479
480 2009-05-08  Janus Weil  <janus@gcc.gnu.org>
481
482         PR fortran/39876
483         * intrinsic.c (gfc_is_intrinsic): Do not add the EXTERNAL attribute if
484         the symbol is a module procedure.
485
486 2009-05-08  Tobias Burnus  <burnus@net-b.de>
487
488         * invoke.texi: Add do/recursion to the -fcheck= summary.
489
490 2009-05-07  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
491
492         PR fortran/38830
493         * gfortran.texi: Document that we don't support variable FORMAT
494         expressions.
495
496 2009-05-07  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
497
498         PR fortran/39576
499         * error.c (error_print): Add missing break statement.
500
501 2009-05-07  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
502
503         PR fortran/36382
504         * invoke.texi: Document that -fdollar-ok does not allow $ to be
505         used in IMPLICIT statement.
506
507 2009-05-06  Janus Weil  <janus@gcc.gnu.org>
508             Paul Thomas  <pault@gcc.gnu.org>
509
510         PR fortran/39630
511         * decl.c (match_procedure_interface): New function to match the
512         interface for a PROCEDURE statement.
513         (match_procedure_decl): Call match_procedure_interface.
514         (match_ppc_decl): New function to match the declaration of a
515         procedure pointer component.
516         (gfc_match_procedure):  Call match_ppc_decl.
517         (match_binding_attributes): Add new argument 'ppc' and handle the
518         POINTER attribute for procedure pointer components.
519         (match_procedure_in_type,gfc_match_generic): Added new argument to
520         match_binding_attributes.
521         * dump-parse-tree.c (show_expr,show_components,show_code_node): Handle
522         procedure pointer components.
523         * expr.c (free_expr0,gfc_copy_expr,gfc_simplify_expr): Handle EXPR_PPC.
524         (gfc_check_pointer_assign): Handle procedure pointer components, but no
525         full checking yet.
526         (is_proc_ptr_comp): New function to determine if an expression is a
527         procedure pointer component.
528         * gfortran.h (expr_t): Add EXPR_PPC.
529         (symbol_attribute): Add new member 'proc_pointer_comp'.
530         (gfc_component): Add new member 'formal'.
531         (gfc_exec_op): Add EXEC_CALL_PPC.
532         (gfc_get_default_type): Changed first argument.
533         (is_proc_ptr_comp): Add prototype.
534         (gfc_match_varspec): Add new argument.
535         * interface.c (compare_actual_formal): Handle procedure pointer
536         components.
537         * match.c (gfc_match_pointer_assignment,match_typebound_call): Handle
538         procedure pointer components.
539         * module.c (mio_expr): Handle EXPR_PPC.
540         * parse.c (parse_derived): Handle procedure pointer components.
541         * primary.c (gfc_match_varspec): Add new argument 'ppc_arg' and handle
542         procedure pointer components.
543         (gfc_variable_attr): Handle procedure pointer components.
544         (gfc_match_rvalue): Added new argument to gfc_match_varspec and changed
545         first argument of gfc_get_default_type.
546         (match_variable): Added new argument to gfc_match_varspec.
547         * resolve.c (resolve_entries,set_type,resolve_fl_parameter): Changed
548         first argument of gfc_get_default_type.
549         (resolve_structure_cons,resolve_actual_arglist): Handle procedure
550         pointer components.
551         (resolve_ppc_call): New function to resolve a call to a procedure
552         pointer component (subroutine).
553         (resolve_expr_ppc): New function to resolve a call to a procedure
554         pointer component (function).
555         (gfc_resolve_expr): Handle EXPR_PPC.
556         (resolve_code): Handle EXEC_CALL_PPC.
557         (resolve_fl_derived): Copy the interface for a procedure pointer
558         component.
559         (resolve_symbol): Fix overlong line.
560         * st.c (gfc_free_statement): Handle EXEC_CALL_PPC.
561         * symbol.c (gfc_get_default_type): Changed first argument.
562         (gfc_set_default_type): Changed first argument of gfc_get_default_type.
563         (gfc_add_component): Initialize ts.type to BT_UNKNOWN.
564         * trans.h (gfc_conv_function_call): Renamed.
565         * trans.c (gfc_trans_code): Handle EXEC_CALL_PPC.
566         * trans-expr.c (gfc_conv_component_ref): Ditto.
567         (gfc_conv_function_val): Rename to 'conv_function_val', add new
568         argument 'expr' and handle procedure pointer components.
569         (gfc_conv_operator_assign): Renamed gfc_conv_function_val.
570         (gfc_apply_interface_mapping_to_expr): Handle EXPR_PPC.
571         (gfc_conv_function_call): Rename to 'gfc_conv_procedure_call', add new
572         argument 'expr' and handle procedure pointer components.
573         (gfc_get_proc_ptr_comp): New function to get the backend decl for a
574         procedure pointer component.
575         (gfc_conv_function_expr): Renamed gfc_conv_function_call.
576         (gfc_conv_structure): Handle procedure pointer components.
577         * trans-intrinsic.c (gfc_conv_intrinsic_funcall,
578         conv_generic_with_optional_char_arg): Renamed gfc_conv_function_call.
579         * trans-stmt.h (gfc_get_proc_ptr_comp): Add prototype.
580         * trans-stmt.c (gfc_trans_call): Renamed gfc_conv_function_call.
581         * trans-types.h (gfc_get_ppc_type): Add prototype.
582         * trans-types.c (gfc_get_ppc_type): New function to build a tree node
583         for a procedure pointer component.
584         (gfc_get_derived_type): Handle procedure pointer components.
585
586 2009-05-06  Tobias Burnus  <burnus@net-b.de>
587
588         PR fortran/40041
589         * resolve.c (resolve_symbol): Print no warning for implicitly
590         typed intrinsic functions.
591
592 2009-05-05  Janus Weil  <janus@gcc.gnu.org>
593
594         PR fortran/39998
595         * expr.c (gfc_check_pointer_assign): Check for statement functions and
596         internal procedures in procedure pointer assignments.
597
598 2009-04-28  Janus Weil  <janus@gcc.gnu.org>
599
600         PR fortran/39946
601         * resolve.c (resolve_symbol): Correctly copy the interface of a
602         PROCEDURE statement if the interface involves a RESULT variable.
603
604 2009-04-28  Janus Weil  <janus@gcc.gnu.org>
605
606         PR fortran/39930
607         PR fortran/39931
608         * expr.c (gfc_check_pointer_assign): Correctly detect if the left hand
609         side is a pointer.
610         * parse.c (gfc_fixup_sibling_symbols): Don't check for ambiguity.
611
612 2009-04-28  Paul Thomas  <pault@gcc.gnu.org>
613
614         PR fortran/39879
615         * trans_expr.c (gfc_conv_procedure_call): Deep copy a derived
616         type parentheses argument if it is a variable with allocatable
617         components.
618
619 2009-04-27  Ian Lance Taylor  <iant@google.com>
620
621         * trans-intrinsic.c (DEFINE_MATH_BUILTIN): Add casts to enum
622         type.
623         * trans-io.c (st_parameter_field): Add casts to enum type.
624
625 2009-04-26  Steven G. Kargl  <kargl@gcc.gnu.org>
626
627         PR fortran/39893
628         fortran/data.c (gfc_assign_data_value): If the lvalue is an 
629         assumed character length entity in a data statement, then 
630         return FAILURE to prevent segmentation fault.
631
632 2009-04-26  Jakub Jelinek  <jakub@redhat.com>
633
634         * trans-decl.c: Include pointer-set.h.
635         (nonlocal_dummy_decl_pset, tree nonlocal_dummy_decls): New variables.
636         (gfc_nonlocal_dummy_array_decl): New function.
637         (gfc_get_symbol_decl): Call it for non-local dummy args with saved
638         descriptor.
639         (gfc_get_symbol_decl): Set DECL_BY_REFERENCE when needed.
640         (gfc_generate_function_code): Initialize nonlocal_dummy_decl{s,_pset},
641         chain it to outermost block's vars, destroy it afterwards.
642         * Make-lang.in (trans-decl.o): Depend on pointer-set.h.
643
644 2009-04-25  Janus Weil  <janus@gcc.gnu.org>
645
646         PR fortran/39688
647         * decl.c (gfc_match_import): Use 'sym->name' instead of 'name'.
648         They differ if the symbol has been use-renamed.
649
650 2009-04-24  Ian Lance Taylor  <iant@google.com>
651
652         * gfortran.h (enum gfc_symbol_type): New named enum type, broken
653         out of struct gfc_symbol.
654         (struct gfc_symbol): Use enum gfc_symbol_type.
655         (enum gfc_array_ref_dimen_type): New named enum type, broken out
656         of struct gfc_array_ref).
657         (struct gfc_array_ref): Use enum gfc_array_ref_dimen_type.
658         (mod_pointee_as): Update declaration.
659         * decl.c (add_global_entry): Change type to enum gfc_symbol_type.
660         (gfc_mod_pointee_as): Change return type to "match".
661         * module.c (mio_array_ref): Add cast to enum type.
662         (mio_symbol): Likewise.
663         * resolve.c (resolve_global_procedure): Change type to enum
664         gfc_symbol_type.
665         * trans-io.c (gfc_build_st_parameter): Change type to unsigned
666         int.
667
668 2009-04-24  Daniel Kraft  <d@domob.eu>
669
670         * gfortran.h (gfc_get_typebound_proc): Removed as macro, now a function.
671         (struct gfc_symtree): Moved "typebound" member inside union.
672         (struct gfc_namespace): Add "tb_sym_root" as new symtree to sort out
673         type-bound procedures there.
674         (gfc_get_tbp_symtree): New procedure.
675         * symbol.c (tentative_tbp_list): New global.
676         (gfc_get_namespace): NULL new "tb_sym_root" member.
677         (gfc_new_symtree): Removed initialization of "typebound" member.
678         (gfc_undo_symbols): Process list of tentative tbp's.
679         (gfc_commit_symbols): Ditto.
680         (free_tb_tree): New method.
681         (gfc_free_namespace): Call it.
682         (gfc_get_typebound_proc): New method.
683         (gfc_get_tbp_symtree): New method.
684         (gfc_find_typebound_proc): Adapt to structural changes of gfc_symtree
685         and gfc_namespace with regards to tbp's.
686         * dump-parse-tree.c (show_typebound): Ditto.
687         * primary.c (gfc_match_varspec): Ditto.  Don't reference tbp-symbol
688         as it isn't a symbol any longer.
689         * module.c (mio_typebound_symtree): Adapt to changes.
690         (mio_typebound_proc): Ditto, create symtrees using "gfc_get_tbp_symtree"
691         rather than "gfc_get_sym_tree".
692         (mio_f2k_derived): Ditto.
693         * decl.c (match_procedure_in_type): Ditto.
694         (gfc_match_generic): Ditto.  Don't reference tbp-symbol.
695         * resolve.c (check_typebound_override): Adapt to changes.
696         (resolve_typebound_generic): Ditto.
697         (resolve_typebound_procedures): Ditto.
698         (ensure_not_abstract_walker): Ditto.
699         (ensure_not_abstract): Ditto.
700         (resolve_typebound_procedure): Ditto, ignore erraneous symbols (for
701         instance, through removed tentative ones).
702         * gfc-internals.texi (Type-bound procedures): Document changes.
703
704 2009-04-24  Janus Weil  <janus@gcc.gnu.org>
705
706         PR fortran/39861
707         PR fortran/39864
708         * symbol.c (gfc_copy_formal_args_intr): Set attr.flavor and attr.dummy
709         for the formal arguments.
710
711 2009-04-21  Taras Glek <tglek@mozilla.com>
712
713         * f95-lang.c: Update GTY annotations to new syntax.
714         * trans-intrinsic.c: Likewise.
715         * trans-io.c: Likewise.
716         * trans.h: Likewise.
717
718 2009-04-22  Janus Weil  <janus@gcc.gnu.org>
719
720         PR fortran/39735
721         * decl.c (add_hidden_procptr_result): Bugfix for procptr results.
722         (match_procedure_decl): Set if_source.
723         * expr.c (gfc_check_pointer_assign): Bugfix: Return after error.
724         And: Check interface also for IFSRC_UNKNOWN (return type may be known).
725         * gfortran.h (typedef enum ifsrc): Remove IFSRC_USAGE,
726         add documentation. Rename copy_formal_args and copy_formal_args_intr.
727         * interface.c (gfc_compare_interfaces): Check for return types,
728         handle IFSRC_UNKNOWN.
729         (compare_intr_interfaces,compare_actual_formal_intr): Obsolete, removed.
730         (gfc_procedure_use): Modified handling of intrinsics.
731         * intrinsic.c (add_functions): Bugfix for "dim".
732         * resolve.c (resolve_intrinsic): New function to resolve intrinsics,
733         which copies the interface from isym to sym.
734         (resolve_procedure_expression,resolve_function): Use new function
735         'resolve_intrinsic'.
736         (resolve_symbol): Add function attribute for externals with return type
737         and use new function 'resolve_intrinsic'.
738         * symbol.c (ifsrc_types): Remove string for IFSRC_USAGE.
739         (copy_formal_args): Renamed to gfc_copy_formal_args.
740         (copy_formal_args_intr): Renamed to gfc_copy_formal_args_intr.
741         * trans-const.c (gfc_conv_const_charlen): Handle cl==NULL.
742
743 2009-04-21  Joseph Myers  <joseph@codesourcery.com>
744
745         * ChangeLog, ChangeLog-2002, ChangeLog-2003, ChangeLog-2004,
746         ChangeLog-2005, ChangeLog-2006, ChangeLog-2007, ChangeLog-2008,
747         ChangeLog.ptr, config-lang.in, ioparm.def, mathbuiltins.def: Add
748         copyright and license notices.
749         * ChangeLog, ChangeLog-2005, ChangeLog-2006, ChangeLog-2007,
750         ChangeLog-2008: Correct dates.
751
752 2009-04-20  Tobias Burnus  <burnus@net-b.de>
753
754         PR fortran/39811
755         * scanner.c (load_line): Fix bogus "&" compile-time diagnostic.
756
757 2009-04-20  Paul Thomas  <pault@gcc.gnu.org>
758
759         PR fortran/39800
760         * resolve.c (is_sym_host_assoc): New function.
761         (resolve_fl_derived): Call it when checking PRIVATE components
762         of PUBLIC derived types.  Change gfc_error to a gfc_notify_std
763         with std=f2003.
764         (resolve_fl_namelist): Call it twice to check for host
765         association.
766
767 2009-04-20  Ian Lance Taylor  <iant@google.com>
768
769         * module.c (import_iso_c_binding_module): Add casts to enum type.
770         * trans-intrinsic.c (gfc_conv_intrinsic_minmax): Change op to enum
771         tree_code.
772         (gfc_conv_intrinsic_anyall): Likewise.
773         (gfc_conv_intrinsic_arith): Likewise.
774         (gfc_conv_intrinsic_minmaxloc): Likewise.
775         (gfc_conv_intrinsic_minmaxval): Likewise.
776         (gfc_conv_intrinsic_bitop): Likewise.
777         (gfc_conv_intrinsic_singlebitop): Likewise.
778         (gfc_conv_intrinsic_strcmp): Likewise.
779
780 2009-04-20  Vasilis Liaskovitis  <vliaskov@gmail.com>
781             Jakub Jelinek  <jakub@redhat.com>
782
783         PR fortran/35423
784         * trans.h (OMPWS_WORKSHARE_FLAG, OMPWS_CURR_SINGLEUNIT,
785         OMPWS_SCALARIZER_WS, OMPWS_NOWAIT): Define.
786         (ompws_flags): New extern decl.
787         * trans-array.c (gfc_trans_scalarized_loop_end): Build OMP_FOR
788         for the outer dimension if ompws_flags allow it.
789         * trans.c (gfc_generate_code): Clear ompws_flags.
790         * trans-expr.c (gfc_trans_assignment_1): Allow worksharing
791         array assignments inside of !$omp workshare.
792         * trans-stmt.c (gfc_trans_where_3): Similarly for where statements
793         and constructs.
794         * trans-openmp.c (ompws_flags): New variable.
795         (gfc_trans_omp_workshare): Rewritten.
796
797 2009-04-11  Daniel Kraft  <d@domob.eu>
798
799         PR fortran/37746
800         * gfortran.h (struct gfc_charlen): New field "passed_length" to store
801         the actual passed string length for dummy arguments.
802         * trans-decl.c (gfc_create_string_length): Formatting fixes and added
803         assertion, moved a local variable into the innermost block it is needed.
804         (create_function_arglist): Removed TODO about the check being
805         implemented and initialize cl->passed_length here.
806         (add_argument_checking): New method.
807         (gfc_generate_function_code): Call the argument checking method.
808
809 2009-04-11  Janus Weil  <janus@gcc.gnu.org>
810
811         PR fortran/39692
812         * symbol.c (check_conflict): Reject procedure pointers for -std=f95.
813
814 2009-04-11  Daniel Franke  <franke.daniel@gmail.com>
815
816         * resolve.c (resolve_global_procedure): Enable whole-file checking for
817         procedures that are declared later in the file.
818         
819 2009-04-10  Paolo Bonzini  <bonzini@gnu.org>
820
821         PR middle-end/39701
822         * trans.c (gfc_allocate_with_status): Fix type mismatches
823         on "pstat == 0".
824
825 2009-04-10  Daniel Franke  <franke.daniel@gmail.com>
826
827         PR fortran/38709
828         * expr.c (find_array_section): Leave early on zero-sized arrays.
829
830 2009-04-09  Janus Weil  <janus@gcc.gnu.org>
831
832         PR fortran/36704
833         * decl.c (add_hidden_procptr_result): New function for handling
834         procedure pointer return values by adding a hidden result variable.
835         (variable_decl,match_procedure_decl,gfc_match_function_decl,
836         gfc_match_subroutine,gfc_match_end,attr_decl1): Handle procedure pointer
837         return values.
838         * parse.c (parse_interface): Add EXTERNAL attribute only after
839         FUNCTION/SUBROUTINE declaration is complete.
840         * primary.c (replace_hidden_procptr_result): New function for replacing
841         function symbol by hidden result variable.
842         (gfc_match_rvalue,match_variable): Replace symbol by hidden result
843         variable.
844         * resolve.c (resolve_contained_fntype,resolve_function,resolve_variable,
845         resolve_symbol): Allow for procedure pointer function results.
846         (resolve_fl_procedure): Conflict detection moved here from
847         'check_conflict'.
848         * symbol.c (gfc_check_function_type): Allow for procedure pointer
849         function results.
850         (check_conflict): Move some conflict detection to resolution stage.
851         * trans-types.c (gfc_sym_type,gfc_get_function_type): Handle hidden
852         result variables.
853
854 2009-04-08  Jakub Jelinek  <jakub@redhat.com>
855
856         * trans-types.c (gfc_init_types): Ensure gfc_integer_types doesn't
857         contain TYPE_STRING_FLAG types.
858
859 2009-04-08  Janne Blomqvist  <jb@gcc.gnu.org>
860
861         PR fortran/39670
862         * invoke.texi (fdollar-ok): Fix typo.
863         
864 2009-04-08  Daniel Franke  <franke.daniel@gmail.com>
865
866         PR fortran/39670
867         * invoke.texi (fdollar-ok): Clarify limitations.
868
869 2009-04-08  Paul Thomas  <pault@gcc.gnu.org>
870
871         PR fortran/38863
872         * trans-array.c (gfc_trans_deferred_array): Return if this
873         is a result variable.
874
875 2009-04-07  Janus Weil  <janus@gcc.gnu.org>
876
877         PR fortran/38152
878         * trans-decl.c (gfc_get_symbol_decl): Correctly set decl location for
879         procedure pointer decls.
880
881 2009-04-07  Janus Weil  <janus@gcc.gnu.org>
882
883         PR fortran/38290
884         * expr.c (gfc_check_pointer_assign): Enable interface check for
885         procedure pointers.
886         * gfortran.h: Add copy_formal_args_intr.
887         * interface.c (gfc_compare_interfaces): Call gfc_compare_intr_interfaces
888         if second argument is an intrinsic.
889         (compare_intr_interfaces): Correctly set attr.function, attr.subroutine
890         and ts.
891         (compare_parameter): Call gfc_compare_interfaces also for intrinsics.
892         * resolve.c (resolve_specific_f0,resolve_specific_s0): Don't resolve
893         intrinsic interfaces here. Must happen earlier.
894         (resolve_symbol): Resolution of intrinsic interfaces moved here from
895         resolve_specific_..., and formal args are now copied from intrinsic
896         interfaces.
897         * symbol.c (copy_formal_args_intr): New function to copy the formal
898         arguments from an intinsic procedure.
899
900 2009-04-06  Paul Thomas  <pault@gcc.gnu.org>
901
902         PR fortran/38863
903         * dependency.c (ref_same_as_full_array): New function.
904         (gfc_dep_resolver): Call it.
905
906 2009-04-06  Janus Weil  <janus@gcc.gnu.org>
907
908         PR fortran/39414
909         * decl.c (match_procedure_decl): Fix double declaration problems with
910         PROCEDURE statements.
911         * symbol.c (gfc_add_type): Ditto.
912
913 2009-04-06  Paul Thomas  <pault@gcc.gnu.org>
914
915         PR fortran/36091
916         * trans-array.c (gfc_conv_array_ref): If the symbol has the
917         temporary attribute use the array_spec for the bounds.
918         * gfortran.h : Add the temporary field to the structure
919         'symbol_attribute'.
920         * trans-stmt.c (forall_make_variable_temp): Set the symbol's
921         temporary attribute.
922
923 2009-04-05  Daniel Franke  <franke.daniel@gmail.com>
924
925         PR fortran/29458
926         * trans-array.c (gfc_trans_array_constructor_value): Shadow
927         implied do-loop variable to avoid spurious middle-end warnings.
928
929 2009-04-04  Tobias Burnus  <burnus@net-b.de>
930
931         PR fortran/39577
932         * trans-decl.c (gfc_generate_function_code): Move recursive
933         check to the right position.
934
935 2009-04-04  Paul Thomas  <pault@gcc.gnu.org>
936
937         PR fortran/37614
938         * trans-common.c (translate_common): Do not offset the whole
939         coomon block.
940
941 2009-04-03  Tobias Burnus  <burnus@net-b.de>
942
943         PR fortran/39594
944         * resolve.c (resolve_common_vars): Add FL_VARIABLE to symbol
945         if it is not a procedure pointer.
946         * primary.c (match_actual_arg): Ditto.
947
948 2009-03-31  Joseph Myers  <joseph@codesourcery.com>
949
950         PR preprocessor/15638
951         * cpp.c (cb_cpp_error): Handle CPP_DL_FATAL.
952
953 2009-03-30  Steven G. Kargl  <kargls@comcast.net>
954
955         PR fortran/38389
956         * trans-stmt.c(gfc_trans_allocate): Add translation of ERRMSG.
957         (gfc_trans_deallocate): Add translation of ERRMSG.  Remove stale
958         comments.  Minor whitespace cleanup.
959         * resolve.c(is_scalar_expr_ptr): Whitespace cleanup.
960         (resolve_deallocate_expr (gfc_expr *e): Update error message.
961         (resolve_allocate_expr):  Remove dead code.  Update error message.
962         Move error checking to ...
963         (resolve_allocate_deallocate): ... here.  Add additional error
964         checking for STAT, ERRMSG, and allocate-objects.
965         * match.c(gfc_match_allocate,gfc_match_deallocate):  Parse ERRMSG.
966         Check for redundant uses of STAT and ERRMSG.  Reword error message
967         and add checking for pointer, allocatable, and proc_pointer attributes.
968
969 2009-03-30  Paul Thomas  <pault@gcc.gnu.org>
970
971         PR fortran/22571
972         PR fortran/26227
973         PR fortran/24886
974         * symbol.c : Add gfc_global_ns_list.
975         * decl.c (add_global_entry): Set the namespace ('ns') field.
976         * gfortran.h : Add the resolved field to gfc_namespace. Add the
977         namespace ('ns') field to gfc_gsymbol.  Add flag_whole_file to
978         gfc_option_t.  Add the prototype for gfc_free_dt_list.
979         * lang.opt : Add the whole-file option.
980         * invoke.texi : Document the whole-file option.
981         * resolve.c (resolve_global_procedure): If the fwhole-file
982         option is set, reorder gsymbols to ensure that translation is
983         in the right order.  Resolve the gsymbol's namespace if that
984         has not occurred and then check interfaces.
985         (resolve_function): Move call to resolve_global_procedure.
986         (resolve_call): The same.
987         (resolve_codes): Store the current labels_obstack.
988         (gfc_resolve) : Return if the namespace is already resolved.
989         trans-decl.c (gfc_get_extern_function_decl): If the whole_file
990         option is selected, use the backend_decl of a gsymbol, if it is
991         available.
992         parse.c (add_global_procedure, add_global_program): If the flag
993         whole-file is set, add the namespace to the gsymbol.
994         (gfc_parse_file): On -fwhole-file, put procedure namespaces on
995         the global namespace list.  Rearrange to do resolution of all
996         the procedures in a file, followed by their translation.
997         * options.c (gfc_init_options): Add -fwhole-file.
998         (gfc_handle_option): The same.
999
1000 2009-03-30  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
1001
1002         * f95-lang.c (gfc_init_builtin_functions): Define BUILT_IN_HUGE_VAL
1003         family of intrinsics instead of BUILT_IN_INF family.
1004         * trans-intrinsics.c (gfc_conv_intrinsic_nearest): Use
1005         BUILT_IN_HUGE_VAL instead of BUILT_IN_INF.
1006
1007 2009-03-30  Jakub Jelinek  <jakub@redhat.com>
1008
1009         * trans-types.c (gfc_sym_type, gfc_return_by_reference): For
1010         sym->attr.result check sym->ns->proc_name->attr.is_bind_c.
1011
1012 2009-03-30  Joseph Myers  <joseph@codesourcery.com>
1013
1014         PR rtl-optimization/323
1015         * options.c (gfc_post_options): Set
1016         flag_excess_precision_cmdline.  Give an error for
1017         -fexcess-precision=standard for processors where the option is
1018         significant.
1019
1020 2009-03-29  Joseph Myers  <joseph@codesourcery.com>
1021
1022         PR preprocessor/34695
1023         * cpp.c (cb_cpp_error): New.
1024         (gfc_cpp_post_options): Don't set cpp_option->inhibit_warnings.
1025         Don't check cpp_errors (cpp_in).
1026         (gfc_cpp_init_0): Set cb->error.
1027
1028 2009-03-29  Steven G. Kargl  <kargl@gcc.gnu.org>
1029
1030         PR fortran/38823
1031         * gfortran.h: Add ARITH_PROHIBIT to arith enum.
1032         expr.c (gfc_match_init_expr): Add global variable init_flag to
1033         flag matching an initialization expression.
1034         (check_intrinsic_op): Move no longer reachable error message to ...
1035         * arith.c (arith_power): ... here.  Remove gfc_ prefix in
1036         gfc_arith_power.  Use init_flag.  Allow constant folding of x**y
1037         when y is REAL or COMPLEX.
1038         (eval_intrinsic): Remove restriction that y in x**y must be INTEGER
1039         for constant folding.
1040         * gfc_power: Update gfc_arith_power to arith_power
1041
1042 2009-03-29  Daniel Kraft  <d@domob.eu>
1043
1044         PR fortran/37423
1045         * gfortran.h (struct gfc_typebound_proc): Added new flag "deferred" and
1046         added a comment explaining DEFERRED binding handling.
1047         * decl.c (match_binding_attributes): Really match DEFERRED attribute.
1048         (match_procedure_in_type): Really match PROCEDURE(interface) syntax
1049         and do some validity checks for DEFERRED and this construct.
1050         * module.c (binding_overriding): New string constant for DEFERRED.
1051         (mio_typebound_proc): Module-IO DEFERRED flag.
1052         * resolve.c (check_typebound_override): Ensure that a non-DEFERRED
1053         binding is not overridden by a DEFERRED one.
1054         (resolve_typebound_procedure): Allow abstract interfaces as targets
1055         for DEFERRED bindings.
1056         (ensure_not_abstract_walker), (ensure_not_abstract): New methods.
1057         (resolve_fl_derived): Use new "ensure_not_abstract" method for
1058         non-ABSTRACT types extending ABSTRACT ones to ensure each DEFERRED
1059         binding is overridden.
1060         (check_typebound_baseobject): New method.
1061         (resolve_compcall), (resolve_typebound_call): Check base-object of
1062         the type-bound procedure call.
1063         * gfc-internals.texi (Type-bound procedures): Document a little bit
1064         about internal handling of DEFERRED bindings.
1065
1066 2009-03-29  Tobias Schlueter  <tobi@gcc.gnu.org>
1067
1068         PR fortran/38507
1069         * gfortran.h (gfc_st_label): Fix comment.
1070         (gfc_exec_op): Add statement code EXEC_END_BLOCK for end of block.
1071         * parse.c (accept_statement): Use EXEC_END_BLOCK for END IF and
1072         END SELECT with labels.
1073         (check_do_closure): Fix formatting.
1074         (parse_do_block): Fix typo in error message.
1075         * resolve.c (code_stack): Remove tail member.  Update comment to
1076         new use of reachable_labels.
1077         (reachable_labels): Rename to ...
1078         (find_reachable_labels): ... this.  Overhaul.  Update preceding
1079         comment.
1080         (resolve_branch): Fix comment preceding function.  Rewrite.
1081         (resolve_code): Update call to find_reachable_labels.  Add code to
1082         deal with EXEC_END_BLOCK.
1083         * st.c (gfc_free_statement): Add code to deal with EXEC_END_BLOCK.
1084         Add 2009 to copyright years.
1085         * trans.c (gfc_trans_code): Likewise on both counts.
1086
1087 2009-03-31  Paul Thomas  <pault@gcc.gnu.org>
1088
1089         PR fortran/38917
1090         * expr.c (gfc_check_assign): Allow pointer components when
1091         checking for NULL.
1092
1093         PR fortran/38918
1094         * resolve.c (check_data_variable): Treat pointer arrays with
1095         scalars.
1096
1097 2009-03-31  Paul Thomas  <pault@gcc.gnu.org>
1098
1099         PR fortran/38915
1100         * trans-expr.c (gfc_trans_assignment_1): Ensure temporaries
1101         have a string_length.
1102
1103 2009-03-28  Tobias Burnus  <burnus@net-b.de>
1104
1105         PR fortran/34656
1106         * trans-stmt.c (gfc_trans_simple_do, gfc_trans_do):
1107         Add GFC_RTCHECK_DO support.
1108         * option.c (gfc_handle_runtime_check_option): Enable GFC_RTCHECK_DO.
1109         * invoke.texi (-fcheck): Document "do" option.
1110
1111 2009-03-28  Paul Thomas  <pault@gcc.gnu.org>
1112
1113         PR fortran/38538
1114         * trans-array.c (get_elemental_fcn_charlen): Remove.
1115         (get_array_charlen): New function to replace previous.
1116
1117 2009-03-28  Paul Thomas  <pault@gcc.gnu.org>
1118
1119         PR fortran/38765
1120         * parse.c (parse_derived): Do not break on finding pointer,
1121         allocatable or private components.
1122
1123 2009-03-28  Tobias Burnus  <burnus@net-b.de>
1124
1125         PR fortran/32626
1126         * option.c (gfc_handle_runtime_check_option): Enable recursion check.
1127         * trans-decl.c (gfc_generate_function_code): Add recursion check.
1128         * invoke.texi (-fcheck): Add recursive option.
1129
1130 2009-03-28  Tobias Burnus  <burnus@net-b.de>
1131
1132         PR fortran/38432
1133         * resolve.c (gfc_resolve_iterator): Add zero-loop warning.
1134
1135 2009-03-28  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
1136             Paul Thomas  <pault@gcc.gnu.org>
1137             Tobias Burnus  <burnus@net-b.de>
1138
1139         * gfortran.h (gfc_option_t): Add rtcheck.
1140         * lang.opt: New option -fcheck.
1141         * libgfortran.h: Add GFC_RTCHECK_* constants.
1142         * invoke.texi: Document -fcheck.
1143         * options.c (gfc_handle_runtime_check_option): New function.
1144         (gfc_init_options,gfc_post_options,gfc_handle_option):
1145         Add -fcheck option.
1146
1147 2009-03-27  Richard Guenther  <rguenther@suse.de>
1148
1149         * trans-array.c (gfc_conv_descriptor_data_addr): Use
1150         gfc_build_addr_expr instead of build_fold_addr_expr.
1151         (gfc_trans_allocate_array_storage, gfc_trans_array_constructor_value,
1152         gfc_trans_constant_array_constructor, gfc_conv_array_data,
1153         gfc_conv_expr_descriptor, gfc_conv_array_parameter): Likewise.
1154         * trans-expr.c (gfc_conv_missing_dummy, gfc_conv_variable,
1155         gfc_conv_function_val, gfc_conv_operator_assign,
1156         gfc_conv_subref_array_arg, gfc_conv_function_call,
1157         gfc_conv_expr_reference, gfc_trans_scalar_assign): Likewise.
1158         * trans-intrinsic.c (gfc_conv_intrinsic_exponent,
1159         gfc_conv_intrinsic_ctime, gfc_conv_intrinsic_fdate,
1160         gfc_conv_intrinsic_ttynam, gfc_conv_intrinsic_minmax_char,
1161         gfc_conv_intrinsic_fraction, gfc_conv_intrinsic_spacing,
1162         gfc_conv_intrinsic_rrspacing, gfc_conv_intrinsic_set_exponent,
1163         gfc_conv_intrinsic_array_transfer, gfc_conv_intrinsic_transfer,
1164         gfc_conv_intrinsic_si_kind, gfc_conv_intrinsic_trim): Likewise.
1165         * trans-io.c (gfc_trans_io_runtime_check, set_parameter_ref,
1166         gfc_convert_array_to_string, gfc_trans_open, gfc_trans_close,
1167         build_filepos, gfc_trans_inquire, gfc_trans_wait,
1168         nml_get_addr_expr, transfer_namelist_element, build_dt,
1169         gfc_trans_dt_end, transfer_array_component, transfer_expr,
1170         transfer_array_desc, gfc_trans_transfer): Likewise.
1171         * trans-stmt.c (gfc_trans_allocate, gfc_trans_deallocate): Likewise.
1172         * trans.c (gfc_build_addr_expr): Mark the base of the address
1173         TREE_ADDRESSABLE.
1174
1175 2009-03-27  Tobias Burnus  <burnus@net-b.de>
1176
1177         * gfortran.h (enum init_local_real.): Add GFC_INIT_REAL_SNAN.
1178         (gfc_expr): Add is_snan.
1179         * trans-const.c (gfc_conv_mpfr_to_tree): Support SNaN.
1180         (gfc_conv_constant_to_tree): Update call to gfc_conv_mpfr_to_tree.
1181         * trans-const.h (gfc_conv_mpfr_to_tree): Update prototype.
1182         * resolve.c (build_default_init_expr): Update call.
1183         * target-memory.c (encode_float): Ditto.
1184         * trans-intrinsic.c (gfc_conv_intrinsic_aint,gfc_conv_intrinsic_mod,
1185
1186 2009-03-18  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
1187
1188         * lang.opt: Unify help texts for -I, -Wconversion, -d, -fopenmp,
1189         and -fpreprocessed.
1190
1191 2009-03-06  Alexandre Oliva <aoliva@redhat.com>
1192
1193         * simplify.c (gfc_simplify_transfer): Zero-initialize the
1194         buffer.
1195
1196 2009-02-27  Tobias Burnus  <burnus@net-b.de>
1197
1198         PR fortran/39309
1199         * module.c (read_md5_from_module_file): Add missing quote.
1200
1201 2009-02-27  Tobias Burnus  <burnus@net-b.de>
1202
1203         PR fortran/39309
1204         * module.c (read_md5_from_module_file): Include mod version
1205         in had-changed test.
1206
1207 2009-02-26  Paul Thomas  <pault@gcc.gnu.org>
1208
1209         PR fortran/39295
1210         * interface.c (compare_type_rank_if): Return 1 if the symbols
1211         are the same and deal with external procedures where one is
1212         identified to be a function or subroutine by usage but the
1213         other is not.
1214
1215 2009-02-26  Paul Thomas  <pault@gcc.gnu.org>
1216
1217         PR fortran/39292
1218         * trans-array.c (gfc_conv_array_initializer): Convert all
1219         expressions rather than ICEing.
1220
1221 2009-02-21  Thomas Koenig  <tkoenig@gcc.gnu.org>
1222
1223         PR fortran/38914
1224         * array.c (ref_dimen_size):  Rename to gfc_ref_dimen_size,
1225         make global.  Change function name in error messages.
1226         (ref_size):  Change ref_dimen_size to gfc_ref_dimen_size.
1227         (gfc_array_ref_shape):  Likewise.
1228         * gfortran.h:  Add prototype for gfc_ref_dimen_size.
1229         * simplify.c (simplify_bound_dim):  Add ref argument.
1230         If the reference isn't a full array, return one for
1231         the lower bound and the extent for the upper bound.
1232         (simplify_bound):  For array sections, take as from the
1233         argument.  Add reference to all to simplify_bound_dim.
1234
1235 2009-02-19  Daniel Franke  <franke.daniel@gmail.com>
1236
1237         * scanner.c (load_line): At end of line, skip '\r' without setting
1238         the truncation flag.
1239
1240 2009-02-18  Daniel Kraft  <d@domob.eu>
1241
1242         * gfortran.texi: New chapter about compiler characteristics.
1243         (Compiler Characteristics): Document KIND type parameters here.
1244
1245 2009-02-18  Tobias Burnus  <burnus@net-b.de>
1246
1247         * intrinsic.texi (MALLOC): Make example more portable.
1248
1249 2009-02-13  Mikael Morin  <mikael.morin@tele2.fr>
1250
1251         PR fortran/38259
1252         * module.c (gfc_dump_module,gfc_use_module): Add module
1253         version number.
1254
1255 2009-02-13  Paul Thomas  <pault@gcc.gnu.org>
1256
1257         PR fortran/36703
1258         PR fortran/36528
1259         * trans-expr.c (gfc_conv_function_val): Stabilize Cray-pointer
1260         function references to ensure that a valid expression is used.
1261         (gfc_conv_function_call): Pass Cray pointers to procedures.
1262
1263 2009-02-03  Jakub Jelinek  <jakub@redhat.com>
1264
1265         * gfortranspec.c (lang_specific_driver): Update copyright notice
1266         dates.
1267
1268 2009-01-28  Paul Thomas  <pault@gcc.gnu.org>
1269
1270         PR fortran/38852
1271         PR fortran/39006
1272         * trans-intrinsic.c (gfc_conv_intrinsic_bound): Use the array
1273         descriptor ubound for UBOUND, when the array lbound == 1.
1274
1275 2009-01-27  Daniel Kraft  <d@domob.eu>
1276
1277         PR fortran/38883
1278         * trans-stmt.c (gfc_conv_elemental_dependencies):  Create temporary
1279         for the real type needed to make it work for subcomponent-references.
1280
1281 2009-01-21  Daniel Kraft  <d@domob.eu>
1282
1283         * trans-stmt.c (gfc_conv_elemental_dependencies):  Cleaned up comment.
1284
1285 2009-01-20  Paul Thomas  <pault@gcc.gnu.org>
1286
1287         PR fortran/38907
1288         * resolve.c (check_host_association): Remove the matching to
1289         correct an incorrect host association and use manipulation of
1290         the expression instead.
1291
1292 2009-01-20  Tobias Burnus  <burnus@net-b.de>
1293
1294         * invoke.texi (RANGE): RANGE also takes INTEGER arguments.
1295
1296 2009-01-19  Mikael Morin  <mikael.morin@tele2.fr>
1297
1298         PR fortran/38859
1299         * simplify.c (simplify_bound): Don't use array specification
1300         if variable or component has subsequent references.
1301
1302 2009-01-17  Paul Thomas  <pault@gcc.gnu.org>
1303
1304         PR fortran/38657
1305         * module.c (write_common_0): Add argument 'this_module' and
1306         check that non-use associated common blocks are written first.
1307         (write_common): Call write_common_0 twice, once with true and
1308         then with false.
1309
1310 2009-01-17  Paul Thomas  <pault@gcc.gnu.org>
1311
1312         PR fortran/34955
1313         * trans-intrinsic.c (gfc_conv_intrinsic_array_transfer): Has
1314         been absorbed into gfc_conv_intrinsic_transfer. All
1315         references to it in trans-intrinsic.c have been changed
1316         accordingly.  PR fixed by using a temporary for scalar
1317         character transfer, when the source is shorter than the
1318         destination.
1319
1320 2009-01-17  Paul Thomas  <pault@gcc.gnu.org>
1321
1322         PR fortran/38657
1323         * module.c (write_common_0): Revert patch of 2009-01-05.
1324
1325 2009-01-16  Janus Weil  <janus@gcc.gnu.org>
1326
1327         PR fortran/38152
1328         * expr.c (gfc_check_pointer_assign): Allow use-associated procedure
1329         pointers as lvalue.
1330         * trans-decl.c (get_proc_pointer_decl,gfc_create_module_variable):
1331         Enable procedure pointers as module variables.
1332
1333 2009-01-14  Steven G. Kargl  <kargl@gcc.gnu.org>
1334
1335         * ChangeLog-2007: Clean out svn merge droppings.
1336
1337 2009-01-10  Paul Thomas  <pault@gcc.gnu.org>
1338
1339         PR fortran/38763
1340         * target-memory.c (encode_derived): Encode NULL.
1341
1342 2009-01-10  Paul Thomas  <pault@gcc.gnu.org>
1343
1344         PR fortran/38765
1345         * resolve.c (check_host_association): Use the symtree name to
1346         search for a potential contained procedure, since this is the
1347         name by which it would be referenced.
1348
1349 2009-01-06  Thomas Koenig  <tkoenig@gcc.gnu.org>
1350
1351         PR fortran/38220
1352         * interface.c (gfc_procedure_use):  Don't warn about functions
1353         from ISO_C_BINDING.
1354         * symbol.c (generate_isocbinding_symbol):  Mark c_loc and
1355         c_funloc as pure.
1356
1357 2009-01-05  Paul Thomas  <pault@gcc.gnu.org>
1358
1359         PR fortran/38657
1360         * module.c (write_common_0): Use the name of the symtree rather
1361         than the common block, to determine if the common has been
1362         written.
1363
1364 2009-01-05  Daniel Franke  <franke.daniel@gmail.com>
1365
1366         PR fortran/37159
1367         * check.c (gfc_check_random_seed): Added size check for GET
1368         dummy argument, reworded error messages to follow common pattern.
1369
1370 2009-01-05  Thomas Koenig  <tkoenig@gcc.gnu.org>
1371
1372         PR fortran/38672
1373         * trans-types.c (gfc_get_derived_type):  Check for the
1374         presence of derived->ns->proc_name before
1375         accessing derived->ns->proc_name->attr.flavor .
1376         * resolve.c (resolve_symbol):  Likewise.
1377
1378 2009-01-05  Paul Thomas  <pault@gcc.gnu.org>
1379
1380         PR fortran/38665
1381         * gfortran.h : Add bit to gfc_expr 'user_operator'
1382         * interface.c (gfc_extend_expr): Set the above if the operator
1383         is substituted by a function. 
1384         * resolve.c (check_host_association): Return if above is set.
1385
1386 2009-01-04  Mikael Morin  <mikael.morin@tele2.fr>
1387
1388         PR fortran/35681
1389         * ChangeLog-2008: Fix function name.
1390
1391         PR fortran/38487
1392         * dependency.c (gfc_check_argument_var_dependency):
1393         Move the check for pointerness inside the if block
1394         so that it doesn't affect the return value.
1395
1396         PR fortran/38669
1397         * trans-stmt.c (gfc_trans_call):
1398         Add the dependency code after the loop bounds calculation one.
1399
1400 2009-01-04  Daniel Franke  <franke.daniel@gmail.com>
1401
1402         * intrinsic.c (do_simplify): Removed already implemented TODO.
1403
1404 2009-01-04  Daniel Franke  <franke.daniel@gmail.com>
1405
1406         PR fortran/38718
1407         * simplify.c (gfc_simplify_merge): New.
1408         * intrinsic.h (gfc_simplify_merge): New prototype.
1409         * intrinsic.c (add_functions): Added simplification for MERGE.
1410
1411 2009-01-04  Mikael Morin  <mikael.morin@tele2.fr>
1412
1413         PR fortran/38536
1414         * gfortran.h (gfc_is_data_pointer): Added prototype
1415         * resolve.c (gfc_iso_c_func_interface):
1416         Use gfc_is_data_pointer to test for pointer attribute.
1417         * dependency.c (gfc_is_data_pointer):
1418         Support pointer-returning functions.
1419
1420 2009-01-03  Daniel Franke  <franke.daniel@gmail.com>
1421
1422         * symbol.c (save_symbol): Don't SAVE function results.
1423
1424 2009-01-03  Paul Thomas  <pault@gcc.gnu.org>
1425
1426         PR fortran/38594
1427         * resolve.c (resolve_call): When searching for proper host
1428         association, use symtree rather than symbol.  For everything
1429         except generic subroutines, substitute the symtree in the call
1430         rather than the symbol.
1431
1432 \f
1433 Copyright (C) 2009 Free Software Foundation, Inc.
1434
1435 Copying and distribution of this file, with or without modification,
1436 are permitted in any medium without royalty provided the copyright
1437 notice and this notice are preserved.