2009-04-10  H.J. Lu  <hongjiu.lu@intel.com>

* config/rs6000/darwin-vecsave.asm: Remove extra "*/".

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145896 138bc75d-0d04-0410-961f-82ee72b054a4

Update comments.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145895 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-10  Thomas Quinot  <quinot@adacore.com>

* sem_eval.adb: Minor reformatting

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145894 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-10  Thomas Quinot  <quinot@adacore.com>

gnattools/
* Makefile.in: (stamp-tools): Add handling of snames.ad[sb]

ada/
* snames.h, snames.ads, snames.adb: Remove files, now generated from
templates.

* snames.h-tmpl, snames.ads-tmpl, snames.adb-tmpl: Templates for the
above.

* xsnamest.adb: New file.

* gcc-interface/Make-lang.in: New target for automated generation of
snames.ads, snames.adb and snames.h

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145893 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-10  Manuel López-Ibáñez  <manu@gcc.gnu.org>

PR  c++/20118
cp/
* parser.c (cp_parser_check_template_parameters): Take a
cp_declarator parameter.
(cp_parser_elaborated_type_specifier): Update to
cp_parser_check_template_parameters.
(cp_parser_class_head): Likewise.
(cp_parser_check_declarator_template_parameters): Likewise.
(cp_parser_check_template_parameters): Handle first the non-error
conditions. Give more accurate diagnostics if a declarator is
given.
testsuite/
* g++.dg/parse/pr20118.C: New.
* g++.dg/template/spec16.C: Update.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145892 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-10  Tristan Gingold  <gingold@adacore.com>

* gcc-interface/Makefile.in, gcc-interface/utils.c: Include "rtl.h" to
avoid compile time warnings.
Do not add gcc/config in include search list while compiling the RTS.
Pragma Thread_Local_Storage is available on any target.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145891 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-10  Bob Duff  <duff@adacore.com>

* sem.ads, par.adb, sem_ch6.adb, sem_ch8.adb: Minor comment fixes.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145890 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-10  Robert Dewar  <dewar@adacore.com>

* sem_prag.adb: Minor reformatting

* exp_util.adb (Make_Non_Empty_Check): New function
(Silly_Boolean_Array_Not_Test): Add call to Make_Non_Empty_Check
(Silly_Boolean_Array_Xor_Test): Use Make_Non_Empty_Check

2009-04-10  Arnaud Charlet  <charlet@adacore.com>

* make.adb, gnatlink.adb: Rename JGNAT toolchain.

2009-04-10  Jose Ruiz  <ruiz@adacore.com>

* mlib-tgt-specific-xi.adb (Get_Target_Prefix): Insert the appropriate
tool prefix for AVR and PowerPC 55xx targets.

2009-04-10  Robert Dewar  <dewar@adacore.com>

* sem_warn.adb (Within_Postcondition): New function
(Check_Unset_Reference): Use Within_Postcondition to stop bad warning

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145889 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-10  Tristan Gingold  <gingold@adacore.com>

* init.c: Install signal handler on Darwin.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145888 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-10  Robert Dewar  <dewar@adacore.com>

* sem_warn.adb: Minor reformatting

* make.adb: Minor reformatting.

2009-04-10  Gary Dismukes  <dismukes@adacore.com>

* exp_ch7.adb (Find_Final_List): When creating a finalization-chain
entity and the scope is a subprogram, retrieve the Sloc of the
subprogram's body rather than using the sloc of the spec, for better
line-stepping behavior in gdb.
(Wrap_Transient_Declaration): For the Sloc of nodes created with a list
controller, use the Sloc of the first declaration of the containing list
rather than that of the node that triggered creation of the list
controller.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145887 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-10  Vincent Celier  <celier@adacore.com>

* prj-nmsc.adb (Check_Naming_Schemes): Initialize local variable Casing
to avoid gcc warning.

2009-04-10  Robert Dewar  <dewar@adacore.com>

* g-comlin.adb: Add ??? comment

2009-04-10  Ed Schonberg  <schonberg@adacore.com>

* sem_warn.adb (Check_Unused_Withs): Do not emit message about
unreferenced entities for a package with no visible declarations.

2009-04-10  Robert Dewar  <dewar@adacore.com>

* exp_ch9.adb: Minor reformatting

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145886 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-10  Thomas Quinot  <quinot@adacore.com>

* sem_prag.adb: Minor reformatting

2009-04-10  Vincent Celier  <celier@adacore.com>

* prj-nmsc.adb:
(Check_Library_Attributes): For a project qualified as a library project
that is not a library project, indicate in the error message which
attributes are missing (Library_Dir and/or Library_Name).

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145885 138bc75d-0d04-0410-961f-82ee72b054a4

Minor reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145884 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-10  Bob Duff  <duff@adacore.com>

* exp_ch5.adb, exp_ch9.adb: Avoid use of No_Position in Sloc of
generated nodes, because it might confuse various circuits in the FE.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145883 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-10  Ed Schonberg  <schonberg@adacore.com>

* sem_prag.adb (Analyze_Pragma, case Task_Name): Do not expand argument
of pragma. It will be recopied and analyzed when used in call to
Create_Task.

* sem_res.adb (Resolve_Call): Clarify use of secondary stack within
initialization operations and recognize use of it in procedure calls
within init_procs.

* exp_ch9.adb (Make_Task_Create_Call): Copy full tree of Task_Name
argument, because it may have side-effects.

* exp_ch2.adb: Remove obsolete comments on default functions

2009-04-10  Jose Ruiz  <ruiz@adacore.com>

* adaint.c (RTX section): Do for RTX the same thing as we do for
Windows (include ctype.h and define a fallback ISALPHA if IN_RTS).

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145882 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-10  Robert Dewar  <dewar@adacore.com>

* sem_aux.ads, sem_aux.adb (Nearest_Current_Scope): New function.

* sem_res.adb (Resolve_Call): Fix test for
Suppress_Value_Tracking_On_Call (was wrong for the case of a call from
a non-dynamic scope).

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145881 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-10  Robert Dewar  <dewar@adacore.com>

* make.adb: Add comment.
Minor reformatting

2009-04-10  Nicolas Setton  <setton@adacore.com>

* s-osprim-darwin.adb: New file.

* s-osinte-darwin.adb, s-osinte-darwin.ads: Fix binding to timespec.

2009-04-10  Thomas Quinot  <quinot@adacore.com>

* g-socket.ads: Add comment clarifying alignment requirement for Fd_Set

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145880 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-10  Janne Blomqvist  <jb@gcc.gnu.org>

        * io/io.h (move_pos_offset): Remove prototype.
        * io/transfer.c (formatted_transfer_scalar_read): Use sseek
        instead of move_pos_offset.
        * io/unix.c (move_pos_offset): Remove.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145876 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-10  Janne Blomqvist  <jb@gcc.gnu.org>

PR libfortran/39665 libfortran/39702 libfortran/39709
* io/io.h (st_parameter_dt): Revert aligned attribute from u.p.value.
        * io/list_read.c (read_complex): Read directly into user pointer.
        (read_real): Likewise.
        (list_formatted_read_scalar): Update read_complex and read_real calls.
        (nml_read_obj): Read directly into user pointer.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145875 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-09  H.J. Lu  <hongjiu.lu@intel.com>

PR testsuite/35621
* gcc.target/i386/avx-vpabsb-1.c: Add -fno-strict-aliasing.
* gcc.target/i386/avx-vpabsb-1.c: Likewise.
* gcc.target/i386/avx-vpabsd-1.c: Likewise.
* gcc.target/i386/avx-vpabsw-1.c: Likewise.
* gcc.target/i386/avx-vpalignr-1.c: Likewise.
* gcc.target/i386/avx-vphaddd-1.c: Likewise.
* gcc.target/i386/avx-vphaddsw-1.c: Likewise.
* gcc.target/i386/avx-vphaddw-1.c: Likewise.
* gcc.target/i386/avx-vphsubd-1.c: Likewise.
* gcc.target/i386/avx-vphsubsw-1.c: Likewise.
* gcc.target/i386/avx-vphsubw-1.c: Likewise.
* gcc.target/i386/avx-vpmaddubsw-1.c: Likewise.
* gcc.target/i386/avx-vpmulhrsw-1.c: Likewise.
* gcc.target/i386/avx-vpshufb-1.c: Likewise.
* gcc.target/i386/avx-vpsignb-1.c: Likewise.
* gcc.target/i386/avx-vpsignd-1.c: Likewise.
* gcc.target/i386/avx-vpsignw-1.c: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145871 138bc75d-0d04-0410-961f-82ee72b054a4

Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145870 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-09  Paolo Carlini  <paolo.carlini@oracle.com>

PR libstdc++/39629 (final bits)
* include/bits/random.h (subtract_with_carry_engine<>::_S_modulus):
Remove, consistently use __detail::_Shift<_UIntType, __w>::__value.
* include/bits/random.tcc (shuffle_order_engine<>::operator()()):
Fix formula for __j.
* include/bits/random.tcc (operator==(const normal_distribution<>&,
const normal_distribution<>&): Remove.
* include/bits/random.h (operator==(const uniform_int_distribution<>&,
const uniform_int_distribution<>&), operator==(const
uniform_real_distribution<>&, const uniform_real_distribution<>&),
operator==(const normal_distribution<>&, const normal_distribution<>&),
operator==(const lognormal_distribution<>&,
const lognormal_distribution<>&), operator==(const
chi_squared_distribution<>&, const chi_squared_distribution<>&),
operator==(const cauchy_distribution<>&, const cauchy_distribution<>&),
operator==(const fisher_distribution<>&, const fisher_distribution<>&),
operator==(const student_t_distribution<>&,
const student_t_distribution<>&), operator==(const
bernoulli_distribution<>&, const bernoulli_distribution<>&),
operator==(const binomial_distribution<>&, const
binomial_distribution<>&), operator==(const geometric_distribution<>&,
const geometric_distribution<>&), operator==(const
negative_binomial_distribution<>&, const
negative_binomial_distribution<>&), operator==(const
poisson_distribution<>&, const poisson_distribution<>&),
operator==(const exponential_distribution<>&,
const exponential_distribution<>&), operator==(const
gamma_distribution<>&, const gamma_distribution<>&), operator==(const
weibull_distribution<>&, const weibull_distribution<>&),
operator==(const extreme_value_distribution<>&,
const extreme_value_distribution<>&), operator==(const
discrete_distribution<>&, const discrete_distribution<>&),
operator==(const piecewise_constant_distribution<>&,
const piecewise_constant_distribution<>&), operator==(const
piecewise_linear_distribution<>&, const
piecewise_linear_distribution<>&)): Remove.
* testsuite/26_numerics/random/uniform_real_distribution/operators/
serialize.cc: Remove.
* testsuite/26_numerics/random/piecewise_constant_distribution/
operators/serialize.cc: Likewise.
* testsuite/26_numerics/random/chi_squared_distribution/operators/
serialize.cc: Likewise.
* testsuite/26_numerics/random/normal_distribution/operators/
serialize.cc: Likewise.
* testsuite/26_numerics/random/uniform_int_distribution/operators/
serialize.cc: Likewise.
* testsuite/26_numerics/random/poisson_distribution/operators/
serialize.cc: Likewise.
* testsuite/26_numerics/random/bernoulli_distribution/operators/
serialize.cc: Likewise.
* testsuite/26_numerics/random/discrete_distribution/operators/
serialize.cc: Likewise.
* testsuite/26_numerics/random/weibull_distribution/operators/
serialize.cc: Likewise.
* testsuite/26_numerics/random/negative_binomial_distribution/
operators/serialize.cc: Likewise.
* testsuite/26_numerics/random/cauchy_distribution/operators/
serialize.cc: Likewise.
* testsuite/26_numerics/random/gamma_distribution/operators/
serialize.cc: Likewise.
* testsuite/26_numerics/random/fisher_f_distribution/operators/
serialize.cc: Likewise.
* testsuite/26_numerics/random/exponential_distribution/operators/
serialize.cc: Likewise.
* testsuite/26_numerics/random/lognormal_distribution/operators/
serialize.cc: Likewise.
* testsuite/26_numerics/random/binomial_distribution/operators/
serialize.cc: Likewise.
* testsuite/26_numerics/random/extreme_value_distribution/
operators/serialize.cc: Likewise.
* testsuite/26_numerics/random/piecewise_linear_distribution/
operators/serialize.cc: Likewise.
* testsuite/26_numerics/random/student_t_distribution/operators/
serialize.cc: Likewise.
* testsuite/26_numerics/random/geometric_distribution/operators/
serialize.cc: Likewise.

* include/bits/random.h (linear_congruential_engine<>::seed(_Gen&,
true_type), linear_congruential_engine<>::seed(_Gen&, false_type),
mersenne_twister_engine<>::seed(_Gen&,
true_type), mersenne_twister_engine<>::seed(_Gen&, false_type),
subtract_with_carry_engine<>::seed(_Gen&,
true_type), subtract_with_carry_engine<>::seed(_Gen&, false_type)):
Remove, unused.
* include/bits/random.tcc (linear_congruential_engine<>::
seed(_Gen&, false_type): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145867 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/

2009-04-09  H.J. Lu  <hongjiu.lu@intel.com>

PR target/39678
* config/i386/i386.c (classify_argument): Handle SCmode with
(bit_offset % 64) != 0.

gcc/testsuite/

2009-04-09  H.J. Lu  <hongjiu.lu@intel.com>

PR target/39678
* g++.dg/torture/pr39678.C: New.
* gcc.dg/compat/struct-complex-2.h: Likewise.
* gcc.dg/compat/struct-complex-2_main.c: Likewise.
* gcc.dg/compat/struct-complex-2_x.c: Likewise.
* gcc.dg/compat/struct-complex-2_y.c: Likewise.
* gcc.dg/torture/pr39678.c: Likewise.
* gcc.target/i386/pr39678.c: Likewise.

* gcc.dg/compat/struct-complex-1_x.c: Add -Wno-psabi.
* gcc.dg/compat/struct-complex-1_y.c: Likewise.

* gcc.target/x86_64/abi/test_passing_structs.c: Include
<complex.h>.  Add tests for structure with complex float.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145865 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-09  Sandra Loosemore  <sandra@codesourcery.com>

gcc/
* doc/invoke.texi (Optimize Options): Add cross-reference to
-Q --help=optimizers examples.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145864 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-09  Jack Howarth  <howarth@bromo.med.uc.edu>

* configure.host: Restore match for darwin9 or later.
* configure.ac: Likewise.
* configure: Regenerate.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145861 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-09  Jack Howarth  <howarth@bromo.med.uc.edu>

* configure.ac: Restore match for darwin9 or later. Use double
brackets since regeneration eats one pair.
* configure: Regenerate.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145860 138bc75d-0d04-0410-961f-82ee72b054a4

PR target/36800

PR target/36800
* config/rs6000/rs6000.c (rs6000_gimplify_va_arg): Do not set
regalign for the reg == fpr and TDmode case.

testsuite/
* gcc.dg/dfp/pr36800.c: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145859 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/
2009-04-09  David Ayers  <ayers@fsfe.org>

PR objc/29200
* objc/objc-act.c (warn_with_method): Remove helper function.
(check_duplicates): Call warning and inform directly.
(really_start_method): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145857 138bc75d-0d04-0410-961f-82ee72b054a4

* gcc/ChangeLog: Fix ChangeLog.
* gcc/testsuite/ChangeLog: Ditto.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145855 138bc75d-0d04-0410-961f-82ee72b054a4

Fix entry

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145853 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-09  Janne Blomqvist  <jb@gcc.gnu.org>

PR fortran/39665
* io/io.h (st_parameter_dt): Add aligned attribute to u.p.value.
* io/read.c (convert_real): Add note about alignment requirements.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145852 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/testsuite/
* gcc.misc-tests/help.exp: New file.
* lib/options.exp: New file.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145851 138bc75d-0d04-0410-961f-82ee72b054a4

PR libobjc/36610
* objc/execute/forward-1.x: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145849 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-09  Paolo Bonzini  <bonzini@gnu.org>

* expmed.c (expand_divmod): Always use a comparison for a division
by a large unsigned integer.

        * fold-const.c (tree_single_nonzero_warnv_p): Always treat decls
        for things others than variables or functions as nonzero.

testsuite:
2009-04-09  Paolo Bonzini  <bonzini@gnu.org>

        * gcc.dg/pr27150-1.c: Change to a link test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145846 138bc75d-0d04-0410-961f-82ee72b054a4

Move gcc ChangeLog entry in revision 145415 to gcc/ChangeLog.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145844 138bc75d-0d04-0410-961f-82ee72b054a4

Change spaces to tab.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145843 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-09  H.J. Lu  <hongjiu.lu@intel.com>

PR gas/10039
* configure.ac: Require texinfo 4.7.
* configure: Regenerated.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145842 138bc75d-0d04-0410-961f-82ee72b054a4

Licensing changes to GPLv3 resp. GPLv3 with GCC Runtime Exception.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145841 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-09  Richard Guenther  <rguenther@suse.de>

PR testsuite/39696
* ssa-ccp-25.c: Adjust pattern.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145839 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-09  Nicolas Setton  <setton@adacore.com>

* s-osinte-darwin.ads: Fix wrong binding to struc timeval.

* s-osinte-darwin.adb (To_Timeval): Adapt to fixed implementation of
struct_timeval.

2009-04-09  Bob Duff  <duff@adacore.com>

* exp_ch5.adb, exp_ch9.adb: Correct miscellaneous Slocs in
internally-generated nodes related to select statements to avoid
confusing the debugger.

2009-04-09  Pascal Obry  <obry@adacore.com>

* make.adb: Ensure that all linker arguments are duplicated.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145838 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-09  Robert Dewar  <dewar@adacore.com>

* sem_ch5.adb: Minor reformatting

2009-04-09  Vincent Celier  <celier@adacore.com>

* vms_data.ads:
Change GNAT CHECK qualifier /DIAGNOSIS_LIMIT to /DIAGNOSTIC_LIMIT
New qualifier /LEXPAND_SOURCE=nnn for -gnatGnnn
New qualifier /LXDEBUG=nnn for -gnatDnnn
For H820-010

* gnat_ugn.texi:
Update documentation for VMS qualifiers equivalent to -gnatGnn and
-gnatDnn

2009-04-09  Nicolas Setton  <setton@adacore.com>

* s-osinte-darwin.ads: (Pad_Type): Make this an array of unsigned_long,
to match layout of siginfo_t in sys/signal.h.

* gcc-interface/Makefile.in: Add section for x86_64 darwin.

2009-04-09  Thomas Quinot  <quinot@adacore.com>

* g-socket.ads: (Fd_Set): Use Interfaces.C.long alignment.

2009-04-09  Nicolas Setton  <setton@adacore.com>

* s-oscons-tmplt.c: Allow long lines in the generated spec.
Add generation of Darwin-specific constants needed when binding to the
pthread library.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145837 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-09  Robert Dewar  <dewar@adacore.com>

        * checks.adb:
        (Insert_Valid_Check): Avoid unnecessary generation of junk declaration
        when no invalid values exist, Avoid duplicate read of atomic variable.

        * cstand.adb (Build_Signed_Integer_Type): Set Is_Known_Valid
        (Standard_Unsigned): Set Is_Known_Valid

        * sem_ch3.adb (Analyze_Subtype_Declaration): Copy Is_Known_Valid on
subtype declaration if no constraint.
        (Set_Modular_Size): Set Is_Known_Valid if appropriate
        (Build_Derived_Numeric_Type): Copy Is_Known_Valid if no constraint

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145836 138bc75d-0d04-0410-961f-82ee72b054a4

Minor editing.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145835 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-09  Robert Dewar  <dewar@adacore.com>

* switch-c.adb, gnat_ugn.texi, vms_data.ads, switch.adb,
switch.ads: for numeric switches, an optional equal sign is always
allowed.

2009-04-09  Vincent Celier  <celier@adacore.com>

* prj-nmsc.adb (Get_Unit): Do not consider Casing on platform where
the case of file names is not significant.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145834 138bc75d-0d04-0410-961f-82ee72b054a4

New file.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145833 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-09  Vincent Celier  <celier@adacore.com>

* errout.adb: Remove dependency on package Style

* style.ads, styleg.adb, styleg.ads (RM_Column_Check): Remove function,
moved to Stylesw.

* stylesw.ads, stylesw.adb (RM_Column_Check): New function, moved from
Styleg.

* errutil.adb, par.adb: Import Stylesw

2009-04-09  Arnaud Charlet  <charlet@adacore.com>

* opt.ads: Fix typos.

2009-04-09  Robert Dewar  <dewar@adacore.com>

* einfo.adb: Minor reformatting

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145832 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-09  Robert Dewar  <dewar@adacore.com>

* gcc-interface/Make-lang.in, style.ads, style.adb: Reorganize style
units.

* styleg-c.ads, styleg-c.adb: Removed, no longer used.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145831 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-09  Robert Dewar  <dewar@adacore.com>

* g-comver.adb: Minor reformatting.

2009-04-09  Thomas Quinot  <quinot@adacore.com>

* lib-load.ads (Load_Unit): Update documentation.

2009-04-09  Ed Schonberg  <schonberg@adacore.com>

* lib-load.adb (Load_Unit): When loading the parent of a child unit
named in a with_clause, retain the with_clause to preserve a
limited_with indication.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145829 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-09  Paolo Bonzini  <bonzini@gnu.org>

        * config/i386/i386.md (cmpcc): New.
        * config/i386/sync.md (sync_compare_and_swap*): Set FLAGS_REG.
        (sync_compare_and_swap_cc*): Delete.

        * config/s390/s390.c (s390_compare_emitted): Remove.
        (s390_emit_compare): Handle MODE_CC s390_compare_op0 like
        s390_compare_emitted used to be handled.  Assert that modes match.
        (s390_emit_compare_and_swap): Use s390_emit_compare, do not
        refer to sync_compare_and_swap_ccsi.
        * config/s390/s390.h (s390_compare_emitted): Remove.
        * config/s390/s390.md (seq): Look for MODE_CC s390_compare_op0
        instead of s390_compare_emitted.
        (stack_protect_test, sync_compare_and_swap_cc): Set s390_compare_op0
        instead of s390_compare_emitted.
        * config/s390/s390.md (cmpcc): New.
        (sync_compare_and_swapqi, sync_compare_and_swaphi): Clobber
        CC_REGNUM, do not pretend it's set.
        (sync_compare_and_swap_cc*): Delete.
        * config/s390/predicates.md (cc_reg_operand): New.

        * expr.c (sync_compare_and_swap_cc): Delete.
        * optabs.h (sync_compare_and_swap_cc): Delete.
        * optabs.c (prepare_cmp_insn): Ignore which specific CCmode
        is being used with can_compare_p.
        (emit_cmp_and_jump_insn_1): Likewise when looking in the optab.
        (find_cc_set): New.
        (expand_bool_compare_and_swap): Do not use sync_compare_and_swap_cc,
        look for a MODE_CC set instead.  Use emit_store_flag.
        (expand_compare_and_swap_loop): Likewise, with some additional
        complication to avoid a force_reg when useless.  Use
        emit_cmp_and_jump_insns.
        * genopinit.c (optabs): Delete sync_compare_and_swap_cc.
        * doc/md.texi (sync_compare_and_swap_cc): Merge with
        sync_compare_and_swap documentation.

java:
2009-04-09  Paolo Bonzini  <bonzini@gnu.org>

        * builtins.c (compareAndSwapLong_builtin,
        compareAndSwapInt_builtin, compareAndSwapObject_builtin,
        VMSupportsCS8_builtin): Do not look at sync_compare_and_swap_cc.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145825 138bc75d-0d04-0410-961f-82ee72b054a4

Minor reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145824 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-09  Robert Dewar  <dewar@adacore.com>

* sem_ch7.adb, sem_ch10.adb, sem_prag.adb, sem_ch12.adb, sem_util.adb,
exp_ch13.adb, sem_ch6.adb, exp_disp.adb, sem_ch8.adb, sem_warn.adb,
sem_cat.adb: Code clean up: use Is_Package_Or_Generic_Package where
possible to replace an OR of two separate tests.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145823 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-09  Robert Dewar  <dewar@adacore.com>

* binderr.adb, errout.adb, errutil.adb: New circuitry for handling
Maximum_Messages.

* erroutc.adb, erroutc.ads (Warnings_Suppressed): Now tests global
warning status as well.

* opt.ads (Maximum_Messages): New name for Maximum_Errors.

* switch-b.adb, switch-c.adb: Change name Maximum_Errors to
Maximum_Messages.

* bindusg.adb, usage.adb: Update line for -gnatm switch

* gnat_ugn.texi: Update documentation for -gnatmnn compiler switch and
-mnn binder switch.

* sem_ch10.adb: Minor reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145822 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-09  Bob Duff  <duff@adacore.com>

* exp_ch11.adb (Expand_Exception_Handlers, Prepend_Call_To_Handler):
Set Sloc of generated nodes for calls to Undefer_Aborts and
Save_Occurrence to No_Location, so the debugger ignores them and
therefore does not jump back and forth when single stepping.

2009-04-09  Robert Dewar  <dewar@adacore.com>

* switch-b.adb: Minor reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145821 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-09  Robert Dewar  <dewar@adacore.com>

* sem_aggr.adb, exp_ch5.adb, sem_ch3.adb, exp_atag.adb, layout.adb,
sem_dist.adb, exp_ch7.adb, sem_ch5.adb, sem_type.adb, exp_imgv.adb,
exp_util.adb, sem_aux.adb, sem_aux.ads, exp_attr.adb, exp_ch9.adb,
sem_ch7.adb, inline.adb, fe.h, sem_ch9.adb, exp_code.adb, einfo.adb,
einfo.ads, exp_pakd.adb, checks.adb, sem_ch12.adb, exp_smem.adb,
tbuild.adb, freeze.adb, sem_util.adb, sem_res.adb, sem_attr.adb,
exp_dbug.adb, sem_case.adb, exp_tss.adb, exp_ch4.adb, exp_ch6.adb,
sem_smem.adb, sem_ch4.adb, sem_mech.adb, sem_ch6.adb, exp_disp.adb,
sem_ch8.adb, exp_aggr.adb, sem_eval.adb, sem_cat.adb, exp_dist.adb,
sem_ch13.adb, exp_strm.adb, lib-xref.adb, sem_disp.adb, exp_ch3.adb:
Reorganize einfo/sem_aux, moving routines from einfo to sem_aux

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145820 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-09  Robert Dewar  <dewar@adacore.com>

* exp_util.adb (Silly_Boolean_Array_Xor_Test): Simplify existing code.

* atree.h: Add Elist26

* gnat_ugn.texi: Complete documentation deprecating -gnatN for non-gcc
backends.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145818 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-09  Janus Weil  <janus@gcc.gnu.org>

PR fortran/36704
* decl.c (add_hidden_procptr_result): New function for handling
procedure pointer return values by adding a hidden result variable.
(variable_decl,match_procedure_decl,gfc_match_function_decl,
gfc_match_subroutine,gfc_match_end,attr_decl1): Handle procedure pointer
return values.
* parse.c (parse_interface): Add EXTERNAL attribute only after
FUNCTION/SUBROUTINE declaration is complete.
* primary.c (replace_hidden_procptr_result): New function for replacing
function symbol by hidden result variable.
(gfc_match_rvalue,match_variable): Replace symbol by hidden result
variable.
* resolve.c (resolve_contained_fntype,resolve_function,resolve_variable,
resolve_symbol): Allow for procedure pointer function results.
(resolve_fl_procedure): Conflict detection moved here from
'check_conflict'.
* symbol.c (gfc_check_function_type): Allow for procedure pointer
function results.
(check_conflict): Move some conflict detection to resolution stage.
* trans-types.c (gfc_sym_type,gfc_get_function_type): Handle hidden
result variables.

2009-04-09  Janus Weil  <janus@gcc.gnu.org>

PR fortran/36704
* gfortran.dg/external_procedures_1.f90: Modified.
* gfortran.dg/proc_ptr_result_1.f90: New.
* gfortran.dg/proc_ptr_result_2.f90: New.
* gfortran.dg/proc_ptr_result_3.f90: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145815 138bc75d-0d04-0410-961f-82ee72b054a4

Minor reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145813 138bc75d-0d04-0410-961f-82ee72b054a4

Minor reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145812 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-09  Javier Miranda  <miranda@adacore.com>

* exp_disp.adb (Export_DT): Addition of a new argument (Index); used to
retrieve from the Dispatch_Table_Wrappers list the external name.
Addition of documentation.
(Make_Secondary_DT): Addition of a new argument (Suffix_Index) that is
used to export secondary dispatch tables (in the previous version of
the frontend only primary dispatch tables were exported). Addition of
documentation.
(Import_DT): New subprogram (internal of Make_Tags). Used to import a
dispatch table of a given tagged type.
(Make_Tags): Modified to import secondary dispatch tables.

* sem_ch3.adb (Analyze_Object_Declaration): Code cleanup.
(Constant_Redeclaration): Code cleanup.

* einfo.ads (Dispatch_Table_Wrapper): Renamed to
Dispatch_Table_Wrappers.  Update documentation.

* einfo.adb (Dispatch_Table_Wrapper, Set_Dispatch_Table_Wrapper):
Renamed to Dispatch_Table_Wrappers.

* sem_util.adb (Collect_Interface_Components): Improve handling of
private types.

* atree.ads (Elist26, Set_Elist26): New subprograms

* atree.adb (Elist26, Set_Elist26): New subprograms

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145811 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-09  Javier Miranda  <miranda@adacore.com>

* sem_ch3.adb (Build_Derived_Record_Type): Fix typo.
(Derive_Progenitor_Subprograms): Handle interfaces in subtypes of
tagged types.

2009-04-09  Robert Dewar  <dewar@adacore.com>

* s-direio.adb: Minor reformatting

* exp_ch4.adb (Expand_Concatenate): Avoid overflow checks for String

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145808 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-09  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb (Expand_Concatenate): Improve handling of overflow cases

2009-04-09  Pascal Obry  <obry@adacore.com>

* a-cihama.adb, a-cihama.ads, a-coinve.adb, a-coinve.ads,
s-tpoben.adb, s-tpoben.ads, s-finimp.adb, s-finimp.ads,
a-convec.adb, a-convec.ads, a-finali.adb, a-finali.ads,
a-filico.ads: Add some missing overriding keywords.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145807 138bc75d-0d04-0410-961f-82ee72b054a4

* except.c (find_prev_try): Break out from ....
(duplicate_eh_regions): ... here; properly update prev_try pointers
when duplication part of tree.
(dump_eh_tree): Improve dumping.
(verify_eh_region): New.
(verify_eh_tree): Use it.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145805 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-09  Pascal Obry  <obry@adacore.com>

* a-cihama.adb, a-cihama.ads, a-coinve.adb, a-coorma.ads, a-cihase.adb,
a-cihase.ads, a-cohama.adb, a-cohama.ads, a-coorse.adb, a-coorse.ads,
a-coormu.adb, a-coormu.ads, a-cohase.adb, a-cohase.ads: Minor
reformatting.

2009-04-09  Ed Schonberg  <schonberg@adacore.com>

* sem_ch6.adb (Check_Overriding_Indicator): Do not generate warning on
missing overriding indicator if the new declaration is not seen as
primitive.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145804 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-09  Thomas Quinot  <quinot@adacore.com>

* exp_ch4.adb (Expand_Concatenate): Add circuitry to properly handle
overflows in computation of bounds.

2009-04-09  Pascal Obry  <obry@adacore.com>

* a-cihama.adb, a-cgcaso.adb, a-cihase.adb, a-cohase.adb: Fix some
typos in comment.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145803 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-09  Robert Dewar  <dewar@adacore.com>

* sem_attr.adb (Check_Stream_Attribute): Check violation of
restriction No_Streams

* gnat_rm.texi: Clarify No_Streams restriction

* g-socket.adb: Minor reformatting.

2009-04-09  Thomas Quinot  <quinot@adacore.com>

* g-socket.ads: Mark Initialize and Finalize as obsolesent interfaces.

2009-04-09  Geert Bosch  <bosch@adacore.com>

* exp_fixd.adb (Build_Conversion): Accept new optional Trunc argument.
(Set_Result): Likewise.
(Expand_Convert_Float_To_Fixed): Have Set_Result truncate the
conversion, as required by RM 4.6(31).

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145801 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-09  Richard Guenther  <rguenther@suse.de>

* c-gimplify.c (c_gimplify_expr): Fix the invalid GENERIC
&ARRAY addresses by adjusting their types and prepending
a conversion.
* tree-cfg.c (verify_gimple_assign_single): Verify that
addresses are correct.

* gcc.dg/vect/vect-54.c: Make constant input data file-scope
to prevent constant propagation.
* gcc.dg/vect/vect-56.c: Likewise.
* gcc.dg/vect/vect-58.c: Likewise.
* gcc.dg/vect/vect-60.c: Likewise.
* gcc.dg/vect/no-vfa-vect-57.c: Likewise.
* gcc.dg/vect/no-vfa-vect-61.c: Likewise.
* gcc.dg/tree-prof/stringop-2.c: Adjust expected outcome.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145800 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-09  Richard Guenther  <rguenther@suse.de>

* tree-ssa-ccp.c (maybe_fold_stmt_addition): Move non-constant
indices into an array reference if possible.
* tree-ssa-forwprop.c (tree_ssa_forward_propagate_single_use_vars):
Fold POINTER_PLUS_EXPR statements with invariant address.

* gcc.dg/tree-ssa/ssa-ccp-25.c: New testcase.
* gcc.dg/tree-ssa/ssa-ccp-26.c: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145799 138bc75d-0d04-0410-961f-82ee72b054a4

PR target/39634
* config.gcc (powerpc64-*-linux*): Always build biarch.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145795 138bc75d-0d04-0410-961f-82ee72b054a4

PR c/39613
* c-typeck.c (do_case): If case label is not an INTEGER_CST, fold
it and pedwarn if this results in an INTEGER_CST.

testsuite:
* gcc.dg/case-const-1.c, gcc.dg/case-const-2.c,
gcc.dg/case-const-3.c: New tests.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145793 138bc75d-0d04-0410-961f-82ee72b054a4

Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145791 138bc75d-0d04-0410-961f-82ee72b054a4

* include/backward/hashtable.h (erase): Correctly handle erasing a
reference to an entry in the hash table.
* testsuite/backward/hash_map/25896.cc: New.
* testsuite/backward/hash_set/25896.cc: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145788 138bc75d-0d04-0410-961f-82ee72b054a4

* config/abi/post/mips64-linux-gnu/baseline_symbols.txt:
Regenerate.
* config/abi/post/mips64-linux-gnu/64/baseline_symbols.txt: New
file.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145779 138bc75d-0d04-0410-961f-82ee72b054a4

* gcc.dg/c99-stdint-1.c: Fix cut-and-paste mistakes in test.
* gcc.dg/c99-stdint-7.c, gcc.dg/c99-stdint-8.c: New tests.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145778 138bc75d-0d04-0410-961f-82ee72b054a4

* zh_CN.po: Update.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145776 138bc75d-0d04-0410-961f-82ee72b054a4

* configure.ac: Bump minimum GMP/MPFR versions to 4.2 and 2.3.1.
* configure: Regenerate.

gcc:
* doc/install.texi: Update minimum GMP version.  Remove obsolete
text in MPFR section.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145774 138bc75d-0d04-0410-961f-82ee72b054a4

PR middle-end/39573
* omp-low.c (expand_omp_taskreg): Finalize taskreg static local_decls
variables.

* libgomp.c++/pr39573.C: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145772 138bc75d-0d04-0410-961f-82ee72b054a4

* trans-types.c (gfc_init_types): Ensure gfc_integer_types doesn't
contain TYPE_STRING_FLAG types.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145771 138bc75d-0d04-0410-961f-82ee72b054a4

* dwarf2out.c (class_scope_p): New static inline.
(class_or_namespace_scope_p): Use it.
(gen_variable_die): Use DW_TAG_member tag for static data member
declarations instead of DW_TAG_variable.

* g++.dg/debug/dwarf2/static-data-member1.C: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145770 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-08  Richard Guenther  <rguenther@suse.de>

* tree-ssa-sccvn.c (valueize_refs): Do not continue to
valueize random data.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145768 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-08  Janne Blomqvist  <jb@gcc.gnu.org>

PR fortran/39670
* invoke.texi (fdollar-ok): Fix typo.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145767 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-08  Robert Dewar  <dewar@adacore.com>

* checks.adb (Enable_Overflow_Check): Do not enable if overflow checks
suppressed.

* exp_ch4.adb (Expand_Concatenate): Make sure checks are off for all
resolution steps.

2009-04-08  Robert Dewar  <dewar@adacore.com>

* sem_ch12.adb (Analyze_Package_Instantiation): Remove test for
No_Local_Allocators restriction preventing local instantiation.

2009-04-08  Thomas Quinot  <quinot@adacore.com>

* sem_eval.adb: Minor comment fix

2009-04-08  Thomas Quinot  <quinot@adacore.com>

* g-socket.adb, g-socket.ads (GNAT.Sockets.Sockets_Library_Controller):
New limited controlled type used to automate the initialization and
finalization of the sockets implementation.
(GNAT.Sockets.Initialize, Finalize): Make these no-ops

2009-04-08  Vincent Celier  <celier@adacore.com>

* prj-attr.adb: New read-only project-level attribute Project_Dir

* prj-proc.adb (Add_Attributes): New parameter Project_Dir, value of
read-only attribute of the same name.
(Process_Declarative_Items): Call Add_Attributes with Project_Dir
(Recursive_Process): Ditto

* snames.adb: Add new standard name Project_Dir

* snames.ads: Add new standard name Project_Dir

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145766 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-08  Daniel Franke  <franke.daniel@gmail.com>

       PR fortran/39670
       * invoke.texi (fdollar-ok): Clarify limitations.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145764 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-08  Janne Blomqvist  <jb@gcc.gnu.org>

        * io/open.c (already_open): Test for POSIX close return value.
        * io/unit.c (close_unit_1): Likewise.
        * io/unix.c (raw_close): Return 0 for success for preconnected units.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145761 138bc75d-0d04-0410-961f-82ee72b054a4

    * config.gcc (aix tm_file):  Add aix-stdint.h.
        (aix tm clause use_gcc_stdint):  Set to wrap.
        * config/rs6000/aix-stdint.h:  New file.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145760 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-08  Janne Blomqvist  <jb@gcc.gnu.org>

        * runtime/string.c (compare0): Use gfc_charlen_type.
        * runtime/error.c (gfc_itoa): Move to io/write.c
        (xtoa): Rename to gfc_xtoa.
        * runtime/backtrace.c (show_backtrace): Call gfc_xtoa.
        * intrinsics/cshift0.c (cshift0): Use index_type for shift arg.
        * intrinsics/date_and_time.c (date_and_time): Use index_type.
        (itime_i4): Likewise.
        (itime_i8): Likewise.
        (idate_i4): Likewise.
        (idate_i8): Likewise.
        (gmtime_i4): Likewise.
        (gmtime_i8): Likewise.
        (ltime_i4): Likewise.
        (ltime_i8): Likewise.
        * libgfortran.h (gfc_itoa): Remove prototype.
        (xtoa): Rename prototype to gfc_xtoa.
        * io/list_read.c (nml_read_obj): Use size_t for string length.
        * io/transfer.c (read_block_direct): Change nbytes arg from
        pointer to value.
        (unformatted_read): Minor cleanup, call read_block_directly properly.
        (skip_record): Use ssize_t.
        (next_record_w_unf): Avoid stell() call by calling sseek with SEEK_CUR.
        (iolength_transfer): Make sure to multiply before cast.
        * io/intrinsics.c (fgetc): Remove unnecessary variable.
        * io/format.c (format_hash): Use gfc_charlen_type.
        * io/write.c (itoa): Move from runtime/error.c:gfc_itoa, rename,
        make static.
        (write_i): Call with pointer to itoa.
        (write_z): Call with pointer to gfc_xtoa.
        (write_integer): Pointer to itoa.
        (nml_write_obj): Type cleanup, don't call strlen in loop.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145758 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-08  Richard Guenther  <rguenther@suse.de>

PR middle-end/36291
* tree-dfa.c (add_referenced_var): Do not recurse into
global initializers.
* tree-ssa-ccp.c (get_symbol_constant_value): Add newly
exposed variables.
(fold_const_aggregate_ref): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145757 138bc75d-0d04-0410-961f-82ee72b054a4

PR c++/25185
* error.c (dump_aggr_type): Chase template typedefs if
-fno-pretty-templates.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145753 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-08  Thomas Quinot  <quinot@adacore.com>

* checks.adb: Minor reformatting

2009-04-08  Vincent Celier  <celier@adacore.com>

* vms_data.ads: Add documentation for new style keyword
OVERRIDING_INDICATORS

2009-04-08  Robert Dewar  <dewar@adacore.com>

* sem_ch3.adb (Check_Completion.Post_Error): Post error on spec if the
spec is in the current unit.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145749 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-08  Paolo Bonzini  <bonzini@gnu.org>

        * recog.c (ordered_comparison_operator): New.
        * gensupport.c (std_preds): Add it.
* doc/md.texi (Machine-Independent Predicates): Document it.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145748 138bc75d-0d04-0410-961f-82ee72b054a4

* tree-eh.c (cleanup_eh): When not optimizing, do not try EH merging.
* function.h (rtl_eh): Remove exception_handler_label_map.
* except.c (ehl_hash, ehl_eq, add_ehl_entry,
remove_exception_handler_label, for_each_eh_label_1): Remove.
(rtl_remove_unreachable_regions): Remove.
(convert_from_eh_region_ranges): Do not remove unreachable regions.
(find_exception_handler_labels): Don't build the hashtable.
(maybe_remove_eh_handler): Remove.
(for_each_eh_label): Rewrite to walk the tree.
(rest_of_handle_eh): Do not cleanup cfg prior EH construction.
* except.h (maybe_remove_eh_handler): Remove.
* passes.c (init_optimization_passes): Schedule second EH cleanup
before out-of-ssa.
* cfgrtl.c (rtl_delete_block, rtl_merge_blocks,
cfg_layout_merge_blocks): Do not call maybe_remove_eh_handler.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145747 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-08  Paolo Bonzini  <bonzini@gnu.org>

* genoutput.c (validate_optab_operands): New.
(gen_insn, gen_expand): Call it.

* genflags.c (gen_insn): Detect misused iterators.
(main): Pass line_no to gen_insn, exit with status 1 on error.

* genextract.c (line_no): Make global.
(VEC_safe_set_locstr): Change assertion to error message.
(main): Exit with status 1 on error.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145746 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-08  Ed Schonberg  <schonberg@adacore.com>

* sem_util.adb (Is_Protected_Self_Reference): Add guard to check for
presence of entity.

* usage.adb, gnat_ugn.texi: add info on -gnatyO: overriding indicators

2009-04-08  Vincent Celier  <celier@adacore.com>

* vms_data.ads: Add VMS equivalent for -gnatyO (OVERRIDING_INDICATORS)

2009-04-08  Thomas Quinot  <quinot@adacore.com>

* checks.ads: Minor reformatting

2009-04-08  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Update documentation of pragma Obsolescent

* sem_prag.adb (Analyze_Pragma, case Obsolescent): Allow identifiers to
be omitted, and allow Entity parameter to be omitted.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145745 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-08  Thomas Quinot  <quinot@adacore.com>

* exp_util.adb: Minor comment fix

2009-04-08  Robert Dewar  <dewar@adacore.com>

* g-socket.ads: Fix bad syntax in pragma Obsolescent

* par-ch2.adb (Scan_Pragma_Argument_Association): Check for error of
argument with no identifier following one that has an identifier. Was
missed in some cases.

* sem_prag.adb (Analyze_Pragma, case Check_Policy): Allow Policy
identifier.
(Analyze_Pragma, case Obsolescent): Allow Message, Version identifiers

* snames.adb: Add Name_Policy

* snames.ads: Add Name_Policy

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145744 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-08  Vincent Celier  <celier@adacore.com>

* snames.adb, snames.ads: Add new standard names IDE and
Compiler_Command.

2009-04-08  Ed Schonberg  <schonberg@adacore.com>

* exp_util.adb (Safe_Unchecked_Type_Conversion): Conversion is safe,
i.e. does not need a temporary to capture the value, if expression is
an acceess type, even if target type is a record whose size may not
have been determined yet.

* exp_disp.adb (Expand_Dispatching_Call): Set size info for generated
access_to_subprogram type, to avoid order-of-elaboration anomalies in
gigi.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145743 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-08  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Minor reformatting

* par-ch2.adb: Minor reformatting

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145742 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-08  Robert Dewar  <dewar@adacore.com>

* exp_attr.adb, sem_attr.adb, sem_util.adb: Code clean up.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145741 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-08  Robert Dewar  <dewar@adacore.com>

* sem_cat.adb (Check_Categorization_Dependencies): Handle Preelaborate
properly in the presence of Remote_Types or Remote_Call_Interface.

* sem_util.adb: Add comment.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145739 138bc75d-0d04-0410-961f-82ee72b054a4

PR c/39614
PR c/39673
* c-common.h (C_MAYBE_CONST_EXPR_PRE, C_MAYBE_CONST_EXPR_EXPR,
C_MAYBE_CONST_EXPR_INT_OPERANDS, C_MAYBE_CONST_EXPR_NON_CONST,
EXPR_INT_CONST_OPERANDS): Remove duplicate definitions.
* c-convert.c (convert): Do not call fold on results of conversion
functions when the result is a C_MAYBE_CONST_EXPR.
* c-parser.c (c_parser_postfix_expression): Do not fold condition
of __builtin_choose_expr.
* c-typeck.c (remove_c_maybe_const_expr): New.
(build_unary_op, build_conditional_expr, build_compound_expr,
build_binary_op, c_objc_common_truthvalue_conversion): Call
remove_c_maybe_const_expr on any input C_MAYBE_CONST_EXPR with
integer operands.

testsuite:
* gcc.c-torture/compile/pr39614-1.c,
gcc.c-torture/compile/pr39614-2.c,
gcc.c-torture/compile/pr39614-3.c,
gcc.c-torture/compile/pr39614-4.c,
gcc.c-torture/compile/pr39614-5.c,
gcc.c-torture/compile/pr39673-1.c,
gcc.c-torture/compile/pr39673-2.c: New tests.
* gcc.dg/gnu89-const-expr-2.c, gcc.dg/gnu99-const-expr-2.c: Test
more cases.
* gcc.dg/overflow-warn-1.c, gcc.dg/overflow-warn-2.c,
gcc.dg/overflow-warn-3.c, gcc.dg/overflow-warn-4.c: Update
expected errors.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145737 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-08  Robert Dewar  <dewar@adacore.com>

* ug_words: Add /ASSUME_VALID for -gnatB

* vms_data.ads: Add /ASSUME_VALID for -gnatB

* sem_cat.adb: Add clarifying commment

* a-direio.ads (Bytes): Make sure value is non-zero

2009-04-08  Ed Schonberg  <schonberg@adacore.com>

* sem_util.adb (Is_Variable): If the prefix is an explicit dereference
that does not come from source, check for a rewritten function call in
prefixed notation before other forms of rewriting.

2009-04-08  Robert Dewar  <dewar@adacore.com>

* Makefile.rtl: Remove s-strops and s-sopco? from the run time, since
these are now obsolescent units used only for bootrapping with an
older compiler.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145733 138bc75d-0d04-0410-961f-82ee72b054a4

2009-04-08  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Add documentation for pragma Thread_Local_Storage

* sem_ch3.adb: Minor comment updates

2009-04-08  Ed Schonberg  <schonberg@adacore.com>

* inline.adb (Back_End_Cannot_Inline): restrict warning to subprograms
that come from source.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145732 138bc75d-0d04-0410-961f-82ee72b054a4