OSDN Git Service

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