1 2009-10-17 Janus Weil <janus@gcc.gnu.org>
2 Paul Thomas <pault@gcc.gnu.org>
5 * decl.c (gfc_match_data_decl): Add BT_CLASS for undefined type
7 * parse.c (gfc_build_block_ns): Only set recursive if parent ns
13 * gfortran.h : Add class_ok bitfield to symbol_attr.
14 * decl.c (build_sym): Set attr.class_ok if dummy, pointer or
16 (build_struct): Use gfc_try 't' to carry errors past the call
17 to encapsulate_class_symbol.
18 (attr_decl1): For a CLASS object, apply the new attribute to
20 * match.c (gfc_match_select_type): Set attr.class_ok for an
22 * resolve.c (resolve_fl_variable_derived): Check a CLASS object
23 is dummy, pointer or allocatable by testing the class_ok and
24 the use_assoc attribute.
26 2009-10-16 Janus Weil <janus@gcc.gnu.org>
29 * resolve.c (resolve_ordinary_assign): Reject intrinsic assignments
30 to polymorphic variables.
32 2009-10-16 Paul Thomas <pault@gcc.gnu.org>
36 * trans-expr.c (select_class_proc): Convert the expression for the
37 vindex, carried on the first member of the esym list.
38 * gfortran.h : Add the vindex field to the esym_list structure.
39 and eliminate the class_object field.
40 * resolve.c (check_class_members): Remove the setting of the
42 (vindex_expr): New function.
43 (get_class_from_expr): New function.
44 (resolve_class_compcall): Call the above to find the ultimate
45 class or derived component. If derived, do not generate the
46 esym list. Add and expression for the vindex to the esym list
48 (resolve_class_typebound_call): The same.
50 2009-10-15 Steven G. Kargl <kargl@gcc.gnu.org>
53 * intrinsic.texi: Explicitly state that ETIME and DTIME take
54 REAL(4) arguments. Fix nearby typographically errors where
55 /leq was used instead of \leq.
57 2009-10-13 Janus Weil <janus@gcc.gnu.org>
60 * decl.c (encapsulate_class_symbol): Add new component '$size'.
61 * resolve.c (resolve_allocate_expr): Move CLASS handling to
63 (resolve_class_assign): Replaced by gfc_trans_class_assign.
64 (resolve_code): Remove calls to resolve_class_assign.
65 * trans.c (gfc_trans_code): Use new function gfc_trans_class_assign.
66 * trans-expr.c (get_proc_ptr_comp): Fix a memory leak.
67 (gfc_conv_procedure_call): For CLASS dummies, set the
69 (gfc_trans_class_assign): New function, replacing resolve_class_assign.
70 * trans-stmt.h (gfc_trans_class_assign): New prototype.
71 * trans-stmt.c (gfc_trans_allocate): Use correct size when allocating
72 CLASS variables. Do proper initialization. Move some code here from
73 resolve_allocate_expr.
75 2009-10-11 Jerry DeLisle <jvdelisle@gcc.gnu.org>
78 * io.c (check_format): Fix locus for error messages and fix a comment.
80 2009-10-11 Paul Thomas <pault@gcc.gnu.org>
83 * decl.c (hash_value): New function.
84 (gfc_match_derived_decl): Call it.
86 2009-10-09 Janus Weil <janus@gcc.gnu.org>
89 * decl.c (build_struct): Bugfix for CLASS components.
91 2009-10-09 Tobias Burnus <burnus@net-b.de>
94 * decl.c (encapsulate_class_symbol): Save attr.abstract.
95 * resolve.c (resolve_allocate_expr): Reject class allocate
96 without typespec or source=.
97 * trans-stmt.c (gfc_trans_allocate): Change gfc_warning
98 into gfc_error for "not yet implemented".
100 2009-10-09 Janus Weil <janus@gcc.gnu.org>
103 * gfortran.h (gfc_select_type_stack): New struct, to be used as a stack
104 for SELECT TYPE statements.
105 (select_type_stack): New global variable.
106 (type_selector,select_type_tmp): Removed.
107 * match.c (type_selector,type_selector): Removed.
108 (select_type_stack): New variable, serving as a stack for
109 SELECT TYPE statements.
110 (select_type_push,select_type_set_tmp): New functions.
111 (gfc_match_select_type): Call select_type_push.
112 (gfc_match_type_is): Call select_type_set_tmp.
113 * parse.c (select_type_pop): New function.
114 (parse_select_type_block): Call select_type_pop.
115 * symbol.c (select_type_insert_tmp): New function.
116 (gfc_find_sym_tree): Call select_type_insert_tmp.
118 2009-10-07 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
120 * arith.c (arith_power): Use mpc_pow_z.
121 * gfortran.h (HAVE_mpc_pow_z): Define.
123 2009-10-07 Daniel Kraft <d@domob.eu>
126 * resolve.c (resolve_contained_fntype): Clarify error message for
127 invalid assumed-length character result on module procedures.
129 2009-10-07 Janus Weil <janus@gcc.gnu.org>
131 * expr.c (gfc_check_pointer_assign): Do the correct type checking when
132 CLASS variables are involved.
133 * match.c (gfc_match_select_type): Parse associate-name in SELECT TYPE
134 statements, and set up a local namespace for the SELECT TYPE block.
135 * parse.h (gfc_build_block_ns): New prototype.
136 * parse.c (parse_select_type_block): Return from local namespace to its
137 parent after SELECT TYPE block.
138 (gfc_build_block_ns): New function for setting up the local namespace
139 for a BLOCK construct.
140 (parse_block_construct): Use gfc_build_block_ns.
141 * resolve.c (resolve_select_type): Insert assignment for the selector
142 variable, in case an associate-name is given, and put the SELECT TYPE
143 statement inside a BLOCK.
144 (resolve_code): Call resolve_class_assign after checking the assignment.
145 * symbol.c (gfc_find_sym_tree): Moved some code here from
147 (gfc_get_ha_sym_tree): Moved some code to gfc_find_sym_tree.
149 2009-10-07 Paul Thomas <pault@gcc.gnu.org>
152 * resolve.c (check_class_members): Reset compcall.assign.
154 2009-10-05 Paul Thomas <pault@gcc.gnu.org>
156 * trans-expr.c (select_class_proc): New function.
157 (conv_function_val): Deal with class methods and call above.
158 * symbol.c (gfc_type_compatible): Treat case where both ts1 and
160 gfortran.h : Add structure gfc_class_esym_list and include in
161 the structure gfc_expr.
162 * module.c (load_derived_extensions): New function.
163 (read_module): Call above.
164 (write_dt_extensions): New function.
165 (write_derived_extensions): New function.
166 (write_module): Use the above.
167 * resolve.c (resolve_typebound_call): Add a function expression
168 for class methods. This carries the chain of symbols for the
169 dynamic dispatch in select_class_proc.
170 (resolve_compcall): Add second, boolean argument to indicate if
171 a function is being handled.
172 (check_members): New function.
173 (check_class_members): New function.
174 (resolve_class_compcall): New function.
175 (resolve_class_typebound_call): New function.
176 (gfc_resolve_expr): Call above for component calls..
178 2009-10-05 Daniel Kraft <d@domob.eu>
181 * trans-stmt.c (gfc_trans_goto): Ignore statement list on assigned goto
184 2009-10-03 Richard Guenther <rguenther@suse.de>
186 * options.c (gfc_post_options): Handle -flto and -fwhopr.
188 2009-10-02 Tobias Burnus <burnus@net-b.de>
191 * trans-decl.c (gfc_init_default_dt): Check for presence of
192 the argument only if it is optional or in entry master.
193 (init_intent_out_dt): Ditto; call gfc_init_default_dt
194 for all derived types with initializers.
196 2009-10-01 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
199 * gfortran.h (HAVE_mpc_arc): Define.
200 * simplify.c (gfc_simplify_acos): Handle complex acos.
201 (gfc_simplify_acosh): Likewise for acosh.
202 (gfc_simplify_asin): Likewise for asin.
203 (gfc_simplify_asinh): Likewise for asinh.
204 (gfc_simplify_atan): Likewise for atan.
205 (gfc_simplify_atanh): Likewise for atanh.
207 2009-10-01 Tobias Burnus <burnus@net-b.de>
210 * decl.c (do_parm): Call add_init_expr_to_sym.
212 2009-09-30 Dennis Wassel <dennis.wassel@gmail.com>
214 * gcc/fortran/trans-array.c (gfc_trans_array_bound_check): Improved
215 bounds checking error messages. (gfc_conv_array_ref): Likewise.
216 (gfc_conv_ss_startstride): Likewise.
218 2009-09-30 Janus Weil <janus@gcc.gnu.org>
220 * resolve.c (check_typebound_baseobject): Don't check for
221 abstract types for CLASS.
222 (resolve_class_assign): Adapt for RHS being a CLASS.
223 * trans-intrinsic.c (gfc_conv_associated): Add component ref
226 2009-09-30 Janus Weil <janus@gcc.gnu.org>
228 * check.c (gfc_check_same_type_as): New function for checking
229 SAME_TYPE_AS and EXTENDS_TYPE_OF.
230 * decl.c (encapsulate_class_symbol): Set ABSTRACT attribute for class
231 container, if the contained type has it. Add an initializer for the
233 (add_init_expr_to_sym): Handle BT_CLASS.
234 (vindex_counter): New counter for setting vindices.
235 (gfc_match_derived_decl): Set vindex for all derived types, not only
236 those which are being extended.
237 * expr.c (gfc_check_assign_symbol): Handle NULL initialization of class
239 * gfortran.h (gfc_isym_id): New values GFC_ISYM_SAME_TYPE_AS and
240 GFC_ISYM_EXTENDS_TYPE_OF.
241 (gfc_type_is_extensible): New prototype.
242 * intrinsic.h (gfc_check_same_type_as): New prototype.
243 * intrinsic.c (add_functions): Add SAME_TYPE_AS and EXTENDS_TYPE_OF.
244 * primary.c (gfc_expr_attr): Handle CLASS-valued functions.
245 * resolve.c (resolve_structure_cons): Handle BT_CLASS.
246 (type_is_extensible): Make non-static and rename to
247 'gfc_type_is_extensible.
248 (resolve_select_type): Renamed type_is_extensible.
249 (resolve_class_assign): Handle NULL pointers.
250 (resolve_fl_variable_derived): Renamed type_is_extensible.
251 (resolve_fl_derived): Ditto.
252 * trans-expr.c (gfc_trans_subcomponent_assign): Handle NULL
253 initialization of class pointer components.
254 (gfc_conv_structure): Handle BT_CLASS.
255 * trans-intrinsic.c (gfc_conv_same_type_as,gfc_conv_extends_type_of):
257 (gfc_conv_intrinsic_function): Handle SAME_TYPE_AS and EXTENDS_TYPE_OF.
259 2009-09-30 Janus Weil <janus@gcc.gnu.org>
261 * gfortran.h (type_selector, select_type_tmp): New global variables.
262 * match.c (type_selector, select_type_tmp): New global variables,
263 used for SELECT TYPE statements.
264 (gfc_match_select_type): Better error handling. Remember selector.
265 (gfc_match_type_is): Create temporary variable.
266 * module.c (ab_attribute): New value 'AB_IS_CLASS'.
267 (attr_bits): New string.
268 (mio_symbol_attribute): Handle 'is_class'.
269 * resolve.c (resolve_select_type): Insert pointer assignment statement,
270 to assign temporary to selector.
271 * symbol.c (gfc_get_ha_sym_tree): Replace selector by a temporary
272 in SELECT TYPE statements.
274 2009-09-30 Janus Weil <janus@gcc.gnu.org>
276 * dump-parse-tree.c (show_code_node): Renamed 'alloc_list'.
277 * gfortran.h (gfc_code): Rename 'alloc_list'. Add member 'ts'.
278 (gfc_expr_to_initialize): New prototype.
279 * match.c (alloc_opt_list): Correctly check type compatibility.
280 Renamed 'alloc_list'.
281 (dealloc_opt_list): Renamed 'alloc_list'.
282 * resolve.c (expr_to_initialize): Rename to 'gfc_expr_to_initialize'
283 and make it non-static.
284 (resolve_allocate_expr): Set vindex for CLASS variables correctly.
285 Move initialization code to gfc_trans_allocate. Renamed 'alloc_list'.
286 (resolve_allocate_deallocate): Renamed 'alloc_list'.
287 (check_class_pointer_assign): Rename to 'resolve_class_assign'. Change
288 argument type. Adjust to work with ordinary assignments.
289 (resolve_code): Call 'resolve_class_assign' for ordinary assignments.
290 Renamed 'check_class_pointer_assign'.
291 * st.c (gfc_free_statement): Renamed 'alloc_list'.
292 * trans-stmt.c (gfc_trans_allocate): Renamed 'alloc_list'. Handle
293 size determination and initialization of CLASS variables. Bugfix for
294 ALLOCATE statements with default initialization and SOURCE block.
295 (gfc_trans_deallocate): Renamed 'alloc_list'.
297 2009-09-30 Paul Thomas <pault@gcc.gnu.org>
299 * trans-expr.c (gfc_conv_procedure_call): Convert a derived
300 type actual to a class object if the formal argument is a
303 2009-09-30 Janus Weil <janus@gcc.gnu.org>
306 * decl.c (build_struct): Handle allocatable scalar components.
307 * expr.c (gfc_add_component_ref): Correctly set typespec of expression,
308 after inserting component reference.
309 * match.c (gfc_match_type_is,gfc_match_class_is): Make sure that no
310 variables are being used uninitialized.
311 * primary.c (gfc_match_varspec): Handle CLASS array components.
312 * resolve.c (resolve_select_type): Transform EXEC_SELECT_TYPE to
314 * trans-array.c (structure_alloc_comps,gfc_trans_deferred_array):
315 Handle allocatable scalar components.
316 * trans-expr.c (gfc_conv_component_ref): Ditto.
317 * trans-types.c (gfc_get_derived_type): Ditto.
319 2009-09-30 Janus Weil <janus@gcc.gnu.org>
321 * decl.c (encapsulate_class_symbol): Modify names of class container
322 components by prefixing with '$'.
323 (gfc_match_end): Handle COMP_SELECT_TYPE.
324 * expr.c (gfc_add_component_ref): Modify names of class container
325 components by prefixing with '$'.
326 * gfortran.h (gfc_statement): Add ST_SELECT_TYPE, ST_TYPE_IS and
328 (gfc_case): New field 'ts'.
329 (gfc_exec_op): Add EXEC_SELECT_TYPE.
330 (gfc_type_is_extension_of): New prototype.
331 * match.h (gfc_match_select_type,gfc_match_type_is,gfc_match_class_is):
333 * match.c (match_derived_type_spec): New function.
334 (match_type_spec): Use 'match_derived_type_spec'.
335 (match_case_eos): Modify error message.
336 (gfc_match_select_type): New function.
337 (gfc_match_case): Modify error message.
338 (gfc_match_type_is): New function.
339 (gfc_match_class_is): Ditto.
340 * parse.h (gfc_compile_state): Add COMP_SELECT_TYPE.
341 * parse.c (decode_statement): Handle SELECT TYPE, TYPE IS and CLASS IS
343 (next_statement): Handle ST_SELECT_TYPE.
344 (gfc_ascii_statement): Handle ST_SELECT_TYPE, ST_TYPE_IS, ST_CLASS_IS.
345 (parse_select_type_block): New function.
346 (parse_executable): Handle ST_SELECT_TYPE.
347 * resolve.c (resolve_deallocate_expr): Handle BT_CLASS. Modify names of
348 class container components by prefixing with '$'.
349 (resolve_allocate_expr): Ditto.
350 (resolve_select_type): New function.
351 (gfc_resolve_blocks): Handle EXEC_SELECT_TYPE.
352 (check_class_pointer_assign): Modify names of class container
353 components by prefixing with '$'.
354 (resolve_code): Ditto.
355 * st.c (gfc_free_statement): Ditto.
356 * symbol.c (gfc_type_is_extension_of): New function.
357 (gfc_type_compatible): Use 'gfc_type_is_extension_of', plus a bugfix.
358 * trans.c (gfc_trans_code): Handel EXEC_SELECT_TYPE.
360 2009-09-30 Janus Weil <janus@gcc.gnu.org>
361 Paul Thomas <pault@gcc.gnu.org>
363 * check.c (gfc_check_move_alloc): Arguments don't have to be arrays.
364 The second argument needs to be type-compatible with the first (not the
365 other way around, which makes a difference for CLASS entities).
366 * decl.c (encapsulate_class_symbol): New function.
367 (build_sym,build_struct): Handle BT_CLASS, call
368 'encapsulate_class_symbol'.
369 (gfc_match_decl_type_spec): Remove warning, use BT_CLASS.
370 (gfc_match_derived_decl): Set vindex;
371 * expr.c (gfc_add_component_ref): New function.
372 (gfc_copy_expr,gfc_check_pointer_assign,gfc_check_assign_symbol):
374 * dump-parse-tree.c (show_symbol): Print vindex.
375 * gfortran.h (bt): New basic type BT_CLASS.
376 (symbol_attribute): New field 'is_class'.
377 (gfc_typespec): Remove field 'is_class'.
378 (gfc_symbol): New field 'vindex'.
379 (gfc_get_ultimate_derived_super_type): New prototype.
380 (gfc_add_component_ref): Ditto.
381 * interface.c (gfc_compare_derived_types): Pointer equality check
382 moved here from gfc_compare_types.
383 (gfc_compare_types): Handle BT_CLASS and use
385 * match.c (gfc_match_allocate,gfc_match_deallocate,gfc_match_call):
387 * misc.c (gfc_clear_ts): Removed is_class.
388 (gfc_basic_typename,gfc_typename): Handle BT_CLASS.
389 * module.c (bt_types,mio_typespec): Handle BT_CLASS.
390 (mio_symbol): Handle vindex.
391 * primary.c (gfc_match_varspec,gfc_variable_attr): Handle BT_CLASS.
392 * resolve.c (find_array_spec,check_typebound_baseobject):
394 (resolve_ppc_call,resolve_expr_ppc): Don't call 'gfc_is_proc_ptr_comp'
396 (resolve_deallocate_expr,resolve_allocate_expr): Handle BT_CLASS.
397 (check_class_pointer_assign): New function.
398 (resolve_code): Handle BT_CLASS, call check_class_pointer_assign.
399 (resolve_fl_var_and_proc,type_is_extensible,resolve_fl_variable_derived,
400 resolve_fl_variable): Handle BT_CLASS.
401 (check_generic_tbp_ambiguity): Add special case.
402 (resolve_typebound_procedure,resolve_fl_derived): Handle BT_CLASS.
403 * symbol.c (gfc_get_ultimate_derived_super_type): New function.
404 (gfc_type_compatible): Handle BT_CLASS.
405 * trans-expr.c (conv_parent_component_references): Handle CLASS
407 (gfc_conv_initializer): Handle BT_CLASS.
408 * trans-types.c (gfc_typenode_for_spec,gfc_get_derived_type):
411 2009-09-29 Daniel Kraft <d@domob.eu>
414 * gfortran.h (enum gfc_statement): Add ST_BLOCK and ST_END_BLOCK.
415 (struct gfc_namespace): Convert flags to bit-fields and add flag
416 `construct_entities' for use with BLOCK constructs.
417 (enum gfc_exec_code): Add EXEC_BLOCK.
418 (struct gfc_code): Add namespace field to union for EXEC_BLOCK.
419 * match.h (gfc_match_block): New prototype.
420 * parse.h (enum gfc_compile_state): Add COMP_BLOCK.
421 * trans.h (gfc_process_block_locals): New prototype.
422 (gfc_trans_deferred_vars): Made public, new prototype.
423 * trans-stmt.h (gfc_trans_block_construct): New prototype.
424 * decl.c (gfc_match_end): Handle END BLOCK correctly.
425 (gfc_match_intent): Error if inside of BLOCK.
426 (gfc_match_optional), (gfc_match_value): Ditto.
427 * match.c (gfc_match_block): New routine.
428 * parse.c (decode_statement): Handle BLOCK statement.
429 (case_exec_markers): Add ST_BLOCK.
430 (case_end): Add ST_END_BLOCK.
431 (gfc_ascii_statement): Handle ST_BLOCK and ST_END_BLOCK.
432 (parse_spec): Check for statements not allowed inside of BLOCK.
433 (parse_block_construct): New routine.
434 (parse_executable): Parse BLOCKs.
435 (parse_progunit): Disallow CONTAINS in BLOCK constructs.
436 * resolve.c (is_illegal_recursion): Find real container procedure and
437 don't get confused by BLOCK constructs.
438 (resolve_block_construct): New routine.
439 (gfc_resolve_blocks), (resolve_code): Handle EXEC_BLOCK.
440 * st.c (gfc_free_statement): Handle EXEC_BLOCK statements.
441 * trans-decl.c (saved_local_decls): New static variable.
442 (add_decl_as_local): New routine.
443 (gfc_finish_var_decl): Add variable as local if inside BLOCK.
444 (gfc_trans_deferred_vars): Make public.
445 (gfc_process_block_locals): New routine.
446 * trans-stmt.c (gfc_trans_block_construct): New routine.
447 * trans.c (gfc_trans_code): Handle EXEC_BLOCK statements.
449 2009-09-28 Jerry DeLisle <jvdelisle@gcc.gnu.org>
452 * io.c (format_token): Add enumerators for rounding format specifiers.
453 (format_lex): Tokenize the rounding format specifiers.
454 (gfc_match_open): Enable rounding modes in OPEN statement.
456 2009-09-28 Richard Henderson <rth@redhat.com>
458 * f95-lang.c (gfc_init_builtin_functions): Update call to
459 build_common_builtin_nodes.
461 2009-09-25 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
463 * simplify.c (gfc_simplify_acos, gfc_simplify_acosh,
464 gfc_simplify_asin, gfc_simplify_asinh, gfc_simplify_atan,
465 gfc_simplify_atanh): Fix error message.
467 2009-09-24 Steven G. Kargl <kargl@gcc.gnu.org>
470 * error.c(gfc_warning_now): Move warnings_are_errors test to
471 after actual emitting of the warning.
472 * parse.c (next_free): Improve error locus printing.
473 (next_fixed): Change gfc_warn to gfc_warning_now, and improve
476 2009-09-16 Michael Matz <matz@suse.de>
479 * trans.h (struct lang_type): Remove nontarget_type member.
480 * trans.c (gfc_add_modify): Don't access it.
481 * trans-decl.c (gfc_finish_var_decl): Don't allocate and set it,
482 instead set DECL_RESTRICTED_P on affected decls.
484 2009-09-14 Richard Henderson <rth@redhat.com>
486 * f95-lang.c (gfc_init_builtin_functions): Update call to
487 build_common_builtin_nodes.
488 (gfc_maybe_initialize_eh): Don't call
489 default_init_unwind_resume_libfunc.
491 2009-09-13 Richard Guenther <rguenther@suse.de>
492 Rafael Avila de Espindola <espindola@google.com>
494 * f95-lang.c (gfc_maybe_initialize_eh): Do not init
495 eh_personality_libfunc.
497 2009-09-11 Janus Weil <janus@gcc.gnu.org>
500 * resolve.c (resolve_ordinary_assign): Don't call resolve_code,
501 to avoid that subsequent codes are resolved more than once.
502 (resolve_code): Make sure that type-bound assignment operators are
506 2009-09-10 Steven G. Kargl <kargl@gcc.gnu.org>
509 * fortran/decl.c(gfc_match_modproc): Check that module procedures
510 from a module can USEd in module procedure statements in other
511 program units. Update locus for better error message display.
512 Detect intrinsic procedures in module procedure statements.
514 2009-09-09 Richard Guenther <rguenther@suse.de>
517 * trans-expr.c (gfc_trans_scalar_assign): Correct typo that
518 left 'tmp' unused in derived type assignment.
520 2009-09-07 Thomas Koenig <tkoenig@gcc.gnu.org>
523 * resolve_c (resolve_allocate_deallocate): Complain
524 if stat or errmsg varaible is an array.
526 2009-09-05 Paul Thomas <pault@gcc.gnu.org>
529 * primary.c (gfc_match_varspec): Do not look for typebound
530 procedures unless the derived type has a f2k_derived namespace.
532 2009-09-03 Diego Novillo <dnovillo@google.com>
534 * f95-lang.c (lang_hooks): Remove const qualifier.
536 2009-09-01 Richard Guenther <rguenther@suse.de>
538 * f95-lang.c (gfc_mark_addressable): Remove.
539 (LANG_HOOKS_MARK_ADDRESSABLE): Likewise.
541 2009-08-31 Jerry DeLisle <jvdelisle@gcc.gnu.org>
544 * scanner.c (next_char): Fix typo in comment.
545 (gfc_get_char_literal): Warn if truncate flag is set for both fixed and
546 free form source, adjusting error locus as needed.
547 * parse.c (next_fixed): Clear the truncate flag.
548 (next_statement): Remove truncate warning.
550 2009-08-31 Janus Weil <janus@gcc.gnu.org>
551 Paul Thomas <pault@gcc.gnu.org>
554 * array.c (gfc_match_array_constructor): Rename gfc_match_type_spec.
555 * decl.c (gfc_match_type_spec): Rename to gfc_match_decl_type_spec,
556 and reject CLASS with -std=f95.
557 (gfc_match_implicit, gfc_match_data_decl,gfc_match_prefix,
558 match_procedure_interface): Rename gfc_match_type_spec.
559 * gfortran.h (gfc_type_compatible): Add prototype.
560 * match.h (gfc_match_type_spec): Rename to gfc_match_decl_type_spec.
561 * match.c (match_intrinsic_typespec): Rename to match_type_spec, and
562 add handling of derived types.
563 (gfc_match_allocate): Rename match_intrinsic_typespec and check
564 type compatibility of derived types.
565 * symbol.c (gfc_type_compatible): New function to check if two types
568 2009-08-31 Janus Weil <janus@gcc.gnu.org>
571 * check.c (gfc_check_allocated): Implement allocatable scalars.
572 * resolve.c (resolve_allocate_expr,resolve_fl_var_and_proc): Ditto.
573 * trans-intrinsic.c (gfc_conv_allocated): Ditto.
575 2009-08-30 Daniel Kraft <d@domob.eu>
578 * dump-parse-tree.c (show_typebound_proc): Renamed from `show_typebound'
579 and accept gfc_typebound_proc and name instead of the symtree, needed
580 for intrinsic operator output.
581 (show_typebound_symtree): New method calling `show_typebound_proc'.
582 (show_f2k_derived): Output type-bound operators also.
583 (show_symbol): Moved output of `Procedure bindings:' label to
585 * gfortran.texi (Fortran 2003 status): Mention support of
586 array-constructors with explicit type specification, type-bound
587 procedures/operators, type extension, ABSTRACT types and DEFERRED.
588 Link to Fortran 2003 wiki page.
589 (Fortran 2008 status): Fix typo. Link to Fortran 2008 wiki page.
590 * gfc-internals.texi (Type-bound Procedures): Document the new
591 members/attributes of gfc_expr.value.compcall used for type-bound
593 (Type-bound Operators): New section documenting their internals.
595 2009-08-27 Janus Weil <janus@gcc.gnu.org>
598 * expr.c (gfc_check_pointer_assign): Enable interface check for
599 pointer assignments involving procedure pointer components.
600 * gfortran.h (gfc_compare_interfaces): Modified prototype.
601 * interface.c (gfc_compare_interfaces): Add argument 'name2', to be
602 used instead of s2->name. Don't rely on the proc_pointer attribute,
603 but instead on the flags handed to this function.
604 (check_interface1,compare_parameter): Add argument for
605 gfc_compare_interfaces.
606 * resolve.c (check_generic_tbp_ambiguity): Ditto.
608 2009-08-27 Daniel Kraft <d@domob.eu>
611 * gfortran.h (gfc_expr): Optionally store base-object in compcall value
612 and add a new flag to distinguish assign-calls generated.
613 (gfc_find_typebound_proc): Add locus argument.
614 (gfc_find_typebound_user_op), (gfc_find_typebound_intrinsic_op): Ditto.
615 (gfc_extend_expr): Return if failure was by a real error.
616 * interface.c (matching_typebound_op): New routine.
617 (build_compcall_for_operator): New routine.
618 (gfc_extend_expr): Handle type-bound operators, some clean-up and
619 return if failure was by a real error or just by not finding an
620 appropriate operator definition.
621 (gfc_extend_assign): Handle type-bound assignments.
622 * module.c (MOD_VERSION): Incremented.
623 (mio_intrinsic_op): New routine.
624 (mio_full_typebound_tree): New routine to make typebound-procedures IO
625 code reusable for type-bound user operators.
626 (mio_f2k_derived): IO of type-bound operators.
627 * primary.c (gfc_match_varspec): Initialize new fields in gfc_expr and
628 pass locus to gfc_find_typebound_proc.
629 * resolve.c (resolve_operator): Only output error about no matching
630 interface if gfc_extend_expr did not already fail with an error.
631 (extract_compcall_passed_object): Use specified base-object if present.
632 (update_compcall_arglist): Handle ignore_pass field.
633 (resolve_ordinary_assign): Update to handle extended code for
634 type-bound assignments, too.
635 (resolve_code): Handle EXEC_ASSIGN_CALL statement code.
636 (resolve_tb_generic_targets): Pass locus to gfc_find_typebound_proc.
637 (resolve_typebound_generic), (resolve_typebound_procedure): Ditto.
638 (resolve_typebound_intrinsic_op), (resolve_typebound_user_op): Ditto.
639 (ensure_not_abstract_walker), (resolve_fl_derived): Ditto.
640 (resolve_typebound_procedures): Remove not-implemented error.
641 (resolve_typebound_call): Handle assign-call flag.
642 * symbol.c (find_typebound_proc_uop): New argument to pass locus for
643 error message about PRIVATE, verify that a found procedure is not marked
645 (gfc_find_typebound_intrinsic_op): Ditto.
646 (gfc_find_typebound_proc), (gfc_find_typebound_user_op): New locus arg.
648 2009-08-22 Bud Davis <bdavis9659@sbcglobal.net>
651 * io.c: reverted previous patch.
653 2009-08-25 Janne Blomqvist <jb@gcc.gnu.org>
655 * gfortran.texi: Fix ENCODE example.
657 2009-08-25 Janus Weil <janus@gcc.gnu.org>
660 * primary.c (gfc_match_varspec): Make sure EXPR_PPC is only used for
661 calls to procedure pointer components, other references to procedure
662 pointer components are EXPR_VARIABLE.
663 * resolve.c (resolve_actual_arglist): Bugfix (there can be calls without
665 * trans-expr.c (gfc_get_proc_ptr_comp): Renamed to 'get_proc_ptr_comp',
666 removed argument 'se' and made static. Avoid inserting a temporary
667 variable for calling the PPC.
668 (conv_function_val): Renamed gfc_get_proc_ptr_comp.
669 (gfc_conv_procedure_call): Distinguish functions returning a procedure
670 pointer from calls to a procedure pointer. Distinguish calls to
671 procedure pointer components from procedure pointer components as
673 * trans-stmt.h (gfc_get_proc_ptr_comp): Make it static.
675 2009-08-24 Jerry DeLisle <jvdelisle@gcc.gnu.org>
678 * io.c (check_format): Fix to not error on slash after P. Fix some
681 2009-08-24 Jerry DeLisle <jvdelisle@gcc.gnu.org>
684 * io.c (check_format): Fix to not error on right paren after P.
686 2009-08-24 Aldy Hernandez <aldyh@redhat.com>
689 * trans-io.c (build_dt): Pass UNKNOWN_LOCATION to build_call_expr_loc.
690 (transfer_array_desc): Same.
692 2009-08-23 Jerry DeLisle <jvdelisle@gcc.gnu.org>
695 * io.c (check_format): Add checks for comma and the allowed
696 format specifiers after the 'P' specifier. Fix typo in error message
699 2009-08-23 Jerry DeLisle <jvdelisle@gcc.gnu.org>
702 * io.c (enum format_token): Change FMT_EXT to FMT_EN and FMT_ES.
703 (format_lex): Likewise.
704 (token_to_string): New function.
705 (check_format): Use the new tokens and the new function. Add
706 check for positive width.
708 2009-08-22 Steven G. Kargl <kargl@gcc.gnu.org>
710 * fortran/decl.c: Disallow procedure pointers with -std=f95.
712 2009-08-22 Steven K. kargl <kargl@gcc.gnu.org>
713 Paul Thomas <pault@gcc.gnu.org>
715 * fortran/decl.c (match_char_spec): Rename to gfc_match_char_spec,
717 * fortran/gfortran.h: Add *expr3 entity to gfc_code. Add prototype
718 for gfc_match_char_spec.
719 * fortran/trans-stmt.c (gfc_trans_allocate): Translate the SOURCE=
721 * fortran/match.c (match_intrinsic_typespec): New function to match
722 F2003 intrinsic-type-spec.
723 (conformable_arrays): New function. Check SOURCE= and
724 allocation-object are conformable.
725 (gfc_match_allocate): Use new functions. Match SOURCE= tag.
727 2009-08-22 Bud Davis <bdavis9659@sbcglobal.net>
730 * io.c : added variable to store original len of fmt
731 * io.c (check_format): Consume H items using next_char
732 in both modes to handle consecutive single quotes.
733 Test for extra characters in fmt, issue warning.
735 2009-08-21 Janus Weil <janus@gcc.gnu.org>
738 * primary.c (gfc_variable_attr): Make it work also on EXPR_FUNCTION.
739 (gfc_expr_attr): Use gfc_variable_attr for procedure pointer components.
740 * resolve.c (resolve_fl_derived): Handle CHARACTER-valued procedure
742 * trans-expr.c (gfc_conv_component_ref): Ditto.
743 (gfc_conv_variable): Ditto.
744 (gfc_conv_procedure_call): Ditto.
745 (gfc_trans_pointer_assignment): Ditto.
746 * trans-types.c (gfc_get_derived_type): Ditto.
748 2009-08-20 Tobias Schlüter <tobi@gcc.gnu.org>
750 * trans-stmt.c (gfc_trans_do): Add a few missing folds.
752 2009-08-20 Michael Matz <matz@suse.de>
755 * trans-expr.c (gfc_conv_string_tmp): Check type compatibility
758 2009-08-20 Janus Weil <janus@gcc.gnu.org>
761 * resolve.c (resolve_symbol): Don't resolve formal_ns of intrinsic
764 2009-08-18 Michael Matz <matz@suse.de>
766 * trans-expr.c (gfc_conv_substring): Don't evaluate casted decl early,
767 change order of length calculation to (end - start) + 1.
768 (gfc_get_interface_mapping_array): Adjust call to
769 gfc_get_nodesc_array_type.
770 * trans-array.c (gfc_trans_create_temp_array,
771 gfc_build_constant_array_constructor, gfc_conv_expr_descriptor): Ditto.
772 * trans-stmt.c (gfc_trans_pointer_assign_need_temp): Ditto.
773 * trans.c (gfc_add_modify): Assignment between base type and nontarget
774 type are equal enough.
775 (gfc_call_malloc): Use prvoid_type_node for return value of
777 (gfc_allocate_with_status): Ditto.
778 * trans-types.c (gfc_array_descriptor_base): Double size of this array.
779 (gfc_init_types): Build prvoid_type_node.
780 (gfc_build_array_type): New bool parameter "restricted".
781 (gfc_get_nodesc_array_type): Ditto, build restrict qualified pointers,
783 (gfc_get_array_descriptor_base): Ditto.
784 (gfc_get_array_type_bounds): Ditto.
785 (gfc_sym_type): Use symbol attributes to feed calls to above functions.
786 (gfc_get_derived_type): Ditto.
787 * trans.h (struct lang_type): Add nontarget_type member.
788 * trans-types.h (prvoid_type_node): Declare.
789 (gfc_get_array_type_bounds, gfc_get_nodesc_array_type): Declare new
791 * trans-decl.c (gfc_finish_var_decl): Give scalars that can't be
792 aliased a type with a different alias set than the base type.
793 (gfc_build_dummy_array_decl): Adjust call to gfc_get_nodesc_array_type.
795 2009-08-18 Janus Weil <janus@gcc.gnu.org>
796 Paul Thomas <pault@gcc.gnu.org>
799 * trans-types.c (gfc_get_ppc_type): Include formal args in backend_decl
800 using the interface symbol. Character types are returned by reference.
801 (gfc_get_derived_type): Prevent infinite recursion loop
802 if a PPC has a derived-type formal arg.
804 2008-08-17 Paul Thomas <pault@gcc.gnu.org>
807 * trans-decl.c (gfc_trans_use_stmts): Keep going through use
808 list if symbol is not use associated.
810 2009-08-17 Daniel Kraft <d@domob.eu>
813 * resolve.c (get_checked_tb_operator_target): New routine to do checks
814 on type-bound operators in common between intrinsic and user operators.
815 (resolve_typebound_intrinsic_op): Call it.
816 (resolve_typebound_user_op): Ditto.
818 2009-08-17 Jerry DeLisle <jvdelisle@gcc.gnu.org>
821 * scanner.c (gfc_next_char_literal): Add comment to improve
823 * io.c (enum format_token): Add FMT_STAR. (format_lex): Add case
824 for '*'. (check_format): Check for left paren after '*'. Change
825 format checks to use %L to improve format string error locus.
827 2009-08-17 Janus Weil <janus@gcc.gnu.org>
830 * array.c (gfc_resolve_character_array_constructor): Add NULL argument
832 * decl.c (add_init_expr_to_sym,variable_decl,match_char_spec,
833 gfc_match_implicit): Ditto.
834 * expr.c (simplify_const_ref): Fix memory leak.
835 (gfc_simplify_expr): Add NULL argument to gfc_new_charlen.
836 * gfortran.h (gfc_new_charlen): Modified prototype.
837 * iresolve.c (check_charlen_present,gfc_resolve_char_achar): Add NULL
838 argument to gfc_new_charlen.
839 * module.c (mio_charlen): Ditto.
840 * resolve.c (gfc_resolve_substring_charlen,
841 gfc_resolve_character_operator,fixup_charlen): Ditto.
842 (resolve_fl_derived,resolve_symbol): Add argument to gfc_charlen.
843 * symbol.c (gfc_new_charlen): Add argument 'old_cl' (to make a copy of
844 an existing charlen).
845 (gfc_set_default_type,generate_isocbinding_symbol): Fix memory leak.
846 (gfc_copy_formal_args_intr): Add NULL argument to gfc_new_charlen.
847 * trans-decl.c (create_function_arglist): Fix memory leak.
849 2009-08-17 Richard Guenther <rguenther@suse.de>
851 * trans-expr.c (gfc_trans_scalar_assign): Replace hack with
854 2009-08-15 Tobias Burnus <burnus@net-b.de>
857 * gfortranspec.c (lookup_option): Remove gfortran-specific
858 version of -dumpversion.
860 2009-08-14 Janus Weil <janus@gcc.gnu.org>
863 * resolve.c (resolve_structure_cons): Make sure that ts.u.derived is
864 only used if type is BT_DERIVED.
866 2009-08-13 Janus Weil <janus@gcc.gnu.org>
869 * gfortran.h (gfc_typespec): Put 'derived' and 'cl' into union.
870 * decl.c (build_struct): Make sure 'cl' is only used
871 if type is BT_CHARACTER.
872 * symbol.c (gfc_set_default_type): Ditto.
873 * resolve.c (resolve_symbol, resolve_fl_derived): Ditto.
874 (resolve_equivalence,resolve_equivalence_derived): Make sure 'derived'
875 is only used if type is BT_DERIVED.
876 * trans-io.c (transfer_expr): Make sure 'derived' is only used if type
877 is BT_DERIVED or BT_INTEGER (special case: C_PTR/C_FUNPTR).
878 * array.c: Mechanical replacements to accomodate union in gfc_typespec.
882 * dump-parse-tree.c: Ditto.
884 * interface.c: Ditto.
895 * target-memory.c: Ditto.
896 * trans-array.c: Ditto.
897 * trans-common.c: Ditto.
898 * trans-const.c: Ditto.
899 * trans-decl.c: Ditto.
900 * trans-expr.c: Ditto.
901 * trans-intrinsic.c: Ditto.
903 * trans-stmt.c: Ditto.
904 * trans-types.c: Ditto.
906 2009-08-13 Janus Weil <janus@gcc.gnu.org>
909 * resolve.c (resolve_symbol): Move some checking code to
910 resolve_intrinsic, and call this from here.
911 (resolve_intrinsic): Some checking code moved here from resolve_symbol.
912 Make sure each intrinsic is only resolved once.
914 2009-08-12 Tobias Burnus <burnus@net-b.de>
917 * symbol.c (gfc_copy_attr): Merge bits instead of replace
918 bits in gfc_copy_attr.
919 * gfc_check_pointer_assign (gfc_check_pointer_assign):
920 Initialize ext_attr bits by zero.
922 2009-08-11 Richard Guenther <rguenther@suse.de>
924 * trans-types.c (gfc_get_derived_type): Do not clear TYPE_CANONICAL.
926 2009-08-11 Janus Weil <janus@gcc.gnu.org>
929 * trans-expr.c (gfc_conv_procedure_call): Handle procedure pointer
930 components as actual arguments.
932 2009-08-10 Daniel Kraft <d@domob.eu>
935 * gfortran.h (struct gfc_namespace): New fields tb_uop_root and tb_op.
936 (gfc_find_typebound_user_op): New routine.
937 (gfc_find_typebound_intrinsic_op): Ditto.
938 (gfc_check_operator_interface): Now public routine.
939 * decl.c (gfc_match_generic): Match OPERATOR(X) or ASSIGNMENT(=).
940 * interface.c (check_operator_interface): Made public, renamed to
941 `gfc_check_operator_interface' accordingly and hand in the interface
942 as gfc_symbol rather than gfc_interface so it is useful for type-bound
943 operators, too. Return boolean result.
944 (gfc_check_interfaces): Adapt call to `check_operator_interface'.
945 * symbol.c (gfc_get_namespace): Initialize new field `tb_op'.
946 (gfc_free_namespace): Free `tb_uop_root'-based tree.
947 (find_typebound_proc_uop): New helper function.
948 (gfc_find_typebound_proc): Use it.
949 (gfc_find_typebound_user_op): New method.
950 (gfc_find_typebound_intrinsic_op): Ditto.
951 * resolve.c (resolve_tb_generic_targets): New helper function.
952 (resolve_typebound_generic): Use it.
953 (resolve_typebound_intrinsic_op), (resolve_typebound_user_op): New.
954 (resolve_typebound_procedures): Resolve operators, too.
955 (check_uop_procedure): New, code from gfc_resolve_uops.
956 (gfc_resolve_uops): Moved main code to new `check_uop_procedure'.
958 2009-08-10 Janus Weil <janus@gcc.gnu.org>
961 * decl.c (gfc_match_type_spec): Match CLASS statement and warn about
962 missing polymorphism.
963 * gfortran.h (gfc_typespec): Add field 'is_class'.
964 * misc.c (gfc_clear_ts): Initialize 'is_class' to zero.
965 * resolve.c (type_is_extensible): New function to check if a derived
967 (resolve_fl_variable_derived): Add error checks for CLASS variables.
968 (resolve_typebound_procedure): Disallow non-polymorphic passed-object
969 dummy arguments, turning warning into error.
970 (resolve_fl_derived): Use 'type_is_extensible'. Disallow non-polymorphic
971 passed-object dummy arguments for procedure pointer components,
972 turning warning into error. Add error check for CLASS components.
974 2009-08-05 Tobias Burnus <burnus@net-b.de>
977 * gfortran.h (ext_attr_id_t): Add typedef for this enum.
978 (gfc_add_ext_attribute): Use it.
979 * decl.c (gfc_match_gcc_attributes): Ditto.
980 * expr.c (gfc_check_pointer_assign): Ditto.
981 * symbol.c (gfc_add_ext_attribute): Ditto.
982 (gfc_copy_attr): Copy also ext_attr.
983 * resolve.c (resolve_fl_derived,resolve_symbol): Ditto.
984 * module.c (mio_symbol_attribute): Save ext_attr in the mod file.
986 2009-08-05 Tobias Burnus <burnus@net-b.de>
990 2009-08-04 Tobias Burnus <burnus@net-b.de>
993 * trans-types.c (gfc_get_function_type): Fix typelist of
994 functions without argument.
996 2009-08-05 Paul Thomas <pault@gcc.gnu.org>
999 * iresolve.c (gfc_resolve_transfer): Correct error in 'mold'
1000 character length for case where length expresson is NULL.
1002 2009-08-04 Tobias Burnus <burnus@net-b.de>
1005 * trans-types.c (gfc_get_function_type): Fix typelist of
1006 functions without argument.
1008 2009-08-04 Paul Thomas <pault@gcc.gnu.org>
1011 * decl.c (add_init_expr_to_sym): Character symbols can only be
1012 initialized with character expressions.
1014 2009-08-02 Janus Weil <janus@gcc.gnu.org>
1017 * decl.c (match_char_length): Warn about old-style character length
1019 * match.c (match_arithmetic_if,gfc_match_if): Modify warning message
1021 (gfc_match_goto): Warn about computed gotos.
1022 (gfc_match_return): Warn about alternate return.
1023 (gfc_match_st_function): Warn about statement functions.
1024 * resolve.c (resolve_fl_procedure): Modify warning message for
1025 assumed-length character functions.
1027 2009-08-01 Paul Thomas <pault@gcc.gnu.org>
1030 * error.c : Add static flag 'warnings_not_errors'.
1031 (gfc_error): If 'warnings_not_errors' is set, branch to code
1033 (gfc_clear_error): Reset 'warnings_not_errors'.
1034 (gfc_errors_to_warnings): New function.
1035 * options.c (gfc_post_options): If pedantic and flag_whole_file
1036 change the latter to a value of 2.
1037 * parse.c (parse_module): Add module namespace to gsymbol.
1038 (resolve_all_program_units): New function.
1039 (clean_up_modules): New function.
1040 (translate_all_program_units): New function.
1041 (gfc_parse_file): If whole_file, do not clean up module right
1042 away and add derived types to namespace derived types. In
1043 addition, call the three new functions above.
1044 * resolve.c (not_in_recursive): New function.
1045 (not_entry_self_reference): New function.
1046 (resolve_global_procedure): Symbol must not be IFSRC_UNKNOWN,
1047 procedure must not be in the course of being resolved and
1048 must return false for the two new functions. Pack away the
1049 current derived type list before calling gfc_resolve for the
1050 gsymbol namespace. It is unconditionally an error if the ranks
1051 of the reference and ther procedure do not match. Convert
1052 errors to warnings during call to gfc_procedure_use if not
1054 (gfc_resolve): Set namespace resolved flag to -1 during
1055 resolution and store current cs_base.
1056 * trans-decl.c (gfc_get_symbol_decl): If whole_file compilation
1057 substitute a use associated variable, if it is available in a
1059 (gfc_get_extern_function_decl): If the procedure is use assoc,
1060 do not attempt to find it in a gsymbol because it could be an
1061 interface. If the symbol exists in a module namespace, return
1063 * trans-expr.c (gfc_trans_scalar_assign): If a derived type
1064 assignment, set the rhs TYPE_MAIN_VARIANT to that of the rhs.
1065 * trans-types.c (copy_dt_decls_ifequal): Add 'from_gsym' as a
1066 boolean argument. Copy component backend_decls directly if the
1067 components are derived types and from_gsym is true.
1068 (gfc_get_derived_type): If whole_file copy the derived type from
1069 the module if it is use associated, otherwise, if can be found
1070 in another gsymbol namespace, use the existing derived type as
1071 the TYPE_CANONICAL and build normally.
1072 * gfortran.h : Add derived_types and resolved fields to
1073 gfc_namespace. Include prototype for gfc_errors_to_warnings.
1075 2009-07-29 Tobias Burnus <burnus@net-b.de>
1078 * trans-types.c (gfc_get_function_type): Do not add hidden
1079 string-length argument for BIND(C) procedures.
1080 * trans-decl.c (create_function_arglist): Skip over nonexisting
1081 string-length arguments for BIND(C) procedures.
1083 2009-07-28 Jakub Jelinek <jakub@redhat.com>
1086 * openmp.c (gfc_match_omp_clauses): Use gfc_error_now instead of
1087 gfc_error to diagnose invalid COLLAPSE arguments.
1089 2009-07-28 Janus Weil <janus@gcc.gnu.org>
1092 * trans-types.c (gfc_get_ppc_type): For derived types, directly use the
1093 backend_decl, instead of calling gfc_typenode_for_spec, to avoid
1095 (gfc_get_derived_type): Correctly handle PPCs returning derived types,
1096 avoiding infinite recursion.
1098 2009-07-27 Janus Weil <janus@gcc.gnu.org>
1101 * interface.c (gfc_compare_interfaces): Call 'count_types_test' before
1102 'generic_correspondence', and only if checking a generic interface.
1104 2009-07-27 Tobias Burnus <burnus@net-b.de>
1107 * resolve.c (resolve_symbol): Do not initialize pointer derived-types.
1108 * trans-decl.c (init_intent_out_dt): Ditto.
1109 (generate_local_decl): No need to set attr.referenced for DT pointers.
1111 2009-07-26 Tobias Burnus <burnus@net-b.de>
1114 * intrinsic.c (make_generic): Remove assert as "atan" can be
1115 both ISYM_ATAN and ISYM_ATAN2.
1116 (add_functions): Add two-argument variant of ATAN.
1117 * intrinsic.h (gfc_check_atan_2): Add check for it.
1118 * intrinsic.texi (ATAN2): Correct and enhance description.
1119 (ATAN): Describe two-argument variant of ATAN.
1121 2009-07-25 Tobias Burnus <burnus@net-b.de>
1122 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
1125 * intrinsic.c (add_functions): Support complex arguments for
1126 acos,acosh,asin,asinh,atan,atanh.
1127 * invoke.texi (ACOS,ACOSH,ASIN,ASINH,ATAN,ATANH): Support
1129 * simplify.c (gfc_simplify_acos,gfc_simplify_acosh,
1130 gfc_simplify_asin,gfc_simplify_asinh,gfc_simplify_atan,
1131 gfc_simplify_atanh,gfc_simplify_atan,gfc_simplify_asinh,
1132 gfc_simplify_acosh,gfc_simplify_atanh): Support
1135 2009-07-25 Richard Guenther <rguenther@suse.de>
1138 * trans-types.c (gfc_get_array_type_bounds): Use
1139 build_distinct_type_copy with a proper TYPE_CANONICAL and
1140 re-use the type-decl of the original type.
1141 * trans-decl.c (build_entry_thunks): Signal cgraph we may not
1143 (create_main_function): Likewise.
1144 (gfc_generate_function_code): Likewise.
1145 * trans-expr.c (gfc_trans_subcomponent_assign): Do not use
1146 fold_convert on record types.
1148 2009-07-25 Janus Weil <janus@gcc.gnu.org>
1151 * decl.c (match_ppc_decl): Implement the PASS attribute for procedure
1153 (match_binding_attributes): Ditto.
1154 * gfortran.h (gfc_component): Add member 'tb'.
1155 (gfc_typebound_proc): Add member 'ppc' and make 'pass_arg' const.
1156 * module.c (MOD_VERSION): Bump module version.
1157 (binding_ppc): New string constants.
1158 (mio_component): Only use formal args if component is a procedure
1159 pointer and add 'tb' member.
1160 (mio_typebound_proc): Include pass_arg and take care of procedure
1162 * resolve.c (update_arglist_pass): Add argument 'name' and take care of
1164 (extract_ppc_passed_object): New function, analogous to
1165 extract_compcall_passed_object, but for procedure pointer components.
1166 (update_ppc_arglist): New function, analogous to
1167 update_compcall_arglist, but for procedure pointer components.
1168 (resolve_typebound_generic_call): Added argument to update_arglist_pass.
1169 (resolve_ppc_call, resolve_expr_ppc): Take care of PASS attribute.
1170 (resolve_fl_derived): Check the PASS argument for procedure pointer
1172 * symbol.c (verify_bind_c_derived_type): Reject procedure pointer
1173 components in BIND(C) types.
1175 2009-07-24 Janus Weil <janus@gcc.gnu.org>
1178 * array.c (gfc_resolve_character_array_constructor): Use new function
1180 * decl.c (add_init_expr_to_sym,variable_decl,match_char_spec,
1181 gfc_match_implicit): Ditto.
1182 * expr.c (gfc_simplify_expr): Ditto.
1183 * gfortran.h (gfc_new_charlen): New prototype.
1184 * iresolve.c (check_charlen_present,gfc_resolve_char_achar): Use new
1185 function gfc_new_charlen.
1186 * module.c (mio_charlen): Ditto.
1187 * resolve.c (gfc_resolve_substring_charlen,
1188 gfc_resolve_character_operator,fixup_charlen,resolve_fl_derived,
1189 resolve_symbol): Ditto.
1190 * symbol.c (gfc_new_charlen): New function to create a new gfc_charlen
1191 structure and add it to a namespace.
1192 (gfc_copy_formal_args_intr): Make sure ts.cl is present
1193 for CHARACTER variables.
1195 2009-07-24 Jakub Jelinek <jakub@redhat.com>
1199 * trans-intrinsic.c (gfc_conv_intrinsic_minmaxloc,
1200 gfc_conv_intrinsic_minmaxval): Handle Infinities and NaNs properly,
1202 * trans-array.c (gfc_trans_scalarized_loop_end): No longer static.
1203 * trans-array.h (gfc_trans_scalarized_loop_end): New prototype.
1205 2009-07-23 Jakub Jelinek <jakub@redhat.com>
1208 * io.c (gfc_resolve_dt): Add LOC argument. Fail if
1209 dt->io_unit is NULL. Return FAILURE after issuing error about
1210 negative UNIT number.
1211 (match_io_element): Don't segfault if current_dt->io_unit is NULL.
1212 * gfortran.h (gfc_resolve_dt): Adjust prototype.
1213 * resolve.c (resolve_code): Adjust caller.
1215 2009-07-22 Paul Thomas <pault@gcc.gnu.org>
1218 * trans-decl.c (generate_local_decl): Unreferenced result
1219 variables with allocatable components should be treated like
1220 INTENT_OUT dummy variables.
1222 2009-07-22 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
1224 * trans.h (gfc_set_decl_assembler_name): New prototype.
1225 * trans-decl.c (gfc_set_decl_assembler_name): New function.
1226 (gfc_get_symbol_decl, gfc_get_extern_function_decl,
1227 build_function_decl): Use gfc_set_decl_assembler_name instead of
1228 SET_DECL_ASSEMBLER_NAME.
1229 * trans-common.c (build_common_decl): Use
1230 gfc_set_decl_assembler_name instead of SET_DECL_ASSEMBLER_NAME.
1232 2009-07-21 Richard Guenther <rguenther@suse.de>
1235 * trans-decl.c (gfc_get_extern_function_decl): Do not set
1236 DECL_IS_MALLOC for pointer valued functions.
1237 (build_function_decl): The same.
1239 2009-07-19 Steven G. Kargl <kargl@gcc.gnu.org>
1242 * fortran/check.c (gfc_check_cmplx, gfc_check_dcmplx): Add check that
1243 the optional second argument isn't of COMPLEX type.
1245 2009-07-17 Richard Guenther <rguenther@suse.de>
1248 * f95-lang.c (gfc_be_parse_file): Do not finalize the CU here.
1249 * trans-decl.c (gfc_gimplify_function): Remove.
1250 (build_entry_thunks): Do not gimplify here.
1251 (create_main_function): Likewise.
1252 (gfc_generate_function_code): Likewise.
1254 2009-07-17 Aldy Hernandez <aldyh@redhat.com>
1255 Manuel López-Ibáñez <manu@gcc.gnu.org>
1258 * trans-expr.c, trans-array.c, trans-openmp.c, trans-stmt.c,
1259 trans.c, trans-io.c, trans-decl.c, trans-intrinsic.c: Add location
1260 argument to fold_{unary,binary,ternary}, fold_build[123],
1261 build_call_expr, build_size_arg, build_fold_addr_expr,
1262 build_call_array, non_lvalue, size_diffop,
1263 fold_build1_initializer, fold_build2_initializer,
1264 fold_build3_initializer, fold_build_call_array,
1265 fold_build_call_array_initializer, fold_single_bit_test,
1266 omit_one_operand, omit_two_operands, invert_truthvalue,
1267 fold_truth_not_expr, build_fold_indirect_ref, fold_indirect_ref,
1268 combine_comparisons, fold_builtin_*, fold_call_expr,
1269 build_range_check, maybe_fold_offset_to_address, round_up,
1272 2009-07-15 Janus Weil <janus@gcc.gnu.org>
1275 * resolve.c (resolve_symbol): Don't resolve the formal namespace of a
1276 contained procedure.
1278 2009-07-14 Taras Glek <tglek@mozilla.com>
1279 Rafael Espindola <espindola@google.com>
1281 * Make-lang.in (fortran.install-plugin): New target for
1282 installing plugin headers.
1284 2009-07-13 H.J. Lu <hongjiu.lu@intel.com>
1286 * module.c (mio_symbol): Remove the unused variable, formal.
1288 2009-07-13 Janus Weil <janus@gcc.gnu.org>
1291 * module.c (mio_symbol): If the symbol has formal arguments,
1292 the formal namespace will be present.
1293 * resolve.c (resolve_actual_arglist): Correctly handle 'called'
1294 procedure pointer components as actual arguments.
1295 (resolve_fl_derived,resolve_symbol): Make sure the formal namespace
1297 * trans-expr.c (gfc_conv_procedure_call): Correctly handle the formal
1298 arguments of procedure pointer components.
1300 2009-07-12 Tobias Burnus <burnus@net-b.de>
1301 Philippe Marguinaud <philippe.marguinaud@meteo.fr>
1304 * primary.c (match_charkind_name): Fix condition for $ matching.
1307 * libgfortran.h: Typedef the GFC_DTYPE_* enum.
1309 2009-07-11 Tobias Burnus <burnus@net-b.de>
1312 * check.c (gfc_check_fn_rc2008): New function.
1313 * intrinsic.h (gfc_check_fn_rc2008): New prototype.
1314 * intrinsic.c (add_functions): Add complex tan, cosh, sinh,
1317 2009-07-10 Paul Thomas <pault@gcc.gnu.org>
1320 * primary.c (match_kind_param): Return MATCH_NO if the symbol
1323 2008-07-09 Paul Thomas <pault@gcc.gnu.org>
1326 * resolve.c (check_host_association): Use the existing
1327 accessible symtree and treat function expressions with
1328 symbols that have procedure flavor.
1330 2009-07-09 Janus Weil <janus@gcc.gnu.org>
1333 * dump-parse-tree.c (show_expr): Renamed 'is_proc_ptr_comp'.
1334 * expr.c (is_proc_ptr_comp): Renamed to 'gfc_is_proc_ptr_comp'.
1335 (gfc_check_pointer_assign): Renamed 'is_proc_ptr_comp'.
1336 (replace_comp,gfc_expr_replace_comp): New functions, analogous
1337 to 'replace_symbol' and 'gfc_expr_replace_symbol', just with components
1339 * gfortran.h (gfc_expr_replace_comp): New prototype.
1340 (is_proc_ptr_comp): Renamed to 'gfc_is_proc_ptr_comp'.
1341 * interface.c (compare_actual_formal): Renamed 'is_proc_ptr_comp'.
1342 * match.c (gfc_match_pointer_assignment): Ditto.
1343 * primary.c (gfc_match_varspec): Handle array-valued procedure pointers
1344 and procedure pointer components. Renamed 'is_proc_ptr_comp'.
1345 * resolve.c (resolve_fl_derived): Correctly handle interfaces with
1346 RESULT statement, and handle array-valued procedure pointer components.
1347 (resolve_actual_arglist,resolve_ppc_call,resolve_expr_ppc): Renamed
1349 * trans-array.c (gfc_walk_function_expr): Ditto.
1350 * trans-decl.c (gfc_get_symbol_decl): Security check for presence of
1352 * trans-expr.c (gfc_conv_procedure_call): Handle array-valued procedure
1353 pointer components. Renamed 'is_proc_ptr_comp'.
1354 (conv_function_val,gfc_trans_arrayfunc_assign): Renamed
1356 (gfc_get_proc_ptr_comp): Do not modify the argument 'e', but instead
1358 * trans-io.c (gfc_trans_transfer): Handle array-valued procedure
1361 2009-07-09 Tobias Burnus <burnus@net-b.de>
1364 * intrinsic.c (gfc_convert_type_warn): Set sym->result.
1365 * trans-expr.c (gfc_conv_procedure_call): Fix -fcheck=pointer
1366 for optional arguments.
1368 2009-07-08 Tobias Burnus <burnus@net-b.de>
1371 * simplify.c (gfc_simplify_sign): Handle signed zero correctly.
1372 * trans-intrinsic.c (gfc_conv_intrinsic_sign): Support
1374 * invoke.texi (-fno-sign-zero): Add text regarding SIGN intrinsic.
1376 2008-07-08 Paul Thomas <pault@gcc.gnu.org>
1379 * decl.c (match_procedure_interface): Correct the association
1380 or creation of the interface procedure's symbol.
1382 2009-07-04 Jakub Jelinek <jakub@redhat.com>
1384 * trans-intrinsic.c (gfc_conv_intrinsic_minmaxloc): For integer
1385 maxloc initialize limit to -huge-1 rather than just -huge.
1387 2009-07-04 Janus Weil <janus@gcc.gnu.org>
1390 * interface.c (compare_actual_formal): Take care of proc-pointer-valued
1391 functions as actual arguments.
1392 * trans-expr.c (gfc_conv_procedure_call): Ditto.
1393 * resolve.c (resolve_specific_f0): Use the correct ts.
1395 2009-07-02 Michael Matz <matz@suse.de>
1398 * trans-array.c (gfc_conv_descriptor_stride_get): Return
1399 constant one for strides in the first dimension of ALLOCATABLE
1402 2009-06-30 Janus Weil <janus@gcc.gnu.org>
1405 * trans-types.c (gfc_get_derived_type): Bugfix, reverting one hunk from
1408 2009-06-29 Tobias Burnus <burnus@net-b.de>
1411 * trans-expr.c (gfc_conv_procedure_call): Add -fcheck=pointer check.
1412 * libgfortran.h: Add GFC_RTCHECK_POINTER.
1413 * invoke.texi (-fcheck): Document new pointer option.
1414 * options.c (gfc_handle_runtime_check_option): Handle pointer option.
1416 * gfortran.texi (C Binding): Improve wording.
1417 * iso-c-binding.def: Remove obsolete comment.
1419 2009-06-29 Paul Thomas <pault@gcc.gnu.org>
1422 * dependency.h : Add second bool* argument to prototype of
1423 gfc_full_array_ref_p.
1424 * dependency.c (gfc_full_array_ref_p): If second argument is
1425 present, return true if last dimension of reference is an
1426 element or has unity stride.
1427 * trans-array.c : Add NULL second argument to references to
1428 gfc_full_array_ref_p.
1429 * trans-expr.c : The same, except for;
1430 (gfc_trans_arrayfunc_assign): Return fail if lhs reference
1431 is not a full array or a contiguous section.
1433 2009-06-28 Tobias Burnus <burnus@net-b.de>
1434 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
1437 * symbol.c (gfc_add_ext_attribute): New function.
1438 (gfc_get_sym_tree): New argument allow_subroutine.
1439 (gfc_get_symbol,gfc_get_ha_sym_tree,gen_cptr_param,gen_fptr_param
1440 gen_shape_param,generate_isocbinding_symbol): Use it.
1441 * decl.c (find_special): New argument allow_subroutine.
1442 (add_init_expr_to_sym,add_hidden_procptr_result,attr_decl1,
1443 match_procedure_in_type,gfc_match_final_decl): Use it.
1444 (gfc_match_gcc_attributes): New function.
1445 * gfortran.texi (Mixed-Language Programming): New section
1446 "GNU Fortran Compiler Directives".
1447 * gfortran.h (ext_attr_t): New struct.
1448 (symbol_attributes): Use it.
1449 (gfc_add_ext_attribute): New prototype.
1450 (gfc_get_sym_tree): Update pototype.
1451 * expr.c (gfc_check_pointer_assign): Check whether call
1452 convention is the same.
1453 * module.c (import_iso_c_binding_module, create_int_parameter,
1454 use_iso_fortran_env_module): Update gfc_get_sym_tree call.
1455 * scanner.c (skip_gcc_attribute): New function.
1456 (skip_free_comments,skip_fixed_comments): Use it.
1457 (gfc_next_char_literal): Support !GCC$ lines.
1458 * resolve.c (check_host_association): Update
1459 gfc_get_sym_tree call.
1460 * match.c (gfc_match_sym_tree,gfc_match_call): Update
1461 gfc_get_sym_tree call.
1462 * trans-decl.c (add_attributes_to_decl): New function.
1463 (gfc_get_symbol_decl,get_proc_pointer_decl,
1464 gfc_get_extern_function_decl,build_function_decl: Use it.
1465 * match.h (gfc_match_gcc_attributes): Add prototype.
1466 * parse.c (decode_gcc_attribute): New function.
1467 (next_free,next_fixed): Support !GCC$ lines.
1468 * primary.c (match_actual_arg,check_for_implicit_index,
1469 gfc_match_rvalue,gfc_match_rvalue): Update
1470 gfc_get_sym_tree call.
1472 2009-06-28 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
1474 * gfortran.h: Define HAVE_mpc_pow.
1475 * arith.c (complex_reciprocal, complex_pow): If HAVE_mpc_pow,
1476 don't define these functions.
1477 (arith_power): If HAVE_mpc_pow, use mpc_pow.
1479 2009-06-26 Janus Weil <janus@gcc.gnu.org>
1483 * decl.c (add_hidden_procptr_result): Copy the typespec to the hidden
1485 * expr.c (gfc_check_pointer_assign): Enable interface check for
1486 procedure pointer assignments where the rhs is a function returning a
1488 * resolve.c (resolve_symbol): If an external procedure with unspecified
1489 return type can not be implicitly typed, it must be a subroutine.
1491 2009-06-24 Janus Weil <janus@gcc.gnu.org>
1494 * gfortran.h (gfc_component): New member 'formal_ns'.
1495 (gfc_copy_formal_args_ppc,void gfc_ppc_use): New.
1496 * interface.c (gfc_ppc_use): New function, analogous to
1497 gfc_procedure_use, but for procedure pointer components.
1498 * module.c (MOD_VERSION): Bump module version.
1499 (mio_component): Treat formal arguments.
1500 (mio_formal_arglist): Changed argument from gfc_symbol to
1502 (mio_symbol): Changed argument of mio_formal_arglist.
1503 * resolve.c (resolve_ppc_call,resolve_expr_ppc): Call gfc_ppc_use,
1504 to check actual arguments and treat formal args correctly.
1505 (resolve_fl_derived): Copy formal args of procedure pointer components
1506 from their interface.
1507 * symbol.c (gfc_copy_formal_args_ppc): New function, analogous to
1508 gfc_copy_formal_args, but for procedure pointer components.
1510 2009-06-22 Janus Weil <janus@gcc.gnu.org>
1514 * interface.c (compare_parameter): Set implicit type for function
1515 actual arguments with BT_UNKNOWN.
1517 2009-06-22 Tobias Burnus <burnus@net-b.de>
1521 * simplify.c (gfc_simplify_spread): Fix the case that source=
1524 2009-06-22 Paul Thomas <pault@gcc.gnu.org>
1527 * interface.c (gfc_search_interface): Hold back a match to an
1528 elementary procedure until all other possibilities are
1531 2009-06-22 Paul Thomas <pault@gcc.gnu.org>
1534 * simplify.c (gfc_simplify_spread): Restrict the result size to
1535 the limit for an array constructor.
1537 2009-06-21 Janus Weil <janus@gcc.gnu.org>
1540 * interface.c (gfc_compare_interfaces): Take care of implicit typing
1541 when checking the function attribute. Plus another bugfix.
1542 (compare_parameter): Set attr.function and attr.subroutine according
1543 to the usage of a procedure as actual argument.
1545 2009-06-20 Tobias Burnus <burnus@net-b.de>
1548 * trans-decl.c (add_argument_checking): Disable bounds check
1549 for allowed argument storage association.
1551 2009-06-19 Paul Thomas <pault@gcc.gnu.org>
1554 * trans-expr.c (gfc_conv_procedure_call): Do not deallocate
1555 allocatable components if the argument is a pointer.
1557 2009-06-19 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
1559 * gfortran.h (gfc_expr): Use mpc_t to represent complex numbers.
1561 * arith.c, dump-parse-tree.c, expr.c, module.c, resolve.c,
1562 simplify.c, target-memory.c, target-memory.h, trans-const.c,
1563 trans-expr.c: Convert to mpc_t throughout.
1565 2009-06-19 Ian Lance Taylor <iant@google.com>
1567 * cpp.c (struct gfc_cpp_option_data): Give this struct, used for
1568 the global variable gfc_cpp_option, a name.
1570 2009-06-19 Janus Weil <janus@gcc.gnu.org>
1573 * trans-expr.c (gfc_conv_procedure_call): Only add an extra addr_expr
1574 to a procedure pointer actual argument, if it is not itself a
1577 2009-06-18 Janus Weil <janus@gcc.gnu.org>
1580 * resolve.c (resolve_contained_fntype): Prevent implicit typing for
1581 procedures with explicit interface.
1582 * symbol.c (gfc_check_function_type): Ditto.
1584 2009-06-16 Ian Lance Taylor <iant@google.com>
1586 * decl.c (build_struct): Rewrite loop over constructor elements.
1588 2009-06-16 Janus Weil <janus@gcc.gnu.org>
1592 * expr.c (gfc_check_pointer_assign): Call 'gfc_compare_interfaces' with
1594 * gfortran.h (gfc_compare_interfaces): Additional argument.
1595 * interface.c (operator_correspondence): Removed.
1596 (gfc_compare_interfaces): Additional argument to return error message.
1597 Directly use the code from 'operator_correspondence' instead of calling
1598 the function. Check for OPTIONAL. Some rearrangements.
1599 (check_interface1): Call 'gfc_compare_interfaces' without error message.
1600 (compare_parameter): Call 'gfc_compare_interfaces' with error message.
1601 * resolve.c (check_generic_tbp_ambiguity): Call 'gfc_compare_interfaces'
1602 without error message.
1604 2009-06-16 Tobias Burnus <burnus@net-b.de>
1607 * trans-decl.c (create_function_arglist): Copy formal charlist to
1608 have a proper passed_length for -fcheck=bounds.
1610 2009-06-12 Steven G. Kargl <kargls@comcast.net>
1612 * arith.c (gfc_enum_initializer): Move function ...
1613 * decl.c: ... here. Remove gfc_ prefix and make static.
1614 (enumerator_decl): Update function call.
1615 * gfortran.h: Remove gfc_enum_initializer prototype.
1617 2009-06-12 Aldy Hernandez <aldyh@redhat.com>
1619 * trans-array.c (gfc_trans_allocate_array_storage): Pass
1621 (gfc_trans_array_constructor_value): Same.
1622 (gfc_trans_scalarized_loop_end): Same.
1623 (gfc_conv_ss_startstride): Same.
1624 (gfc_trans_g77_array): Same.
1625 (gfc_trans_dummy_array_bias): Same.
1626 (gfc_conv_array_parameter): Same.
1627 (structure_alloc_comps): Same.
1628 * trans-expr.c (gfc_conv_function_call): Same.
1629 (fill_with_spaces): Same.
1630 (gfc_trans_string_copy): Same.
1631 (gfc_trans_scalar_assign): Same.
1632 * trans-stmt.c (gfc_trans_goto): Same.
1633 (gfc_trans_if_1): Same.
1634 (gfc_trans_simple_do): Same.
1635 (gfc_trans_do): Same.
1636 (gfc_trans_do_while): Same.
1637 (gfc_trans_logical_select): Same.
1638 (gfc_trans_select): Same.
1639 (gfc_trans_forall_loop): Same.
1640 (gfc_trans_nested_forall_loop): Same.
1641 (generate_loop_for_temp_to_lhs): Same.
1642 (generate_loop_for_rhs_to_temp): Same.
1643 (gfc_trans_forall_1): Same.
1644 (gfc_trans_where_assign): Same.
1645 (gfc_trans_where_3): Same.
1646 (gfc_trans_allocate): Same.
1647 * trans.c (gfc_finish_block): Same.
1648 (gfc_trans_runtime_check): Same.
1649 (gfc_call_malloc): Same.
1650 (gfc_allocate_with_status): Same.
1651 (gfc_call_free): Same.
1652 (gfc_deallocate_with_status): Same.
1653 (gfc_call_realloc): Same.
1654 (gfc_trans_code): Same.
1655 * trans-decl.c (gfc_init_default_dt): Same.
1656 (gfc_generate_constructors): Same.
1657 * trans-io.c (gfc_trans_io_runtime_check): Same.
1658 * trans-intrinsic.c (gfc_conv_intrinsic_ctime): Same.
1659 (gfc_conv_intrinsic_fdate): Same.
1660 (gfc_conv_intrinsic_ttynam): Same.
1661 (gfc_conv_intrinsic_minmax): Same.
1662 (gfc_conv_intrinsic_minmax_char): Same.
1663 (gfc_conv_intrinsic_anyall): Same.
1664 (gfc_conv_intrinsic_count): Same.
1665 (gfc_conv_intrinsic_arith): Same.
1666 (gfc_conv_intrinsic_minmaxloc): Same.
1667 (gfc_conv_intrinsic_minmaxval): Same.
1668 (gfc_conv_intrinsic_rrspacing): Same.
1669 (gfc_conv_intrinsic_array_transfer): Same.
1670 (gfc_conv_intrinsic_trim): Same.
1671 (gfc_conv_intrinsic_repeat): Same.
1673 2009-06-12 Janus Weil <janus@gcc.gnu.org>
1676 * resolve.c (resolve_symbol): Additional error check, preventing an
1679 2009-06-11 Paul Thomas <pault@gcc.gnu.org>
1682 * resolve.c (next_data_value): It is an error if the value is
1685 2009-06-11 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
1688 * intrinsic.c (add_functions): Add simplifiers for ISNAN,
1689 IS_IOSTAT_END and IS_IOSTAT_EOR.
1690 * intrinsic.h (gfc_simplify_is_iostat_end, gfc_simplify_is_iostat_eor,
1691 gfc_simplify_isnan): New prototypes.
1692 * intrinsic.c (gfc_simplify_is_iostat_end, gfc_simplify_is_iostat_eor,
1693 gfc_simplify_isnan): New functions.
1695 2009-06-11 Jakub Jelinek <jakub@redhat.com>
1697 * interface.c (fold_unary): Rename to...
1698 (fold_unary_intrinsic): ... this.
1699 (gfc_extend_expr): Adjust caller.
1700 (gfc_match_generic_spec): Likewise. Initialize *op to INTRINSIC_NONE
1702 * expr.c (gfc_simplify_expr): Initialize start and end before calling
1705 2009-06-10 Dave Korn <dave.korn.cygwin@gmail.com>
1707 * trans-decl.c (create_main_function): Don't build main decl twice.
1709 2009-06-09 Tobias Burnus <burnus@net-b.de>
1711 * trans-decl.c (gfc_generate_function_code): Use gfc_option.rtcheck
1712 instead of flag_bounds_check.
1713 * intrinsic.texi (ISO_FORTRAN_ENV): Document INT{8,16,32,64} and
1716 2009-06-08 Paul Thomas <pault@gcc.gnu.org>
1718 * trans-array.h : Replace prototypes for
1719 gfc_conv_descriptor_offset, gfc_conv_descriptor_stride,
1720 gfc_conv_descriptor_lbound, gfc_conv_descriptor_ubound with new
1721 prototypes of the same names with _get or _set appended.
1722 * trans-array.c : Make the originals of the above static and
1723 new functions for the _get and _set functions. Update all the
1724 references to these descriptor access functions.
1725 * trans-expr.c : Update references to the above descriptor
1727 * trans-intrinsic.c : The same.
1728 * trans-openmp.c : The same.
1729 * trans-stmt.c : The same.
1731 2009-06-08 Alexandre Oliva <aoliva@redhat.com>
1733 * options.c (gfc_post_options): Disable dump_parse_tree
1734 during -fcompare-debug-second.
1736 2009-06-07 Jerry DeLisle <jvdelisle@gcc.gnu.org>
1739 * gfortran.h (gfc_open): Add newunit expression to structure.
1740 * io.c (io_tag): Add new unit tag and fix whitespace.
1741 (match_open_element): Add matching for newunit.
1742 (gfc_free_open): Free the newunit expression.
1743 (gfc_resolve_open): Add newunit to resolution and check constraints.
1744 (gfc_resolve_close): Add check for non-negative unit.
1745 (gfc_resolve_filepos): Likewise.
1746 (gfc_resolve_dt): Likewise.
1747 * trans-io.c (set_parameter_value): Build runtime checks for unit
1748 numbers within range of kind=4 integer. (gfc_trans_open) Set the
1750 * ioparm.def (IOPARM): Define the newunit parameter as a pointer
1751 to GFC_INTEGER_4, pint4.
1753 2009-06-07 Daniel Franke <franke.daniel@gmail.com>
1757 * array.c (gfc_append_constructor): Added NULL-check.
1758 * check.c (gfc_check_spread): Check DIM.
1759 (gfc_check_unpack): Check that the ARRAY arguments provides enough
1761 * intrinsic.h (gfc_simplify_spread): New prototype.
1762 (gfc_simplify_unpack): Likewise.
1763 * intrinsic.c (add_functions): Added new simplifier callbacks.
1764 * simplify.c (gfc_simplify_spread): New.
1765 (gfc_simplify_unpack): New.
1766 * expr.c (check_transformational): Allow additional transformational
1767 intrinsics in initialization expression.
1769 2009-06-07 Daniel Franke <franke.daniel@gmail.com>
1773 * check.c (gfc_check_all_any): Check rank of DIM.
1774 (gfc_check_count): Likewise.
1775 * intrinsic.h (gfc_simplify_all): New prototype.
1776 (gfc_simplify_any): Likewise.
1777 (gfc_simplify_count): Likewise.
1778 (gfc_simplify_sum): Likewise.
1779 (gfc_simplify_product): Likewise.
1780 * intrinsic.c (add_functions): Added new simplifier callbacks.
1781 * simplify.c (transformational_result): New.
1782 (simplify_transformation_to_scalar): New.
1783 (simplify_transformation_to_array): New.
1785 (gfc_simplify_all): New.
1786 (gfc_simplify_any): New.
1787 (gfc_simplify_count): New.
1788 (gfc_simplify_sum): New.
1789 (gfc_simplify_product): New.
1790 * expr.c (check_transformational): Allow additional transformational
1791 intrinsics in initialization expression.
1793 2009-06-07 Daniel Franke <franke.daniel@gmail.com>
1795 * check.c (dim_rank_check): Return SUCCESS if DIM=NULL.
1796 (gfc_check_lbound): Removed (now) redundant check for DIM=NULL.
1797 (gfc_check_minloc_maxloc): Likewise.
1798 (check_reduction): Likewise.
1799 (gfc_check_size): Likewise.
1800 (gfc_check_ubound): Likewise.
1801 (gfc_check_cshift): Added missing shape-conformance checks.
1802 (gfc_check_eoshift): Likewise.
1803 * gfortran.h (gfc_check_conformance): Modified prototype to printf-style.
1804 * expr.c (gfc_check_conformance): Accept error-message chunks in
1805 printf-style. Changed all callers.
1808 2009-06-07 Daniel Franke <franke.daniel@gmail.com>
1812 * intrinsic.h (gfc_simplify_dot_product): New prototype.
1813 (gfc_simplify_matmul): Likewise.
1814 (gfc_simplify_transpose): Likewise.
1815 * intrinsic.c (add_functions): Added new simplifier callbacks.
1816 * simplify.c (init_result_expr): New.
1817 (compute_dot_product): New.
1818 (gfc_simplify_dot_product): New.
1819 (gfc_simplify_matmul): New.
1820 (gfc_simplify_transpose): New.
1821 * expr.c (check_transformational): Allow transformational intrinsics
1822 with simplifier in initialization expression.
1824 2009-06-06 Daniel Franke <franke.daniel@gmail.com>
1827 * simplify.c (gfc_simplify_reshape): Fixed reshaping of empty arrays
1830 2009-06-06 Daniel Franke <franke.daniel@gmail.com>
1833 * intrinsic.h (gfc_simplify_pack): New prototype.
1834 * intrinsic.c (add_functions): Added
1835 simplifier-callback to PACK.
1836 * simplify.c (is_constant_array_expr): Moved
1837 to beginning of file.
1838 (gfc_simplify_pack): New.
1839 * check.c (gfc_check_pack): Check that VECTOR has enough elements.
1840 Added safeguards for empty arrays.
1842 2009-06-05 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
1844 * simplify.c (call_mpc_func): Use mpc_realref/mpc_imagref
1845 instead of MPC_RE/MPC_IM.
1847 2009-06-05 Alexandre Oliva <aoliva@redhat.com>
1849 * trans-decl.c (gfc_build_qualified_array): Don't skip generation
1851 * trans.h (struct lang_type): Add base_decls.
1852 (GFC_TYPE_ARRAY_BASE_DECL): New.
1853 * trans-types.c (gfc_get_array_type_bounds): Initialize base decls
1854 proactively and excessively.
1855 (gfc_get_array_descr_info): Use existing base decls if available.
1857 2009-06-04 Daniel Franke <franke.daniel@gmail.com>
1860 * check.c (gfc_check_reshape): Additional checks for the
1861 SHAPE and ORDER arguments.
1862 * simplify.c (gfc_simplify_reshape): Converted argument checks
1865 2009-06-03 Tobias Burnus <burnus@net-b.de>
1867 * gfortran.texi: Add mixed-language programming, mention
1868 varying string lengths, some clean up of introduction parts.
1869 * intrinsic.texi (instrinsic modules): Create @menu for subsections.
1870 (ISO_C_BINDING): Support ISOCBINDING_INT_FAST128_T.
1871 * libgfortran.h: Comment to rember to keep gfortran.texi in sync.
1872 * iso-c-binding.def: Support ISOCBINDING_INT_FAST128_T.
1874 2009-06-03 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
1875 Tobias Burnus <burnus@net-b.de>
1877 * iso-c-binding.def: Use INTMAX_TYPE instead of intmax_type_node.
1878 * trans-types.c (init_c_interop_kinds): Remove intmax_type_node.
1880 2009-06-03 Alexandre Oliva <aoliva@redhat.com>
1882 * module.c (mio_f2k_derived): Initialize cur.
1884 2009-06-01 Tobias Burnus <burnus@net-b.de>
1887 * trans-decl.c (gfc_sym_identifier): Use "MAIN__" for PROGRAM "main".
1888 (create_main_function): Set main_identifier_node.
1890 2009-05-29 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
1893 * trans-types.c (gfc_build_uint_type): Make nonstatic.
1894 * trans.h (gfor_fndecl_clz128, gfor_fndecl_ctz128): New prototypes.
1895 * trans-types.h (gfc_build_uint_type): Add prototype.
1896 * trans-decl.c (gfc_build_intrinsic_function_decls): Build
1897 gfor_fndecl_clz128 and gfor_fndecl_ctz128.
1898 * trans-intrinsic.c (gfc_conv_intrinsic_leadz,
1899 gfc_conv_intrinsic_trailz): Call the right builtins or library
1900 functions, and cast arguments to unsigned types first.
1901 * simplify.c (gfc_simplify_leadz): Deal with negative arguments.
1903 2009-05-27 Ian Lance Taylor <iant@google.com>
1905 * Make-lang.in (gfortran$(exeext)): Change $(COMPILER) to
1907 (f951$(exeext)): Likewise.
1909 2009-05-27 Tobias Burnus <burnus@net-b.de>
1912 * trans-decl.c (create_main_function): Mark MAIN__ and
1913 argc/argv as TREE_USED and push/pop function_decl context
1916 2009-05-26 Tobias Burnus <burnus@net-b.de>
1919 * gfortranspec.c (lang_specific_driver): Stop linking
1921 * trans-decl.c (gfc_build_builtin_function_decls): Stop
1922 making MAIN__ publicly visible.
1923 (gfc_build_builtin_function_decls): Add
1924 gfor_fndecl_set_args.
1925 (create_main_function) New function.
1926 (gfc_generate_function_code): Use it.
1928 2009-05-26 Tobias Burnus <burnus@net-b.de>
1931 * match.c (gfc_match_nullify): NULLify freed pointer.
1933 2009-05-26 Ian Lance Taylor <iant@google.com>
1935 * Make-lang.in (gfortranspec.o): Use $(COMPILER).
1936 (gfortran$(exeext), f951$(exeext), fortran/cpp.o): Likewise.
1938 2009-05-26 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
1940 * gfortran.h (GFC_MPC_RND_MODE): New.
1941 * simplify.c (call_mpc_func): New helper function.
1942 (gfc_simplify_cos, gfc_simplify_exp, gfc_simplify_log,
1943 gfc_simplify_sin, gfc_simplify_sqrt): Add MPC support.
1945 2009-05-25 Janus Weil <janus@gcc.gnu.org>
1948 * primary.c (gfc_match_varspec): Handle procedure pointer components
1949 with array return value.
1950 * resolve.c (resolve_expr_ppc): Ditto.
1951 (resolve_symbol): Make sure the interface of a procedure pointer has
1953 * trans-array.c (gfc_walk_function_expr): Handle procedure pointer
1954 components with array return value.
1955 * trans-expr.c (gfc_conv_component_ref,gfc_conv_procedure_call,
1956 gfc_trans_arrayfunc_assign): Ditto.
1957 (gfc_trans_pointer_assignment): Handle procedure pointer assignments,
1958 where the rhs is a dummy argument.
1959 * trans-types.c (gfc_get_ppc_type,gfc_get_derived_type): Handle
1960 procedure pointer components with array return value.
1962 2009-05-24 Jerry DeLisle <jvdelisle@gcc.gnu.org>
1967 * trans-array.c (gfc_conv_ss_startstride): Add one to index.
1969 2009-05-22 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
1972 * module.c (read_md5_from_module_file): Close file before returning.
1974 2009-05-18 Janus Weil <janus@gcc.gnu.org>
1977 * primary.c (gfc_match_rvalue): Handle procedure pointer components in
1979 * resolve.c (resolve_ppc_call,resolve_expr_ppc): Resolve component and
1981 (resolve_fl_derived): Procedure pointer components are not required to
1982 have constant array bounds in their return value.
1984 2009-05-18 Janus Weil <janus@gcc.gnu.org>
1986 * intrinsic.c (add_sym): Fix my last commit (r147655),
1987 which broke bootstrap.
1989 2009-05-18 Richard Guenther <rguenther@suse.de>
1992 * trans-expr.c (gfc_trans_zero_assign): For local array
1993 destinations use an assignment from an empty constructor.
1995 2009-05-18 Janus Weil <janus@gcc.gnu.org>
1999 * expr.c (gfc_check_pointer_assign): Check intents when comparing
2001 * gfortran.h (typedef struct gfc_intrinsic_arg): Add 'intent' member.
2002 (gfc_compare_interfaces): Additional argument.
2003 * interface.c (operator_correspondence): Add check for equality of
2004 intents, and new argument 'intent_check'.
2005 (gfc_compare_interfaces): New argument 'intent_check', which is passed
2006 on to operator_correspondence.
2007 (check_interface1): Don't check intents when comparing interfaces.
2008 (compare_parameter): Do check intents when comparing interfaces.
2009 * intrinsic.c (add_sym): Add intents for arguments of intrinsic
2011 (add_sym_1,add_sym_1s,add_sym_1m,add_sym_2,add_sym_2s,add_sym_3,
2012 add_sym_3ml,add_sym_3red,add_sym_3s,add_sym_4): Use INTENT_IN by
2014 (add_sym_1_intent,add_sym_1s_intent,add_sym_2s_intent,add_sym_3s_intent)
2015 : New functions to add intrinsic symbols, specifying custom intents.
2016 (add_sym_4s,add_sym_5s): Add new arguments to specify intents.
2017 (add_functions,add_subroutines): Add intents for various intrinsics.
2018 * resolve.c (check_generic_tbp_ambiguity): Don't check intents when
2019 comparing interfaces.
2020 * symbol.c (gfc_copy_formal_args_intr): Copy intent.
2022 2009-05-17 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
2024 * iso-fortran-env.def: Define INT8, INT16, INT32, INT64, REAL32,
2026 * gfortran.h (gfc_get_int_kind_from_width_isofortranenv,
2027 gfc_get_real_kind_from_width_isofortranenv): New prototypes.
2028 * iso-c-binding.def: Update definitions for the INT*_T,
2029 INT_LEAST*_T and INT_FAST*_T named parameters.
2030 * trans-types.c (get_typenode_from_name, get_int_kind_from_name,
2031 gfc_get_real_kind_from_width_isofortranenv): New functions.
2033 2009-05-17 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
2036 * intrinsic.c (add_functions, add_subroutines): Fix argument
2037 names and wrap long lines.
2038 * intrinsic.texi: Fix documentation and argument names of
2039 LOG_GAMMA, DATAN2, DBESJN, DTIME, ETIME, FSTAT, STAT, LSTAT,
2040 GET_COMMAND, IDATE, LTIME, MOVE_ALLOC, NINT, OR, PRODUCT,
2041 SUM, RAND, RANDOM_SEED, REAL, SELECTED_INT_KIND,
2042 SELECTED_REAL_KIND and XOR.
2044 2009-05-16 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
2047 * intrinsic.c (add_functions): Use ERFC_SCALED simplification.
2048 * intrinsic.h (gfc_simplify_erfc_scaled): New prototype.
2049 * simplify.c (fullprec_erfc_scaled, asympt_erfc_scaled,
2050 gfc_simplify_erfc_scaled): New functions.
2052 2009-05-16 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
2055 * resolve.c (resolve_substring): Don't allow too large substring
2057 (gfc_resolve_substring_charlen): Fix typo.
2058 (gfc_resolve_character_operator): Fix typo.
2059 (resolve_charlen): Catch unreasonably large string lengths.
2060 * simplify.c (gfc_simplify_len): Don't error out on LEN
2063 2009-05-16 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
2066 * decl.c (set_enum_kind): Use global short-enums flag.
2067 * gfortran.h (gfc_option_t): Remove short_enums flag.
2068 * lang.opt (-fshort-enums): Refer to C documentation.
2069 * options.c (gfc_init_options, gfc_handle_option): Use global
2072 2009-05-15 Tobias Burnus <burnus@net-b.de>
2075 * f95-lang.c: Add gfc_maybe_initialize_eh.
2076 * gfortran.h: Add gfc_maybe_initialize_eh prototype.
2077 * Make-lang.in: Add new .h dendencies for f95-lang.c
2078 * openmp.c (resolve_omp_do): Call gfc_maybe_initialize_eh.
2079 * misc.c (gfc_free): Avoid #define trickery for free.
2081 2009-05-14 Steven G. Kargl <kargl@gcc.gnu.org>
2083 * dump-parse-tree.c (show_code_node): Add ERRMSG to the dumping
2084 of allocate and deallocate statements.
2086 2009-05-14 Ian Lance Taylor <iant@google.com>
2088 * decl.c (match_attr_spec): Change d to unsigned int.
2089 * dump-parse-tree.c (show_namespace): Change op to int. Add cast.
2090 * interface.c (gfc_check_interfaces): Change i to int. Add casts.
2091 * module.c (read_module): Change i to int. Add cast.
2092 (write_module): Change i to int.
2093 * symbol.c (gfc_get_namespace): Change in to int.
2094 (gfc_free_namespace): Change i to int.
2095 * trans-io.c (gfc_build_io_library_fndecls): Change ptype to
2096 unsigned int. Add cast.
2097 * trans-types.c (gfc_init_kinds): Change mode to unsigned int.
2100 2009-05-14 Daniel Kraft <d@domob.eu>
2103 * dump-parse-tree.c (show_typebound): Fix missing adaption to new
2104 type-bound procedure storage structure.
2106 2009-05-14 Janus Weil <janus@gcc.gnu.org>
2109 * decl.c (gfc_match_function_decl): Use gfc_add_type.
2110 * symbol.c (gfc_add_type): Better checking for duplicate types in
2111 function declarations. And: Always give an error for duplicte types,
2112 not just a warning with -std=gnu.
2114 2009-05-14 Jakub Jelinek <jakub@redhat.com>
2117 * io.c (resolve_tag_format): CHARACTER array in FMT= argument
2118 isn't an extension. Reject non-CHARACTER array element of
2119 assumed shape or pointer or assumed size array.
2120 * trans-array.c (array_parameter_size): New function.
2121 (gfc_conv_array_parameter): Add size argument. Call
2122 array_parameter_size if it is non-NULL.
2123 * trans-array.h (gfc_conv_array_parameter): Adjust prototype.
2124 * trans-expr.c (gfc_conv_function_call, gfc_trans_arrayfunc_assign):
2126 * trans-intrinsic.c (gfc_conv_intrinsic_loc): Likewise.
2127 * trans-io.c (gfc_convert_array_to_string): Rewritten.
2129 2009-05-13 Steven G. Kargl <kargl@gcc.gnu.org>
2131 * gfortran.h (gfc_code): Rename struct member expr to expr1.
2132 * openmp.c (resolve_omp_atomic): Update expr to expr1.
2133 * interface.c (gfc_extend_assign): Ditto.
2134 * trans-expr.c (gfc_conv_expr_reference, gfc_trans_assignment,
2135 gfc_trans_init_assign): Ditto.
2136 * dump-parse-tree.c (show_code_node): Ditto.
2137 * trans-openmp.c (gfc_trans_omp_atomic): Ditto.
2138 * trans-stmt.c ( gfc_trans_label_assign, gfc_trans_goto, gfc_trans_call,
2139 gfc_trans_return, gfc_trans_pause, gfc_trans_stop, gfc_trans_if_1,
2140 gfc_trans_arithmetic_if, gfc_trans_do_while, gfc_trans_integer_select,
2141 gfc_trans_logical_select, gfc_trans_character_select
2142 forall_make_variable_temp, check_forall_dependencies
2143 gfc_trans_forall_1, gfc_trans_where_2, gfc_trans_where_3
2144 gfc_trans_where, gfc_trans_allocate, gfc_trans_deallocate): Ditto.
2145 * io.c (match_io_element, gfc_match_inquire): Ditto.
2146 * resolve.c (resolve_typebound_call, resolve_ppc_call,
2147 resolve_allocate_expr, resolve_allocate_deallocate, resolve_select,
2148 resolve_transfer, resolve_where, gfc_resolve_assign_in_forall,
2149 gfc_resolve_blocks, resolve_code, build_init_assign): Ditto.
2150 * st.c (gfc_free_statement): Ditto.
2151 * match.c (gfc_match_assignment, gfc_match_pointer_assignment,
2152 match_arithmetic_if, gfc_match_if, gfc_match_elseif
2153 gfc_match_stopcode, gfc_match_assign, gfc_match_goto,
2154 gfc_match_nullify, match_typebound_call, gfc_match_call
2155 gfc_match_select, match_simple_where, gfc_match_where
2156 gfc_match_elsewhere, match_simple_forall, gfc_match_forall): Ditto.
2157 * trans-io.c (gfc_trans_transfer): Ditto.
2158 * parse.c (parse_where_block, parse_if_block): Ditto.
2160 2009-05-13 Steven G. Kargl <kargl@gcc.gnu.org>
2162 * gfortran.h (gfc_code): Rename struct member label to label1.
2163 * dump-parse-tree.c (show_code_node): Update symbol.
2164 * trans-stmt.c (gfc_trans_label_assign, gfc_trans_goto,
2165 gfc_trans_arithmetic_if): Ditto.
2166 * resolve.c (gfc_resolve_blocks, resolve_code): Ditto.
2167 * match.c (match_arithmetic_if, gfc_match_if, gfc_reference_st_label,
2168 gfc_match_assign, gfc_match_goto): Ditto.
2169 * parse.c (parse_do_block): Ditto.
2171 2009-05-13 Tobias Burnus <burnus@net-b.de>
2174 * gfortran.h (gfc_exec_op): Add EXEC_END_PROCEDURE.
2175 * dump-parse-tree.c (show_code_node): Use EXEC_END_PROCEDURE.
2176 * trans.c (gfc_trans_code): Ditto.
2177 * resolve.c (resolve_code): Ditto.
2178 * st.c (gfc_free_statement): Ditto.
2179 * parse.c (accept_statement): Ditto.
2181 2009-05-12 Tobias Burnus <burnus@net-b.de>
2184 * decl.c (gfc_match_kind_spec): Turn C kind error into a warning.
2186 2009-05-11 Steve Ellcey <sje@cup.hp.com>
2188 * resolve.c (check_host_association): Initialize tail.
2190 2009-05-11 Janus Weil <janus@gcc.gnu.org>
2193 * resolve.c (resolve_fl_derived): Only return FAILURE if
2194 gfc_notify_std fails.
2196 2009-05-10 Ian Lance Taylor <iant@google.com>
2198 * gfortran.h (enum gfc_omp_sched_kind): New enum, broken out of
2200 (enum gfc_omp_default_sharing): Likewise.
2201 * module.c (enum gfc_rsym_state): New enum, broken out of
2203 (enum gfc_wsym_state): Likewise.
2204 * parse.c (enum state_order): New enum, broken out of st_state.
2206 2009-05-10 Paul Thomas <pault@gcc.gnu.org>
2209 * trans-array.c (gfc_trans_array_constructor_value): Fold
2210 convert numeric constants.
2211 (gfc_build_constant_array_constructor): The same.
2213 2009-05-10 Paul Thomas <pault@gcc.gnu.org>
2216 * trans-expr.c (gfc_conv_operator_assign): Remove function.
2217 * trans.h : Remove prototype for gfc_conv_operator_assign.
2218 * trans-stmt.c (gfc_conv_elemental_dependencies): Initialize
2219 derivde types with intent(out).
2220 (gfc_trans_call): Add mask, count1 and invert arguments. Add
2221 code to use mask for WHERE assignments.
2222 (gfc_trans_forall_1): Use new arguments for gfc_trans_call.
2223 (gfc_trans_where_assign): The gfc_symbol argument is replaced
2224 by the corresponding code. If this has a resolved_sym, then
2225 gfc_trans_call is called. The call to gfc_conv_operator_assign
2227 (gfc_trans_where_2): Change the last argument in the call to
2228 gfc_trans_where_assign.
2229 * trans-stmt.h : Modify prototype for gfc_trans_call.
2230 * trans.c (gfc_trans_code): Use new args for gfc_trans_call.
2232 2009-05-08 Janus Weil <janus@gcc.gnu.org>
2235 * intrinsic.c (gfc_is_intrinsic): Do not add the EXTERNAL attribute if
2236 the symbol is a module procedure.
2238 2009-05-08 Tobias Burnus <burnus@net-b.de>
2240 * invoke.texi: Add do/recursion to the -fcheck= summary.
2242 2009-05-07 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
2245 * gfortran.texi: Document that we don't support variable FORMAT
2248 2009-05-07 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
2251 * error.c (error_print): Add missing break statement.
2253 2009-05-07 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
2256 * invoke.texi: Document that -fdollar-ok does not allow $ to be
2257 used in IMPLICIT statement.
2259 2009-05-06 Janus Weil <janus@gcc.gnu.org>
2260 Paul Thomas <pault@gcc.gnu.org>
2263 * decl.c (match_procedure_interface): New function to match the
2264 interface for a PROCEDURE statement.
2265 (match_procedure_decl): Call match_procedure_interface.
2266 (match_ppc_decl): New function to match the declaration of a
2267 procedure pointer component.
2268 (gfc_match_procedure): Call match_ppc_decl.
2269 (match_binding_attributes): Add new argument 'ppc' and handle the
2270 POINTER attribute for procedure pointer components.
2271 (match_procedure_in_type,gfc_match_generic): Added new argument to
2272 match_binding_attributes.
2273 * dump-parse-tree.c (show_expr,show_components,show_code_node): Handle
2274 procedure pointer components.
2275 * expr.c (free_expr0,gfc_copy_expr,gfc_simplify_expr): Handle EXPR_PPC.
2276 (gfc_check_pointer_assign): Handle procedure pointer components, but no
2278 (is_proc_ptr_comp): New function to determine if an expression is a
2279 procedure pointer component.
2280 * gfortran.h (expr_t): Add EXPR_PPC.
2281 (symbol_attribute): Add new member 'proc_pointer_comp'.
2282 (gfc_component): Add new member 'formal'.
2283 (gfc_exec_op): Add EXEC_CALL_PPC.
2284 (gfc_get_default_type): Changed first argument.
2285 (is_proc_ptr_comp): Add prototype.
2286 (gfc_match_varspec): Add new argument.
2287 * interface.c (compare_actual_formal): Handle procedure pointer
2289 * match.c (gfc_match_pointer_assignment,match_typebound_call): Handle
2290 procedure pointer components.
2291 * module.c (mio_expr): Handle EXPR_PPC.
2292 * parse.c (parse_derived): Handle procedure pointer components.
2293 * primary.c (gfc_match_varspec): Add new argument 'ppc_arg' and handle
2294 procedure pointer components.
2295 (gfc_variable_attr): Handle procedure pointer components.
2296 (gfc_match_rvalue): Added new argument to gfc_match_varspec and changed
2297 first argument of gfc_get_default_type.
2298 (match_variable): Added new argument to gfc_match_varspec.
2299 * resolve.c (resolve_entries,set_type,resolve_fl_parameter): Changed
2300 first argument of gfc_get_default_type.
2301 (resolve_structure_cons,resolve_actual_arglist): Handle procedure
2303 (resolve_ppc_call): New function to resolve a call to a procedure
2304 pointer component (subroutine).
2305 (resolve_expr_ppc): New function to resolve a call to a procedure
2306 pointer component (function).
2307 (gfc_resolve_expr): Handle EXPR_PPC.
2308 (resolve_code): Handle EXEC_CALL_PPC.
2309 (resolve_fl_derived): Copy the interface for a procedure pointer
2311 (resolve_symbol): Fix overlong line.
2312 * st.c (gfc_free_statement): Handle EXEC_CALL_PPC.
2313 * symbol.c (gfc_get_default_type): Changed first argument.
2314 (gfc_set_default_type): Changed first argument of gfc_get_default_type.
2315 (gfc_add_component): Initialize ts.type to BT_UNKNOWN.
2316 * trans.h (gfc_conv_function_call): Renamed.
2317 * trans.c (gfc_trans_code): Handle EXEC_CALL_PPC.
2318 * trans-expr.c (gfc_conv_component_ref): Ditto.
2319 (gfc_conv_function_val): Rename to 'conv_function_val', add new
2320 argument 'expr' and handle procedure pointer components.
2321 (gfc_conv_operator_assign): Renamed gfc_conv_function_val.
2322 (gfc_apply_interface_mapping_to_expr): Handle EXPR_PPC.
2323 (gfc_conv_function_call): Rename to 'gfc_conv_procedure_call', add new
2324 argument 'expr' and handle procedure pointer components.
2325 (gfc_get_proc_ptr_comp): New function to get the backend decl for a
2326 procedure pointer component.
2327 (gfc_conv_function_expr): Renamed gfc_conv_function_call.
2328 (gfc_conv_structure): Handle procedure pointer components.
2329 * trans-intrinsic.c (gfc_conv_intrinsic_funcall,
2330 conv_generic_with_optional_char_arg): Renamed gfc_conv_function_call.
2331 * trans-stmt.h (gfc_get_proc_ptr_comp): Add prototype.
2332 * trans-stmt.c (gfc_trans_call): Renamed gfc_conv_function_call.
2333 * trans-types.h (gfc_get_ppc_type): Add prototype.
2334 * trans-types.c (gfc_get_ppc_type): New function to build a tree node
2335 for a procedure pointer component.
2336 (gfc_get_derived_type): Handle procedure pointer components.
2338 2009-05-06 Tobias Burnus <burnus@net-b.de>
2341 * resolve.c (resolve_symbol): Print no warning for implicitly
2342 typed intrinsic functions.
2344 2009-05-05 Janus Weil <janus@gcc.gnu.org>
2347 * expr.c (gfc_check_pointer_assign): Check for statement functions and
2348 internal procedures in procedure pointer assignments.
2350 2009-04-28 Janus Weil <janus@gcc.gnu.org>
2353 * resolve.c (resolve_symbol): Correctly copy the interface of a
2354 PROCEDURE statement if the interface involves a RESULT variable.
2356 2009-04-28 Janus Weil <janus@gcc.gnu.org>
2360 * expr.c (gfc_check_pointer_assign): Correctly detect if the left hand
2362 * parse.c (gfc_fixup_sibling_symbols): Don't check for ambiguity.
2364 2009-04-28 Paul Thomas <pault@gcc.gnu.org>
2367 * trans_expr.c (gfc_conv_procedure_call): Deep copy a derived
2368 type parentheses argument if it is a variable with allocatable
2371 2009-04-27 Ian Lance Taylor <iant@google.com>
2373 * trans-intrinsic.c (DEFINE_MATH_BUILTIN): Add casts to enum
2375 * trans-io.c (st_parameter_field): Add casts to enum type.
2377 2009-04-26 Steven G. Kargl <kargl@gcc.gnu.org>
2380 fortran/data.c (gfc_assign_data_value): If the lvalue is an
2381 assumed character length entity in a data statement, then
2382 return FAILURE to prevent segmentation fault.
2384 2009-04-26 Jakub Jelinek <jakub@redhat.com>
2386 * trans-decl.c: Include pointer-set.h.
2387 (nonlocal_dummy_decl_pset, tree nonlocal_dummy_decls): New variables.
2388 (gfc_nonlocal_dummy_array_decl): New function.
2389 (gfc_get_symbol_decl): Call it for non-local dummy args with saved
2391 (gfc_get_symbol_decl): Set DECL_BY_REFERENCE when needed.
2392 (gfc_generate_function_code): Initialize nonlocal_dummy_decl{s,_pset},
2393 chain it to outermost block's vars, destroy it afterwards.
2394 * Make-lang.in (trans-decl.o): Depend on pointer-set.h.
2396 2009-04-25 Janus Weil <janus@gcc.gnu.org>
2399 * decl.c (gfc_match_import): Use 'sym->name' instead of 'name'.
2400 They differ if the symbol has been use-renamed.
2402 2009-04-24 Ian Lance Taylor <iant@google.com>
2404 * gfortran.h (enum gfc_symbol_type): New named enum type, broken
2405 out of struct gfc_symbol.
2406 (struct gfc_symbol): Use enum gfc_symbol_type.
2407 (enum gfc_array_ref_dimen_type): New named enum type, broken out
2408 of struct gfc_array_ref).
2409 (struct gfc_array_ref): Use enum gfc_array_ref_dimen_type.
2410 (mod_pointee_as): Update declaration.
2411 * decl.c (add_global_entry): Change type to enum gfc_symbol_type.
2412 (gfc_mod_pointee_as): Change return type to "match".
2413 * module.c (mio_array_ref): Add cast to enum type.
2414 (mio_symbol): Likewise.
2415 * resolve.c (resolve_global_procedure): Change type to enum
2417 * trans-io.c (gfc_build_st_parameter): Change type to unsigned
2420 2009-04-24 Daniel Kraft <d@domob.eu>
2422 * gfortran.h (gfc_get_typebound_proc): Removed as macro, now a function.
2423 (struct gfc_symtree): Moved "typebound" member inside union.
2424 (struct gfc_namespace): Add "tb_sym_root" as new symtree to sort out
2425 type-bound procedures there.
2426 (gfc_get_tbp_symtree): New procedure.
2427 * symbol.c (tentative_tbp_list): New global.
2428 (gfc_get_namespace): NULL new "tb_sym_root" member.
2429 (gfc_new_symtree): Removed initialization of "typebound" member.
2430 (gfc_undo_symbols): Process list of tentative tbp's.
2431 (gfc_commit_symbols): Ditto.
2432 (free_tb_tree): New method.
2433 (gfc_free_namespace): Call it.
2434 (gfc_get_typebound_proc): New method.
2435 (gfc_get_tbp_symtree): New method.
2436 (gfc_find_typebound_proc): Adapt to structural changes of gfc_symtree
2437 and gfc_namespace with regards to tbp's.
2438 * dump-parse-tree.c (show_typebound): Ditto.
2439 * primary.c (gfc_match_varspec): Ditto. Don't reference tbp-symbol
2440 as it isn't a symbol any longer.
2441 * module.c (mio_typebound_symtree): Adapt to changes.
2442 (mio_typebound_proc): Ditto, create symtrees using "gfc_get_tbp_symtree"
2443 rather than "gfc_get_sym_tree".
2444 (mio_f2k_derived): Ditto.
2445 * decl.c (match_procedure_in_type): Ditto.
2446 (gfc_match_generic): Ditto. Don't reference tbp-symbol.
2447 * resolve.c (check_typebound_override): Adapt to changes.
2448 (resolve_typebound_generic): Ditto.
2449 (resolve_typebound_procedures): Ditto.
2450 (ensure_not_abstract_walker): Ditto.
2451 (ensure_not_abstract): Ditto.
2452 (resolve_typebound_procedure): Ditto, ignore erraneous symbols (for
2453 instance, through removed tentative ones).
2454 * gfc-internals.texi (Type-bound procedures): Document changes.
2456 2009-04-24 Janus Weil <janus@gcc.gnu.org>
2460 * symbol.c (gfc_copy_formal_args_intr): Set attr.flavor and attr.dummy
2461 for the formal arguments.
2463 2009-04-21 Taras Glek <tglek@mozilla.com>
2465 * f95-lang.c: Update GTY annotations to new syntax.
2466 * trans-intrinsic.c: Likewise.
2467 * trans-io.c: Likewise.
2468 * trans.h: Likewise.
2470 2009-04-22 Janus Weil <janus@gcc.gnu.org>
2473 * decl.c (add_hidden_procptr_result): Bugfix for procptr results.
2474 (match_procedure_decl): Set if_source.
2475 * expr.c (gfc_check_pointer_assign): Bugfix: Return after error.
2476 And: Check interface also for IFSRC_UNKNOWN (return type may be known).
2477 * gfortran.h (typedef enum ifsrc): Remove IFSRC_USAGE,
2478 add documentation. Rename copy_formal_args and copy_formal_args_intr.
2479 * interface.c (gfc_compare_interfaces): Check for return types,
2480 handle IFSRC_UNKNOWN.
2481 (compare_intr_interfaces,compare_actual_formal_intr): Obsolete, removed.
2482 (gfc_procedure_use): Modified handling of intrinsics.
2483 * intrinsic.c (add_functions): Bugfix for "dim".
2484 * resolve.c (resolve_intrinsic): New function to resolve intrinsics,
2485 which copies the interface from isym to sym.
2486 (resolve_procedure_expression,resolve_function): Use new function
2487 'resolve_intrinsic'.
2488 (resolve_symbol): Add function attribute for externals with return type
2489 and use new function 'resolve_intrinsic'.
2490 * symbol.c (ifsrc_types): Remove string for IFSRC_USAGE.
2491 (copy_formal_args): Renamed to gfc_copy_formal_args.
2492 (copy_formal_args_intr): Renamed to gfc_copy_formal_args_intr.
2493 * trans-const.c (gfc_conv_const_charlen): Handle cl==NULL.
2495 2009-04-21 Joseph Myers <joseph@codesourcery.com>
2497 * ChangeLog, ChangeLog-2002, ChangeLog-2003, ChangeLog-2004,
2498 ChangeLog-2005, ChangeLog-2006, ChangeLog-2007, ChangeLog-2008,
2499 ChangeLog.ptr, config-lang.in, ioparm.def, mathbuiltins.def: Add
2500 copyright and license notices.
2501 * ChangeLog, ChangeLog-2005, ChangeLog-2006, ChangeLog-2007,
2502 ChangeLog-2008: Correct dates.
2504 2009-04-20 Tobias Burnus <burnus@net-b.de>
2507 * scanner.c (load_line): Fix bogus "&" compile-time diagnostic.
2509 2009-04-20 Paul Thomas <pault@gcc.gnu.org>
2512 * resolve.c (is_sym_host_assoc): New function.
2513 (resolve_fl_derived): Call it when checking PRIVATE components
2514 of PUBLIC derived types. Change gfc_error to a gfc_notify_std
2516 (resolve_fl_namelist): Call it twice to check for host
2519 2009-04-20 Ian Lance Taylor <iant@google.com>
2521 * module.c (import_iso_c_binding_module): Add casts to enum type.
2522 * trans-intrinsic.c (gfc_conv_intrinsic_minmax): Change op to enum
2524 (gfc_conv_intrinsic_anyall): Likewise.
2525 (gfc_conv_intrinsic_arith): Likewise.
2526 (gfc_conv_intrinsic_minmaxloc): Likewise.
2527 (gfc_conv_intrinsic_minmaxval): Likewise.
2528 (gfc_conv_intrinsic_bitop): Likewise.
2529 (gfc_conv_intrinsic_singlebitop): Likewise.
2530 (gfc_conv_intrinsic_strcmp): Likewise.
2532 2009-04-20 Vasilis Liaskovitis <vliaskov@gmail.com>
2533 Jakub Jelinek <jakub@redhat.com>
2536 * trans.h (OMPWS_WORKSHARE_FLAG, OMPWS_CURR_SINGLEUNIT,
2537 OMPWS_SCALARIZER_WS, OMPWS_NOWAIT): Define.
2538 (ompws_flags): New extern decl.
2539 * trans-array.c (gfc_trans_scalarized_loop_end): Build OMP_FOR
2540 for the outer dimension if ompws_flags allow it.
2541 * trans.c (gfc_generate_code): Clear ompws_flags.
2542 * trans-expr.c (gfc_trans_assignment_1): Allow worksharing
2543 array assignments inside of !$omp workshare.
2544 * trans-stmt.c (gfc_trans_where_3): Similarly for where statements
2546 * trans-openmp.c (ompws_flags): New variable.
2547 (gfc_trans_omp_workshare): Rewritten.
2549 2009-04-11 Daniel Kraft <d@domob.eu>
2552 * gfortran.h (struct gfc_charlen): New field "passed_length" to store
2553 the actual passed string length for dummy arguments.
2554 * trans-decl.c (gfc_create_string_length): Formatting fixes and added
2555 assertion, moved a local variable into the innermost block it is needed.
2556 (create_function_arglist): Removed TODO about the check being
2557 implemented and initialize cl->passed_length here.
2558 (add_argument_checking): New method.
2559 (gfc_generate_function_code): Call the argument checking method.
2561 2009-04-11 Janus Weil <janus@gcc.gnu.org>
2564 * symbol.c (check_conflict): Reject procedure pointers for -std=f95.
2566 2009-04-11 Daniel Franke <franke.daniel@gmail.com>
2568 * resolve.c (resolve_global_procedure): Enable whole-file checking for
2569 procedures that are declared later in the file.
2571 2009-04-10 Paolo Bonzini <bonzini@gnu.org>
2574 * trans.c (gfc_allocate_with_status): Fix type mismatches
2577 2009-04-10 Daniel Franke <franke.daniel@gmail.com>
2580 * expr.c (find_array_section): Leave early on zero-sized arrays.
2582 2009-04-09 Janus Weil <janus@gcc.gnu.org>
2585 * decl.c (add_hidden_procptr_result): New function for handling
2586 procedure pointer return values by adding a hidden result variable.
2587 (variable_decl,match_procedure_decl,gfc_match_function_decl,
2588 gfc_match_subroutine,gfc_match_end,attr_decl1): Handle procedure pointer
2590 * parse.c (parse_interface): Add EXTERNAL attribute only after
2591 FUNCTION/SUBROUTINE declaration is complete.
2592 * primary.c (replace_hidden_procptr_result): New function for replacing
2593 function symbol by hidden result variable.
2594 (gfc_match_rvalue,match_variable): Replace symbol by hidden result
2596 * resolve.c (resolve_contained_fntype,resolve_function,resolve_variable,
2597 resolve_symbol): Allow for procedure pointer function results.
2598 (resolve_fl_procedure): Conflict detection moved here from
2600 * symbol.c (gfc_check_function_type): Allow for procedure pointer
2602 (check_conflict): Move some conflict detection to resolution stage.
2603 * trans-types.c (gfc_sym_type,gfc_get_function_type): Handle hidden
2606 2009-04-08 Jakub Jelinek <jakub@redhat.com>
2608 * trans-types.c (gfc_init_types): Ensure gfc_integer_types doesn't
2609 contain TYPE_STRING_FLAG types.
2611 2009-04-08 Janne Blomqvist <jb@gcc.gnu.org>
2614 * invoke.texi (fdollar-ok): Fix typo.
2616 2009-04-08 Daniel Franke <franke.daniel@gmail.com>
2619 * invoke.texi (fdollar-ok): Clarify limitations.
2621 2009-04-08 Paul Thomas <pault@gcc.gnu.org>
2624 * trans-array.c (gfc_trans_deferred_array): Return if this
2625 is a result variable.
2627 2009-04-07 Janus Weil <janus@gcc.gnu.org>
2630 * trans-decl.c (gfc_get_symbol_decl): Correctly set decl location for
2631 procedure pointer decls.
2633 2009-04-07 Janus Weil <janus@gcc.gnu.org>
2636 * expr.c (gfc_check_pointer_assign): Enable interface check for
2638 * gfortran.h: Add copy_formal_args_intr.
2639 * interface.c (gfc_compare_interfaces): Call gfc_compare_intr_interfaces
2640 if second argument is an intrinsic.
2641 (compare_intr_interfaces): Correctly set attr.function, attr.subroutine
2643 (compare_parameter): Call gfc_compare_interfaces also for intrinsics.
2644 * resolve.c (resolve_specific_f0,resolve_specific_s0): Don't resolve
2645 intrinsic interfaces here. Must happen earlier.
2646 (resolve_symbol): Resolution of intrinsic interfaces moved here from
2647 resolve_specific_..., and formal args are now copied from intrinsic
2649 * symbol.c (copy_formal_args_intr): New function to copy the formal
2650 arguments from an intinsic procedure.
2652 2009-04-06 Paul Thomas <pault@gcc.gnu.org>
2655 * dependency.c (ref_same_as_full_array): New function.
2656 (gfc_dep_resolver): Call it.
2658 2009-04-06 Janus Weil <janus@gcc.gnu.org>
2661 * decl.c (match_procedure_decl): Fix double declaration problems with
2662 PROCEDURE statements.
2663 * symbol.c (gfc_add_type): Ditto.
2665 2009-04-06 Paul Thomas <pault@gcc.gnu.org>
2668 * trans-array.c (gfc_conv_array_ref): If the symbol has the
2669 temporary attribute use the array_spec for the bounds.
2670 * gfortran.h : Add the temporary field to the structure
2672 * trans-stmt.c (forall_make_variable_temp): Set the symbol's
2673 temporary attribute.
2675 2009-04-05 Daniel Franke <franke.daniel@gmail.com>
2678 * trans-array.c (gfc_trans_array_constructor_value): Shadow
2679 implied do-loop variable to avoid spurious middle-end warnings.
2681 2009-04-04 Tobias Burnus <burnus@net-b.de>
2684 * trans-decl.c (gfc_generate_function_code): Move recursive
2685 check to the right position.
2687 2009-04-04 Paul Thomas <pault@gcc.gnu.org>
2690 * trans-common.c (translate_common): Do not offset the whole
2693 2009-04-03 Tobias Burnus <burnus@net-b.de>
2696 * resolve.c (resolve_common_vars): Add FL_VARIABLE to symbol
2697 if it is not a procedure pointer.
2698 * primary.c (match_actual_arg): Ditto.
2700 2009-03-31 Joseph Myers <joseph@codesourcery.com>
2702 PR preprocessor/15638
2703 * cpp.c (cb_cpp_error): Handle CPP_DL_FATAL.
2705 2009-03-30 Steven G. Kargl <kargls@comcast.net>
2708 * trans-stmt.c(gfc_trans_allocate): Add translation of ERRMSG.
2709 (gfc_trans_deallocate): Add translation of ERRMSG. Remove stale
2710 comments. Minor whitespace cleanup.
2711 * resolve.c(is_scalar_expr_ptr): Whitespace cleanup.
2712 (resolve_deallocate_expr (gfc_expr *e): Update error message.
2713 (resolve_allocate_expr): Remove dead code. Update error message.
2714 Move error checking to ...
2715 (resolve_allocate_deallocate): ... here. Add additional error
2716 checking for STAT, ERRMSG, and allocate-objects.
2717 * match.c(gfc_match_allocate,gfc_match_deallocate): Parse ERRMSG.
2718 Check for redundant uses of STAT and ERRMSG. Reword error message
2719 and add checking for pointer, allocatable, and proc_pointer attributes.
2721 2009-03-30 Paul Thomas <pault@gcc.gnu.org>
2726 * symbol.c : Add gfc_global_ns_list.
2727 * decl.c (add_global_entry): Set the namespace ('ns') field.
2728 * gfortran.h : Add the resolved field to gfc_namespace. Add the
2729 namespace ('ns') field to gfc_gsymbol. Add flag_whole_file to
2730 gfc_option_t. Add the prototype for gfc_free_dt_list.
2731 * lang.opt : Add the whole-file option.
2732 * invoke.texi : Document the whole-file option.
2733 * resolve.c (resolve_global_procedure): If the fwhole-file
2734 option is set, reorder gsymbols to ensure that translation is
2735 in the right order. Resolve the gsymbol's namespace if that
2736 has not occurred and then check interfaces.
2737 (resolve_function): Move call to resolve_global_procedure.
2738 (resolve_call): The same.
2739 (resolve_codes): Store the current labels_obstack.
2740 (gfc_resolve) : Return if the namespace is already resolved.
2741 trans-decl.c (gfc_get_extern_function_decl): If the whole_file
2742 option is selected, use the backend_decl of a gsymbol, if it is
2744 parse.c (add_global_procedure, add_global_program): If the flag
2745 whole-file is set, add the namespace to the gsymbol.
2746 (gfc_parse_file): On -fwhole-file, put procedure namespaces on
2747 the global namespace list. Rearrange to do resolution of all
2748 the procedures in a file, followed by their translation.
2749 * options.c (gfc_init_options): Add -fwhole-file.
2750 (gfc_handle_option): The same.
2752 2009-03-30 Ulrich Weigand <Ulrich.Weigand@de.ibm.com>
2754 * f95-lang.c (gfc_init_builtin_functions): Define BUILT_IN_HUGE_VAL
2755 family of intrinsics instead of BUILT_IN_INF family.
2756 * trans-intrinsics.c (gfc_conv_intrinsic_nearest): Use
2757 BUILT_IN_HUGE_VAL instead of BUILT_IN_INF.
2759 2009-03-30 Jakub Jelinek <jakub@redhat.com>
2761 * trans-types.c (gfc_sym_type, gfc_return_by_reference): For
2762 sym->attr.result check sym->ns->proc_name->attr.is_bind_c.
2764 2009-03-30 Joseph Myers <joseph@codesourcery.com>
2766 PR rtl-optimization/323
2767 * options.c (gfc_post_options): Set
2768 flag_excess_precision_cmdline. Give an error for
2769 -fexcess-precision=standard for processors where the option is
2772 2009-03-29 Joseph Myers <joseph@codesourcery.com>
2774 PR preprocessor/34695
2775 * cpp.c (cb_cpp_error): New.
2776 (gfc_cpp_post_options): Don't set cpp_option->inhibit_warnings.
2777 Don't check cpp_errors (cpp_in).
2778 (gfc_cpp_init_0): Set cb->error.
2780 2009-03-29 Steven G. Kargl <kargl@gcc.gnu.org>
2783 * gfortran.h: Add ARITH_PROHIBIT to arith enum.
2784 expr.c (gfc_match_init_expr): Add global variable init_flag to
2785 flag matching an initialization expression.
2786 (check_intrinsic_op): Move no longer reachable error message to ...
2787 * arith.c (arith_power): ... here. Remove gfc_ prefix in
2788 gfc_arith_power. Use init_flag. Allow constant folding of x**y
2789 when y is REAL or COMPLEX.
2790 (eval_intrinsic): Remove restriction that y in x**y must be INTEGER
2791 for constant folding.
2792 * gfc_power: Update gfc_arith_power to arith_power
2794 2009-03-29 Daniel Kraft <d@domob.eu>
2797 * gfortran.h (struct gfc_typebound_proc): Added new flag "deferred" and
2798 added a comment explaining DEFERRED binding handling.
2799 * decl.c (match_binding_attributes): Really match DEFERRED attribute.
2800 (match_procedure_in_type): Really match PROCEDURE(interface) syntax
2801 and do some validity checks for DEFERRED and this construct.
2802 * module.c (binding_overriding): New string constant for DEFERRED.
2803 (mio_typebound_proc): Module-IO DEFERRED flag.
2804 * resolve.c (check_typebound_override): Ensure that a non-DEFERRED
2805 binding is not overridden by a DEFERRED one.
2806 (resolve_typebound_procedure): Allow abstract interfaces as targets
2807 for DEFERRED bindings.
2808 (ensure_not_abstract_walker), (ensure_not_abstract): New methods.
2809 (resolve_fl_derived): Use new "ensure_not_abstract" method for
2810 non-ABSTRACT types extending ABSTRACT ones to ensure each DEFERRED
2811 binding is overridden.
2812 (check_typebound_baseobject): New method.
2813 (resolve_compcall), (resolve_typebound_call): Check base-object of
2814 the type-bound procedure call.
2815 * gfc-internals.texi (Type-bound procedures): Document a little bit
2816 about internal handling of DEFERRED bindings.
2818 2009-03-29 Tobias Schlüter <tobi@gcc.gnu.org>
2821 * gfortran.h (gfc_st_label): Fix comment.
2822 (gfc_exec_op): Add statement code EXEC_END_BLOCK for end of block.
2823 * parse.c (accept_statement): Use EXEC_END_BLOCK for END IF and
2824 END SELECT with labels.
2825 (check_do_closure): Fix formatting.
2826 (parse_do_block): Fix typo in error message.
2827 * resolve.c (code_stack): Remove tail member. Update comment to
2828 new use of reachable_labels.
2829 (reachable_labels): Rename to ...
2830 (find_reachable_labels): ... this. Overhaul. Update preceding
2832 (resolve_branch): Fix comment preceding function. Rewrite.
2833 (resolve_code): Update call to find_reachable_labels. Add code to
2834 deal with EXEC_END_BLOCK.
2835 * st.c (gfc_free_statement): Add code to deal with EXEC_END_BLOCK.
2836 Add 2009 to copyright years.
2837 * trans.c (gfc_trans_code): Likewise on both counts.
2839 2009-03-31 Paul Thomas <pault@gcc.gnu.org>
2842 * expr.c (gfc_check_assign): Allow pointer components when
2846 * resolve.c (check_data_variable): Treat pointer arrays with
2849 2009-03-31 Paul Thomas <pault@gcc.gnu.org>
2852 * trans-expr.c (gfc_trans_assignment_1): Ensure temporaries
2853 have a string_length.
2855 2009-03-28 Tobias Burnus <burnus@net-b.de>
2858 * trans-stmt.c (gfc_trans_simple_do, gfc_trans_do):
2859 Add GFC_RTCHECK_DO support.
2860 * option.c (gfc_handle_runtime_check_option): Enable GFC_RTCHECK_DO.
2861 * invoke.texi (-fcheck): Document "do" option.
2863 2009-03-28 Paul Thomas <pault@gcc.gnu.org>
2866 * trans-array.c (get_elemental_fcn_charlen): Remove.
2867 (get_array_charlen): New function to replace previous.
2869 2009-03-28 Paul Thomas <pault@gcc.gnu.org>
2872 * parse.c (parse_derived): Do not break on finding pointer,
2873 allocatable or private components.
2875 2009-03-28 Tobias Burnus <burnus@net-b.de>
2878 * option.c (gfc_handle_runtime_check_option): Enable recursion check.
2879 * trans-decl.c (gfc_generate_function_code): Add recursion check.
2880 * invoke.texi (-fcheck): Add recursive option.
2882 2009-03-28 Tobias Burnus <burnus@net-b.de>
2885 * resolve.c (gfc_resolve_iterator): Add zero-loop warning.
2887 2009-03-28 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
2888 Paul Thomas <pault@gcc.gnu.org>
2889 Tobias Burnus <burnus@net-b.de>
2891 * gfortran.h (gfc_option_t): Add rtcheck.
2892 * lang.opt: New option -fcheck.
2893 * libgfortran.h: Add GFC_RTCHECK_* constants.
2894 * invoke.texi: Document -fcheck.
2895 * options.c (gfc_handle_runtime_check_option): New function.
2896 (gfc_init_options,gfc_post_options,gfc_handle_option):
2899 2009-03-27 Richard Guenther <rguenther@suse.de>
2901 * trans-array.c (gfc_conv_descriptor_data_addr): Use
2902 gfc_build_addr_expr instead of build_fold_addr_expr.
2903 (gfc_trans_allocate_array_storage, gfc_trans_array_constructor_value,
2904 gfc_trans_constant_array_constructor, gfc_conv_array_data,
2905 gfc_conv_expr_descriptor, gfc_conv_array_parameter): Likewise.
2906 * trans-expr.c (gfc_conv_missing_dummy, gfc_conv_variable,
2907 gfc_conv_function_val, gfc_conv_operator_assign,
2908 gfc_conv_subref_array_arg, gfc_conv_function_call,
2909 gfc_conv_expr_reference, gfc_trans_scalar_assign): Likewise.
2910 * trans-intrinsic.c (gfc_conv_intrinsic_exponent,
2911 gfc_conv_intrinsic_ctime, gfc_conv_intrinsic_fdate,
2912 gfc_conv_intrinsic_ttynam, gfc_conv_intrinsic_minmax_char,
2913 gfc_conv_intrinsic_fraction, gfc_conv_intrinsic_spacing,
2914 gfc_conv_intrinsic_rrspacing, gfc_conv_intrinsic_set_exponent,
2915 gfc_conv_intrinsic_array_transfer, gfc_conv_intrinsic_transfer,
2916 gfc_conv_intrinsic_si_kind, gfc_conv_intrinsic_trim): Likewise.
2917 * trans-io.c (gfc_trans_io_runtime_check, set_parameter_ref,
2918 gfc_convert_array_to_string, gfc_trans_open, gfc_trans_close,
2919 build_filepos, gfc_trans_inquire, gfc_trans_wait,
2920 nml_get_addr_expr, transfer_namelist_element, build_dt,
2921 gfc_trans_dt_end, transfer_array_component, transfer_expr,
2922 transfer_array_desc, gfc_trans_transfer): Likewise.
2923 * trans-stmt.c (gfc_trans_allocate, gfc_trans_deallocate): Likewise.
2924 * trans.c (gfc_build_addr_expr): Mark the base of the address
2927 2009-03-27 Tobias Burnus <burnus@net-b.de>
2929 * gfortran.h (enum init_local_real.): Add GFC_INIT_REAL_SNAN.
2930 (gfc_expr): Add is_snan.
2931 * trans-const.c (gfc_conv_mpfr_to_tree): Support SNaN.
2932 (gfc_conv_constant_to_tree): Update call to gfc_conv_mpfr_to_tree.
2933 * trans-const.h (gfc_conv_mpfr_to_tree): Update prototype.
2934 * resolve.c (build_default_init_expr): Update call.
2935 * target-memory.c (encode_float): Ditto.
2936 * trans-intrinsic.c (gfc_conv_intrinsic_aint,gfc_conv_intrinsic_mod,
2938 2009-03-18 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
2940 * lang.opt: Unify help texts for -I, -Wconversion, -d, -fopenmp,
2943 2009-03-06 Alexandre Oliva <aoliva@redhat.com>
2945 * simplify.c (gfc_simplify_transfer): Zero-initialize the
2948 2009-02-27 Tobias Burnus <burnus@net-b.de>
2951 * module.c (read_md5_from_module_file): Add missing quote.
2953 2009-02-27 Tobias Burnus <burnus@net-b.de>
2956 * module.c (read_md5_from_module_file): Include mod version
2957 in had-changed test.
2959 2009-02-26 Paul Thomas <pault@gcc.gnu.org>
2962 * interface.c (compare_type_rank_if): Return 1 if the symbols
2963 are the same and deal with external procedures where one is
2964 identified to be a function or subroutine by usage but the
2967 2009-02-26 Paul Thomas <pault@gcc.gnu.org>
2970 * trans-array.c (gfc_conv_array_initializer): Convert all
2971 expressions rather than ICEing.
2973 2009-02-21 Thomas Koenig <tkoenig@gcc.gnu.org>
2976 * array.c (ref_dimen_size): Rename to gfc_ref_dimen_size,
2977 make global. Change function name in error messages.
2978 (ref_size): Change ref_dimen_size to gfc_ref_dimen_size.
2979 (gfc_array_ref_shape): Likewise.
2980 * gfortran.h: Add prototype for gfc_ref_dimen_size.
2981 * simplify.c (simplify_bound_dim): Add ref argument.
2982 If the reference isn't a full array, return one for
2983 the lower bound and the extent for the upper bound.
2984 (simplify_bound): For array sections, take as from the
2985 argument. Add reference to all to simplify_bound_dim.
2987 2009-02-19 Daniel Franke <franke.daniel@gmail.com>
2989 * scanner.c (load_line): At end of line, skip '\r' without setting
2990 the truncation flag.
2992 2009-02-18 Daniel Kraft <d@domob.eu>
2994 * gfortran.texi: New chapter about compiler characteristics.
2995 (Compiler Characteristics): Document KIND type parameters here.
2997 2009-02-18 Tobias Burnus <burnus@net-b.de>
2999 * intrinsic.texi (MALLOC): Make example more portable.
3001 2009-02-13 Mikael Morin <mikael.morin@tele2.fr>
3004 * module.c (gfc_dump_module,gfc_use_module): Add module
3007 2009-02-13 Paul Thomas <pault@gcc.gnu.org>
3011 * trans-expr.c (gfc_conv_function_val): Stabilize Cray-pointer
3012 function references to ensure that a valid expression is used.
3013 (gfc_conv_function_call): Pass Cray pointers to procedures.
3015 2009-02-03 Jakub Jelinek <jakub@redhat.com>
3017 * gfortranspec.c (lang_specific_driver): Update copyright notice
3020 2009-01-28 Paul Thomas <pault@gcc.gnu.org>
3024 * trans-intrinsic.c (gfc_conv_intrinsic_bound): Use the array
3025 descriptor ubound for UBOUND, when the array lbound == 1.
3027 2009-01-27 Daniel Kraft <d@domob.eu>
3030 * trans-stmt.c (gfc_conv_elemental_dependencies): Create temporary
3031 for the real type needed to make it work for subcomponent-references.
3033 2009-01-21 Daniel Kraft <d@domob.eu>
3035 * trans-stmt.c (gfc_conv_elemental_dependencies): Cleaned up comment.
3037 2009-01-20 Paul Thomas <pault@gcc.gnu.org>
3040 * resolve.c (check_host_association): Remove the matching to
3041 correct an incorrect host association and use manipulation of
3042 the expression instead.
3044 2009-01-20 Tobias Burnus <burnus@net-b.de>
3046 * invoke.texi (RANGE): RANGE also takes INTEGER arguments.
3048 2009-01-19 Mikael Morin <mikael.morin@tele2.fr>
3051 * simplify.c (simplify_bound): Don't use array specification
3052 if variable or component has subsequent references.
3054 2009-01-17 Paul Thomas <pault@gcc.gnu.org>
3057 * module.c (write_common_0): Add argument 'this_module' and
3058 check that non-use associated common blocks are written first.
3059 (write_common): Call write_common_0 twice, once with true and
3062 2009-01-17 Paul Thomas <pault@gcc.gnu.org>
3065 * trans-intrinsic.c (gfc_conv_intrinsic_array_transfer): Has
3066 been absorbed into gfc_conv_intrinsic_transfer. All
3067 references to it in trans-intrinsic.c have been changed
3068 accordingly. PR fixed by using a temporary for scalar
3069 character transfer, when the source is shorter than the
3072 2009-01-17 Paul Thomas <pault@gcc.gnu.org>
3075 * module.c (write_common_0): Revert patch of 2009-01-05.
3077 2009-01-16 Janus Weil <janus@gcc.gnu.org>
3080 * expr.c (gfc_check_pointer_assign): Allow use-associated procedure
3082 * trans-decl.c (get_proc_pointer_decl,gfc_create_module_variable):
3083 Enable procedure pointers as module variables.
3085 2009-01-14 Steven G. Kargl <kargl@gcc.gnu.org>
3087 * ChangeLog-2007: Clean out svn merge droppings.
3089 2009-01-10 Paul Thomas <pault@gcc.gnu.org>
3092 * target-memory.c (encode_derived): Encode NULL.
3094 2009-01-10 Paul Thomas <pault@gcc.gnu.org>
3097 * resolve.c (check_host_association): Use the symtree name to
3098 search for a potential contained procedure, since this is the
3099 name by which it would be referenced.
3101 2009-01-06 Thomas Koenig <tkoenig@gcc.gnu.org>
3104 * interface.c (gfc_procedure_use): Don't warn about functions
3106 * symbol.c (generate_isocbinding_symbol): Mark c_loc and
3109 2009-01-05 Paul Thomas <pault@gcc.gnu.org>
3112 * module.c (write_common_0): Use the name of the symtree rather
3113 than the common block, to determine if the common has been
3116 2009-01-05 Daniel Franke <franke.daniel@gmail.com>
3119 * check.c (gfc_check_random_seed): Added size check for GET
3120 dummy argument, reworded error messages to follow common pattern.
3122 2009-01-05 Thomas Koenig <tkoenig@gcc.gnu.org>
3125 * trans-types.c (gfc_get_derived_type): Check for the
3126 presence of derived->ns->proc_name before
3127 accessing derived->ns->proc_name->attr.flavor .
3128 * resolve.c (resolve_symbol): Likewise.
3130 2009-01-05 Paul Thomas <pault@gcc.gnu.org>
3133 * gfortran.h : Add bit to gfc_expr 'user_operator'
3134 * interface.c (gfc_extend_expr): Set the above if the operator
3135 is substituted by a function.
3136 * resolve.c (check_host_association): Return if above is set.
3138 2009-01-04 Mikael Morin <mikael.morin@tele2.fr>
3141 * ChangeLog-2008: Fix function name.
3144 * dependency.c (gfc_check_argument_var_dependency):
3145 Move the check for pointerness inside the if block
3146 so that it doesn't affect the return value.
3149 * trans-stmt.c (gfc_trans_call):
3150 Add the dependency code after the loop bounds calculation one.
3152 2009-01-04 Daniel Franke <franke.daniel@gmail.com>
3154 * intrinsic.c (do_simplify): Removed already implemented TODO.
3156 2009-01-04 Daniel Franke <franke.daniel@gmail.com>
3159 * simplify.c (gfc_simplify_merge): New.
3160 * intrinsic.h (gfc_simplify_merge): New prototype.
3161 * intrinsic.c (add_functions): Added simplification for MERGE.
3163 2009-01-04 Mikael Morin <mikael.morin@tele2.fr>
3166 * gfortran.h (gfc_is_data_pointer): Added prototype
3167 * resolve.c (gfc_iso_c_func_interface):
3168 Use gfc_is_data_pointer to test for pointer attribute.
3169 * dependency.c (gfc_is_data_pointer):
3170 Support pointer-returning functions.
3172 2009-01-03 Daniel Franke <franke.daniel@gmail.com>
3174 * symbol.c (save_symbol): Don't SAVE function results.
3176 2009-01-03 Paul Thomas <pault@gcc.gnu.org>
3179 * resolve.c (resolve_call): When searching for proper host
3180 association, use symtree rather than symbol. For everything
3181 except generic subroutines, substitute the symtree in the call
3182 rather than the symbol.
3185 Copyright (C) 2009 Free Software Foundation, Inc.
3187 Copying and distribution of this file, with or without modification,
3188 are permitted in any medium without royalty provided the copyright
3189 notice and this notice are preserved.