OSDN Git Service

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