re PR c/40435 (Revision 148442 caused many regressions on trunk)
[gcc.git] / gcc / fortran / ChangeLog
1 2009-07-17 Aldy Hernandez <aldyh@redhat.com>
2 Manuel López-Ibáñez <manu@gcc.gnu.org>
3
4 PR 40435
5 * trans-expr.c, trans-array.c, trans-openmp.c, trans-stmt.c,
6 trans.c, trans-io.c, trans-decl.c, trans-intrinsic.c: Add location
7 argument to fold_{unary,binary,ternary}, fold_build[123],
8 build_call_expr, build_size_arg, build_fold_addr_expr,
9 build_call_array, non_lvalue, size_diffop,
10 fold_build1_initializer, fold_build2_initializer,
11 fold_build3_initializer, fold_build_call_array,
12 fold_build_call_array_initializer, fold_single_bit_test,
13 omit_one_operand, omit_two_operands, invert_truthvalue,
14 fold_truth_not_expr, build_fold_indirect_ref, fold_indirect_ref,
15 combine_comparisons, fold_builtin_*, fold_call_expr,
16 build_range_check, maybe_fold_offset_to_address, round_up,
17 round_down.
18
19 2009-07-15 Janus Weil <janus@gcc.gnu.org>
20
21 PR fortran/40743
22 * resolve.c (resolve_symbol): Don't resolve the formal namespace of a
23 contained procedure.
24
25 2009-07-14 Taras Glek <tglek@mozilla.com>
26 Rafael Espindola <espindola@google.com>
27
28 * Make-lang.in (fortran.install-plugin): New target for
29 installing plugin headers.
30
31 2009-07-13 H.J. Lu <hongjiu.lu@intel.com>
32
33 * module.c (mio_symbol): Remove the unused variable, formal.
34
35 2009-07-13 Janus Weil <janus@gcc.gnu.org>
36
37 PR fortran/40646
38 * module.c (mio_symbol): If the symbol has formal arguments,
39 the formal namespace will be present.
40 * resolve.c (resolve_actual_arglist): Correctly handle 'called'
41 procedure pointer components as actual arguments.
42 (resolve_fl_derived,resolve_symbol): Make sure the formal namespace
43 is present.
44 * trans-expr.c (gfc_conv_procedure_call): Correctly handle the formal
45 arguments of procedure pointer components.
46
47 2009-07-12 Tobias Burnus <burnus@net-b.de>
48 Philippe Marguinaud <philippe.marguinaud@meteo.fr>
49
50 PR fortran/40588
51 * primary.c (match_charkind_name): Fix condition for $ matching.
52
53 PR libfortran/22423
54 * libgfortran.h: Typedef the GFC_DTYPE_* enum.
55
56 2009-07-11 Tobias Burnus <burnus@net-b.de>
57
58 PR fortran/33197
59 * check.c (gfc_check_fn_rc2008): New function.
60 * intrinsic.h (gfc_check_fn_rc2008): New prototype.
61 * intrinsic.c (add_functions): Add complex tan, cosh, sinh,
62 and tanh.
63
64 2009-07-10 Paul Thomas <pault@gcc.gnu.org>
65
66 PR fortran/39334
67 * primary.c (match_kind_param): Return MATCH_NO if the symbol
68 has no value.
69
70 2008-07-09 Paul Thomas <pault@gcc.gnu.org>
71
72 PR fortran/40629
73 * resolve.c (check_host_association): Use the existing
74 accessible symtree and treat function expressions with
75 symbols that have procedure flavor.
76
77 2009-07-09 Janus Weil <janus@gcc.gnu.org>
78
79 PR fortran/40646
80 * dump-parse-tree.c (show_expr): Renamed 'is_proc_ptr_comp'.
81 * expr.c (is_proc_ptr_comp): Renamed to 'gfc_is_proc_ptr_comp'.
82 (gfc_check_pointer_assign): Renamed 'is_proc_ptr_comp'.
83 (replace_comp,gfc_expr_replace_comp): New functions, analogous
84 to 'replace_symbol' and 'gfc_expr_replace_symbol', just with components
85 instead of symbols.
86 * gfortran.h (gfc_expr_replace_comp): New prototype.
87 (is_proc_ptr_comp): Renamed to 'gfc_is_proc_ptr_comp'.
88 * interface.c (compare_actual_formal): Renamed 'is_proc_ptr_comp'.
89 * match.c (gfc_match_pointer_assignment): Ditto.
90 * primary.c (gfc_match_varspec): Handle array-valued procedure pointers
91 and procedure pointer components. Renamed 'is_proc_ptr_comp'.
92 * resolve.c (resolve_fl_derived): Correctly handle interfaces with
93 RESULT statement, and handle array-valued procedure pointer components.
94 (resolve_actual_arglist,resolve_ppc_call,resolve_expr_ppc): Renamed
95 'is_proc_ptr_comp'.
96 * trans-array.c (gfc_walk_function_expr): Ditto.
97 * trans-decl.c (gfc_get_symbol_decl): Security check for presence of
98 ns->proc_name.
99 * trans-expr.c (gfc_conv_procedure_call): Handle array-valued procedure
100 pointer components. Renamed 'is_proc_ptr_comp'.
101 (conv_function_val,gfc_trans_arrayfunc_assign): Renamed
102 'is_proc_ptr_comp'.
103 (gfc_get_proc_ptr_comp): Do not modify the argument 'e', but instead
104 make a copy of it.
105 * trans-io.c (gfc_trans_transfer): Handle array-valued procedure
106 pointer components.
107
108 2009-07-09 Tobias Burnus <burnus@net-b.de>
109
110 PR fortran/40604
111 * intrinsic.c (gfc_convert_type_warn): Set sym->result.
112 * trans-expr.c (gfc_conv_procedure_call): Fix -fcheck=pointer
113 for optional arguments.
114
115 2009-07-08 Tobias Burnus <burnus@net-b.de>
116
117 PR fortran/40675
118 * simplify.c (gfc_simplify_sign): Handle signed zero correctly.
119 * trans-intrinsic.c (gfc_conv_intrinsic_sign): Support
120 -fno-sign-zero.
121 * invoke.texi (-fno-sign-zero): Add text regarding SIGN intrinsic.
122
123 2008-07-08 Paul Thomas <pault@gcc.gnu.org>
124
125 PR fortran/40591
126 * decl.c (match_procedure_interface): Correct the association
127 or creation of the interface procedure's symbol.
128
129 2009-07-04 Jakub Jelinek <jakub@redhat.com>
130
131 * trans-intrinsic.c (gfc_conv_intrinsic_minmaxloc): For integer
132 maxloc initialize limit to -huge-1 rather than just -huge.
133
134 2009-07-04 Janus Weil <janus@gcc.gnu.org>
135
136 PR fortran/40593
137 * interface.c (compare_actual_formal): Take care of proc-pointer-valued
138 functions as actual arguments.
139 * trans-expr.c (gfc_conv_procedure_call): Ditto.
140 * resolve.c (resolve_specific_f0): Use the correct ts.
141
142 2009-07-02 Michael Matz <matz@suse.de>
143
144 PR fortran/32131
145 * trans-array.c (gfc_conv_descriptor_stride_get): Return
146 constant one for strides in the first dimension of ALLOCATABLE
147 arrays.
148
149 2009-06-30 Janus Weil <janus@gcc.gnu.org>
150
151 PR fortran/40594
152 * trans-types.c (gfc_get_derived_type): Bugfix, reverting one hunk from
153 r147206.
154
155 2009-06-29 Tobias Burnus <burnus@net-b.de>
156
157 PR fortran/40580
158 * trans-expr.c (gfc_conv_procedure_call): Add -fcheck=pointer check.
159 * libgfortran.h: Add GFC_RTCHECK_POINTER.
160 * invoke.texi (-fcheck): Document new pointer option.
161 * options.c (gfc_handle_runtime_check_option): Handle pointer option.
162
163 * gfortran.texi (C Binding): Improve wording.
164 * iso-c-binding.def: Remove obsolete comment.
165
166 2009-06-29 Paul Thomas <pault@gcc.gnu.org>
167
168 PR fortran/40551
169 * dependency.h : Add second bool* argument to prototype of
170 gfc_full_array_ref_p.
171 * dependency.c (gfc_full_array_ref_p): If second argument is
172 present, return true if last dimension of reference is an
173 element or has unity stride.
174 * trans-array.c : Add NULL second argument to references to
175 gfc_full_array_ref_p.
176 * trans-expr.c : The same, except for;
177 (gfc_trans_arrayfunc_assign): Return fail if lhs reference
178 is not a full array or a contiguous section.
179
180 2009-06-28 Tobias Burnus <burnus@net-b.de>
181 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
182
183 PR fortran/34112
184 * symbol.c (gfc_add_ext_attribute): New function.
185 (gfc_get_sym_tree): New argument allow_subroutine.
186 (gfc_get_symbol,gfc_get_ha_sym_tree,gen_cptr_param,gen_fptr_param
187 gen_shape_param,generate_isocbinding_symbol): Use it.
188 * decl.c (find_special): New argument allow_subroutine.
189 (add_init_expr_to_sym,add_hidden_procptr_result,attr_decl1,
190 match_procedure_in_type,gfc_match_final_decl): Use it.
191 (gfc_match_gcc_attributes): New function.
192 * gfortran.texi (Mixed-Language Programming): New section
193 "GNU Fortran Compiler Directives".
194 * gfortran.h (ext_attr_t): New struct.
195 (symbol_attributes): Use it.
196 (gfc_add_ext_attribute): New prototype.
197 (gfc_get_sym_tree): Update pototype.
198 * expr.c (gfc_check_pointer_assign): Check whether call
199 convention is the same.
200 * module.c (import_iso_c_binding_module, create_int_parameter,
201 use_iso_fortran_env_module): Update gfc_get_sym_tree call.
202 * scanner.c (skip_gcc_attribute): New function.
203 (skip_free_comments,skip_fixed_comments): Use it.
204 (gfc_next_char_literal): Support !GCC$ lines.
205 * resolve.c (check_host_association): Update
206 gfc_get_sym_tree call.
207 * match.c (gfc_match_sym_tree,gfc_match_call): Update
208 gfc_get_sym_tree call.
209 * trans-decl.c (add_attributes_to_decl): New function.
210 (gfc_get_symbol_decl,get_proc_pointer_decl,
211 gfc_get_extern_function_decl,build_function_decl: Use it.
212 * match.h (gfc_match_gcc_attributes): Add prototype.
213 * parse.c (decode_gcc_attribute): New function.
214 (next_free,next_fixed): Support !GCC$ lines.
215 * primary.c (match_actual_arg,check_for_implicit_index,
216 gfc_match_rvalue,gfc_match_rvalue): Update
217 gfc_get_sym_tree call.
218
219 2009-06-28 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
220
221 * gfortran.h: Define HAVE_mpc_pow.
222 * arith.c (complex_reciprocal, complex_pow): If HAVE_mpc_pow,
223 don't define these functions.
224 (arith_power): If HAVE_mpc_pow, use mpc_pow.
225
226 2009-06-26 Janus Weil <janus@gcc.gnu.org>
227
228 PR fortran/39997
229 PR fortran/40541
230 * decl.c (add_hidden_procptr_result): Copy the typespec to the hidden
231 result.
232 * expr.c (gfc_check_pointer_assign): Enable interface check for
233 procedure pointer assignments where the rhs is a function returning a
234 procedure pointer.
235 * resolve.c (resolve_symbol): If an external procedure with unspecified
236 return type can not be implicitly typed, it must be a subroutine.
237
238 2009-06-24 Janus Weil <janus@gcc.gnu.org>
239
240 PR fortran/40427
241 * gfortran.h (gfc_component): New member 'formal_ns'.
242 (gfc_copy_formal_args_ppc,void gfc_ppc_use): New.
243 * interface.c (gfc_ppc_use): New function, analogous to
244 gfc_procedure_use, but for procedure pointer components.
245 * module.c (MOD_VERSION): Bump module version.
246 (mio_component): Treat formal arguments.
247 (mio_formal_arglist): Changed argument from gfc_symbol to
248 gfc_formal_arglist.
249 (mio_symbol): Changed argument of mio_formal_arglist.
250 * resolve.c (resolve_ppc_call,resolve_expr_ppc): Call gfc_ppc_use,
251 to check actual arguments and treat formal args correctly.
252 (resolve_fl_derived): Copy formal args of procedure pointer components
253 from their interface.
254 * symbol.c (gfc_copy_formal_args_ppc): New function, analogous to
255 gfc_copy_formal_args, but for procedure pointer components.
256
257 2009-06-22 Janus Weil <janus@gcc.gnu.org>
258
259 PR fortran/37254
260 PR fortran/39850
261 * interface.c (compare_parameter): Set implicit type for function
262 actual arguments with BT_UNKNOWN.
263
264 2009-06-22 Tobias Burnus <burnus@net-b.de>
265
266 PR fortran/40472
267 PR fortran/50520
268 * simplify.c (gfc_simplify_spread): Fix the case that source=
269 is a scalar.
270
271 2009-06-22 Paul Thomas <pault@gcc.gnu.org>
272
273 PR fortran/40443
274 * interface.c (gfc_search_interface): Hold back a match to an
275 elementary procedure until all other possibilities are
276 exhausted.
277
278 2009-06-22 Paul Thomas <pault@gcc.gnu.org>
279
280 PR fortran/40472
281 * simplify.c (gfc_simplify_spread): Restrict the result size to
282 the limit for an array constructor.
283
284 2009-06-21 Janus Weil <janus@gcc.gnu.org>
285
286 PR fortran/39850
287 * interface.c (gfc_compare_interfaces): Take care of implicit typing
288 when checking the function attribute. Plus another bugfix.
289 (compare_parameter): Set attr.function and attr.subroutine according
290 to the usage of a procedure as actual argument.
291
292 2009-06-20 Tobias Burnus <burnus@net-b.de>
293
294 PR fortran/40452
295 * trans-decl.c (add_argument_checking): Disable bounds check
296 for allowed argument storage association.
297
298 2009-06-19 Paul Thomas <pault@gcc.gnu.org>
299
300 PR fortran/40440
301 * trans-expr.c (gfc_conv_procedure_call): Do not deallocate
302 allocatable components if the argument is a pointer.
303
304 2009-06-19 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
305
306 * gfortran.h (gfc_expr): Use mpc_t to represent complex numbers.
307
308 * arith.c, dump-parse-tree.c, expr.c, module.c, resolve.c,
309 simplify.c, target-memory.c, target-memory.h, trans-const.c,
310 trans-expr.c: Convert to mpc_t throughout.
311
312 2009-06-19 Ian Lance Taylor <iant@google.com>
313
314 * cpp.c (struct gfc_cpp_option_data): Give this struct, used for
315 the global variable gfc_cpp_option, a name.
316
317 2009-06-19 Janus Weil <janus@gcc.gnu.org>
318
319 PR fortran/40450
320 * trans-expr.c (gfc_conv_procedure_call): Only add an extra addr_expr
321 to a procedure pointer actual argument, if it is not itself a
322 dummy arg.
323
324 2009-06-18 Janus Weil <janus@gcc.gnu.org>
325
326 PR fortran/40451
327 * resolve.c (resolve_contained_fntype): Prevent implicit typing for
328 procedures with explicit interface.
329 * symbol.c (gfc_check_function_type): Ditto.
330
331 2009-06-16 Ian Lance Taylor <iant@google.com>
332
333 * decl.c (build_struct): Rewrite loop over constructor elements.
334
335 2009-06-16 Janus Weil <janus@gcc.gnu.org>
336
337 PR fortran/36947
338 PR fortran/40039
339 * expr.c (gfc_check_pointer_assign): Call 'gfc_compare_interfaces' with
340 error message.
341 * gfortran.h (gfc_compare_interfaces): Additional argument.
342 * interface.c (operator_correspondence): Removed.
343 (gfc_compare_interfaces): Additional argument to return error message.
344 Directly use the code from 'operator_correspondence' instead of calling
345 the function. Check for OPTIONAL. Some rearrangements.
346 (check_interface1): Call 'gfc_compare_interfaces' without error message.
347 (compare_parameter): Call 'gfc_compare_interfaces' with error message.
348 * resolve.c (check_generic_tbp_ambiguity): Call 'gfc_compare_interfaces'
349 without error message.
350
351 2009-06-16 Tobias Burnus <burnus@net-b.de>
352
353 PR fortran/40383
354 * trans-decl.c (create_function_arglist): Copy formal charlist to
355 have a proper passed_length for -fcheck=bounds.
356
357 2009-06-12 Steven G. Kargl <kargls@comcast.net>
358
359 * arith.c (gfc_enum_initializer): Move function ...
360 * decl.c: ... here. Remove gfc_ prefix and make static.
361 (enumerator_decl): Update function call.
362 * gfortran.h: Remove gfc_enum_initializer prototype.
363
364 2009-06-12 Aldy Hernandez <aldyh@redhat.com>
365
366 * trans-array.c (gfc_trans_allocate_array_storage): Pass
367 location on down.
368 (gfc_trans_array_constructor_value): Same.
369 (gfc_trans_scalarized_loop_end): Same.
370 (gfc_conv_ss_startstride): Same.
371 (gfc_trans_g77_array): Same.
372 (gfc_trans_dummy_array_bias): Same.
373 (gfc_conv_array_parameter): Same.
374 (structure_alloc_comps): Same.
375 * trans-expr.c (gfc_conv_function_call): Same.
376 (fill_with_spaces): Same.
377 (gfc_trans_string_copy): Same.
378 (gfc_trans_scalar_assign): Same.
379 * trans-stmt.c (gfc_trans_goto): Same.
380 (gfc_trans_if_1): Same.
381 (gfc_trans_simple_do): Same.
382 (gfc_trans_do): Same.
383 (gfc_trans_do_while): Same.
384 (gfc_trans_logical_select): Same.
385 (gfc_trans_select): Same.
386 (gfc_trans_forall_loop): Same.
387 (gfc_trans_nested_forall_loop): Same.
388 (generate_loop_for_temp_to_lhs): Same.
389 (generate_loop_for_rhs_to_temp): Same.
390 (gfc_trans_forall_1): Same.
391 (gfc_trans_where_assign): Same.
392 (gfc_trans_where_3): Same.
393 (gfc_trans_allocate): Same.
394 * trans.c (gfc_finish_block): Same.
395 (gfc_trans_runtime_check): Same.
396 (gfc_call_malloc): Same.
397 (gfc_allocate_with_status): Same.
398 (gfc_call_free): Same.
399 (gfc_deallocate_with_status): Same.
400 (gfc_call_realloc): Same.
401 (gfc_trans_code): Same.
402 * trans-decl.c (gfc_init_default_dt): Same.
403 (gfc_generate_constructors): Same.
404 * trans-io.c (gfc_trans_io_runtime_check): Same.
405 * trans-intrinsic.c (gfc_conv_intrinsic_ctime): Same.
406 (gfc_conv_intrinsic_fdate): Same.
407 (gfc_conv_intrinsic_ttynam): Same.
408 (gfc_conv_intrinsic_minmax): Same.
409 (gfc_conv_intrinsic_minmax_char): Same.
410 (gfc_conv_intrinsic_anyall): Same.
411 (gfc_conv_intrinsic_count): Same.
412 (gfc_conv_intrinsic_arith): Same.
413 (gfc_conv_intrinsic_minmaxloc): Same.
414 (gfc_conv_intrinsic_minmaxval): Same.
415 (gfc_conv_intrinsic_rrspacing): Same.
416 (gfc_conv_intrinsic_array_transfer): Same.
417 (gfc_conv_intrinsic_trim): Same.
418 (gfc_conv_intrinsic_repeat): Same.
419
420 2009-06-12 Janus Weil <janus@gcc.gnu.org>
421
422 PR fortran/40176
423 * resolve.c (resolve_symbol): Additional error check, preventing an
424 infinite loop.
425
426 2009-06-11 Paul Thomas <pault@gcc.gnu.org>
427
428 PR fortran/40402
429 * resolve.c (next_data_value): It is an error if the value is
430 not constant.
431
432 2009-06-11 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
433
434 PR fortran/38718
435 * intrinsic.c (add_functions): Add simplifiers for ISNAN,
436 IS_IOSTAT_END and IS_IOSTAT_EOR.
437 * intrinsic.h (gfc_simplify_is_iostat_end, gfc_simplify_is_iostat_eor,
438 gfc_simplify_isnan): New prototypes.
439 * intrinsic.c (gfc_simplify_is_iostat_end, gfc_simplify_is_iostat_eor,
440 gfc_simplify_isnan): New functions.
441
442 2009-06-11 Jakub Jelinek <jakub@redhat.com>
443
444 * interface.c (fold_unary): Rename to...
445 (fold_unary_intrinsic): ... this.
446 (gfc_extend_expr): Adjust caller.
447 (gfc_match_generic_spec): Likewise. Initialize *op to INTRINSIC_NONE
448 to avoid warnings.
449 * expr.c (gfc_simplify_expr): Initialize start and end before calling
450 gfc_extract_int.
451
452 2009-06-10 Dave Korn <dave.korn.cygwin@gmail.com>
453
454 * trans-decl.c (create_main_function): Don't build main decl twice.
455
456 2009-06-09 Tobias Burnus <burnus@net-b.de>
457
458 * trans-decl.c (gfc_generate_function_code): Use gfc_option.rtcheck
459 instead of flag_bounds_check.
460 * intrinsic.texi (ISO_FORTRAN_ENV): Document INT{8,16,32,64} and
461 REAL{32,64,128}.
462
463 2009-06-08 Paul Thomas <pault@gcc.gnu.org>
464
465 * trans-array.h : Replace prototypes for
466 gfc_conv_descriptor_offset, gfc_conv_descriptor_stride,
467 gfc_conv_descriptor_lbound, gfc_conv_descriptor_ubound with new
468 prototypes of the same names with _get or _set appended.
469 * trans-array.c : Make the originals of the above static and
470 new functions for the _get and _set functions. Update all the
471 references to these descriptor access functions.
472 * trans-expr.c : Update references to the above descriptor
473 access functions.
474 * trans-intrinsic.c : The same.
475 * trans-openmp.c : The same.
476 * trans-stmt.c : The same.
477
478 2009-06-08 Alexandre Oliva <aoliva@redhat.com>
479
480 * options.c (gfc_post_options): Disable dump_parse_tree
481 during -fcompare-debug-second.
482
483 2009-06-07 Jerry DeLisle <jvdelisle@gcc.gnu.org>
484
485 PR fortran/40008
486 * gfortran.h (gfc_open): Add newunit expression to structure.
487 * io.c (io_tag): Add new unit tag and fix whitespace.
488 (match_open_element): Add matching for newunit.
489 (gfc_free_open): Free the newunit expression.
490 (gfc_resolve_open): Add newunit to resolution and check constraints.
491 (gfc_resolve_close): Add check for non-negative unit.
492 (gfc_resolve_filepos): Likewise.
493 (gfc_resolve_dt): Likewise.
494 * trans-io.c (set_parameter_value): Build runtime checks for unit
495 numbers within range of kind=4 integer. (gfc_trans_open) Set the
496 newunit parameter.
497 * ioparm.def (IOPARM): Define the newunit parameter as a pointer
498 to GFC_INTEGER_4, pint4.
499
500 2009-06-07 Daniel Franke <franke.daniel@gmail.com>
501
502 PR fortran/25104
503 PR fortran/29962
504 * array.c (gfc_append_constructor): Added NULL-check.
505 * check.c (gfc_check_spread): Check DIM.
506 (gfc_check_unpack): Check that the ARRAY arguments provides enough
507 values for MASK.
508 * intrinsic.h (gfc_simplify_spread): New prototype.
509 (gfc_simplify_unpack): Likewise.
510 * intrinsic.c (add_functions): Added new simplifier callbacks.
511 * simplify.c (gfc_simplify_spread): New.
512 (gfc_simplify_unpack): New.
513 * expr.c (check_transformational): Allow additional transformational
514 intrinsics in initialization expression.
515
516 2009-06-07 Daniel Franke <franke.daniel@gmail.com>
517
518 PR fortran/25104
519 PR fortran/29962
520 * check.c (gfc_check_all_any): Check rank of DIM.
521 (gfc_check_count): Likewise.
522 * intrinsic.h (gfc_simplify_all): New prototype.
523 (gfc_simplify_any): Likewise.
524 (gfc_simplify_count): Likewise.
525 (gfc_simplify_sum): Likewise.
526 (gfc_simplify_product): Likewise.
527 * intrinsic.c (add_functions): Added new simplifier callbacks.
528 * simplify.c (transformational_result): New.
529 (simplify_transformation_to_scalar): New.
530 (simplify_transformation_to_array): New.
531 (gfc_count): New.
532 (gfc_simplify_all): New.
533 (gfc_simplify_any): New.
534 (gfc_simplify_count): New.
535 (gfc_simplify_sum): New.
536 (gfc_simplify_product): New.
537 * expr.c (check_transformational): Allow additional transformational
538 intrinsics in initialization expression.
539
540 2009-06-07 Daniel Franke <franke.daniel@gmail.com>
541
542 * check.c (dim_rank_check): Return SUCCESS if DIM=NULL.
543 (gfc_check_lbound): Removed (now) redundant check for DIM=NULL.
544 (gfc_check_minloc_maxloc): Likewise.
545 (check_reduction): Likewise.
546 (gfc_check_size): Likewise.
547 (gfc_check_ubound): Likewise.
548 (gfc_check_cshift): Added missing shape-conformance checks.
549 (gfc_check_eoshift): Likewise.
550 * gfortran.h (gfc_check_conformance): Modified prototype to printf-style.
551 * expr.c (gfc_check_conformance): Accept error-message chunks in
552 printf-style. Changed all callers.
553
554
555 2009-06-07 Daniel Franke <franke.daniel@gmail.com>
556
557 PR fortran/25104
558 PR fortran/29962
559 * intrinsic.h (gfc_simplify_dot_product): New prototype.
560 (gfc_simplify_matmul): Likewise.
561 (gfc_simplify_transpose): Likewise.
562 * intrinsic.c (add_functions): Added new simplifier callbacks.
563 * simplify.c (init_result_expr): New.
564 (compute_dot_product): New.
565 (gfc_simplify_dot_product): New.
566 (gfc_simplify_matmul): New.
567 (gfc_simplify_transpose): New.
568 * expr.c (check_transformational): Allow transformational intrinsics
569 with simplifier in initialization expression.
570
571 2009-06-06 Daniel Franke <franke.daniel@gmail.com>
572
573 PR fortran/37203
574 * simplify.c (gfc_simplify_reshape): Fixed reshaping of empty arrays
575 without padding.
576
577 2009-06-06 Daniel Franke <franke.daniel@gmail.com>
578
579 PR fortran/32890
580 * intrinsic.h (gfc_simplify_pack): New prototype.
581 * intrinsic.c (add_functions): Added
582 simplifier-callback to PACK.
583 * simplify.c (is_constant_array_expr): Moved
584 to beginning of file.
585 (gfc_simplify_pack): New.
586 * check.c (gfc_check_pack): Check that VECTOR has enough elements.
587 Added safeguards for empty arrays.
588
589 2009-06-05 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
590
591 * simplify.c (call_mpc_func): Use mpc_realref/mpc_imagref
592 instead of MPC_RE/MPC_IM.
593
594 2009-06-05 Alexandre Oliva <aoliva@redhat.com>
595
596 * trans-decl.c (gfc_build_qualified_array): Don't skip generation
597 of range types.
598 * trans.h (struct lang_type): Add base_decls.
599 (GFC_TYPE_ARRAY_BASE_DECL): New.
600 * trans-types.c (gfc_get_array_type_bounds): Initialize base decls
601 proactively and excessively.
602 (gfc_get_array_descr_info): Use existing base decls if available.
603
604 2009-06-04 Daniel Franke <franke.daniel@gmail.com>
605
606 PR fortran/37203
607 * check.c (gfc_check_reshape): Additional checks for the
608 SHAPE and ORDER arguments.
609 * simplify.c (gfc_simplify_reshape): Converted argument checks
610 to asserts.
611
612 2009-06-03 Tobias Burnus <burnus@net-b.de>
613
614 * gfortran.texi: Add mixed-language programming, mention
615 varying string lengths, some clean up of introduction parts.
616 * intrinsic.texi (instrinsic modules): Create @menu for subsections.
617 (ISO_C_BINDING): Support ISOCBINDING_INT_FAST128_T.
618 * libgfortran.h: Comment to rember to keep gfortran.texi in sync.
619 * iso-c-binding.def: Support ISOCBINDING_INT_FAST128_T.
620
621 2009-06-03 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
622 Tobias Burnus <burnus@net-b.de>
623
624 * iso-c-binding.def: Use INTMAX_TYPE instead of intmax_type_node.
625 * trans-types.c (init_c_interop_kinds): Remove intmax_type_node.
626
627 2009-06-03 Alexandre Oliva <aoliva@redhat.com>
628
629 * module.c (mio_f2k_derived): Initialize cur.
630
631 2009-06-01 Tobias Burnus <burnus@net-b.de>
632
633 PR fortran/40309
634 * trans-decl.c (gfc_sym_identifier): Use "MAIN__" for PROGRAM "main".
635 (create_main_function): Set main_identifier_node.
636
637 2009-05-29 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
638
639 PR fortran/40019
640 * trans-types.c (gfc_build_uint_type): Make nonstatic.
641 * trans.h (gfor_fndecl_clz128, gfor_fndecl_ctz128): New prototypes.
642 * trans-types.h (gfc_build_uint_type): Add prototype.
643 * trans-decl.c (gfc_build_intrinsic_function_decls): Build
644 gfor_fndecl_clz128 and gfor_fndecl_ctz128.
645 * trans-intrinsic.c (gfc_conv_intrinsic_leadz,
646 gfc_conv_intrinsic_trailz): Call the right builtins or library
647 functions, and cast arguments to unsigned types first.
648 * simplify.c (gfc_simplify_leadz): Deal with negative arguments.
649
650 2009-05-27 Ian Lance Taylor <iant@google.com>
651
652 * Make-lang.in (gfortran$(exeext)): Change $(COMPILER) to
653 $(LINKER).
654 (f951$(exeext)): Likewise.
655
656 2009-05-27 Tobias Burnus <burnus@net-b.de>
657
658 PR fortran/40270
659 * trans-decl.c (create_main_function): Mark MAIN__ and
660 argc/argv as TREE_USED and push/pop function_decl context
661 if needed.
662
663 2009-05-26 Tobias Burnus <burnus@net-b.de>
664
665 PR fortran/39178
666 * gfortranspec.c (lang_specific_driver): Stop linking
667 libgfortranbegin.
668 * trans-decl.c (gfc_build_builtin_function_decls): Stop
669 making MAIN__ publicly visible.
670 (gfc_build_builtin_function_decls): Add
671 gfor_fndecl_set_args.
672 (create_main_function) New function.
673 (gfc_generate_function_code): Use it.
674
675 2009-05-26 Tobias Burnus <burnus@net-b.de>
676
677 PR fortran/40246
678 * match.c (gfc_match_nullify): NULLify freed pointer.
679
680 2009-05-26 Ian Lance Taylor <iant@google.com>
681
682 * Make-lang.in (gfortranspec.o): Use $(COMPILER).
683 (gfortran$(exeext), f951$(exeext), fortran/cpp.o): Likewise.
684
685 2009-05-26 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
686
687 * gfortran.h (GFC_MPC_RND_MODE): New.
688 * simplify.c (call_mpc_func): New helper function.
689 (gfc_simplify_cos, gfc_simplify_exp, gfc_simplify_log,
690 gfc_simplify_sin, gfc_simplify_sqrt): Add MPC support.
691
692 2009-05-25 Janus Weil <janus@gcc.gnu.org>
693
694 PR fortran/40176
695 * primary.c (gfc_match_varspec): Handle procedure pointer components
696 with array return value.
697 * resolve.c (resolve_expr_ppc): Ditto.
698 (resolve_symbol): Make sure the interface of a procedure pointer has
699 been resolved.
700 * trans-array.c (gfc_walk_function_expr): Handle procedure pointer
701 components with array return value.
702 * trans-expr.c (gfc_conv_component_ref,gfc_conv_procedure_call,
703 gfc_trans_arrayfunc_assign): Ditto.
704 (gfc_trans_pointer_assignment): Handle procedure pointer assignments,
705 where the rhs is a dummy argument.
706 * trans-types.c (gfc_get_ppc_type,gfc_get_derived_type): Handle
707 procedure pointer components with array return value.
708
709 2009-05-24 Jerry DeLisle <jvdelisle@gcc.gnu.org>
710 Dominique Dhumieres
711
712 PR fortran/35732
713 PR fortran/39872
714 * trans-array.c (gfc_conv_ss_startstride): Add one to index.
715
716 2009-05-22 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
717
718 PR fortran/40195
719 * module.c (read_md5_from_module_file): Close file before returning.
720
721 2009-05-18 Janus Weil <janus@gcc.gnu.org>
722
723 PR fortran/40164
724 * primary.c (gfc_match_rvalue): Handle procedure pointer components in
725 arrays.
726 * resolve.c (resolve_ppc_call,resolve_expr_ppc): Resolve component and
727 array references.
728 (resolve_fl_derived): Procedure pointer components are not required to
729 have constant array bounds in their return value.
730
731 2009-05-18 Janus Weil <janus@gcc.gnu.org>
732
733 * intrinsic.c (add_sym): Fix my last commit (r147655),
734 which broke bootstrap.
735
736 2009-05-18 Richard Guenther <rguenther@suse.de>
737
738 PR fortran/40168
739 * trans-expr.c (gfc_trans_zero_assign): For local array
740 destinations use an assignment from an empty constructor.
741
742 2009-05-18 Janus Weil <janus@gcc.gnu.org>
743
744 PR fortran/36947
745 PR fortran/40039
746 * expr.c (gfc_check_pointer_assign): Check intents when comparing
747 interfaces.
748 * gfortran.h (typedef struct gfc_intrinsic_arg): Add 'intent' member.
749 (gfc_compare_interfaces): Additional argument.
750 * interface.c (operator_correspondence): Add check for equality of
751 intents, and new argument 'intent_check'.
752 (gfc_compare_interfaces): New argument 'intent_check', which is passed
753 on to operator_correspondence.
754 (check_interface1): Don't check intents when comparing interfaces.
755 (compare_parameter): Do check intents when comparing interfaces.
756 * intrinsic.c (add_sym): Add intents for arguments of intrinsic
757 procedures.
758 (add_sym_1,add_sym_1s,add_sym_1m,add_sym_2,add_sym_2s,add_sym_3,
759 add_sym_3ml,add_sym_3red,add_sym_3s,add_sym_4): Use INTENT_IN by
760 default.
761 (add_sym_1_intent,add_sym_1s_intent,add_sym_2s_intent,add_sym_3s_intent)
762 : New functions to add intrinsic symbols, specifying custom intents.
763 (add_sym_4s,add_sym_5s): Add new arguments to specify intents.
764 (add_functions,add_subroutines): Add intents for various intrinsics.
765 * resolve.c (check_generic_tbp_ambiguity): Don't check intents when
766 comparing interfaces.
767 * symbol.c (gfc_copy_formal_args_intr): Copy intent.
768
769 2009-05-17 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
770
771 * iso-fortran-env.def: Define INT8, INT16, INT32, INT64, REAL32,
772 REAL64 and REAL128.
773 * gfortran.h (gfc_get_int_kind_from_width_isofortranenv,
774 gfc_get_real_kind_from_width_isofortranenv): New prototypes.
775 * iso-c-binding.def: Update definitions for the INT*_T,
776 INT_LEAST*_T and INT_FAST*_T named parameters.
777 * trans-types.c (get_typenode_from_name, get_int_kind_from_name,
778 gfc_get_real_kind_from_width_isofortranenv): New functions.
779
780 2009-05-17 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
781
782 PR fortran/36260
783 * intrinsic.c (add_functions, add_subroutines): Fix argument
784 names and wrap long lines.
785 * intrinsic.texi: Fix documentation and argument names of
786 LOG_GAMMA, DATAN2, DBESJN, DTIME, ETIME, FSTAT, STAT, LSTAT,
787 GET_COMMAND, IDATE, LTIME, MOVE_ALLOC, NINT, OR, PRODUCT,
788 SUM, RAND, RANDOM_SEED, REAL, SELECTED_INT_KIND,
789 SELECTED_REAL_KIND and XOR.
790
791 2009-05-16 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
792
793 PR fortran/33197
794 * intrinsic.c (add_functions): Use ERFC_SCALED simplification.
795 * intrinsic.h (gfc_simplify_erfc_scaled): New prototype.
796 * simplify.c (fullprec_erfc_scaled, asympt_erfc_scaled,
797 gfc_simplify_erfc_scaled): New functions.
798
799 2009-05-16 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
800
801 PR fortran/31243
802 * resolve.c (resolve_substring): Don't allow too large substring
803 indexes.
804 (gfc_resolve_substring_charlen): Fix typo.
805 (gfc_resolve_character_operator): Fix typo.
806 (resolve_charlen): Catch unreasonably large string lengths.
807 * simplify.c (gfc_simplify_len): Don't error out on LEN
808 range checks.
809
810 2009-05-16 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
811
812 PR fortran/36031
813 * decl.c (set_enum_kind): Use global short-enums flag.
814 * gfortran.h (gfc_option_t): Remove short_enums flag.
815 * lang.opt (-fshort-enums): Refer to C documentation.
816 * options.c (gfc_init_options, gfc_handle_option): Use global
817 short-enums flag.
818
819 2009-05-15 Tobias Burnus <burnus@net-b.de>
820
821 PR fortran/39352
822 * f95-lang.c: Add gfc_maybe_initialize_eh.
823 * gfortran.h: Add gfc_maybe_initialize_eh prototype.
824 * Make-lang.in: Add new .h dendencies for f95-lang.c
825 * openmp.c (resolve_omp_do): Call gfc_maybe_initialize_eh.
826 * misc.c (gfc_free): Avoid #define trickery for free.
827
828 2009-05-14 Steven G. Kargl <kargl@gcc.gnu.org>
829
830 * dump-parse-tree.c (show_code_node): Add ERRMSG to the dumping
831 of allocate and deallocate statements.
832
833 2009-05-14 Ian Lance Taylor <iant@google.com>
834
835 * decl.c (match_attr_spec): Change d to unsigned int.
836 * dump-parse-tree.c (show_namespace): Change op to int. Add cast.
837 * interface.c (gfc_check_interfaces): Change i to int. Add casts.
838 * module.c (read_module): Change i to int. Add cast.
839 (write_module): Change i to int.
840 * symbol.c (gfc_get_namespace): Change in to int.
841 (gfc_free_namespace): Change i to int.
842 * trans-io.c (gfc_build_io_library_fndecls): Change ptype to
843 unsigned int. Add cast.
844 * trans-types.c (gfc_init_kinds): Change mode to unsigned int.
845 Add casts.
846
847 2009-05-14 Daniel Kraft <d@domob.eu>
848
849 PR fortran/40045
850 * dump-parse-tree.c (show_typebound): Fix missing adaption to new
851 type-bound procedure storage structure.
852
853 2009-05-14 Janus Weil <janus@gcc.gnu.org>
854
855 PR fortran/39996
856 * decl.c (gfc_match_function_decl): Use gfc_add_type.
857 * symbol.c (gfc_add_type): Better checking for duplicate types in
858 function declarations. And: Always give an error for duplicte types,
859 not just a warning with -std=gnu.
860
861 2009-05-14 Jakub Jelinek <jakub@redhat.com>
862
863 PR fortran/39865
864 * io.c (resolve_tag_format): CHARACTER array in FMT= argument
865 isn't an extension. Reject non-CHARACTER array element of
866 assumed shape or pointer or assumed size array.
867 * trans-array.c (array_parameter_size): New function.
868 (gfc_conv_array_parameter): Add size argument. Call
869 array_parameter_size if it is non-NULL.
870 * trans-array.h (gfc_conv_array_parameter): Adjust prototype.
871 * trans-expr.c (gfc_conv_function_call, gfc_trans_arrayfunc_assign):
872 Adjust callers.
873 * trans-intrinsic.c (gfc_conv_intrinsic_loc): Likewise.
874 * trans-io.c (gfc_convert_array_to_string): Rewritten.
875
876 2009-05-13 Steven G. Kargl <kargl@gcc.gnu.org>
877
878 * gfortran.h (gfc_code): Rename struct member expr to expr1.
879 * openmp.c (resolve_omp_atomic): Update expr to expr1.
880 * interface.c (gfc_extend_assign): Ditto.
881 * trans-expr.c (gfc_conv_expr_reference, gfc_trans_assignment,
882 gfc_trans_init_assign): Ditto.
883 * dump-parse-tree.c (show_code_node): Ditto.
884 * trans-openmp.c (gfc_trans_omp_atomic): Ditto.
885 * trans-stmt.c ( gfc_trans_label_assign, gfc_trans_goto, gfc_trans_call,
886 gfc_trans_return, gfc_trans_pause, gfc_trans_stop, gfc_trans_if_1,
887 gfc_trans_arithmetic_if, gfc_trans_do_while, gfc_trans_integer_select,
888 gfc_trans_logical_select, gfc_trans_character_select
889 forall_make_variable_temp, check_forall_dependencies
890 gfc_trans_forall_1, gfc_trans_where_2, gfc_trans_where_3
891 gfc_trans_where, gfc_trans_allocate, gfc_trans_deallocate): Ditto.
892 * io.c (match_io_element, gfc_match_inquire): Ditto.
893 * resolve.c (resolve_typebound_call, resolve_ppc_call,
894 resolve_allocate_expr, resolve_allocate_deallocate, resolve_select,
895 resolve_transfer, resolve_where, gfc_resolve_assign_in_forall,
896 gfc_resolve_blocks, resolve_code, build_init_assign): Ditto.
897 * st.c (gfc_free_statement): Ditto.
898 * match.c (gfc_match_assignment, gfc_match_pointer_assignment,
899 match_arithmetic_if, gfc_match_if, gfc_match_elseif
900 gfc_match_stopcode, gfc_match_assign, gfc_match_goto,
901 gfc_match_nullify, match_typebound_call, gfc_match_call
902 gfc_match_select, match_simple_where, gfc_match_where
903 gfc_match_elsewhere, match_simple_forall, gfc_match_forall): Ditto.
904 * trans-io.c (gfc_trans_transfer): Ditto.
905 * parse.c (parse_where_block, parse_if_block): Ditto.
906
907 2009-05-13 Steven G. Kargl <kargl@gcc.gnu.org>
908
909 * gfortran.h (gfc_code): Rename struct member label to label1.
910 * dump-parse-tree.c (show_code_node): Update symbol.
911 * trans-stmt.c (gfc_trans_label_assign, gfc_trans_goto,
912 gfc_trans_arithmetic_if): Ditto.
913 * resolve.c (gfc_resolve_blocks, resolve_code): Ditto.
914 * match.c (match_arithmetic_if, gfc_match_if, gfc_reference_st_label,
915 gfc_match_assign, gfc_match_goto): Ditto.
916 * parse.c (parse_do_block): Ditto.
917
918 2009-05-13 Tobias Burnus <burnus@net-b.de>
919
920 PR fortran/34153
921 * gfortran.h (gfc_exec_op): Add EXEC_END_PROCEDURE.
922 * dump-parse-tree.c (show_code_node): Use EXEC_END_PROCEDURE.
923 * trans.c (gfc_trans_code): Ditto.
924 * resolve.c (resolve_code): Ditto.
925 * st.c (gfc_free_statement): Ditto.
926 * parse.c (accept_statement): Ditto.
927
928 2009-05-12 Tobias Burnus <burnus@net-b.de>
929
930 PR fortran/40110
931 * decl.c (gfc_match_kind_spec): Turn C kind error into a warning.
932
933 2009-05-11 Steve Ellcey <sje@cup.hp.com>
934
935 * resolve.c (check_host_association): Initialize tail.
936
937 2009-05-11 Janus Weil <janus@gcc.gnu.org>
938
939 PR fortran/40089
940 * resolve.c (resolve_fl_derived): Only return FAILURE if
941 gfc_notify_std fails.
942
943 2009-05-10 Ian Lance Taylor <iant@google.com>
944
945 * gfortran.h (enum gfc_omp_sched_kind): New enum, broken out of
946 gfc_omp_clauses.
947 (enum gfc_omp_default_sharing): Likewise.
948 * module.c (enum gfc_rsym_state): New enum, broken out of
949 pointer_info.
950 (enum gfc_wsym_state): Likewise.
951 * parse.c (enum state_order): New enum, broken out of st_state.
952
953 2009-05-10 Paul Thomas <pault@gcc.gnu.org>
954
955 PR fortran/40018
956 * trans-array.c (gfc_trans_array_constructor_value): Fold
957 convert numeric constants.
958 (gfc_build_constant_array_constructor): The same.
959
960 2009-05-10 Paul Thomas <pault@gcc.gnu.org>
961
962 PR fortran/38863
963 * trans-expr.c (gfc_conv_operator_assign): Remove function.
964 * trans.h : Remove prototype for gfc_conv_operator_assign.
965 * trans-stmt.c (gfc_conv_elemental_dependencies): Initialize
966 derivde types with intent(out).
967 (gfc_trans_call): Add mask, count1 and invert arguments. Add
968 code to use mask for WHERE assignments.
969 (gfc_trans_forall_1): Use new arguments for gfc_trans_call.
970 (gfc_trans_where_assign): The gfc_symbol argument is replaced
971 by the corresponding code. If this has a resolved_sym, then
972 gfc_trans_call is called. The call to gfc_conv_operator_assign
973 is removed.
974 (gfc_trans_where_2): Change the last argument in the call to
975 gfc_trans_where_assign.
976 * trans-stmt.h : Modify prototype for gfc_trans_call.
977 * trans.c (gfc_trans_code): Use new args for gfc_trans_call.
978
979 2009-05-08 Janus Weil <janus@gcc.gnu.org>
980
981 PR fortran/39876
982 * intrinsic.c (gfc_is_intrinsic): Do not add the EXTERNAL attribute if
983 the symbol is a module procedure.
984
985 2009-05-08 Tobias Burnus <burnus@net-b.de>
986
987 * invoke.texi: Add do/recursion to the -fcheck= summary.
988
989 2009-05-07 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
990
991 PR fortran/38830
992 * gfortran.texi: Document that we don't support variable FORMAT
993 expressions.
994
995 2009-05-07 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
996
997 PR fortran/39576
998 * error.c (error_print): Add missing break statement.
999
1000 2009-05-07 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
1001
1002 PR fortran/36382
1003 * invoke.texi: Document that -fdollar-ok does not allow $ to be
1004 used in IMPLICIT statement.
1005
1006 2009-05-06 Janus Weil <janus@gcc.gnu.org>
1007 Paul Thomas <pault@gcc.gnu.org>
1008
1009 PR fortran/39630
1010 * decl.c (match_procedure_interface): New function to match the
1011 interface for a PROCEDURE statement.
1012 (match_procedure_decl): Call match_procedure_interface.
1013 (match_ppc_decl): New function to match the declaration of a
1014 procedure pointer component.
1015 (gfc_match_procedure): Call match_ppc_decl.
1016 (match_binding_attributes): Add new argument 'ppc' and handle the
1017 POINTER attribute for procedure pointer components.
1018 (match_procedure_in_type,gfc_match_generic): Added new argument to
1019 match_binding_attributes.
1020 * dump-parse-tree.c (show_expr,show_components,show_code_node): Handle
1021 procedure pointer components.
1022 * expr.c (free_expr0,gfc_copy_expr,gfc_simplify_expr): Handle EXPR_PPC.
1023 (gfc_check_pointer_assign): Handle procedure pointer components, but no
1024 full checking yet.
1025 (is_proc_ptr_comp): New function to determine if an expression is a
1026 procedure pointer component.
1027 * gfortran.h (expr_t): Add EXPR_PPC.
1028 (symbol_attribute): Add new member 'proc_pointer_comp'.
1029 (gfc_component): Add new member 'formal'.
1030 (gfc_exec_op): Add EXEC_CALL_PPC.
1031 (gfc_get_default_type): Changed first argument.
1032 (is_proc_ptr_comp): Add prototype.
1033 (gfc_match_varspec): Add new argument.
1034 * interface.c (compare_actual_formal): Handle procedure pointer
1035 components.
1036 * match.c (gfc_match_pointer_assignment,match_typebound_call): Handle
1037 procedure pointer components.
1038 * module.c (mio_expr): Handle EXPR_PPC.
1039 * parse.c (parse_derived): Handle procedure pointer components.
1040 * primary.c (gfc_match_varspec): Add new argument 'ppc_arg' and handle
1041 procedure pointer components.
1042 (gfc_variable_attr): Handle procedure pointer components.
1043 (gfc_match_rvalue): Added new argument to gfc_match_varspec and changed
1044 first argument of gfc_get_default_type.
1045 (match_variable): Added new argument to gfc_match_varspec.
1046 * resolve.c (resolve_entries,set_type,resolve_fl_parameter): Changed
1047 first argument of gfc_get_default_type.
1048 (resolve_structure_cons,resolve_actual_arglist): Handle procedure
1049 pointer components.
1050 (resolve_ppc_call): New function to resolve a call to a procedure
1051 pointer component (subroutine).
1052 (resolve_expr_ppc): New function to resolve a call to a procedure
1053 pointer component (function).
1054 (gfc_resolve_expr): Handle EXPR_PPC.
1055 (resolve_code): Handle EXEC_CALL_PPC.
1056 (resolve_fl_derived): Copy the interface for a procedure pointer
1057 component.
1058 (resolve_symbol): Fix overlong line.
1059 * st.c (gfc_free_statement): Handle EXEC_CALL_PPC.
1060 * symbol.c (gfc_get_default_type): Changed first argument.
1061 (gfc_set_default_type): Changed first argument of gfc_get_default_type.
1062 (gfc_add_component): Initialize ts.type to BT_UNKNOWN.
1063 * trans.h (gfc_conv_function_call): Renamed.
1064 * trans.c (gfc_trans_code): Handle EXEC_CALL_PPC.
1065 * trans-expr.c (gfc_conv_component_ref): Ditto.
1066 (gfc_conv_function_val): Rename to 'conv_function_val', add new
1067 argument 'expr' and handle procedure pointer components.
1068 (gfc_conv_operator_assign): Renamed gfc_conv_function_val.
1069 (gfc_apply_interface_mapping_to_expr): Handle EXPR_PPC.
1070 (gfc_conv_function_call): Rename to 'gfc_conv_procedure_call', add new
1071 argument 'expr' and handle procedure pointer components.
1072 (gfc_get_proc_ptr_comp): New function to get the backend decl for a
1073 procedure pointer component.
1074 (gfc_conv_function_expr): Renamed gfc_conv_function_call.
1075 (gfc_conv_structure): Handle procedure pointer components.
1076 * trans-intrinsic.c (gfc_conv_intrinsic_funcall,
1077 conv_generic_with_optional_char_arg): Renamed gfc_conv_function_call.
1078 * trans-stmt.h (gfc_get_proc_ptr_comp): Add prototype.
1079 * trans-stmt.c (gfc_trans_call): Renamed gfc_conv_function_call.
1080 * trans-types.h (gfc_get_ppc_type): Add prototype.
1081 * trans-types.c (gfc_get_ppc_type): New function to build a tree node
1082 for a procedure pointer component.
1083 (gfc_get_derived_type): Handle procedure pointer components.
1084
1085 2009-05-06 Tobias Burnus <burnus@net-b.de>
1086
1087 PR fortran/40041
1088 * resolve.c (resolve_symbol): Print no warning for implicitly
1089 typed intrinsic functions.
1090
1091 2009-05-05 Janus Weil <janus@gcc.gnu.org>
1092
1093 PR fortran/39998
1094 * expr.c (gfc_check_pointer_assign): Check for statement functions and
1095 internal procedures in procedure pointer assignments.
1096
1097 2009-04-28 Janus Weil <janus@gcc.gnu.org>
1098
1099 PR fortran/39946
1100 * resolve.c (resolve_symbol): Correctly copy the interface of a
1101 PROCEDURE statement if the interface involves a RESULT variable.
1102
1103 2009-04-28 Janus Weil <janus@gcc.gnu.org>
1104
1105 PR fortran/39930
1106 PR fortran/39931
1107 * expr.c (gfc_check_pointer_assign): Correctly detect if the left hand
1108 side is a pointer.
1109 * parse.c (gfc_fixup_sibling_symbols): Don't check for ambiguity.
1110
1111 2009-04-28 Paul Thomas <pault@gcc.gnu.org>
1112
1113 PR fortran/39879
1114 * trans_expr.c (gfc_conv_procedure_call): Deep copy a derived
1115 type parentheses argument if it is a variable with allocatable
1116 components.
1117
1118 2009-04-27 Ian Lance Taylor <iant@google.com>
1119
1120 * trans-intrinsic.c (DEFINE_MATH_BUILTIN): Add casts to enum
1121 type.
1122 * trans-io.c (st_parameter_field): Add casts to enum type.
1123
1124 2009-04-26 Steven G. Kargl <kargl@gcc.gnu.org>
1125
1126 PR fortran/39893
1127 fortran/data.c (gfc_assign_data_value): If the lvalue is an
1128 assumed character length entity in a data statement, then
1129 return FAILURE to prevent segmentation fault.
1130
1131 2009-04-26 Jakub Jelinek <jakub@redhat.com>
1132
1133 * trans-decl.c: Include pointer-set.h.
1134 (nonlocal_dummy_decl_pset, tree nonlocal_dummy_decls): New variables.
1135 (gfc_nonlocal_dummy_array_decl): New function.
1136 (gfc_get_symbol_decl): Call it for non-local dummy args with saved
1137 descriptor.
1138 (gfc_get_symbol_decl): Set DECL_BY_REFERENCE when needed.
1139 (gfc_generate_function_code): Initialize nonlocal_dummy_decl{s,_pset},
1140 chain it to outermost block's vars, destroy it afterwards.
1141 * Make-lang.in (trans-decl.o): Depend on pointer-set.h.
1142
1143 2009-04-25 Janus Weil <janus@gcc.gnu.org>
1144
1145 PR fortran/39688
1146 * decl.c (gfc_match_import): Use 'sym->name' instead of 'name'.
1147 They differ if the symbol has been use-renamed.
1148
1149 2009-04-24 Ian Lance Taylor <iant@google.com>
1150
1151 * gfortran.h (enum gfc_symbol_type): New named enum type, broken
1152 out of struct gfc_symbol.
1153 (struct gfc_symbol): Use enum gfc_symbol_type.
1154 (enum gfc_array_ref_dimen_type): New named enum type, broken out
1155 of struct gfc_array_ref).
1156 (struct gfc_array_ref): Use enum gfc_array_ref_dimen_type.
1157 (mod_pointee_as): Update declaration.
1158 * decl.c (add_global_entry): Change type to enum gfc_symbol_type.
1159 (gfc_mod_pointee_as): Change return type to "match".
1160 * module.c (mio_array_ref): Add cast to enum type.
1161 (mio_symbol): Likewise.
1162 * resolve.c (resolve_global_procedure): Change type to enum
1163 gfc_symbol_type.
1164 * trans-io.c (gfc_build_st_parameter): Change type to unsigned
1165 int.
1166
1167 2009-04-24 Daniel Kraft <d@domob.eu>
1168
1169 * gfortran.h (gfc_get_typebound_proc): Removed as macro, now a function.
1170 (struct gfc_symtree): Moved "typebound" member inside union.
1171 (struct gfc_namespace): Add "tb_sym_root" as new symtree to sort out
1172 type-bound procedures there.
1173 (gfc_get_tbp_symtree): New procedure.
1174 * symbol.c (tentative_tbp_list): New global.
1175 (gfc_get_namespace): NULL new "tb_sym_root" member.
1176 (gfc_new_symtree): Removed initialization of "typebound" member.
1177 (gfc_undo_symbols): Process list of tentative tbp's.
1178 (gfc_commit_symbols): Ditto.
1179 (free_tb_tree): New method.
1180 (gfc_free_namespace): Call it.
1181 (gfc_get_typebound_proc): New method.
1182 (gfc_get_tbp_symtree): New method.
1183 (gfc_find_typebound_proc): Adapt to structural changes of gfc_symtree
1184 and gfc_namespace with regards to tbp's.
1185 * dump-parse-tree.c (show_typebound): Ditto.
1186 * primary.c (gfc_match_varspec): Ditto. Don't reference tbp-symbol
1187 as it isn't a symbol any longer.
1188 * module.c (mio_typebound_symtree): Adapt to changes.
1189 (mio_typebound_proc): Ditto, create symtrees using "gfc_get_tbp_symtree"
1190 rather than "gfc_get_sym_tree".
1191 (mio_f2k_derived): Ditto.
1192 * decl.c (match_procedure_in_type): Ditto.
1193 (gfc_match_generic): Ditto. Don't reference tbp-symbol.
1194 * resolve.c (check_typebound_override): Adapt to changes.
1195 (resolve_typebound_generic): Ditto.
1196 (resolve_typebound_procedures): Ditto.
1197 (ensure_not_abstract_walker): Ditto.
1198 (ensure_not_abstract): Ditto.
1199 (resolve_typebound_procedure): Ditto, ignore erraneous symbols (for
1200 instance, through removed tentative ones).
1201 * gfc-internals.texi (Type-bound procedures): Document changes.
1202
1203 2009-04-24 Janus Weil <janus@gcc.gnu.org>
1204
1205 PR fortran/39861
1206 PR fortran/39864
1207 * symbol.c (gfc_copy_formal_args_intr): Set attr.flavor and attr.dummy
1208 for the formal arguments.
1209
1210 2009-04-21 Taras Glek <tglek@mozilla.com>
1211
1212 * f95-lang.c: Update GTY annotations to new syntax.
1213 * trans-intrinsic.c: Likewise.
1214 * trans-io.c: Likewise.
1215 * trans.h: Likewise.
1216
1217 2009-04-22 Janus Weil <janus@gcc.gnu.org>
1218
1219 PR fortran/39735
1220 * decl.c (add_hidden_procptr_result): Bugfix for procptr results.
1221 (match_procedure_decl): Set if_source.
1222 * expr.c (gfc_check_pointer_assign): Bugfix: Return after error.
1223 And: Check interface also for IFSRC_UNKNOWN (return type may be known).
1224 * gfortran.h (typedef enum ifsrc): Remove IFSRC_USAGE,
1225 add documentation. Rename copy_formal_args and copy_formal_args_intr.
1226 * interface.c (gfc_compare_interfaces): Check for return types,
1227 handle IFSRC_UNKNOWN.
1228 (compare_intr_interfaces,compare_actual_formal_intr): Obsolete, removed.
1229 (gfc_procedure_use): Modified handling of intrinsics.
1230 * intrinsic.c (add_functions): Bugfix for "dim".
1231 * resolve.c (resolve_intrinsic): New function to resolve intrinsics,
1232 which copies the interface from isym to sym.
1233 (resolve_procedure_expression,resolve_function): Use new function
1234 'resolve_intrinsic'.
1235 (resolve_symbol): Add function attribute for externals with return type
1236 and use new function 'resolve_intrinsic'.
1237 * symbol.c (ifsrc_types): Remove string for IFSRC_USAGE.
1238 (copy_formal_args): Renamed to gfc_copy_formal_args.
1239 (copy_formal_args_intr): Renamed to gfc_copy_formal_args_intr.
1240 * trans-const.c (gfc_conv_const_charlen): Handle cl==NULL.
1241
1242 2009-04-21 Joseph Myers <joseph@codesourcery.com>
1243
1244 * ChangeLog, ChangeLog-2002, ChangeLog-2003, ChangeLog-2004,
1245 ChangeLog-2005, ChangeLog-2006, ChangeLog-2007, ChangeLog-2008,
1246 ChangeLog.ptr, config-lang.in, ioparm.def, mathbuiltins.def: Add
1247 copyright and license notices.
1248 * ChangeLog, ChangeLog-2005, ChangeLog-2006, ChangeLog-2007,
1249 ChangeLog-2008: Correct dates.
1250
1251 2009-04-20 Tobias Burnus <burnus@net-b.de>
1252
1253 PR fortran/39811
1254 * scanner.c (load_line): Fix bogus "&" compile-time diagnostic.
1255
1256 2009-04-20 Paul Thomas <pault@gcc.gnu.org>
1257
1258 PR fortran/39800
1259 * resolve.c (is_sym_host_assoc): New function.
1260 (resolve_fl_derived): Call it when checking PRIVATE components
1261 of PUBLIC derived types. Change gfc_error to a gfc_notify_std
1262 with std=f2003.
1263 (resolve_fl_namelist): Call it twice to check for host
1264 association.
1265
1266 2009-04-20 Ian Lance Taylor <iant@google.com>
1267
1268 * module.c (import_iso_c_binding_module): Add casts to enum type.
1269 * trans-intrinsic.c (gfc_conv_intrinsic_minmax): Change op to enum
1270 tree_code.
1271 (gfc_conv_intrinsic_anyall): Likewise.
1272 (gfc_conv_intrinsic_arith): Likewise.
1273 (gfc_conv_intrinsic_minmaxloc): Likewise.
1274 (gfc_conv_intrinsic_minmaxval): Likewise.
1275 (gfc_conv_intrinsic_bitop): Likewise.
1276 (gfc_conv_intrinsic_singlebitop): Likewise.
1277 (gfc_conv_intrinsic_strcmp): Likewise.
1278
1279 2009-04-20 Vasilis Liaskovitis <vliaskov@gmail.com>
1280 Jakub Jelinek <jakub@redhat.com>
1281
1282 PR fortran/35423
1283 * trans.h (OMPWS_WORKSHARE_FLAG, OMPWS_CURR_SINGLEUNIT,
1284 OMPWS_SCALARIZER_WS, OMPWS_NOWAIT): Define.
1285 (ompws_flags): New extern decl.
1286 * trans-array.c (gfc_trans_scalarized_loop_end): Build OMP_FOR
1287 for the outer dimension if ompws_flags allow it.
1288 * trans.c (gfc_generate_code): Clear ompws_flags.
1289 * trans-expr.c (gfc_trans_assignment_1): Allow worksharing
1290 array assignments inside of !$omp workshare.
1291 * trans-stmt.c (gfc_trans_where_3): Similarly for where statements
1292 and constructs.
1293 * trans-openmp.c (ompws_flags): New variable.
1294 (gfc_trans_omp_workshare): Rewritten.
1295
1296 2009-04-11 Daniel Kraft <d@domob.eu>
1297
1298 PR fortran/37746
1299 * gfortran.h (struct gfc_charlen): New field "passed_length" to store
1300 the actual passed string length for dummy arguments.
1301 * trans-decl.c (gfc_create_string_length): Formatting fixes and added
1302 assertion, moved a local variable into the innermost block it is needed.
1303 (create_function_arglist): Removed TODO about the check being
1304 implemented and initialize cl->passed_length here.
1305 (add_argument_checking): New method.
1306 (gfc_generate_function_code): Call the argument checking method.
1307
1308 2009-04-11 Janus Weil <janus@gcc.gnu.org>
1309
1310 PR fortran/39692
1311 * symbol.c (check_conflict): Reject procedure pointers for -std=f95.
1312
1313 2009-04-11 Daniel Franke <franke.daniel@gmail.com>
1314
1315 * resolve.c (resolve_global_procedure): Enable whole-file checking for
1316 procedures that are declared later in the file.
1317
1318 2009-04-10 Paolo Bonzini <bonzini@gnu.org>
1319
1320 PR middle-end/39701
1321 * trans.c (gfc_allocate_with_status): Fix type mismatches
1322 on "pstat == 0".
1323
1324 2009-04-10 Daniel Franke <franke.daniel@gmail.com>
1325
1326 PR fortran/38709
1327 * expr.c (find_array_section): Leave early on zero-sized arrays.
1328
1329 2009-04-09 Janus Weil <janus@gcc.gnu.org>
1330
1331 PR fortran/36704
1332 * decl.c (add_hidden_procptr_result): New function for handling
1333 procedure pointer return values by adding a hidden result variable.
1334 (variable_decl,match_procedure_decl,gfc_match_function_decl,
1335 gfc_match_subroutine,gfc_match_end,attr_decl1): Handle procedure pointer
1336 return values.
1337 * parse.c (parse_interface): Add EXTERNAL attribute only after
1338 FUNCTION/SUBROUTINE declaration is complete.
1339 * primary.c (replace_hidden_procptr_result): New function for replacing
1340 function symbol by hidden result variable.
1341 (gfc_match_rvalue,match_variable): Replace symbol by hidden result
1342 variable.
1343 * resolve.c (resolve_contained_fntype,resolve_function,resolve_variable,
1344 resolve_symbol): Allow for procedure pointer function results.
1345 (resolve_fl_procedure): Conflict detection moved here from
1346 'check_conflict'.
1347 * symbol.c (gfc_check_function_type): Allow for procedure pointer
1348 function results.
1349 (check_conflict): Move some conflict detection to resolution stage.
1350 * trans-types.c (gfc_sym_type,gfc_get_function_type): Handle hidden
1351 result variables.
1352
1353 2009-04-08 Jakub Jelinek <jakub@redhat.com>
1354
1355 * trans-types.c (gfc_init_types): Ensure gfc_integer_types doesn't
1356 contain TYPE_STRING_FLAG types.
1357
1358 2009-04-08 Janne Blomqvist <jb@gcc.gnu.org>
1359
1360 PR fortran/39670
1361 * invoke.texi (fdollar-ok): Fix typo.
1362
1363 2009-04-08 Daniel Franke <franke.daniel@gmail.com>
1364
1365 PR fortran/39670
1366 * invoke.texi (fdollar-ok): Clarify limitations.
1367
1368 2009-04-08 Paul Thomas <pault@gcc.gnu.org>
1369
1370 PR fortran/38863
1371 * trans-array.c (gfc_trans_deferred_array): Return if this
1372 is a result variable.
1373
1374 2009-04-07 Janus Weil <janus@gcc.gnu.org>
1375
1376 PR fortran/38152
1377 * trans-decl.c (gfc_get_symbol_decl): Correctly set decl location for
1378 procedure pointer decls.
1379
1380 2009-04-07 Janus Weil <janus@gcc.gnu.org>
1381
1382 PR fortran/38290
1383 * expr.c (gfc_check_pointer_assign): Enable interface check for
1384 procedure pointers.
1385 * gfortran.h: Add copy_formal_args_intr.
1386 * interface.c (gfc_compare_interfaces): Call gfc_compare_intr_interfaces
1387 if second argument is an intrinsic.
1388 (compare_intr_interfaces): Correctly set attr.function, attr.subroutine
1389 and ts.
1390 (compare_parameter): Call gfc_compare_interfaces also for intrinsics.
1391 * resolve.c (resolve_specific_f0,resolve_specific_s0): Don't resolve
1392 intrinsic interfaces here. Must happen earlier.
1393 (resolve_symbol): Resolution of intrinsic interfaces moved here from
1394 resolve_specific_..., and formal args are now copied from intrinsic
1395 interfaces.
1396 * symbol.c (copy_formal_args_intr): New function to copy the formal
1397 arguments from an intinsic procedure.
1398
1399 2009-04-06 Paul Thomas <pault@gcc.gnu.org>
1400
1401 PR fortran/38863
1402 * dependency.c (ref_same_as_full_array): New function.
1403 (gfc_dep_resolver): Call it.
1404
1405 2009-04-06 Janus Weil <janus@gcc.gnu.org>
1406
1407 PR fortran/39414
1408 * decl.c (match_procedure_decl): Fix double declaration problems with
1409 PROCEDURE statements.
1410 * symbol.c (gfc_add_type): Ditto.
1411
1412 2009-04-06 Paul Thomas <pault@gcc.gnu.org>
1413
1414 PR fortran/36091
1415 * trans-array.c (gfc_conv_array_ref): If the symbol has the
1416 temporary attribute use the array_spec for the bounds.
1417 * gfortran.h : Add the temporary field to the structure
1418 'symbol_attribute'.
1419 * trans-stmt.c (forall_make_variable_temp): Set the symbol's
1420 temporary attribute.
1421
1422 2009-04-05 Daniel Franke <franke.daniel@gmail.com>
1423
1424 PR fortran/29458
1425 * trans-array.c (gfc_trans_array_constructor_value): Shadow
1426 implied do-loop variable to avoid spurious middle-end warnings.
1427
1428 2009-04-04 Tobias Burnus <burnus@net-b.de>
1429
1430 PR fortran/39577
1431 * trans-decl.c (gfc_generate_function_code): Move recursive
1432 check to the right position.
1433
1434 2009-04-04 Paul Thomas <pault@gcc.gnu.org>
1435
1436 PR fortran/37614
1437 * trans-common.c (translate_common): Do not offset the whole
1438 coomon block.
1439
1440 2009-04-03 Tobias Burnus <burnus@net-b.de>
1441
1442 PR fortran/39594
1443 * resolve.c (resolve_common_vars): Add FL_VARIABLE to symbol
1444 if it is not a procedure pointer.
1445 * primary.c (match_actual_arg): Ditto.
1446
1447 2009-03-31 Joseph Myers <joseph@codesourcery.com>
1448
1449 PR preprocessor/15638
1450 * cpp.c (cb_cpp_error): Handle CPP_DL_FATAL.
1451
1452 2009-03-30 Steven G. Kargl <kargls@comcast.net>
1453
1454 PR fortran/38389
1455 * trans-stmt.c(gfc_trans_allocate): Add translation of ERRMSG.
1456 (gfc_trans_deallocate): Add translation of ERRMSG. Remove stale
1457 comments. Minor whitespace cleanup.
1458 * resolve.c(is_scalar_expr_ptr): Whitespace cleanup.
1459 (resolve_deallocate_expr (gfc_expr *e): Update error message.
1460 (resolve_allocate_expr): Remove dead code. Update error message.
1461 Move error checking to ...
1462 (resolve_allocate_deallocate): ... here. Add additional error
1463 checking for STAT, ERRMSG, and allocate-objects.
1464 * match.c(gfc_match_allocate,gfc_match_deallocate): Parse ERRMSG.
1465 Check for redundant uses of STAT and ERRMSG. Reword error message
1466 and add checking for pointer, allocatable, and proc_pointer attributes.
1467
1468 2009-03-30 Paul Thomas <pault@gcc.gnu.org>
1469
1470 PR fortran/22571
1471 PR fortran/26227
1472 PR fortran/24886
1473 * symbol.c : Add gfc_global_ns_list.
1474 * decl.c (add_global_entry): Set the namespace ('ns') field.
1475 * gfortran.h : Add the resolved field to gfc_namespace. Add the
1476 namespace ('ns') field to gfc_gsymbol. Add flag_whole_file to
1477 gfc_option_t. Add the prototype for gfc_free_dt_list.
1478 * lang.opt : Add the whole-file option.
1479 * invoke.texi : Document the whole-file option.
1480 * resolve.c (resolve_global_procedure): If the fwhole-file
1481 option is set, reorder gsymbols to ensure that translation is
1482 in the right order. Resolve the gsymbol's namespace if that
1483 has not occurred and then check interfaces.
1484 (resolve_function): Move call to resolve_global_procedure.
1485 (resolve_call): The same.
1486 (resolve_codes): Store the current labels_obstack.
1487 (gfc_resolve) : Return if the namespace is already resolved.
1488 trans-decl.c (gfc_get_extern_function_decl): If the whole_file
1489 option is selected, use the backend_decl of a gsymbol, if it is
1490 available.
1491 parse.c (add_global_procedure, add_global_program): If the flag
1492 whole-file is set, add the namespace to the gsymbol.
1493 (gfc_parse_file): On -fwhole-file, put procedure namespaces on
1494 the global namespace list. Rearrange to do resolution of all
1495 the procedures in a file, followed by their translation.
1496 * options.c (gfc_init_options): Add -fwhole-file.
1497 (gfc_handle_option): The same.
1498
1499 2009-03-30 Ulrich Weigand <Ulrich.Weigand@de.ibm.com>
1500
1501 * f95-lang.c (gfc_init_builtin_functions): Define BUILT_IN_HUGE_VAL
1502 family of intrinsics instead of BUILT_IN_INF family.
1503 * trans-intrinsics.c (gfc_conv_intrinsic_nearest): Use
1504 BUILT_IN_HUGE_VAL instead of BUILT_IN_INF.
1505
1506 2009-03-30 Jakub Jelinek <jakub@redhat.com>
1507
1508 * trans-types.c (gfc_sym_type, gfc_return_by_reference): For
1509 sym->attr.result check sym->ns->proc_name->attr.is_bind_c.
1510
1511 2009-03-30 Joseph Myers <joseph@codesourcery.com>
1512
1513 PR rtl-optimization/323
1514 * options.c (gfc_post_options): Set
1515 flag_excess_precision_cmdline. Give an error for
1516 -fexcess-precision=standard for processors where the option is
1517 significant.
1518
1519 2009-03-29 Joseph Myers <joseph@codesourcery.com>
1520
1521 PR preprocessor/34695
1522 * cpp.c (cb_cpp_error): New.
1523 (gfc_cpp_post_options): Don't set cpp_option->inhibit_warnings.
1524 Don't check cpp_errors (cpp_in).
1525 (gfc_cpp_init_0): Set cb->error.
1526
1527 2009-03-29 Steven G. Kargl <kargl@gcc.gnu.org>
1528
1529 PR fortran/38823
1530 * gfortran.h: Add ARITH_PROHIBIT to arith enum.
1531 expr.c (gfc_match_init_expr): Add global variable init_flag to
1532 flag matching an initialization expression.
1533 (check_intrinsic_op): Move no longer reachable error message to ...
1534 * arith.c (arith_power): ... here. Remove gfc_ prefix in
1535 gfc_arith_power. Use init_flag. Allow constant folding of x**y
1536 when y is REAL or COMPLEX.
1537 (eval_intrinsic): Remove restriction that y in x**y must be INTEGER
1538 for constant folding.
1539 * gfc_power: Update gfc_arith_power to arith_power
1540
1541 2009-03-29 Daniel Kraft <d@domob.eu>
1542
1543 PR fortran/37423
1544 * gfortran.h (struct gfc_typebound_proc): Added new flag "deferred" and
1545 added a comment explaining DEFERRED binding handling.
1546 * decl.c (match_binding_attributes): Really match DEFERRED attribute.
1547 (match_procedure_in_type): Really match PROCEDURE(interface) syntax
1548 and do some validity checks for DEFERRED and this construct.
1549 * module.c (binding_overriding): New string constant for DEFERRED.
1550 (mio_typebound_proc): Module-IO DEFERRED flag.
1551 * resolve.c (check_typebound_override): Ensure that a non-DEFERRED
1552 binding is not overridden by a DEFERRED one.
1553 (resolve_typebound_procedure): Allow abstract interfaces as targets
1554 for DEFERRED bindings.
1555 (ensure_not_abstract_walker), (ensure_not_abstract): New methods.
1556 (resolve_fl_derived): Use new "ensure_not_abstract" method for
1557 non-ABSTRACT types extending ABSTRACT ones to ensure each DEFERRED
1558 binding is overridden.
1559 (check_typebound_baseobject): New method.
1560 (resolve_compcall), (resolve_typebound_call): Check base-object of
1561 the type-bound procedure call.
1562 * gfc-internals.texi (Type-bound procedures): Document a little bit
1563 about internal handling of DEFERRED bindings.
1564
1565 2009-03-29 Tobias Schlueter <tobi@gcc.gnu.org>
1566
1567 PR fortran/38507
1568 * gfortran.h (gfc_st_label): Fix comment.
1569 (gfc_exec_op): Add statement code EXEC_END_BLOCK for end of block.
1570 * parse.c (accept_statement): Use EXEC_END_BLOCK for END IF and
1571 END SELECT with labels.
1572 (check_do_closure): Fix formatting.
1573 (parse_do_block): Fix typo in error message.
1574 * resolve.c (code_stack): Remove tail member. Update comment to
1575 new use of reachable_labels.
1576 (reachable_labels): Rename to ...
1577 (find_reachable_labels): ... this. Overhaul. Update preceding
1578 comment.
1579 (resolve_branch): Fix comment preceding function. Rewrite.
1580 (resolve_code): Update call to find_reachable_labels. Add code to
1581 deal with EXEC_END_BLOCK.
1582 * st.c (gfc_free_statement): Add code to deal with EXEC_END_BLOCK.
1583 Add 2009 to copyright years.
1584 * trans.c (gfc_trans_code): Likewise on both counts.
1585
1586 2009-03-31 Paul Thomas <pault@gcc.gnu.org>
1587
1588 PR fortran/38917
1589 * expr.c (gfc_check_assign): Allow pointer components when
1590 checking for NULL.
1591
1592 PR fortran/38918
1593 * resolve.c (check_data_variable): Treat pointer arrays with
1594 scalars.
1595
1596 2009-03-31 Paul Thomas <pault@gcc.gnu.org>
1597
1598 PR fortran/38915
1599 * trans-expr.c (gfc_trans_assignment_1): Ensure temporaries
1600 have a string_length.
1601
1602 2009-03-28 Tobias Burnus <burnus@net-b.de>
1603
1604 PR fortran/34656
1605 * trans-stmt.c (gfc_trans_simple_do, gfc_trans_do):
1606 Add GFC_RTCHECK_DO support.
1607 * option.c (gfc_handle_runtime_check_option): Enable GFC_RTCHECK_DO.
1608 * invoke.texi (-fcheck): Document "do" option.
1609
1610 2009-03-28 Paul Thomas <pault@gcc.gnu.org>
1611
1612 PR fortran/38538
1613 * trans-array.c (get_elemental_fcn_charlen): Remove.
1614 (get_array_charlen): New function to replace previous.
1615
1616 2009-03-28 Paul Thomas <pault@gcc.gnu.org>
1617
1618 PR fortran/38765
1619 * parse.c (parse_derived): Do not break on finding pointer,
1620 allocatable or private components.
1621
1622 2009-03-28 Tobias Burnus <burnus@net-b.de>
1623
1624 PR fortran/32626
1625 * option.c (gfc_handle_runtime_check_option): Enable recursion check.
1626 * trans-decl.c (gfc_generate_function_code): Add recursion check.
1627 * invoke.texi (-fcheck): Add recursive option.
1628
1629 2009-03-28 Tobias Burnus <burnus@net-b.de>
1630
1631 PR fortran/38432
1632 * resolve.c (gfc_resolve_iterator): Add zero-loop warning.
1633
1634 2009-03-28 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
1635 Paul Thomas <pault@gcc.gnu.org>
1636 Tobias Burnus <burnus@net-b.de>
1637
1638 * gfortran.h (gfc_option_t): Add rtcheck.
1639 * lang.opt: New option -fcheck.
1640 * libgfortran.h: Add GFC_RTCHECK_* constants.
1641 * invoke.texi: Document -fcheck.
1642 * options.c (gfc_handle_runtime_check_option): New function.
1643 (gfc_init_options,gfc_post_options,gfc_handle_option):
1644 Add -fcheck option.
1645
1646 2009-03-27 Richard Guenther <rguenther@suse.de>
1647
1648 * trans-array.c (gfc_conv_descriptor_data_addr): Use
1649 gfc_build_addr_expr instead of build_fold_addr_expr.
1650 (gfc_trans_allocate_array_storage, gfc_trans_array_constructor_value,
1651 gfc_trans_constant_array_constructor, gfc_conv_array_data,
1652 gfc_conv_expr_descriptor, gfc_conv_array_parameter): Likewise.
1653 * trans-expr.c (gfc_conv_missing_dummy, gfc_conv_variable,
1654 gfc_conv_function_val, gfc_conv_operator_assign,
1655 gfc_conv_subref_array_arg, gfc_conv_function_call,
1656 gfc_conv_expr_reference, gfc_trans_scalar_assign): Likewise.
1657 * trans-intrinsic.c (gfc_conv_intrinsic_exponent,
1658 gfc_conv_intrinsic_ctime, gfc_conv_intrinsic_fdate,
1659 gfc_conv_intrinsic_ttynam, gfc_conv_intrinsic_minmax_char,
1660 gfc_conv_intrinsic_fraction, gfc_conv_intrinsic_spacing,
1661 gfc_conv_intrinsic_rrspacing, gfc_conv_intrinsic_set_exponent,
1662 gfc_conv_intrinsic_array_transfer, gfc_conv_intrinsic_transfer,
1663 gfc_conv_intrinsic_si_kind, gfc_conv_intrinsic_trim): Likewise.
1664 * trans-io.c (gfc_trans_io_runtime_check, set_parameter_ref,
1665 gfc_convert_array_to_string, gfc_trans_open, gfc_trans_close,
1666 build_filepos, gfc_trans_inquire, gfc_trans_wait,
1667 nml_get_addr_expr, transfer_namelist_element, build_dt,
1668 gfc_trans_dt_end, transfer_array_component, transfer_expr,
1669 transfer_array_desc, gfc_trans_transfer): Likewise.
1670 * trans-stmt.c (gfc_trans_allocate, gfc_trans_deallocate): Likewise.
1671 * trans.c (gfc_build_addr_expr): Mark the base of the address
1672 TREE_ADDRESSABLE.
1673
1674 2009-03-27 Tobias Burnus <burnus@net-b.de>
1675
1676 * gfortran.h (enum init_local_real.): Add GFC_INIT_REAL_SNAN.
1677 (gfc_expr): Add is_snan.
1678 * trans-const.c (gfc_conv_mpfr_to_tree): Support SNaN.
1679 (gfc_conv_constant_to_tree): Update call to gfc_conv_mpfr_to_tree.
1680 * trans-const.h (gfc_conv_mpfr_to_tree): Update prototype.
1681 * resolve.c (build_default_init_expr): Update call.
1682 * target-memory.c (encode_float): Ditto.
1683 * trans-intrinsic.c (gfc_conv_intrinsic_aint,gfc_conv_intrinsic_mod,
1684
1685 2009-03-18 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
1686
1687 * lang.opt: Unify help texts for -I, -Wconversion, -d, -fopenmp,
1688 and -fpreprocessed.
1689
1690 2009-03-06 Alexandre Oliva <aoliva@redhat.com>
1691
1692 * simplify.c (gfc_simplify_transfer): Zero-initialize the
1693 buffer.
1694
1695 2009-02-27 Tobias Burnus <burnus@net-b.de>
1696
1697 PR fortran/39309
1698 * module.c (read_md5_from_module_file): Add missing quote.
1699
1700 2009-02-27 Tobias Burnus <burnus@net-b.de>
1701
1702 PR fortran/39309
1703 * module.c (read_md5_from_module_file): Include mod version
1704 in had-changed test.
1705
1706 2009-02-26 Paul Thomas <pault@gcc.gnu.org>
1707
1708 PR fortran/39295
1709 * interface.c (compare_type_rank_if): Return 1 if the symbols
1710 are the same and deal with external procedures where one is
1711 identified to be a function or subroutine by usage but the
1712 other is not.
1713
1714 2009-02-26 Paul Thomas <pault@gcc.gnu.org>
1715
1716 PR fortran/39292
1717 * trans-array.c (gfc_conv_array_initializer): Convert all
1718 expressions rather than ICEing.
1719
1720 2009-02-21 Thomas Koenig <tkoenig@gcc.gnu.org>
1721
1722 PR fortran/38914
1723 * array.c (ref_dimen_size): Rename to gfc_ref_dimen_size,
1724 make global. Change function name in error messages.
1725 (ref_size): Change ref_dimen_size to gfc_ref_dimen_size.
1726 (gfc_array_ref_shape): Likewise.
1727 * gfortran.h: Add prototype for gfc_ref_dimen_size.
1728 * simplify.c (simplify_bound_dim): Add ref argument.
1729 If the reference isn't a full array, return one for
1730 the lower bound and the extent for the upper bound.
1731 (simplify_bound): For array sections, take as from the
1732 argument. Add reference to all to simplify_bound_dim.
1733
1734 2009-02-19 Daniel Franke <franke.daniel@gmail.com>
1735
1736 * scanner.c (load_line): At end of line, skip '\r' without setting
1737 the truncation flag.
1738
1739 2009-02-18 Daniel Kraft <d@domob.eu>
1740
1741 * gfortran.texi: New chapter about compiler characteristics.
1742 (Compiler Characteristics): Document KIND type parameters here.
1743
1744 2009-02-18 Tobias Burnus <burnus@net-b.de>
1745
1746 * intrinsic.texi (MALLOC): Make example more portable.
1747
1748 2009-02-13 Mikael Morin <mikael.morin@tele2.fr>
1749
1750 PR fortran/38259
1751 * module.c (gfc_dump_module,gfc_use_module): Add module
1752 version number.
1753
1754 2009-02-13 Paul Thomas <pault@gcc.gnu.org>
1755
1756 PR fortran/36703
1757 PR fortran/36528
1758 * trans-expr.c (gfc_conv_function_val): Stabilize Cray-pointer
1759 function references to ensure that a valid expression is used.
1760 (gfc_conv_function_call): Pass Cray pointers to procedures.
1761
1762 2009-02-03 Jakub Jelinek <jakub@redhat.com>
1763
1764 * gfortranspec.c (lang_specific_driver): Update copyright notice
1765 dates.
1766
1767 2009-01-28 Paul Thomas <pault@gcc.gnu.org>
1768
1769 PR fortran/38852
1770 PR fortran/39006
1771 * trans-intrinsic.c (gfc_conv_intrinsic_bound): Use the array
1772 descriptor ubound for UBOUND, when the array lbound == 1.
1773
1774 2009-01-27 Daniel Kraft <d@domob.eu>
1775
1776 PR fortran/38883
1777 * trans-stmt.c (gfc_conv_elemental_dependencies): Create temporary
1778 for the real type needed to make it work for subcomponent-references.
1779
1780 2009-01-21 Daniel Kraft <d@domob.eu>
1781
1782 * trans-stmt.c (gfc_conv_elemental_dependencies): Cleaned up comment.
1783
1784 2009-01-20 Paul Thomas <pault@gcc.gnu.org>
1785
1786 PR fortran/38907
1787 * resolve.c (check_host_association): Remove the matching to
1788 correct an incorrect host association and use manipulation of
1789 the expression instead.
1790
1791 2009-01-20 Tobias Burnus <burnus@net-b.de>
1792
1793 * invoke.texi (RANGE): RANGE also takes INTEGER arguments.
1794
1795 2009-01-19 Mikael Morin <mikael.morin@tele2.fr>
1796
1797 PR fortran/38859
1798 * simplify.c (simplify_bound): Don't use array specification
1799 if variable or component has subsequent references.
1800
1801 2009-01-17 Paul Thomas <pault@gcc.gnu.org>
1802
1803 PR fortran/38657
1804 * module.c (write_common_0): Add argument 'this_module' and
1805 check that non-use associated common blocks are written first.
1806 (write_common): Call write_common_0 twice, once with true and
1807 then with false.
1808
1809 2009-01-17 Paul Thomas <pault@gcc.gnu.org>
1810
1811 PR fortran/34955
1812 * trans-intrinsic.c (gfc_conv_intrinsic_array_transfer): Has
1813 been absorbed into gfc_conv_intrinsic_transfer. All
1814 references to it in trans-intrinsic.c have been changed
1815 accordingly. PR fixed by using a temporary for scalar
1816 character transfer, when the source is shorter than the
1817 destination.
1818
1819 2009-01-17 Paul Thomas <pault@gcc.gnu.org>
1820
1821 PR fortran/38657
1822 * module.c (write_common_0): Revert patch of 2009-01-05.
1823
1824 2009-01-16 Janus Weil <janus@gcc.gnu.org>
1825
1826 PR fortran/38152
1827 * expr.c (gfc_check_pointer_assign): Allow use-associated procedure
1828 pointers as lvalue.
1829 * trans-decl.c (get_proc_pointer_decl,gfc_create_module_variable):
1830 Enable procedure pointers as module variables.
1831
1832 2009-01-14 Steven G. Kargl <kargl@gcc.gnu.org>
1833
1834 * ChangeLog-2007: Clean out svn merge droppings.
1835
1836 2009-01-10 Paul Thomas <pault@gcc.gnu.org>
1837
1838 PR fortran/38763
1839 * target-memory.c (encode_derived): Encode NULL.
1840
1841 2009-01-10 Paul Thomas <pault@gcc.gnu.org>
1842
1843 PR fortran/38765
1844 * resolve.c (check_host_association): Use the symtree name to
1845 search for a potential contained procedure, since this is the
1846 name by which it would be referenced.
1847
1848 2009-01-06 Thomas Koenig <tkoenig@gcc.gnu.org>
1849
1850 PR fortran/38220
1851 * interface.c (gfc_procedure_use): Don't warn about functions
1852 from ISO_C_BINDING.
1853 * symbol.c (generate_isocbinding_symbol): Mark c_loc and
1854 c_funloc as pure.
1855
1856 2009-01-05 Paul Thomas <pault@gcc.gnu.org>
1857
1858 PR fortran/38657
1859 * module.c (write_common_0): Use the name of the symtree rather
1860 than the common block, to determine if the common has been
1861 written.
1862
1863 2009-01-05 Daniel Franke <franke.daniel@gmail.com>
1864
1865 PR fortran/37159
1866 * check.c (gfc_check_random_seed): Added size check for GET
1867 dummy argument, reworded error messages to follow common pattern.
1868
1869 2009-01-05 Thomas Koenig <tkoenig@gcc.gnu.org>
1870
1871 PR fortran/38672
1872 * trans-types.c (gfc_get_derived_type): Check for the
1873 presence of derived->ns->proc_name before
1874 accessing derived->ns->proc_name->attr.flavor .
1875 * resolve.c (resolve_symbol): Likewise.
1876
1877 2009-01-05 Paul Thomas <pault@gcc.gnu.org>
1878
1879 PR fortran/38665
1880 * gfortran.h : Add bit to gfc_expr 'user_operator'
1881 * interface.c (gfc_extend_expr): Set the above if the operator
1882 is substituted by a function.
1883 * resolve.c (check_host_association): Return if above is set.
1884
1885 2009-01-04 Mikael Morin <mikael.morin@tele2.fr>
1886
1887 PR fortran/35681
1888 * ChangeLog-2008: Fix function name.
1889
1890 PR fortran/38487
1891 * dependency.c (gfc_check_argument_var_dependency):
1892 Move the check for pointerness inside the if block
1893 so that it doesn't affect the return value.
1894
1895 PR fortran/38669
1896 * trans-stmt.c (gfc_trans_call):
1897 Add the dependency code after the loop bounds calculation one.
1898
1899 2009-01-04 Daniel Franke <franke.daniel@gmail.com>
1900
1901 * intrinsic.c (do_simplify): Removed already implemented TODO.
1902
1903 2009-01-04 Daniel Franke <franke.daniel@gmail.com>
1904
1905 PR fortran/38718
1906 * simplify.c (gfc_simplify_merge): New.
1907 * intrinsic.h (gfc_simplify_merge): New prototype.
1908 * intrinsic.c (add_functions): Added simplification for MERGE.
1909
1910 2009-01-04 Mikael Morin <mikael.morin@tele2.fr>
1911
1912 PR fortran/38536
1913 * gfortran.h (gfc_is_data_pointer): Added prototype
1914 * resolve.c (gfc_iso_c_func_interface):
1915 Use gfc_is_data_pointer to test for pointer attribute.
1916 * dependency.c (gfc_is_data_pointer):
1917 Support pointer-returning functions.
1918
1919 2009-01-03 Daniel Franke <franke.daniel@gmail.com>
1920
1921 * symbol.c (save_symbol): Don't SAVE function results.
1922
1923 2009-01-03 Paul Thomas <pault@gcc.gnu.org>
1924
1925 PR fortran/38594
1926 * resolve.c (resolve_call): When searching for proper host
1927 association, use symtree rather than symbol. For everything
1928 except generic subroutines, substitute the symtree in the call
1929 rather than the symbol.
1930
1931 \f
1932 Copyright (C) 2009 Free Software Foundation, Inc.
1933
1934 Copying and distribution of this file, with or without modification,
1935 are permitted in any medium without royalty provided the copyright
1936 notice and this notice are preserved.