OSDN Git Service

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