OSDN Git Service

2006-03-30 Steven G. Kargl <kargls@comcast.net>
[pf3gnuchains/gcc-fork.git] / gcc / fortran / ChangeLog
1 2006-05-02  Steven G. Kargl  <kargls@comcast.net>
2
3         PR fortran/26896
4         * lang.opt: Fix -Wtab description
5
6         PR fortran/20248  
7         * lang.opt: New flag -fall-intrinsics.
8         * invoke.texi:  Document option.
9         * gfortran.h (options_t):  New member flag_all_intrinsics.
10         * options.c (gfc_init_options, gfc_handle_option): Set new option.
11         sort nearby misplaced options.
12         * intrinsic.c (add_sym, make_generic, make_alias):  Use it.
13  
14 2006-05-02 Paul Thomas <pault@gcc.gnu.org>
15
16         PR fortran/27269
17         * module.c: Add static flag in_load_equiv.
18         (mio_expr_ref): Return if no symtree and in_load_equiv.
19         (load_equiv): If any of the equivalence members have no symtree, free
20         the equivalence and the associated expressions.
21
22         PR fortran/27324
23         * trans-common.c (gfc_trans_common): Invert the order of calls to
24         finish equivalences and gfc_commit_symbols.
25
26 2006-04-29  Francois-Xavier Coudert  <coudert@clipper.ens.fr>
27
28         PR fortran/25681
29         * simplify.c (simplify_len): Character variables with constant
30         length can be simplified.
31
32 2006-04-29  H.J. Lu  <hongjiu.lu@intel.com>
33
34         PR fortran/27351
35         * trans-array.c (gfc_conv_array_transpose): Move gcc_assert
36         before gfc_conv_expr_descriptor.
37
38 2006-04-23  Paul Thomas  <pault@gcc.gnu.org>
39
40         PR fortran/25099
41         * resolve.c (resolve_call): Check conformity of elemental
42         subroutine actual arguments.
43
44 2006-04-22  Jakub Jelinek  <jakub@redhat.com>
45
46         PR fortran/26769
47         * iresolve.c (gfc_resolve_reshape): Use reshape_r16 for real(16).
48         (gfc_resolve_transpose): Use transpose_r16 for real(16).
49
50 2006-04-21 Paul Thomas <pault@gcc.gnu.org>
51
52         PR fortran/27122
53         * resolve.c (resolve_function): Remove general restriction on auto
54         character length function interfaces.
55         (gfc_resolve_uops): Check restrictions on defined operator
56         procedures.
57         (resolve_types): Call the check for defined operators.
58
59         PR fortran/27113
60         * trans-array.c (gfc_trans_array_constructor_subarray): Remove
61         redundant gfc_todo_error.
62         (get_array_ctor_var_strlen): Remove typo in enum.
63
64 2006-04-18  Bernhard Fischer  <aldot@gcc.gnu.org>
65
66         * parse.c (next_free): Use consistent error string between
67         free-form and fixed-form for illegal statement label of zero.
68         (next_fixed): Use consistent warning string between free-form
69         and fixed-form for statement labels for empty statements.
70
71 2006-04-18  Steve Ellcey  <sje@cup.hp.com>
72
73         * trans-io.c (gfc_build_io_library_fndecls): Align pad.
74
75 2006-04-16  Thomas Koenig  <Thomas.Koenig@online.de>
76
77         PR fortran/26017
78         * trans-array.c(gfc_array_init_size):  Introduce or_expr
79         which is true if the size along any dimension
80         is negative.  Create a temporary variable with base
81         name size.  If or_expr is true, set the temporary to 0,
82         to the normal size otherwise.
83
84 2006-04-16  Paul Thomas  <pault@gcc.gnu.org>
85
86         PR fortran/26822
87         * intrinsic.c (add_functions): Mark LOGICAL as elemental.
88
89         PR fortran/26787
90         * expr.c (gfc_check_assign): Extend scope of error to include
91         assignments to a procedure in the main program or, from a
92         module or internal procedure that is not that represented by
93         the lhs symbol. Use VARIABLE rather than l-value in message.
94
95         PR fortran/27096
96         * trans-array.c (gfc_trans_deferred_array): If the backend_decl
97         is not a descriptor, dereference and then test and use the type.
98
99         PR fortran/25597
100         * trans-decl.c (gfc_trans_deferred_vars): Check if an array
101         result, is also automatic character length.  If so, process
102         the character length.
103
104         PR fortran/18803
105         PR fortran/25669
106         PR fortran/26834
107         * trans_intrinsic.c (gfc_walk_intrinsic_bound): Set
108         data.info.dimen for bound intrinsics.
109         * trans_array.c (gfc_conv_ss_startstride): Pick out LBOUND and
110         UBOUND intrinsics and supply their shape information to the ss
111         and the loop.
112
113         PR fortran/27124
114         * trans_expr.c (gfc_trans_function_call):  Add a new block, post,
115         in to which all the argument post blocks are put.  Add this block
116         to se->pre after a byref call or to se->post, otherwise.
117
118 2006-04-14  Roger Sayle  <roger@eyesopen.com>
119
120         * trans-io.c (set_string): Use fold_build2 and build_int_cst instead
121         of build2 and convert to construct "x < 0" rather than "x <= -1".
122
123 2006-04-13  Richard Henderson  <rth@redhat.com>
124
125         * trans-openmp.c (gfc_trans_omp_sections): Adjust for changed
126         number of operands to OMP_SECTIONS.
127
128 2006-04-08  Kazu Hirata  <kazu@codesourcery.com>
129
130         * gfortran.texi: Fix typos.  Follow spelling conventions.
131         * resolve.c, trans-expr.c, trans-stmt.c: Fix comment typos.
132         Follow spelling conventions.
133
134 2006-04-05  Roger Sayle  <roger@eyesopen.com>
135
136         * dependency.c (get_no_elements): Delete function.
137         (get_deps): Delete function.
138         (transform_sections): Delete function.
139         (gfc_check_section_vs_section): Significant rewrite.
140
141 2006-04-04  H.J. Lu  <hongjiu.lu@intel.com>
142
143         PR fortran/25619
144         * trans-array.c (gfc_conv_expr_descriptor): Only dereference
145         character pointer when copying temporary.
146
147         PR fortran/23634
148         * trans-array.c (gfc_conv_expr_descriptor): Properly copy
149         temporary character with non constant size.
150
151 2006-04-03  Paul Thomas  <pault@gcc.gnu.org>
152
153         PR fortran/26891
154         * trans.h: Prototype for gfc_conv_missing_dummy.
155         * trans-expr (gfc_conv_missing_dummy): New function
156         (gfc_conv_function_call): Call it and tidy up some of the code.
157         * trans-intrinsic (gfc_conv_intrinsic_function_args): The same.
158
159         PR fortran/26976
160         * array.c (gfc_array_dimen_size): If available, return shape[dimen].
161         * resolve.c (resolve_function): If available, use the argument
162         shape for the function expression.
163         * iresolve.c (gfc_resolve_transfer): Set shape[0] = size.
164
165 2006-04-02  Erik Edelmann  <eedelman@gcc.gnu.org>
166
167         * trans-array.c (gfc_trans_dealloc_allocated): Take a
168         tree representation of the array to be deallocated as argument
169         instead of its gfc_symbol.
170         (gfc_trans_deferred_array): Update call to
171         gfc_trans_dealloc_allocated.
172         * trans-array.h (gfc_trans_dealloc_allocated): Update
173         prototype.
174         * trans-expr.c (gfc_conv_function_call): Update call to
175         gfc_trans_dealloc_allocated, get indirect reference to dummy
176         arguments.
177
178 2006-04-01  Roger Sayle  <roger@eyesopen.com>
179
180         PR fortran/25270
181         * trans-array.c (gfc_trans_allocate_array_storage): In array index
182         calculations use gfc_index_zero_node and gfc_index_one_node instead
183         of integer_zero_node and integer_one_node respectively.
184         (gfc_conv_array_transpose): Likewise.
185         (gfc_conv_ss_startstride): Likewise.
186         (gfc_trans_dummy_array_bias): Likewise.
187
188 2006-04-01  Roger Sayle  <roger@eyesopen.com>
189
190         * dependency.c (gfc_is_inside_range): Delete.
191         (gfc_check_element_vs_section): Significant rewrite.
192
193 2006-04-01  Roger Sayle  <roger@eyesopen.com>
194
195         * dependency.c (gfc_dep_compare_expr): Strip parentheses and unary
196         plus operators when comparing expressions.  Handle comparisons of
197         the form "X+C vs. X", "X vs. X+C", "X-C vs. X" and "X vs. X-C" where
198         C is an integer constant.  Handle comparisons of the form "P+Q vs.
199         R+S" and "P-Q vs. R-S".  Handle comparisons of integral extensions
200         specially (increasing functions) so extend(A) > extend(B), when A>B.
201         (gfc_check_element_vs_element): Move test later, so that we ignore
202         the fact that "A < B" or "A > B" when A or B contains a forall index.
203
204 2006-03-31  Asher Langton  <langton2@llnl.gov>
205
206         PR fortran/25358
207         * expr.c (gfc_check_assign): Allow cray pointee to be assumes-size.
208         
209 2006-03-30  Paul Thomas <paulthomas2@wanadoo.fr>
210             Bud Davis  <bdavis9659@sbcglobal.net>
211
212         PR 21130
213         * module.c (load_needed): Traverse entire tree before returning.
214
215 2006-03-30  Roger Sayle  <roger@eyesopen.com>
216
217         PR middle-end/22375
218         * trans.c (gfc_trans_runtime_check): Promote the arguments of
219         __builtin_expect to the correct types, and the result back to
220         boolean_type_node.
221
222 2006-03-29  Carlos O'Donell  <carlos@codesourcery.com>
223
224         * Make-lang.in: Rename docdir to gcc_docdir.
225
226 2006-03-28  Steven G. Kargl  <kargls@comcast.net>
227
228         * intrinsic.texi: s/floor/float in previous commit.
229
230 2006-03-28 Paul Thomas <pault@gcc.gnu.org>
231
232         PR fortran/26779
233         * resolve.c (resolve_fl_procedure): Do not check the access of
234         derived types for internal procedures.
235
236 2006-03-27  Jakub Jelinek  <jakub@redhat.com>
237
238         * io.c (check_io_constraints): Don't look at
239         dt->advance->value.charater.string, unless it is a CHARACTER
240         constant.
241
242         * f95-lang.c (gfc_get_alias_set): New function.
243         (LANG_HOOKS_GET_ALIAS_SET): Define.
244
245 2006-03-25  Steven G. Kargl  <kargls@comcast.net>
246
247         PR fortran/26816
248         * intrinsic.c (add_functions): Allow FLOAT to accept all integer kinds.
249         * intrinsic.texi: Document FLOAT.
250
251 2006-03-25  Thomas Koenig  <Thomas.Koenig@online.de>
252
253         PR fortran/26769
254         * iresolve.c (gfc_resolve_reshape):  Remove doubling of
255         kind for complex. For real(kind=10), call reshape_r10.
256         (gfc_resolve_transpose):  For real(kind=10), call
257         transpose_r10.
258
259 2006-03-25  Roger Sayle  <roger@eyesopen.com>
260
261         * dependency.c (gfc_check_dependency): Improve handling of pointers;
262         Two variables of different types can't have a dependency, and two
263         variables with the same symbol are equal, even if pointers.
264
265 2006-03-24  Roger Sayle  <roger@eyesopen.com>
266
267         * gfortran.h (gfc_symbol): Add a new "forall_index" bit field.
268         * match.c (match_forall_iterator): Set forall_index field on
269         the iteration variable's symbol.
270         * dependency.c (contains_forall_index_p): New function to
271         traverse a gfc_expr to check whether it contains a variable
272         with forall_index set in it's symbol.
273         (gfc_check_element_vs_element): Return GFC_DEP_EQUAL for scalar
274         constant expressions that don't variables used as FORALL indices.
275
276 2006-03-22  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
277
278         PR driver/22600
279         * error.c (gfc_fatal_error): Return ICE_EXIT_CODE instead of 4.
280
281 2006-03-22  Thomas Koenig  <Thomas.Koenig@online.de>
282
283         PR fortran/19303
284         * gfortran.h (gfc_option_t):  Add record_marker.
285         * lang.opt:  Add -frecord-marker=4 and -frecord-marker=8.
286         * trans-decl.c:  Add gfor_fndecl_set_record_marker.
287         (gfc_build_builtin_function_decls): Set
288         gfor_fndecl_set_record_marker.
289         (gfc_generate_function_code):  If we are in the main program
290         and -frecord-marker was provided, call set_record_marker.
291         * options.c (gfc_handle_option):  Add handling for
292         -frecord-marker=4 and -frecord-marker=8.
293         * invoke.texi:  Document -frecord-marker.
294
295 2006-03-22  Paul Thomas  <pault@gcc.gnu.org>
296
297         PR fortran/17298
298         * trans-intrinsic.c (gfc_conv_intrinsic_array_transfer): New
299         function to implement array valued TRANSFER intrinsic.
300         (gfc_conv_intrinsic_function): Call the new function if TRANSFER
301         and non-null se->ss.
302         (gfc_walk_intrinsic_function): Treat TRANSFER as one of the
303         special cases by calling gfc_walk_intrinsic_libfunc directly.
304
305 2006-03-21  Toon Moene  <toon@moene.indiv.nluug.nl>
306
307         * options.c (gfc_init_options): Initialize
308         flag_argument_noalias to 3.
309
310 2006-03-20  Thomas Koenig  <Thomas.Koenig@online.de>
311
312         PR fortran/20935
313         * iresolve.c (gfc_resolve_maxloc):   If mask is scalar,
314         prefix the function name with an "s".  If the mask is scalar
315         or if its kind is smaller than gfc_default_logical_kind,
316         coerce it to default kind.
317         (gfc_resolve_maxval):  Likewise.
318         (gfc_resolve_minloc):  Likewise.
319         (gfc_resolve_minval):  Likewise.
320         (gfc_resolve_product):  Likewise.
321         (gfc_resolve_sum):  Likewise.
322
323 2006-03-19  Paul Thomas  <pault@gcc.gnu.org>
324
325         PR fortran/26741
326         *expr.c (external_spec_function): Permit elemental functions.
327
328         PR fortran/26716
329         *interface.c (compare_actual_formal): Detect call for procedure
330         usage and require rank checking, in this case, for assumed shape
331         and deferred shape arrays.
332         (gfc_procedure_use): Revert to pre-PR25070 call to
333         compare_actual_formal that does not require rank checking..
334
335 2006-03-16  Roger Sayle  <roger@eyesopen.com>
336
337         * gfortran.h (gfc_equiv_info): Add length field.
338         * trans-common.c (copy_equiv_list_to_ns): Set the length field.
339         * dependency.c (gfc_are_equivalenced_arrays): Use both the offset
340         and length fields to determine whether the two equivalenced symbols
341         overlap in memory.
342
343 2006-03-14  Jerry DeLisle  <jvdelisle@gcc.gnu.org>
344
345         PR fortran/19101
346         * gfortran.h: Add warn_ampersand.
347         * invoke.texi: Add documentation for new option.
348         * lang.opt: Add Wampersand.
349         * options.c (gfc_init_options): Initialize warn_ampersand.
350         (gfc_post_options): Set the warn if pedantic.
351         (set_Wall): Set warn_ampersand.
352         (gfc_handle_option: Add Wampersand for itself, -std=f95, and -std=f2003.
353         * scanner.c (gfc_next_char_literal): Add test for missing '&' in
354         continued character constant and give warning if missing.
355
356 2006-03-14  Steven G. Kargl  <kargls@comcast.net>
357
358         PR 18537
359         * gfortran.h: Wrap Copyright line.
360         (gfc_option_t): add warn_tabs member.
361         * lang.opt: Update Coyright year.  Add the Wtabs.
362         * invoke.texi: Document -Wtabs.
363         * scanner.c (gfc_gobble_whitespace): Use warn_tabs.  Add linenum to
364         suppress multiple warnings.
365         (load_line): Use warn_tabs.  Add linenum, current_line, seen_comment
366         to suppress multiple warnings.
367         * options.c (gfc_init_options): Initialize warn_tabs.
368         (set_Wall): set warn_tabs for -Wall.
369         (gfc_post_options): Adjust flag_tabs depending on -pedantic.
370         (gfc_handle_option):  Process command-line option -W[no-]tabs
371
372 2006-03-13  Paul Thomas  <pault@gcc.gnu.org>
373
374         PR fortran/25378
375         * trans-intrinsic.c (gfc_conv_intrinsic_minmaxloc): Set the initial position to zero and
376         modify the condition for updating it, to implement the F2003 requirement for all(mask)
377         is false.
378
379 2006-03-13  Jakub Jelinek  <jakub@redhat.com>
380
381         * trans-openmp.c (gfc_trans_omp_variable): Handle references
382         to parent result.
383         * trans-expr.c (gfc_conv_variable): Remove useless setting
384         of parent_flag, formatting.
385
386         * trans-decl.c (gfc_get_fake_result_decl): Re-add setting of
387         GFC_DECL_RESULT flag.
388
389 2003-03-11  Roger Sayle  <roger@eyesopen.com>
390
391         * dependency.c (gfc_dep_compare_expr) <EXPR_OP>: Allow unary and
392         binary operators to compare equal if their operands are equal.
393         <EXPR_FUNCTION>: Allow "constant" intrinsic conversion functions
394         to compare equal, if their operands are equal.
395
396 2006-03-11  Erik Edelmann  <eedelman@gcc.gnu.org>
397
398         * symbol.c (check_conflict): Allow allocatable function results,
399         except for elemental functions.
400         * trans-array.c (gfc_trans_allocate_temp_array): Rename to ...
401         (gfc_trans_create_temp_array): ... this, and add new argument
402         callee_alloc.
403         (gfc_trans_array_constructor, gfc_conv_loop_setup): Update call
404         to gfc_trans_allocate_temp_array.
405         * trans-array.h (gfc_trans_allocate_temp_array): Update prototype.
406         * trans-expr.c (gfc_conv_function_call): Use new arg of
407         gfc_trans_create_temp_array avoid pre-allocation of temporary
408         result variables of pointer AND allocatable functions.
409         (gfc_trans_arrayfunc_assign): Return NULL for allocatable
410         functions.
411         * resolve.c (resolve_symbol): Copy value of 'allocatable' attribute
412         from sym->result to sym.
413
414 2006-03-09  Erik Edelmann  <eedelman@gcc.gnu.org>
415
416         * trans-expr.c (gfc_add_interface_mapping): Copy 'allocatable'
417         attribute from sym to new_sym.  Call build_fold_indirect_ref()
418         for allocatable arguments.
419
420 2006-03-09 Paul Thomas <pault@gcc.gnu.org>
421
422         PR fortran/26257
423         * trans-array.c (gfc_conv_expr_descriptor): Exclude calculation of
424         the offset and data when se->data_not_needed is set.
425         * trans.h: Include the data_not_need bit in gfc_se.
426         * trans-intrinsic.c (gfc_conv_intrinsic_size): Set it for SIZE.
427
428 2006-03-06  Paul Thomas  <pault@gcc.gnu.org>
429             Erik Edelmann  <eedelman@gcc.gnu.org>
430
431         * trans-array.c (gfc_trans_dealloc_allocated): New function.
432         (gfc_trans_deferred_array): Use it, instead of inline code.
433         * trans-array.h: Prototype for gfc_trans_dealloc_allocated().
434         * trans-expr.c (gfc_conv_function_call): Deallocate allocated
435         ALLOCATABLE, INTENT(OUT) arguments upon procedure entry.
436
437 2006-03-06  Paul Thomas  <pault@gcc.gnu.org>
438
439         PR fortran/26107
440         * resolve.c (resolve_function): Add name after test for pureness.
441
442         PR fortran/19546
443         * trans-expr.c (gfc_conv_variable): Detect reference to parent result,
444         store current_function_decl, replace with parent, whilst calls are
445         made to gfc_get_fake_result_decl, and restore afterwards. Signal this
446         to gfc_get_fake_result_decl with a new argument, parent_flag.
447         * trans-stmt.c (gfc_trans_return): gfc_get_fake_result_decl 2nd arg
448         is set to zero.
449         * trans.h: Add parent_flag to gfc_get_fake_result_decl prototype.
450         * trans-decl.c (gfc_get_fake_result_decl): On parent_flag, being set,
451         add decl to parent function. Replace refs to current_fake_result_decl
452         with refs to this_result_decl.
453         (gfc_generate_function_code): Null parent_fake_result_decl before the
454         translation of code for contained procedures. Set parent_flag to zero
455         in call to gfc_get_fake_result_decl.
456         * trans-intrinsic.c (gfc_conv_intrinsic_len): The same.
457
458 2006-03-05  Steven G. Kargl  <kargls@comcast.net>
459
460         * simplify.c (gfc_simplify_verify):  Fix return when SET=''.
461
462 2006-03-05  Erik Edelmann  <eedelman@gcc.gnu.org>
463
464         PR fortran/16136
465         * symbol.c (conf_std): New macro.
466         (check_conflict): Use it to allow ALLOCATABLE dummy
467         arguments for F2003.
468         * trans-expr.c (gfc_conv_function_call): Pass the
469         address of the array descriptor when dummy argument is
470         ALLOCATABLE.
471         * interface.c (compare_allocatable): New function.
472         (compare_actual_formal): Use it.
473         * resolve.c (resolve_deallocate_expr,
474         resolve_allocate_expr): Check that INTENT(IN) variables
475         aren't (de)allocated.
476         * gfortran.texi (Fortran 2003 status): List ALLOCATABLE
477         dummy arguments as supported.
478
479 2006-03-03  Roger Sayle  <roger@eyesopen.com>
480
481         * dependency.c (gfc_check_element_vs_element): Revert last change.
482
483 2006-03-03  Roger Sayle  <roger@eyesopen.com>
484
485         * dependency.c (gfc_check_element_vs_element): Consider two
486         unordered scalar subscripts as (potentially) equal.
487
488 2006-03-03  Roger Sayle  <roger@eyesopen.com>
489
490         * dependency.c (gfc_check_dependency): Call gfc_dep_resolver to
491         check whether two array references have a dependency.
492         (gfc_check_element_vs_element): Assume lref and rref must be
493         REF_ARRAYs.  If gfc_dep_compare_expr returns -2, assume these
494         references could potentially overlap.
495         (gfc_dep_resolver): Whitespace and comment tweaks.  Assume a
496         dependency if the references have different depths.  Rewrite
497         final term to clarrify we only have a dependency for overlaps.
498
499 2006-03-03  Thomas Koenig  <Thomas.Koenig@online.de>
500
501         PR fortran/25031
502         * trans-array.h:  Adjust gfc_array_allocate prototype.
503         * trans-array.c (gfc_array_allocate):  Change type of
504         gfc_array_allocatate to bool.  Function returns true if
505         it operates on an array.  Change second argument to gfc_expr.
506         Find last reference in chain.
507         If the function operates on an allocatable array, emit call to
508         allocate_array() or allocate64_array().
509         * trans-stmt.c (gfc_trans_allocate):  Code to follow to last
510         reference has been moved to gfc_array_allocate.
511         * trans.h:  Add declaration for gfor_fndecl_allocate_array and
512         gfor_fndecl_allocate64_array.
513         (gfc_build_builtin_function_decls):  Add gfor_fndecl_allocate_array
514         and gfor_fndecl_allocate64_array.
515
516 2006-03-01  Roger Sayle  <roger@eyesopen.com>
517
518         * trans-stmt.c (generate_loop_for_temp_to_lhs): Add an additional
519         INVERT argument to invert the sense of the WHEREMASK argument.
520         Remove unneeded code to AND together a list of masks.
521         (generate_loop_for_rhs_to_temp): Likewise.
522         (gfc_trans_assign_need_temp): Likewise.
523         (gfc_trans_forall_1): Likewise.
524         (gfc_evaluate_where_mask): Likewise, add a new INVERT argument
525         to specify the sense of the MASK argument.
526         (gfc_trans_where_assign): Likewise.
527         (gfc_trans_where_2): Likewise.  Restructure code that decides
528         whether we need to allocate zero, one or two temporary masks.
529         If this is a top-level WHERE (i.e. the incoming MASK is NULL),
530         we only need to allocate at most one temporary mask, and can
531         invert it's sense to provide the complementary pending execution
532         mask.  Only calculate the size of the required temporary arrays
533         if we need any.
534         (gfc_trans_where): Update call to gfc_trans_where_2.
535
536 2006-03-01  Paul Thomas  <pault@gcc.gnu.org>
537
538         * iresolve.c (gfc_resolve_dot_product):  Remove any difference in
539         treatment of logical types.
540         * trans-intrinsic.c (gfc_conv_intrinsic_dot_product):  New function. 
541
542         PR fortran/26393
543         * trans-decl.c (gfc_get_symbol_decl): Extend condition that symbols
544         must be referenced to include unreferenced symbols in an interface
545         body. 
546
547         PR fortran/20938
548         * trans-array.c (gfc_conv_resolve_dependencies): Add call to
549         gfc_are_equivalenced_arrays.
550         * symbol.c (gfc_free_equiv_infos, gfc_free_equiv_lists): New
551         functions. (gfc_free_namespace): Call them.
552         * trans-common.c (copy_equiv_list_to_ns): New function.
553         (add_equivalences): Call it.
554         * gfortran.h: Add equiv_lists to gfc_namespace and define
555         gfc_equiv_list and gfc_equiv_info.
556         * dependency.c (gfc_are_equivalenced_arrays): New function.
557         (gfc_check_dependency): Call it.
558         * dependency.h: Prototype for gfc_are_equivalenced_arrays.
559
560 2006-03-01  Roger Sayle  <roger@eyesopen.com>
561
562         * dependency.c (gfc_is_same_range): Compare the stride, lower and
563         upper bounds when testing array reference ranges for equality.
564         (gfc_check_dependency): Fix indentation whitespace.
565         (gfc_check_element_vs_element): Likewise.
566         (gfc_dep_resolver): Likewise.
567
568 2006-02-28  Thomas Koenig  <Thomas.Koenig@online.de>
569
570         * trans-intrinsic.c (gfc_conv_intrinsic_minmaxloc):
571         If the mask expression exists and has rank 0, enclose the
572         generated loop in an "if (mask)".  Put the default
573         initialization into the else branch.
574
575 2006-02-25  Thomas Koenig  <Thomas.Koenig@online.de>
576
577         PR fortran/23092
578         * trans-intrinsic.c (gfc_conv_intrinsic_arith):  If the
579         mask expression exists and has rank 0, enclose the generated
580         loop in an "if (mask)".
581         * (gfc_conv_intrinsic_minmaxloc):  Likewise.
582
583 2006-02-24  Paul Thomas  <pault@gcc.gnu.org>
584
585         PR fortran/26409
586         * resolve.c (resolve_contained_functions, resolve_types,
587         gfc_resolve): Revert patch of 2006-02-19.
588
589 2006-02-24  Paul Thomas  <pault@gcc.gnu.org>
590
591         PR fortran/24519
592         * dependency.c (gfc_is_same_range): Correct typo.
593         (gfc_check_section_vs_section): Call gfc_is_same_range.
594
595         PR fortran/25395
596         * trans-common.c (add_equivalences): Add a new flag that is set when
597         an equivalence is seen that prevents more from being reset until the
598         start of a new traversal of the list, thus ensuring completion of
599         all the equivalences.
600
601 2006-02-23  Erik Edelmann  <eedelman@gcc.gnu.org>
602
603         * module.c (read_module): Remove redundant code lines.
604
605 2006-02-20 Rafael \81Ávila de Esp\81índola <rafael.espindola@gmail.com>
606         * Make-lang.in (FORTRAN): Remove
607         (.PHONY): Remove F95 and f95. Add fortran
608
609 2006-02-20  Roger Sayle  <roger@eyesopen.com>
610
611         * trans-stmt.c (gfc_trans_where_2): Avoid updating unused current
612         execution mask for empty WHERE/ELSEWHERE clauses.  Don't allocate
613         temporary mask arrays if they won't be used.
614
615 2006-02-20  Roger Sayle  <roger@eyesopen.com>
616
617         * trans-stmt.c (gfc_trans_where_assign): Remove code to handle
618         traversing a linked list of MASKs.  The MASK is now always a
619         single element requiring no ANDing during the assignment.
620
621 2006-02-19  Thomas Koenig  <Thomas.Koenig@online.de>
622
623         * gfortran.texi:  Document environment variables which
624         influence runtime behavior.
625
626 2006-02-19  H.J. Lu  <hongjiu.lu@intel.com>
627
628         * resolve.c (resolve_contained_functions): Call resolve_entries
629         first.
630         (resolve_types): Remove calls to resolve_entries and
631         resolve_contained_functions.
632         (gfc_resolve): Call resolve_contained_functions.
633
634 2006-02-19  Erik Edelmann  <eedelman@gcc.gnu.org>
635
636         PR fortran/26201
637         * intrinsic.c (gfc_convert_type_warn): Call
638         gfc_intrinsic_symbol() on the newly created symbol.
639
640 2006-02-19  Paul Thomas  <pault@gcc.gnu.org>
641
642         PR fortran/25054
643         * resolve.c (is_non_constant_shape_array): New function.
644         (resolve_fl_variable): Remove code for the new function and call it.
645         (resolve_fl_namelist): New function.  Add test for namelist array
646         with non-constant shape, using is_non_constant_shape_array.
647         (resolve_symbol): Remove code for resolve_fl_namelist and call it.
648
649         PR fortran/25089
650         * match.c (match_namelist): Increment the refs field of an accepted
651         namelist object symbol.
652         * resolve.c (resolve_fl_namelist): Test namelist objects for a conflict
653         with contained or module procedures.
654
655 2006-02-18  Roger Sayle  <roger@eyesopen.com>
656
657         * trans-stmt.c (struct temporary_list): Delete.
658         (gfc_trans_where_2): Major reorganization.  Remove no longer needed
659         TEMP argument.  Allocate and deallocate the control mask and
660         pending control mask locally.
661         (gfc_trans_forall_1): Delete TEMP local variable, and update
662         call to gfc_trans_where_2.  No need to deallocate arrays after.
663         (gfc_evaluate_where_mask): Major reorganization.  Change return
664         type to void.  Pass in parent execution mask, MASK, and two
665         already allocated mask arrays CMASK and PMASK.  On return
666         CMASK := MASK & COND, PMASK := MASK & !COND.  MASK, CMASK and
667         CMASK may all be NULL, or refer to the same temporary arrays.
668         (gfc_trans_where): Update call to gfc_trans_where_2.  We no
669         longer need a TEMP variable or to deallocate temporary arrays
670         allocated by gfc_trans_where_2.
671
672 2006-02-18   Danny Smith  <dannysmith@users.sourceforeg.net>
673
674         * gfortran.h (gfc_add_attribute): Change uint to unsigned int.
675         * symbol.c (gfc_add_attribute): Likewise for definition.
676         * resolve.c (resolve_global_procedure): Likewise for variable 'type'.
677
678 2006-02-17  Richard Sandiford  <richard@codesourcery.com>
679
680         * trans-common.c: Include rtl.h earlier.
681         * trans-decl.c: Likewise.
682
683 2006-02-16  Jakub Jelinek  <jakub@redhat.com>
684
685         PR fortran/26224
686         * parse.c (parse_omp_do, parse_omp_structured_block): Call
687         gfc_commit_symbols and gfc_warning_check.
688
689         * openmp.c (resolve_omp_clauses): Add a dummy case label to workaround
690         PR middle-end/26316.
691
692 2006-02-16  Paul Thomas  <pault@gcc.gnu.org>
693
694         PR fortran/24557
695         * trans-expr.c (gfc_add_interface_mapping): Use the actual argument
696         for character(*) arrays, rather than casting to the type and kind
697         parameters of the formal argument.
698
699 2006-02-15  Toon Moene  <toon@moene.indiv.nluug.nl>
700
701         PR fortran/26054
702         * options.c: Do not warn for Fortran 2003 features by default.
703
704 2006-02-15  Tobias Schl\81üter  <tobias.schlueter@physik.uni-muenchen.de>
705
706         * check.c: Update copyright years.
707         
708         * check.c (gfc_check_minloc_maxloc, check_reduction): Don't call
709         dim_range_check on not-present optional dim argument.
710
711 2006-02-15  Jakub Jelinek  <jakub@redhat.com>
712
713         PR libgomp/25938
714         PR libgomp/25984
715         * Make-lang.in (install-finclude-dir): New goal.
716         (fortran.install-common): Depend on install-finclude-dir.
717         * lang-specs.h: If not -nostdinc, add -I finclude.
718
719 2006-02-14  Thomas Koenig  <Thomas.Koenig@online.de>
720
721         PR fortran/25045
722         * check.c (dim_check):  Perform all checks if dim is optional.
723         (gfc_check_minloc_maxloc):  Use dim_check and dim_rank_check
724         to check dim argument.
725         (check_reduction):  Likewise.
726
727 2006-02-14  Tobias Schl\81üter  <tobias.schlueter@physik.uni-muenchen.de>
728
729         PR fortran/26277
730         * io.c (match_ltag): Mark label as referenced.
731
732 2006-02-14  Jakub Jelinek  <jakub@redhat.com>
733             Richard Henderson  <rth@redhat.com>
734             Diego Novillo  <dnovillo@redhat.com>
735
736         * invoke.texi: Document -fopenmp.
737         * gfortran.texi (Extensions): Document OpenMP.
738
739         Backport from gomp-20050608-branch
740         * trans-openmp.c: Call build_omp_clause instead of
741         make_node when creating OMP_CLAUSE_* trees.
742         (gfc_trans_omp_reduction_list): Remove argument 'code'.
743         Adjust all callers.
744
745         * trans.h (build4_v): Define.
746         * trans-openmp.c: Call build4_v to create OMP_PARALLEL nodes.
747         Call build3_v to create OMP_SECTIONS nodes.
748
749         PR fortran/25162
750         * openmp.c (gfc_match_omp_variable_list): Call gfc_set_sym_referenced
751         on all symbols added to the variable list.
752
753         * openmp.c (gfc_match_omp_clauses): Fix check for non-INTRINSIC
754         procedure symbol in REDUCTION.
755
756         * trans-openmp.c (gfc_trans_omp_array_reduction): Use gfc_add
757         for MINUS_EXPR OMP_CLAUSE_REDUCTION_CODE.
758
759         * trans-openmp.c (gfc_trans_omp_do): Add PBLOCK argument.  If PBLOCK
760         is non-NULL, evaluate INIT/COND/INCR and chunk size expressions in
761         that statement block.
762         (gfc_trans_omp_parallel_do): Pass non-NULL PBLOCK to gfc_trans_omp_do
763         for non-ordered non-static combined loops.
764         (gfc_trans_omp_directive): Pass NULL PBLOCK to gfc_trans_omp_do.
765
766         * openmp.c: Include target.h and toplev.h.
767         (gfc_match_omp_threadprivate): Emit diagnostic if target does
768         not support TLS.
769         * Make-lang.in (fortran/openmp.o): Add dependencies on
770         target.h and toplev.h.
771
772         * trans-decl.c (gfc_get_fake_result_decl): Set GFC_DECL_RESULT.
773         * trans-openmp.c (gfc_omp_privatize_by_reference): Make
774         DECL_ARTIFICIAL vars predetermined shared except GFC_DECL_RESULT.
775         (gfc_omp_disregard_value_expr): Handle GFC_DECL_RESULT.
776         (gfc_trans_omp_variable): New function.
777         (gfc_trans_omp_variable_list, gfc_trans_omp_reduction_list): Use it.
778         * trans.h (GFC_DECL_RESULT): Define.
779
780         * trans-openmp.c (gfc_omp_firstprivatize_type_sizes): New function.
781         * f95-lang.c (LANG_HOOKS_OMP_FIRSTPRIVATIZE_TYPE_SIZES): Define.
782         * trans.h (gfc_omp_firstprivatize_type_sizes): New prototype.
783
784         * trans-openmp.c (gfc_omp_privatize_by_reference): Return
785         true if a pointer has GFC_DECL_SAVED_DESCRIPTOR set.
786         (gfc_trans_omp_array_reduction, gfc_trans_omp_reduction_list): New
787         functions.
788         (gfc_trans_omp_clauses): Add WHERE argument.  Call
789         gfc_trans_omp_reduction_list rather than gfc_trans_omp_variable_list
790         for reductions.
791         (gfc_trans_omp_do, gfc_trans_omp_parallel, gfc_trans_omp_parallel_do,
792         gfc_trans_omp_parallel_sections, gfc_trans_omp_parallel_workshare,
793         gfc_trans_omp_sections, gfc_trans_omp_single): Adjust
794         gfc_trans_omp_clauses callers.
795
796         * openmp.c (omp_current_do_code): New var.
797         (gfc_resolve_omp_do_blocks): New function.
798         (gfc_resolve_omp_parallel_blocks): Call it.
799         (gfc_resolve_do_iterator): Add CODE argument.  Don't propagate
800         predetermination if argument is !$omp do or !$omp parallel do
801         iteration variable.
802         * resolve.c (resolve_code): Call gfc_resolve_omp_do_blocks
803         for EXEC_OMP_DO.  Adjust gfc_resolve_do_iterator caller.
804         * fortran.h (gfc_resolve_omp_do_blocks): New prototype.
805         (gfc_resolve_do_iterator): Add CODE argument.
806
807         * trans.h (gfc_omp_predetermined_sharing,
808         gfc_omp_disregard_value_expr, gfc_omp_private_debug_clause): New
809         prototypes.
810         (GFC_DECL_COMMON_OR_EQUIV, GFC_DECL_CRAY_POINTEE): Define.
811         * trans-openmp.c (gfc_omp_predetermined_sharing,
812         gfc_omp_disregard_value_expr, gfc_omp_private_debug_clause): New
813         functions.
814         * trans-common.c (build_equiv_decl, build_common_decl,
815         create_common): Set GFC_DECL_COMMON_OR_EQUIV flag on the decls.
816         * trans-decl.c (gfc_finish_cray_pointee): Set GFC_DECL_CRAY_POINTEE
817         on the decl.
818         * f95-lang.c (LANG_HOOKS_OMP_PREDETERMINED_SHARING,
819         LANG_HOOKS_OMP_DISREGARD_VALUE_EXPR,
820         LANG_HOOKS_OMP_PRIVATE_DEBUG_CLAUSE): Define.
821
822         * openmp.c (resolve_omp_clauses): Remove extraneous comma.
823
824         * symbol.c (check_conflict): Add conflict between cray_pointee and
825         threadprivate.
826         * openmp.c (gfc_match_omp_threadprivate): Fail if
827         gfc_add_threadprivate returned FAILURE.
828         (resolve_omp_clauses): Diagnose Cray pointees in SHARED,
829         {,FIRST,LAST}PRIVATE and REDUCTION clauses and Cray pointers in
830         {FIRST,LAST}PRIVATE and REDUCTION clauses.
831
832         * resolve.c (omp_workshare_flag): New variable.
833         (resolve_function): Diagnose use of non-ELEMENTAL user defined
834         function in WORKSHARE construct.
835         (resolve_code): Cleanup forall_save use.  Make sure omp_workshare_flag
836         is set to correct value in different contexts.
837
838         * openmp.c (resolve_omp_clauses): Replace %s with '%s' when printing
839         variable name.
840         (resolve_omp_atomic): Likewise.
841
842         PR fortran/24493
843         * scanner.c (skip_free_comments): Set at_bol at the beginning of the
844         loop, not before it.
845         (skip_fixed_comments): Handle ! comments in the middle of line here
846         as well.
847         (gfc_skip_comments): Use skip_fixed_comments for FIXED_FORM even if
848         not at BOL.
849         (gfc_next_char_literal): Fix expected canonicalized *$omp string.
850
851         * trans-openmp.c (gfc_trans_omp_do): Use make_node and explicit
852         initialization to build OMP_FOR instead of build.
853
854         * trans-decl.c (gfc_gimplify_function): Invoke
855         diagnose_omp_structured_block_errors.
856
857         * trans-openmp.c (gfc_trans_omp_master): Use OMP_MASTER.
858         (gfc_trans_omp_ordered): Use OMP_ORDERED.
859
860         * gfortran.h (gfc_resolve_do_iterator, gfc_resolve_blocks,
861         gfc_resolve_omp_parallel_blocks): New prototypes.
862         * resolve.c (resolve_blocks): Renamed to...
863         (gfc_resolve_blocks): ... this.  Remove static.
864         (gfc_resolve_forall): Adjust caller.
865         (resolve_code): Only call gfc_resolve_blocks if code->block != 0
866         and not for EXEC_OMP_PARALLEL* directives.  Call
867         gfc_resolve_omp_parallel_blocks for EXEC_OMP_PARALLEL* directives.
868         Call gfc_resolve_do_iterator if resolved successfully EXEC_DO
869         iterator.
870         * openmp.c: Include pointer-set.h.
871         (omp_current_ctx): New variable.
872         (gfc_resolve_omp_parallel_blocks, gfc_resolve_do_iterator): New
873         functions.
874         * Make-lang.in (fortran/openmp.o): Depend on pointer-set.h.
875
876         * openmp.c (gfc_match_omp_clauses): For max/min/iand/ior/ieor,
877         look up symbol if it exists, use its name instead and, if it is not
878         INTRINSIC, issue diagnostics.
879
880         * parse.c (parse_omp_do): Handle implied end do properly.
881         (parse_executable): If parse_omp_do returned ST_IMPLIED_ENDDO,
882         return it instead of continuing.
883
884         * trans-openmp.c (gfc_trans_omp_critical): Update for changed
885         operand numbering.
886         (gfc_trans_omp_do, gfc_trans_omp_parallel, gfc_trans_omp_parallel_do,
887         gfc_trans_omp_parallel_sections, gfc_trans_omp_parallel_workshare,
888         gfc_trans_omp_sections, gfc_trans_omp_single): Likewise.
889
890         * trans.h (gfc_omp_privatize_by_reference): New prototype.
891         * f95-lang.c (LANG_HOOKS_OMP_PRIVATIZE_BY_REFERENCE): Redefine
892         to gfc_omp_privatize_by_reference.
893         * trans-openmp.c (gfc_omp_privatize_by_reference): New function.
894
895         * trans-stmt.h (gfc_trans_omp_directive): Add comment.
896
897         * openmp.c (gfc_match_omp_variable_list): Add ALLOW_COMMON argument.
898         Disallow COMMON matching if it is set.
899         (gfc_match_omp_clauses, gfc_match_omp_flush): Adjust all callers.
900         (resolve_omp_clauses): Show locus in error messages.  Check that
901         variable types in reduction clauses are appropriate for reduction
902         operators.
903
904         * resolve.c (resolve_symbol): Don't error if a threadprivate module
905         variable isn't SAVEd.
906
907         * trans-openmp.c (gfc_trans_omp_do): Put count into BLOCK, not BODY.
908         Fix typo in condition.  Fix DOVAR initialization.
909
910         * openmp.c (gfc_match_omp_clauses): Match min/iand/ior/ieor
911         rather than .min. etc.
912
913         * trans-openmpc.c (omp_not_yet): Remove.
914         (gfc_trans_omp_parallel_do): Keep listprivate clause on parallel.
915         Force creation of BIND_EXPR around the workshare construct.
916         (gfc_trans_omp_parallel_sections): Likewise.
917         (gfc_trans_omp_parallel_workshare): Likewise.
918
919         * types.def (BT_I16, BT_FN_I16_VPTR_I16,
920         BT_FN_BOOL_VPTR_I16_I16, BT_FN_I16_VPTR_I16_I16): Add.
921
922         * trans-openmp.c (gfc_trans_omp_clauses): Create OMP_CLAUSE_DEFAULT.
923         (gfc_trans_omp_code): New function.
924         (gfc_trans_omp_do): Use it, remove omp_not_yet uses.
925         (gfc_trans_omp_parallel, gfc_trans_omp_single): Likewise.
926         (gfc_trans_omp_sections): Likewise.  Only treat empty last section
927         specially if lastprivate clause is present.
928         * f95-lang.c (gfc_init_builtin_functions): Create BUILT_IN_TRAP
929         builtin.
930
931         * trans-openmp.c (gfc_trans_omp_variable_list): Update for
932         OMP_CLAUSE_DECL name change.
933         (gfc_trans_omp_do): Likewise.
934
935         * trans-openmp.c (gfc_trans_omp_clauses): Create OMP_CLAUSE_REDUCTION
936         clauses.
937         (gfc_trans_omp_atomic): Build OMP_ATOMIC instead of expanding
938         sync builtins directly.
939         (gfc_trans_omp_single): Build OMP_SINGLE statement.
940
941         * trans-openmp.c (gfc_trans_add_clause): New.
942         (gfc_trans_omp_variable_list): Take a tree code and build the clause
943         node here.  Link it to the head of a list.
944         (gfc_trans_omp_clauses): Update to match.
945         (gfc_trans_omp_do): Use gfc_trans_add_clause.
946
947         * trans-openmp.c (gfc_trans_omp_clauses): Change second argument to
948         gfc_omp_clauses *.  Use gfc_evaluate_now instead of creating
949         temporaries by hand.
950         (gfc_trans_omp_atomic, gfc_trans_omp_critical): Use buildN_v macros.
951         (gfc_trans_omp_do): New function.
952         (gfc_trans_omp_master): Dont' check for gfc_trans_code returning NULL.
953         (gfc_trans_omp_parallel): Adjust gfc_trans_omp_clauses caller.
954         Use buildN_v macros.
955         (gfc_trans_omp_parallel_do, gfc_trans_omp_parallel_sections,
956         gfc_trans_omp_parallel_workshare, gfc_trans_omp_sections,
957         gfc_trans_omp_single, gfc_trans_omp_workshare): New functions.
958         (gfc_trans_omp_directive): Use them.
959         * parse.c (parse_omp_do): Allow new_st.op == EXEC_NOP.
960         * openmp.c (resolve_omp_clauses): Check for list items present
961         in multiple clauses.
962         (resolve_omp_do): Check that iteration variable is not THREADPRIVATE
963         and is not present in any clause variable lists other than PRIVATE
964         or LASTPRIVATE.
965
966         * gfortran.h (symbol_attribute): Add threadprivate bit.
967         (gfc_common_head): Add threadprivate member, change use_assoc
968         and saved into char to save space.
969         (gfc_add_threadprivate): New prototype.
970         * symbol.c (check_conflict): Handle threadprivate.
971         (gfc_add_threadprivate): New function.
972         (gfc_copy_attr): Copy threadprivate.
973         * trans-openmp.c (gfc_trans_omp_clauses): Avoid creating a temporary
974         if IF or NUM_THREADS is constant.  Create OMP_CLAUSE_SCHEDULE and
975         OMP_CLAUSE_ORDERED.
976         * resolve.c (resolve_symbol): Complain if a THREADPRIVATE symbol
977         outside a module and not in COMMON has is not SAVEd.
978         (resolve_equivalence): Ensure THREADPRIVATE objects don't get
979         EQUIVALENCEd.
980         * trans-common.c: Include target.h and rtl.h.
981         (build_common_decl): Set DECL_TLS_MODEL if THREADPRIVATE.
982         * trans-decl.c: Include rtl.h.
983         (gfc_finish_var_decl): Set DECL_TLS_MODEL if THREADPRIVATE.
984         * dump-parse-tree.c (gfc_show_attr): Handle THREADPRIVATE.
985         * Make-lang.in (fortran/trans-decl.o): Depend on $(RTL_H).
986         (fortran/trans-common.o): Depend on $(RTL_H) and $(TARGET_H).
987         * openmp.c (gfc_match_omp_variable_list): Ensure COMMON block
988         is from current namespace.
989         (gfc_match_omp_threadprivate): Rewrite.
990         (resolve_omp_clauses): Check some clause restrictions.
991         * module.c (ab_attribute): Add AB_THREADPRIVATE.
992         (attr_bits): Add THREADPRIVATE.
993         (mio_symbol_attribute, mio_symbol_attribute): Handle threadprivate.
994         (load_commons, write_common, write_blank_common): Adjust for type
995         change of saved, store/load threadprivate bit from the integer
996         as well.
997
998         * types.def (BT_FN_UINT_UINT): New.
999         (BT_FN_VOID_UINT_UINT): Remove.
1000
1001         * trans-openmp.c (gfc_trans_omp_clauses, gfc_trans_omp_barrier,
1002         gfc_trans_omp_critical, gfc_trans_omp_flush, gfc_trans_omp_master,
1003         gfc_trans_omp_ordered, gfc_trans_omp_parallel): New functions.
1004         (gfc_trans_omp_directive): Use them.
1005
1006         * openmp.c (expr_references_sym): Add SE argument, don't look
1007         into SE tree.
1008         (is_conversion): New function.
1009         (resolve_omp_atomic): Adjust expr_references_sym callers.  Handle
1010         promoted expressions.
1011         * trans-openmp.c (gfc_trans_omp_atomic): New function.
1012         (gfc_trans_omp_directive): Call it.
1013
1014         * f95-lang.c (builtin_type_for_size): New function.
1015         (gfc_init_builtin_functions): Initialize synchronization and
1016         OpenMP builtins.
1017         * types.def: New file.
1018         * Make-lang.in (f95-lang.o): Depend on $(BUILTINS_DEF) and
1019         fortran/types.def.
1020
1021         * trans-openmp.c: Rename GOMP_* tree codes into OMP_*.
1022
1023         * dump-parse-tree.c (show_symtree): Don't crash if ns->proc_name
1024         is NULL.
1025
1026         * dump-parse-tree.c (gfc_show_namelist, gfc_show_omp_node): New
1027         functions.
1028         (gfc_show_code_node): Call gfc_show_omp_node for EXEC_OMP_* nodes.
1029
1030         * parse.c (parse_omp_do): Call pop_state before next_statement.
1031         * openmp.c (expr_references_sym, resolve_omp_atomic, resolve_omp_do):
1032         New functions.
1033         (gfc_resolve_omp_directive): Call them.
1034         * match.c (match_exit_cycle): Issue error if EXIT or CYCLE statement
1035         leaves an OpenMP structured block or if EXIT terminates !$omp do
1036         loop.
1037
1038         * Make-lang.in (F95_PARSER_OBJS): Add fortran/openmp.o.
1039         (F95_OBJS): Add fortran/trans-openmp.o.
1040         (fortran/trans-openmp.o): Depend on $(GFORTRAN_TRANS_DEPS).
1041         * lang.opt: Add -fopenmp option.
1042         * options.c (gfc_init_options): Initialize it.
1043         (gfc_handle_option): Handle it.
1044         * gfortran.h (ST_OMP_ATOMIC, ST_OMP_BARRIER, ST_OMP_CRITICAL,
1045         ST_OMP_END_CRITICAL, ST_OMP_END_DO, ST_OMP_END_MASTER,
1046         ST_OMP_END_ORDERED, ST_OMP_END_PARALLEL, ST_OMP_END_PARALLEL_DO,
1047         ST_OMP_END_PARALLEL_SECTIONS, ST_OMP_END_PARALLEL_WORKSHARE,
1048         ST_OMP_END_SECTIONS, ST_OMP_END_SINGLE, ST_OMP_END_WORKSHARE,
1049         ST_OMP_DO, ST_OMP_FLUSH, ST_OMP_MASTER, ST_OMP_ORDERED,
1050         ST_OMP_PARALLEL, ST_OMP_PARALLEL_DO, ST_OMP_PARALLEL_SECTIONS,
1051         ST_OMP_PARALLEL_WORKSHARE, ST_OMP_SECTIONS, ST_OMP_SECTION,
1052         ST_OMP_SINGLE, ST_OMP_THREADPRIVATE, ST_OMP_WORKSHARE): New
1053         statement codes.
1054         (OMP_LIST_PRIVATE, OMP_LIST_FIRSTPRIVATE, OMP_LIST_LASTPRIVATE,
1055         OMP_LIST_COPYPRIVATE, OMP_LIST_SHARED, OMP_LIST_COPYIN,
1056         OMP_LIST_PLUS, OMP_LIST_REDUCTION_FIRST, OMP_LIST_MULT,
1057         OMP_LIST_SUB, OMP_LIST_AND, OMP_LIST_OR, OMP_LIST_EQV,
1058         OMP_LIST_NEQV, OMP_LIST_MAX, OMP_LIST_MIN, OMP_LIST_IAND,
1059         OMP_LIST_IOR, OMP_LIST_IEOR, OMP_LIST_REDUCTION_LAST, OMP_LIST_NUM):
1060         New OpenMP variable list types.
1061         (gfc_omp_clauses): New typedef.
1062         (gfc_get_omp_clauses): Define.
1063         (EXEC_OMP_CRITICAL, EXEC_OMP_DO, EXEC_OMP_FLUSH, EXEC_OMP_MASTER,
1064         EXEC_OMP_ORDERED, EXEC_OMP_PARALLEL, EXEC_OMP_PARALLEL_DO,
1065         EXEC_OMP_PARALLEL_SECTIONS, EXEC_OMP_PARALLEL_WORKSHARE,
1066         EXEC_OMP_SECTIONS, EXEC_OMP_SINGLE, EXEC_OMP_WORKSHARE,
1067         EXEC_OMP_ATOMIC, EXEC_OMP_BARRIER, EXEC_OMP_END_NOWAIT,
1068         EXEC_OMP_END_SINGLE): New OpenMP gfc_exec_op codes.
1069         (struct gfc_code): Add omp_clauses, omp_name, omp_namelist
1070         and omp_bool fields to ext union.
1071         (flag_openmp): Declare.
1072         (gfc_free_omp_clauses, gfc_resolve_omp_directive): New prototypes.
1073         * scanner.c (openmp_flag, openmp_locus): New variables.
1074         (skip_free_comments, skip_fixed_comments, gfc_next_char_literal):
1075         Handle OpenMP directive lines and conditional compilation magic
1076         comments.
1077         * parse.h (COMP_OMP_STRUCTURED_BLOCK): New compile state.
1078         * parse.c (decode_omp_directive, parse_omp_do, parse_omp_atomic,
1079         parse_omp_structured_block): New functions.
1080         (next_free, next_fixed): Parse OpenMP directives.
1081         (case_executable, case_exec_markers, case_decl): Add ST_OMP_*
1082         codes.
1083         (gfc_ascii_statement): Handle ST_OMP_* codes.
1084         (parse_executable): Rearrange the loop slightly, so that
1085         parse_omp_do can return next_statement.
1086         * match.h (gfc_match_omp_eos, gfc_match_omp_atomic,
1087         gfc_match_omp_barrier, gfc_match_omp_critical, gfc_match_omp_do,
1088         gfc_match_omp_flush, gfc_match_omp_master, gfc_match_omp_ordered,
1089         gfc_match_omp_parallel, gfc_match_omp_parallel_do,
1090         gfc_match_omp_parallel_sections, gfc_match_omp_parallel_workshare,
1091         gfc_match_omp_sections, gfc_match_omp_single,
1092         gfc_match_omp_threadprivate, gfc_match_omp_workshare,
1093         gfc_match_omp_end_nowait, gfc_match_omp_end_single): New prototypes.
1094         * resolve.c (resolve_blocks): Ignore EXEC_OMP_* block directives.
1095         (resolve_code): Call gfc_resolve_omp_directive on EXEC_OMP_*
1096         directives.
1097         * trans.c (gfc_trans_code): Call gfc_trans_omp_directive for
1098         EXEC_OMP_* directives.
1099         * st.c (gfc_free_statement): Handle EXEC_OMP_* statement freeing.
1100         * trans-stmt.h (gfc_trans_omp_directive): New prototype.
1101         * openmp.c: New file.
1102         * trans-openmp.c: New file.
1103
1104 2006-02-13  Andrew Pinski  <pinskia@physics.uc.edu>
1105             Jakub Jelinek  <jakub@redhat.com>
1106
1107         PR fortran/26246
1108         * trans-decl.c (gfc_get_symbol_decl, gfc_get_fake_result_decl): Use
1109         gfc_add_decl_to_function rather than gfc_finish_var_decl on length.
1110
1111 2006-02-13  Paul Thomas  <pault@gcc.gnu.org>
1112
1113         PR fortran/26074
1114         PR fortran/25103
1115         * resolve.c (resolve_symbol): Extend the requirement that module
1116         arrays have constant bounds to those in the main program.  At the
1117         same time simplify the array bounds, to avoiding trapping parameter
1118         array references, and exclude automatic character length from main
1119         and modules. Rearrange resolve_symbol and resolve_derived to put as
1120         each flavor together, as much as is possible and move all specific
1121         code for flavors FL_VARIABLE, FL_PROCEDURE and FL_PARAMETER into new
1122         functions.
1123         (resolve_fl_var_and_proc, resolve_fl_variable, resolve_fl_procedure):
1124         New functions to do work of resolve_symbol.
1125         (resolve_index_expr): New function that is called from resolved_symbol
1126         and is extracted from resolve_charlen.
1127         (resolve_charlen): Call this new function.
1128         (resolve_fl_derived): Renamed resolve_derived to be consistent with
1129         the naming of the new functions for the other flavours.  Change the
1130         charlen checking so that the style is consistent with other similar
1131         checks. Add the generation of the gfc_dt_list, removed from resolve_
1132         symbol.
1133
1134         PR fortran/20861
1135         * resolve.c (resolve_actual_arglist): Prevent internal procedures
1136         from being dummy arguments.
1137
1138         PR fortran/20871
1139         * resolve.c (resolve_actual_arglist): Prevent pure but non-intrinsic
1140         procedures from being dummy arguments.
1141
1142         PR fortran/25083
1143         * resolve.c (check_data_variable): Add test that data variable is in
1144         COMMON.
1145
1146         PR fortran/25088
1147         * resolve.c (resolve_call): Add test that the subroutine does not
1148         have a type.
1149
1150 2006-02-12  Erik Edelmann  <eedelman@gcc.gnu.org>
1151
1152         PR fortran/25806
1153         * trans-array.c (gfc_trans_allocate_array_storage): New argument
1154         dealloc; free the temporary only if dealloc is true.
1155         (gfc_trans_allocate_temp_array): New argument bool dealloc, to be
1156         passed onwards to gfc_trans_allocate_array_storage.
1157         (gfc_trans_array_constructor, gfc_conv_loop_setup): Update call to
1158         gfc_trans_allocate_temp_array.
1159         * trans-array.h (gfc_trans_allocate_temp_array): Update function
1160         prototype.
1161         * trans-expr.c (gfc_conv_function_call): Set new argument 'dealloc'
1162         to gfc_trans_allocate_temp_array to false in case of functions
1163         returning pointers.
1164         (gfc_trans_arrayfunc_assign): Return NULL for functions returning
1165         pointers.
1166
1167 2006-02-10  Steven G. Kargl  <kargls@comcast.net>
1168
1169         PR fortran/20858
1170         *decl.c (variable_decl): Improve error message.  Remove initialization
1171         typespec.  Wrap long line.
1172         *expr.c (gfc_check_pointer_assign): Permit checking of type, kind type,
1173         and rank.
1174         *simplify.c (gfc_simplify_null): Ensure type, kind type, and rank
1175         are set.
1176
1177
1178 2006-02-10  Tobias Schl\81üter  <tobias.schlueter@physik.uni-muenchen.de>
1179
1180         PR fortran/14771
1181         * arith.c (eval_intrinsic): Accept INTRINSIC_PARENTHESES.
1182         * expr.c (check_intrinsic_op): Likewise.
1183         * module.c (mio_expr): Likewise.
1184
1185 2006-02-09  Tobias Schl\81üter  <tobias.schlueter@physik.uni-muenchen.de>
1186
1187         * dump-parse-tree.c: Update copyright years.
1188         * matchexp.c: Likewise.
1189         * module.c: Likewise.
1190
1191         PR fortran/14771
1192         * gfortran.h (gfc_intrinsic_op): Add INTRINSIC_PARENTHESES.
1193         * dump-parse-tree (gfc_show_expr): Handle INTRINSIC_PARENTHESES.
1194         * expr.c (simplify_intrinsic_op): Treat INTRINSIC_PARENTHESES as
1195         if it were INTRINSIC_UPLUS.
1196         * resolve.c (resolve_operator): Handle INTRINSIC_PARENTHESES.
1197         * match.c (intrinsic_operators): Add INTRINSIC_PARENTHESES.
1198         * matchexp.c (match_primary): Record parentheses surrounding
1199         numeric expressions.
1200         * module.c (intrinsics): Add INTRINSIC_PARENTHESES for module
1201         dumping.
1202         * trans-expr.c (gfc_conv_expr_op): Handle INTRINSIC_PARENTHESES.
1203
1204 2006-02-09  Paul Thomas  <pault@gcc.gnu.org>
1205
1206         PR fortran/26038
1207         * trans-stmt.c (gfc_trans_allocate): Provide assumed character length
1208         scalar with missing backend_decl for the hidden dummy charlen.
1209
1210         PR fortran/25059
1211         * interface.c (gfc_extend_assign): Remove detection of non-PURE
1212         subroutine in assignment interface, with gfc_error, and put it in
1213         * resolve.c (resolve_code).
1214
1215         PR fortran/25070
1216         * interface.c (gfc_procedure_use): Flag rank checking for non-
1217         elemental, contained or interface procedures in call to
1218         (compare_actual_formal), where ranks are checked for assumed
1219         shape arrays..
1220
1221 2006-02-08  Francois-Xavier Coudert  <coudert@clipper.ens.fr>
1222
1223         PR libfortran/25425
1224         * trans-decl.c (gfc_generate_function_code): Add new argument,
1225         pedantic, to set_std call.
1226
1227 2006-02-06  Thomas Koenig  <Thomas.Koenig@online.de>
1228
1229         PR libfortran/23815
1230         * gfortran.texi: Document the GFORTRAN_CONVERT_UNIT environment
1231         variable.
1232         * invoke.texi:  Mention the "Runtime" chapter.
1233         Document the -fconvert= option.
1234         * gfortran.h:  Add options_convert.
1235         * lang.opt:  Add fconvert=little-endian, fconvert=big-endian,
1236         fconvert=native and fconvert=swap.
1237         * trans-decl.c (top level):  Add gfor_fndecl_set_convert.
1238         (gfc_build_builtin_function_decls):  Set gfor_fndecl_set_convert.
1239         (gfc_generate_function_code):  If -fconvert was specified,
1240         and this is the main program, add a call to set_convert().
1241         * options.c:  Handle the -fconvert options.
1242
1243 2006-02-06  Roger Sayle  <roger@eyesopen.com>
1244
1245         * trans-stmt.c (gfc_evaluate_where_mask): Allow the NMASK argument
1246         to be NULL to indicate that the not mask isn't required.
1247         (gfc_trans_where_2): Remove PMASK argument.  Avoid calculating the
1248         pending mask for the last clause of a WHERE chain.  Update recursive
1249         call.
1250         (gfc_trans_forall_1): Update call to gfc_trans_where_2.
1251         (gfc_trans_where): Likewise.
1252
1253 2006-02-06  Jakub Jelinek  <jakub@redhat.com>
1254
1255         Backport from gomp-20050608-branch
1256         * trans-decl.c (create_function_arglist): Handle dummy functions.
1257
1258         * trans-decl.c (gfc_get_symbol_decl): Revert explicit setting of
1259         TYPE_SIZE_UNIT.
1260         (gfc_trans_vla_type_sizes): Also "gimplify"
1261         GFC_TYPE_ARRAY_DATAPTR_TYPE for GFC_DESCRIPTOR_TYPE_P types.
1262         * trans-array.c (gfc_trans_deferred_array): Call
1263         gfc_trans_vla_type_sizes.
1264
1265         * trans-decl.c (saved_function_decls, saved_parent_function_decls):
1266         Remove unnecessary initialization.
1267         (create_function_arglist): Make sure __result has complete type.
1268         (gfc_get_fake_result_decl): Change current_fake_result_decl into
1269         a tree chain.  For entry master, create a separate variable
1270         for each result name.  For BT_CHARACTER results, call
1271         gfc_finish_var_decl on length even if it has been already created,
1272         but not pushdecl'ed.
1273         (gfc_trans_vla_type_sizes): For function/entry result, adjust
1274         result value type, not the FUNCTION_TYPE.
1275         (gfc_generate_function_code): Adjust for current_fake_result_decl
1276         changes.
1277         (gfc_trans_deferred_vars): Likewise.  Call gfc_trans_vla_type_sizes
1278         even on result if it is assumed-length character.
1279
1280         * trans-decl.c (gfc_trans_dummy_character): Add SYM argument.
1281         Call gfc_trans_vla_type_sizes.
1282         (gfc_trans_auto_character_variable): Call gfc_trans_vla_type_sizes.
1283         (gfc_trans_vla_one_sizepos, gfc_trans_vla_type_sizes_1,
1284         gfc_trans_vla_type_sizes): New functions.
1285         (gfc_trans_deferred_vars): Adjust gfc_trans_dummy_character
1286         callers.  Call gfc_trans_vla_type_sizes on assumed-length
1287         character parameters.
1288         * trans-array.c (gfc_trans_array_bounds,
1289         gfc_trans_auto_array_allocation, gfc_trans_dummy_array_bias): Call
1290         gfc_trans_vla_type_sizes.
1291         * trans.h (gfc_trans_vla_type_sizes): New prototype.
1292
1293         * trans-decl.c (gfc_build_qualified_array): For non-assumed-size
1294         arrays without constant size, create also an index var for
1295         GFC_TYPE_ARRAY_SIZE (type).  If the type is incomplete, complete
1296         it as 0..size-1.
1297         (gfc_create_string_length): Don't call gfc_defer_symbol_init
1298         if just creating DECL_ARGUMENTS.
1299         (gfc_get_symbol_decl): Call gfc_finish_var_decl and
1300         gfc_defer_symbol_init even if ts.cl->backend_decl is already
1301         set to a VAR_DECL that doesn't have DECL_CONTEXT yet.
1302         (create_function_arglist): Rework, so that hidden length
1303         arguments for CHARACTER parameters are created together with
1304         the parameters.  Resolve ts.cl->backend_decl for CHARACTER
1305         parameters.  If the argument is a non-constant length array
1306         or CHARACTER, ensure PARM_DECL has different type than
1307         its DECL_ARG_TYPE.
1308         (generate_local_decl): Call gfc_get_symbol_decl even
1309         for non-referenced non-constant length CHARACTER parameters
1310         after optionally issuing warnings.
1311         * trans-array.c (gfc_trans_array_bounds): Set last stride
1312         to GFC_TYPE_ARRAY_SIZE (type) to initialize it as well.
1313         (gfc_trans_dummy_array_bias): Initialize GFC_TYPE_ARRAY_SIZE (type)
1314         variable as well.
1315
1316         * trans-expr.c (gfc_conv_expr_val): Fix comment typo.
1317
1318         * trans-stmt.c (gfc_trans_simple_do): Fix comment.
1319
1320 2006-02-04  Roger Sayle  <roger@eyesopen.com>
1321
1322         * dependency.c (gfc_check_dependency): Remove unused vars and nvars
1323         arguments.  Replace with an "identical" argument.  A full array
1324         reference to the same symbol is a dependency if identical is true.
1325         * dependency.h (gfc_check_dependency): Update prototype.
1326         * trans-array.h (gfc_check_dependency): Delete duplicate prototype.
1327         * trans-stmt.c: #include dependency.h for gfc_check_dependency.
1328         (gfc_trans_forall_1): Update calls to gfc_check_dependency.
1329         (gfc_trans_where_2): Likewise.  Remove unneeded variables.
1330         (gfc_trans_where_3): New function for simple non-dependent WHEREs.
1331         (gfc_trans_where): Call gfc_trans_where_3 to translate simple
1332         F90-style WHERE statements without internal dependencies.
1333         * Make-lang.in (trans-stmt.o): Depend upon dependency.h.
1334
1335 2006-02-05  H.J. Lu  <hongjiu.lu@intel.com>
1336
1337         PR fortran/26041
1338         PR fortran/26064
1339         * resolve.c (resolve_types): New function.
1340         (resolve_codes): Likewise.
1341         (gfc_resolve): Use them.
1342
1343 2006-02-05  Roger Sayle  <roger@eyesopen.com>
1344
1345         * trans-stmt.c (gfc_evaluate_where_mask): Use LOGICAL*1 for WHERE
1346         masks instead of LOGICAL*4.
1347
1348 2006-02-05  Jakub Jelinek  <jakub@redhat.com>
1349
1350         * resolve.c (resolve_symbol): Initialize constructor_expr to NULL.
1351
1352 2006-02-04  Thomas Koenig  <Thomas.Koenig@online.de>
1353
1354         PR fortran/25075
1355         check.c (identical_dimen_shape):  New function.
1356         (check_dot_product):  Use identical_dimen_shape() to check sizes
1357         for dot_product.
1358         (gfc_check_matmul):  Likewise.
1359         (gfc_check_merge):  Check conformance between tsource and fsource
1360         and between tsource and mask.
1361         (gfc_check_pack):  Check conformance between array and mask.
1362
1363 2006-02-03  Steven G. Kargl  <kargls@comcast>
1364             Paul Thomas  <pault@gcc.gnu.org>
1365
1366         PR fortran/20845
1367         * resolve.c (resolve_symbol): Default initialization of derived type
1368         component reguires the SAVE attribute.
1369
1370 2006-02-02  Steven G. Kargl  <kargls@comcast>
1371
1372         PR fortran/24958
1373         match.c (gfc_match_nullify):  Free the list from head not tail.
1374
1375         PR fortran/25072
1376         * match.c (match_forall_header): Fix internal error caused by bogus
1377         gfc_epxr pointers.
1378
1379
1380 2006-01-31  Thomas Koenig  <Thomas.Koenig@online.de>
1381
1382         PR fortran/26039
1383         expr.c (gfc_check_conformance):  Reorder error message
1384         to avoid plural.
1385         check.c(gfc_check_minloc_maxloc):  Call gfc_check_conformance
1386         for checking arguments array and mask.
1387         (check_reduction):  Likewise.
1388
1389 2006-01-30  Erik Edelmann  <eedelman@gcc.gnu.org>
1390
1391         PR fortran/24266
1392         * trans-io.c (set_internal_unit): Check the rank of the
1393         expression node itself instead of its symbol.
1394
1395 2006-01-29  Paul Thomas  <pault@gcc.gnu.org>
1396
1397         PR fortran/18578
1398         PR fortran/18579
1399         PR fortran/20857
1400         PR fortran/20885
1401         * interface.c (compare_actual_formal): Error for INTENT(OUT or INOUT)
1402         if actual argument is not a variable.
1403
1404 2006-01-28  Paul Thomas  <pault@gcc.gnu.org>
1405
1406         PR fortran/17911
1407         * expr.c (gfc_check_assign, gfc_check_pointer_assign): Emit error if
1408         the lvalue is a use associated procedure.
1409
1410         PR fortran/20895
1411         PR fortran/25030
1412         * expr.c (gfc_check_pointer_assign): Emit error if lvalue and rvalue
1413         character lengths are not the same.  Use gfc_dep_compare_expr for the
1414         comparison.
1415         * gfortran.h: Add prototype for gfc_dep_compare_expr.
1416         * dependency.h: Remove prototype for gfc_dep_compare_expr.
1417
1418 2006-01-27  Paul Thomas  <pault@gcc.gnu.org>
1419
1420         PR fortran/25964
1421         * resolve.c (resolve_function): Add GFC_ISYM_LOC to the list of
1422         generic_ids exempted from assumed size checking.
1423
1424 2006-01-27  Jakub Jelinek  <jakub@redhat.com>
1425
1426         PR fortran/25324
1427         * Make-lang.in (fortran/scanner.o): Depend on toplev.h.
1428         * lang.opt (fpreprocessed): New option.
1429         * scanner.c: Include toplev.h.
1430         (gfc_src_file, gfc_src_preprocessor_lines): New variables.
1431         (preprocessor_line): Unescape filename if there were any
1432         backslashes.
1433         (load_file): If initial and gfc_src_file is not NULL,
1434         use it rather than opening the file.  If gfc_src_preprocessor_lines
1435         has non-NULL elements, pass it to preprocessor_line.
1436         (unescape_filename, gfc_read_orig_filename): New functions.
1437         * gfortran.h (gfc_option_t): Add flag_preprocessed.
1438         (gfc_read_orig_filename): New prototype.
1439         * options.c (gfc_init_options): Clear flag_preprocessed.
1440         (gfc_post_options): If flag_preprocessed, call
1441         gfc_read_orig_filename.
1442         (gfc_handle_option): Handle OPT_fpreprocessed.
1443         * lang-specs.h: Pass -fpreprocessed to f951 if preprocessing
1444         sources.
1445
1446 2006-01-27  Erik Edelmann  <eedelman@gcc.gnu.org>
1447
1448         * symbol.c (free_old_symbol): Fix confusing comment, and add code
1449           to free old_symbol->formal.
1450
1451 2006-01-26  Paul Thomas  <pault@gcc.gnu.org>
1452
1453         PR fortran/25964
1454         * resolve.c (resolve_function): Exclude statement functions from
1455         global reference checking.
1456
1457         PR fortran/25084
1458         PR fortran/20852
1459         PR fortran/25085
1460         PR fortran/25086
1461         * resolve.c (resolve_function): Declare a gfc_symbol to replace the
1462         references through the symtree to the symbol associated with the
1463         function expresion. Give error on reference to an assumed character
1464         length function is defined in an interface or an external function
1465         that is not a dummy argument.
1466         (resolve_symbol): Give error if an assumed character length function
1467         is array-valued, pointer-valued, pure or recursive. Emit warning
1468         that character(*) value functions are obsolescent in F95.
1469
1470         PR fortran/25416
1471         * trans-expr.c (gfc_conv_function_call): The above patch to resolve.c
1472         prevents any assumed character length function call from getting here
1473         except intrinsics such as SPREAD. In this case, ensure that no
1474         segfault occurs from referencing non-existent charlen->length->
1475         expr_type and provide a backend_decl for the charlen from the charlen
1476         of the first actual argument.
1477
1478         Cure temp name confusion.
1479         * trans-expr.c (gfc_get_interface_mapping_array): Change name of
1480         temporary from "parm" to "ifm" to avoid clash with temp coming from
1481         trans-array.c.
1482
1483 2006-01-25  Erik Edelmann  <eedelman@gcc.gnu.org>
1484
1485         PR fortran/25716
1486         * symbol.c (free_old_symbol): New function.
1487         (gfc_commit_symbols): Use it.
1488         (gfc_commit_symbol): New function.
1489         (gfc_use_derived): Use it.
1490         * gfortran.h: Add prototype for gfc_commit_symbol.
1491         * intrinsic.c (gfc_find_function): Search in 'conversion'
1492         if not found in 'functions'.
1493         (gfc_convert_type_warn): Add a symtree to the new
1494         expression node, and commit the new symtree->n.sym.
1495         * resolve.c (gfc_resolve_index): Make sure typespec is
1496         properly initialized.
1497
1498 2006-01-23  Paul Thomas  <pault@gcc.gnu.org>
1499
1500         PR fortran/25901
1501         * decl.c (get_proc_name): Replace subroutine and function attributes
1502         in "already defined" test by the formal arglist pointer being non-NULL.
1503
1504         Fix regression in testing of admissability of attributes.
1505         * symbol.c (gfc_add_attribute): If the current_attr has non-zero
1506         intent, do not do the check for a dummy being used.
1507         * decl.c (attr_decl1): Add current_attr.intent as the third argument
1508         in the call to gfc_add_attribute.
1509         * gfortran.h: Add the third argument to the prototype for
1510         gfc_add_attribute.
1511
1512 2006-01-21  Joseph S. Myers  <joseph@codesourcery.com>
1513
1514         * gfortranspec.c (lang_specific_driver): Update copyright notice
1515         date.
1516
1517 2006-01-21  Paul Thomas  <pault@gcc.gnu.org>
1518
1519         PR fortran/25124
1520         PR fortran/25625
1521         * decl.c (get_proc_name): If there is an existing
1522         symbol in the encompassing namespace, call errors
1523         if it is a procedure of the same name or the kind
1524         field is set, indicating a type declaration.
1525
1526         PR fortran/20881
1527         PR fortran/23308
1528         PR fortran/25538
1529         PR fortran/25710
1530         * decl.c (add_global_entry): New function to check
1531         for existing global symbol with this name and to
1532         create new one if none exists.
1533         (gfc_match_entry): Call add_global_entry before
1534         matching argument lists for subroutine and function
1535         entries.
1536         * gfortran.h: Prototype for existing function,
1537         global_used.
1538         * resolve.c (resolve_global_procedure): New function
1539         to check global symbols for procedures.
1540         (resolve_call, resolve_function): Calls to this
1541         new function for non-contained and non-module
1542         procedures.
1543         * match.c (match_common): Add check for existing
1544         global symbol, creat one if none exists and emit
1545         error if there is a clash.
1546         * parse.c (global_used): Remove static and use the
1547         gsymbol name rather than the new_block name, so that
1548         the function can be called from resolve.c.
1549         (parse_block_data, parse_module, add_global_procedure):
1550         Improve checks for existing gsymbols.  Emit error if
1551         already defined or if references were to another type.
1552         Set defined flag.
1553
1554         PR fortran/PR24276
1555         * trans-expr.c (gfc_conv_aliased_arg): New function called by 
1556         gfc_conv_function_call that coverts an expression for an aliased
1557         component reference to a derived type array into a temporary array
1558         of the same type as the component.  The temporary is passed as an
1559         actual argument for the procedure call and is copied back to the
1560         derived type after the call.
1561         (is_aliased_array): New function that detects an array reference
1562         that is followed by a component reference.
1563         (gfc_conv_function_call): Detect an aliased actual argument with
1564         is_aliased_array and convert it to a temporary and back again
1565         using gfc_conv_aliased_arg.
1566
1567 2006-01-19  Tobias Schl\81üter  <tobias.schlueter@physik.uni-muenchen.de>
1568
1569         * gfortranspec.c: Update copyright years.
1570         * trans.c: Likewise.
1571         * trans-array.c: Likewise.
1572         * trans-array.h: Likewise.
1573         * trans-decl.c: Likewise.
1574         * trans-stmt.c: Likewise.
1575         * trans-stmt.h: Likewise.
1576         * trans-types.c: Likewise.
1577
1578 2006-01-18  Tobias Schl\81üter  <tobias.schlueter@physik.uni-muenchen.de>
1579
1580         PR fortran/18540
1581         PR fortran/18937
1582         * gfortran.h (BBT_HEADER): Move definition up.
1583         (gfc_st_label): Add BBT_HEADER, remove 'prev' and 'next'.
1584         * io.c (format_asterisk): Adapt initializer.
1585         * resolve.c (resolve_branch): Allow FORTRAN 66 cross-block GOTOs
1586         as extension.
1587         (warn_unused_label): Take gfc_st_label label as argument, adapt to
1588         new data structure.
1589         (gfc_resolve): Adapt call to warn_unused_label.
1590         * symbol.c (compare_st_labels): New function.
1591         (gfc_free_st_label, free_st_labels, gfc_get_st_label): Convert to
1592         using balanced binary tree.
1593         * decl.c (match_char_length, gfc_match_old_kind_spec): Do away
1594         with 'cnt'.
1595         (warn_unused_label): Adapt to binary tree.
1596         * match.c (gfc_match_small_literal_int): Only set cnt if non-NULL.
1597         * primary.c (match_kind_param): Do away with cnt.
1598
1599 2006-01-18  Paul Thomas  <pault@gcc.gnu.org>
1600
1601         PR fortran/20869
1602         PR fortran/20875
1603         PR fortran/25024
1604         * symbol.c (check_conflict): Add pointer valued elemental
1605         functions and internal procedures with the external attribute
1606         to the list of conflicts.
1607         (gfc_add_attribute): New catch-all function to perform the
1608         checking of symbol attributes for attribute declaration
1609         statements.
1610         * decl.c (attr_decl1): Call gfc_add_attribute for each of -
1611         (gfc_match_external, gfc_match_intent, gfc_match_intrinsic,
1612         gfc_match_pointer, gfc_match_dimension, gfc_match_target):
1613         Remove spurious calls to checks in symbol.c.  Set the
1614         attribute directly and use the call to attr_decl() for
1615         checking.
1616         * gfortran.h:  Add prototype for gfc_add_attribute.
1617
1618         PR fortran/25785
1619         * resolve.c (resolve_function): Exclude PRESENT from assumed size
1620         argument checking. Replace strcmp's with comparisons with generic
1621         codes.
1622
1623 2006-01-16  Rafael \81Ávila de Esp\81índola  <rafael.espindola@gmail.com>
1624
1625         * gfortranspec.c (lang_specific_spec_functions): Remove.
1626
1627 2006-01-16  Richard Guenther  <rguenther@suse.de>
1628
1629         * trans-stmt.c (gfc_trans_if_1): Use fold_buildN and build_int_cst.
1630         (gfc_trans_arithmetic_if): Likewise.
1631         (gfc_trans_simple_do): Likewise.
1632         (gfc_trans_do): Likewise.
1633         (gfc_trans_do_while): Likewise.
1634         (gfc_trans_logical_select): Likewise.
1635         (gfc_trans_forall_loop): Likewise.
1636         (generate_loop_for_temp_to_lhs): Likewise.
1637         (generate_loop_for_rhs_to_temp): Likewise.
1638         (gfc_trans_allocate): Likewise.
1639         * trans.c (gfc_add_expr_to_block): Do not fold expr again.
1640
1641 2006-01-16  Richard Guenther  <rguenther@suse.de>
1642
1643         * trans-expr.c (gfc_conv_function_call): Use fold_build2.
1644         * trans-stmt.c (gfc_trans_goto): Likewise.  Use build_int_cst.
1645         * trans.c (gfc_trans_runtime_check): Don't fold the condition
1646         again.
1647
1648 2006-01-13  Steven G. Kargl  <kargls@comcast.net>
1649
1650         PR fortran/25756
1651         * symbol.c (gfc_free_st_label): Give variable meaningful name. Remove
1652         unneeded parenthesis. Fix-up the head of the list (2 lines gleaned
1653         from g95).
1654
1655 2006-01-13  Diego Novillo  <dnovillo@redhat.com>
1656
1657         * trans.c (gfc_add_expr_to_block): Do not fold tcc_statement
1658         nodes.
1659
1660 2006-01-11  Tobias Schl\81üter  <tobias.schlueter@physik.uni-muenchen.de>
1661
1662         * parse.c (next_fixed): Remove superfluous string concatenation.
1663
1664 2006-01-11  Bernhard Fischer  <rep.nop@aon.at>
1665
1666         PR fortran/25486
1667         * scanner.c (load_line): use maxlen to determine the line-length used
1668         for padding lines in fixed form.
1669
1670 2006-01-11  Paul Thomas  <pault@gcc.gnu.org>
1671
1672         PR fortran/25730
1673         * trans-types.c (copy_dt_decls_ifequal): Copy backend decl for
1674         character lengths.
1675
1676 2006-01-09  Andrew Pinski  <pinskia@physics.uc.edu>
1677
1678         fortran/24936
1679         * trans-stmt.c (gfc_trans_pointer_assign_need_temp): Use fold_convert
1680         to avoid type mismatch.
1681
1682 2006-01-09  Andrew Pinski  <pinskia@physics.uc.edu>
1683
1684         PR fortran/21977
1685         * trans-decl.c (gfc_generate_function_code): Move the NULLing of
1686         current_fake_result_decl down to below generate_local_vars.
1687
1688 2006-01-09  Feng Wang  <fengwang@nudt.edu.cn>
1689
1690         PR fortran/12456
1691         * trans-expr.c (gfc_to_single_character): New function that converts
1692         string to single character if its length is 1.
1693         (gfc_build_compare_string):New function that compare string and handle
1694         single character specially.
1695         (gfc_conv_expr_op): Use gfc_build_compare_string.
1696         (gfc_trans_string_copy): Use gfc_to_single_character.
1697         * trans-intrinsic.c (gfc_conv_intrinsic_strcmp): Use
1698         gfc_build_compare_string.
1699         * trans.h (gfc_build_compare_string): Add prototype.
1700
1701 2006-01-09  Feng Wang  <fengwang@nudt.edu.cn>
1702
1703         * simplify.c (gfc_simplify_char): Use UCHAR_MAX instead of literal
1704         constant.
1705         (gfc_simplify_ichar): Get the result from unsinged char and in the
1706         range 0 to UCHAR_MAX instead of CHAR_MIN to CHAR_MAX.
1707
1708 2006-01-08  Erik Edelmann  <eedelman@gcc.gnu.org>
1709
1710         PR fortran/25093
1711         * resolve.c (resolve_fntype): Check that PUBLIC functions
1712         aren't of PRIVATE type.
1713
1714 2006-01-07  Tobias Schl"uter  <tobias.schlueter@physik.uni-muenchen.de>
1715
1716         * decl.c (gfc_match_function_decl): Correctly error out in case of
1717         omitted function argument list.
1718
1719 2006-01-07  Paul Thomas  <pault@gcc.gnu.org>
1720
1721         PR fortran/22146
1722         * trans-array.c (gfc_reverse_ss): Remove static attribute.
1723         (gfc_walk_elemental_function_args): Replace gfc_expr * argument for
1724         the function call with the corresponding gfc_actual_arglist*.  Change
1725         code accordingly.
1726         (gfc_walk_function_expr): Call to gfc_walk_elemental_function_args
1727         now requires the actual argument list instead of the expression for
1728         the function call.
1729         * trans-array.h: Modify the prototype for gfc_walk_elemental_function_args
1730         and provide a prototype for gfc_reverse_ss.
1731         * trans-stmt.h (gfc_trans_call): Add the scalarization code for the case
1732         where an elemental subroutine has array valued actual arguments.
1733
1734         PR fortran/25029
1735         PR fortran/21256
1736         PR fortran/20868
1737         PR fortran/20870
1738         * resolve.c (check_assumed_size_reference): New function to check for upper
1739         bound in assumed size array references.
1740         (resolve_assumed_size_actual): New function to do a very restricted scan
1741         of actual argument expressions of those procedures for which incomplete
1742         assumed size array references are not allowed.
1743         (resolve_function, resolve_call): Switch off assumed size checking of
1744         actual arguments, except for elemental procedures and intrinsic
1745         inquiry functions, in some circumstances.
1746         (resolve_variable): Call check_assumed_size_reference.
1747
1748 2006-01-05  Jerry DeLisle  <jvdelisle@gcc.gnu.org>
1749
1750         PR fortran/24268
1751         * io.c (next_char_not_space): New function that returns the next
1752         character that is not white space.
1753         (format_lex): Use the new function to skip whitespace within
1754         a format string.
1755
1756 2006-01-05  Erik Edelmann  <eedelman@gcc.gnu.org>
1757
1758         PR fortran/23675
1759         * expr.c (gfc_expr_set_symbols_referenced): New function.
1760         * gfortran.h: Add a function prototype for it.
1761         * resolve.c (resolve_function): Use it for
1762         use associated character functions lengths.
1763         * expr.c, gfortran.h, resolve.c: Updated copyright years.
1764
1765 2006-01-03  Steven G. Kargl  <kargls@comcast.net>
1766
1767         PR fortran/25101
1768         * resolve.c (resolve_forall_iterators):  Check for scalar variables;
1769         Check stride is nonzero.
1770
1771 2006-01-02  Steven G. Kargl  <kargls@comcast.net>
1772
1773         PR fortran/24640
1774         * parse.c (next_free): Check for whitespace after the label.
1775         * match.c (gfc_match_small_literal_int): Initialize cnt variable.
1776
1777 2006-01-01  Steven G. Kargl  <kargls@comcast.net>
1778
1779         * ChangeLog: Split previous years into ...
1780         * ChangeLog-2002: here.
1781         * ChangeLog-2003: here.
1782         * ChangeLog-2004: here.
1783         * ChangeLog-2005: here.