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