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