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