OSDN Git Service

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