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

* einfo.ads, einfo.adb (Is_Underlying_Record_View): New subprogram
(Set_Is_Underlying_Record_View): New subprogram

* sem_aggr.adb (Discr_Present, Resolve_Record_Aggregate): In case of
private types with unknown discriminants use the underlying record view
if available.

* sem_ch3.adb (Build_Derived_Private_Type): Enable construction of the
underlying record view in the full view of private types whose parent
has unknown discriminants.
(Build_Derived_Record_Type): Avoid generating the class-wide entity
associated with an underlying record view.
(Derived_Type_Declaration): Avoid deriving parent primitives in
underlying record views.

* sem_ch6.adb (Check_Return_Subtype_Indication): Add support for
records with unknown discriminants.

* sem_type.adb (Covers): Handle underlying record views.
(Is_Ancestor): Add support for underlying record views.

* exp_attr.adb (Expand_Attribute): Expand attribute 'size into a
dispatching call if the type of the target object is tagged and has
unknown discriminants.

* exp_aggr.adb (Resolve_Record_Aggregate): Add support for records with
unknown discriminants.

* exp_disp.adb (Build_Dispatch_Tables): Avoid generating dispatch
tables for internally built underlying record views.

* sprint.adb (sprint_node_actual): Improve output of aggregates with an
empty list of component associations.

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

* sem_ch10.adb: Minor reformatting

* socket.c, g-socthi-vms.adb, g-socthi-vms.ads, g-socthi-vxworks.ads,
g-socthi-mingw.ads, g-socthi.ads, g-socket.adb
(GNAT.Sockets.Inet_Addr): Do not use non-portable inet_aton, instead use
standard inet_pton API (and emulate it on platforms that do not
support it).
(GNAT.Sockets.Thin.Inet_Pton, VMS case): Implement in terms of
DECC$INET_ADDR, imported in Ada.
(GNAT.Sockets.Thin.Inet_Pton, VxWorks and Windows cases): Use C
implementation provided by GNAT runtime.
(__gnat_inet_pton): C implementation of inet_pton(3) for VxWorks and
Windows.

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

2009-04-20  Eric Botcazou  <ebotcazou@adacore.com>

* gnat_ugn.texi: Add documentation for -fno-ivopts.

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

* sem_ch10.adb (Analyze_Context): Do not analyze a unit in a
with_clause if it is the main unit.

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

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

* sem_type.adb, ali.adb, erroutc.adb: Minor code reorganization
(no behaviour change): Use Append instead of Increment_Last followed
by assignment.

2009-04-20  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch3.adb (Make_Predefined_Primitive_Specs): Do not generate the
declarations of all primitives associated with dispatching asynchronous,
conditional and timed selects when dispaching calls are forbidden and
select statements are not allowed (such as in Ravenscar).
(Predefined_Primitive_Bodies): Ditto for bodies.

* exp_disp.ad (Make_DT): Do not create and populate the
Select_Specific_Data of the dispatch table when dispatching calls are
forbidden and select statements are not allowed (such as in Ravenscar).

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

* a-tifiio.adb: Minor reformatting

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

* g-socthi-vms.adb, g-socket.adb, g-socket.ads: inet_aton(3), unlike
other C library functions, report *failure* with a zero status, and
success with a non-zero status.

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

* sem.ads, sem.adb (Walk_Library_Items): New generic procedure.
(Semantics): After analyzing each unit, Append it to the
Comp_Unit_List, if appropriate.

* gnat1drv.adb (Check_Library_Items): New procedure for debugging
purposes.
(Gnat1drv): Correct comment regarding Back_End_Mode.

2009-04-20  Eric Botcazou  <ebotcazou@adacore.com>

* gnat_ugn.texi: Add documentation for -fno-inline-small-functions.

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

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

* s-taprop-irix.adb, s-taprop-tru64.adb, s-taprop-vms.adb,
output.adb, output.ads, s-taprop-hpux-dce.adb,
s-taprop-linux.adb, s-taprop-solaris.adb, s-taprop-posix.adb: Minor
reformatting.

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

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

* g-socket.adb, g-socket.ads, g-socthi-mingw.ads, g-socthi-vms.adb,
g-socthi-vms.ads, g-socthi-vxworks.ads, g-socthi.ads
(GNAT.Sockets.Thin.C_Inet_Addr): Remove.
(GNAT.Sockets.Thin.Inet_Aton): New function, imported from C library
except for VMS where it is reimplemented in Ada using DECC$INET_ADDR.
(GNAT.Sockets.Inet_Addr): Use inet_aton(3) instead of inet_addr(3).

* debug.adb: Fix typo

* gnat_rm.texi: Minor doc fix.

* sem_ch7.adb, freeze.adb: Minor reformatting

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

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

* g-socket.ads: Add new constants:
  Loopback_Inet_Addr
  Unspecified_Group_Inet_Addr
  All_Hosts_Group_Inet_Addr
  All_Routers_Group_Inet_Addr

* s-oscons-tmplt.c, g-sttsne-vxworks.adb (System.OS_Constants): Add
ERANGE (Result too large).
(GNAT.Sockets.Thin.Task_Safe_NetDB, VxWorks version): Add missing
propagation of errno to caller.

2009-04-20  Hristian Kirtchev  <kirtchev@adacore.com>

* a-calend.adb, a-calend-vms.adb: Increase the number of leap seconds
to 24. Increment Leap_Seconds_Count and add an entry to aggregate
Leap_Second_Times.

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

* mlib-prj.adb (Build_Library): Use the shared library linker, if one
has been declared (Library_GCC or Linker'Driver), for the driver name.

* prj-nmsc.adb (Process_Linker): If Library_GCC is not declared and
Linker'Driver is, use Linker'Driver as the shared library linker.
(Process_Project_Level_Simple_Attributes): Issue a warning if attribute
Library_GCC is declared.
(Check_Library_Attributes): Set up the shared linker driver: either
Library_GCC or Linker'Driver. Issue a warning if Library_GCC is
declared.

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

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

* sem_elim.ads (Check_For_Eliminated_Subprogram): New procedure for
checking for references to eliminated subprograms that should be
flagged.
(Eliminate_Error_Message): Update comment to say "references" rather
than "calls" (since attribute cases are handled here as well).

* sem_elim.adb (Check_For_Eliminated_Subprogram): New procedure for
checking for references to eliminated subprograms that should be
flagged.  Add with and use of Sem and Sem_Util.

* sem_res.adb (Resolve_Call): Reject calls to eliminated subprograms.
Add with and use of Sem_Elim.

* sem_attr.adb (Analyze_Access_Attribute): Reject access attributes
applied to eliminated subprograms.
(Analyze_Attribute): Reject 'Address and 'Code_Address applied to
eliminated subprograms.
Add with and use of Sem_Elim.

* sem_disp.adb (Check_Dispatching_Call): Remove error check for calls
to eliminated subprograms, now handled during Resolve_Call.
Remove with and use of Sem_Elim.

* exp_disp.adb (Make_DT): Get Ultimate_Alias of primitive before
testing Is_Eliminated, for proper handling of primitive derived from
eliminated subprograms.

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

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

* g-socket.ads (Send_Socket): Fix misleading comment.

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

Complete previous change.

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

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

* switch-c.adb (Scan_Front_End_Switches): Disable inspector mode in
ASIS mode.

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

* a-tifiio.adb (Put): Avoid generating too many digits for certain
fixed types with smalls that are neither integer or the reciprocal
of an integer.

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

* uname.ads: Minor comment fix.

* types.ads: Minor comment fix.

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

* Makefile.in (generated_files): Take out $(simple_generated_c).

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

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

* adaint.c (__gnat_get_libraries_from_registry): Fix code to
avoid warning. At the same time fix a memory leak.

* osint.adb (Get_Libraries_From_Registry): Properly free memory
returned by the above routine.

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

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

* s-conca5.adb, s-conca5.ads, s-conca7.adb, s-conca7.ads, s-conca9.adb,
s-conca9.ads, rtsfind.ads, s-conca2.adb, s-conca2.ads, s-conca4.adb,
s-conca4.ads, s-conca6.adb, s-conca6.ads, s-conca8.adb, s-conca8.ads,
s-conca3.adb, s-conca3.ads (Str_Concat_Bounds_x): New functions.

* exp_ch4.adb (Expand_Concatenate): Minor code reorganization

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

* initialize.c (__gnat_initialize): Add braces to kill warning.

* adaint.c: Minor reformatting, untabify, remove trailing spaces.

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

* gcc-interface/Make-lang.in: Update dependencies.

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

2009-04-20  Eric Botcazou  <ebotcazou@adacore.com>

* adaint.h (__gnat_lwp_self): Declare on Linux.

* adaint.c (__gnat_os_filename): Add ATTRIBUTE_UNUSED on 'filename'.

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

* exp_ch5.adb, usage.adb, back_end.adb, opt.ads: Implement
front-end part of -fpreserve-control-flow switch.

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

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

* rtsfind.adb: Minor comment fix

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

* exp_aggr.adb: Minor reformatting
Minor code reorganization (use Nkind_In)

* g-socket.adb: Minor reformatting

* g-socket.ads: Minor comment fix

* s-auxdec.ads: Minor comment and organization update.

* s-auxdec-vms_64.ads: Minor comment and organization update.

* sem_ch10.adb: Minor addition of ??? comment

* sem_disp.adb: Minor reformatting

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

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

* inline.adb (Add_Inlined_Subprogram): Do not place on the back-end
list a caller of an inlined subprogram, if the caller itself is not
called.

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

* adaint.c: Disable use of ACL on network drives.

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

* gnat_ugn.texi: Add examples.

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

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

* g-socket.ads (Abort_Selector): Clarify documentation.

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

Update comments.

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

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

* opt.ads (Inspector_Mode): Update documentation of this flag.

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

* g-socket.ads: Minor reformatting

* socket.c, gsocket.h (__gnat_get_h_errno, VxWorks case): No need to
consider S_resolvLib error codes since we only use the hostLib wrappers.

2009-04-20  Eric Botcazou  <ebotcazou@adacore.com>

* sem_ch3.adb (Build_Derived_Private_Type): Insert the declaration
of the Underlying_Record_View after that of the derived type.

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

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

* switch-c.adb (Scan_Front_End_Switches): Disable front-end inlining
in inspector mode.

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

* sem_ch6.adb (New_Overloaded_Entity): Minor reformating.

* sem_ch6.ads (Subtype_Conformant, Type_Conformant): Add missing
documentation.

* exp_aggr.adb (Build_Record_Aggr_Code): Code cleanup.

* sem_disp.adb
(Check_Dispatching_Operation): Set attribute Is_Dispatching_Operation
in internally built overriding subprograms.

2009-04-20  Doug Rupp  <rupp@adacore.com>

* s-auxdec-vms_64.ads (Integer_{8,16,32,64}_Array): New array types.

* s-auxdec.ads: Likewise

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

* sem_ch3.adb (Find_Type_Name): Reject the completion of a private
type by an interface.

* exp_ch6.adb (Expand_Call): Inline To_Address unconditionally, to
minimze difference in expanded tree when compiled as spec of the main
unit, or as a spec in the context of another unit.

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

2009-04-20  Hristian Kirtchev  <kirtchev@adacore.com>

* a-calend.adb: Remove types char_Pointer, int, tm and tm_Pointer.
(localtime_tzoff): This routine no longer accepts an actual of type
tm_Pointer.
(UTC_Time_Offset): Remove local variable Secs_TM.

* sysdep.c (__gnat_localtime_tzoff): This routine no longer accepts an
actual of type struct tm*. Add local variable of type struct tm for all
targets that provide localtime_r and need to invoke it.

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

* s-oscons-tmplt.c, g-socket.adb, g-socket.ads
(GNAT.Sockets.Resolve_Error): Add case of EPIPE
Add case of EAGAIN for platforms where it is not equal to EWOULDBLOCK

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

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

* sem_ch3.adb: Minor reformatting

* lib-load.adb: Minor reformatting

* sem_ch4.adb: Minor reformatting

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

* namet-sp.ads, namet-sp.adb (Is_Bad_Spelling_Of): Implement new spec
(equal values => False).

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

* exp_ch6.adb (Is_Null_Procedure): predicate is global, so that calls
to null procedures can be inlined unconditionally.

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

* gcc-interface/trans.c (call_to_gnu): When creating the copy for a
non-addressable parameter passed by reference, do not convert the
actual if its type is already the nominal type, unless it is of
self-referential size.

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

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

* gnat_ugn.texi: Fix typos.

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

* debug.adb, gnat1drv.adb, sem_ch13.adb: Add circuitry to
Validate_Unchecked_Warnings to suppress warnings about size or
alignment or extra bits if either type involved has pragma Warnings
(Off) set for the type entity.

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

Daily bump.

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

* config/i386/cygwin-stdint.h (INTPTR_TYPE):  Remove "long".
(UINTPTR_TYPE):  Likewise.

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

PR c/37481
* c-typeck.c (digest_init): Check for initializing an array with a
string literal.

testsuite:
* gcc.dg/c99-flex-array-7.c: New test.

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

PR c/19771
* c-semantics.c (pop_stmt_list): Propagate
STATEMENT_LIST_HAS_LABEL to parent statement list.

testsuite:
* gcc.c-torture/execute/vla-dealloc-1.c: New test.

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

* config/mips/mips.h (mips_tune_attr): New macro.
* config/mips/mips.md (cpu): Use it.

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

PR c/38243
* c-decl.c (shadow_tag_warned): Diagnose use of restrict when
declaring a tag.

testsuite:
* gcc.dg/c99-restrict-3.c: New test.

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

* toplev.c (compile_file): Move call to coverage_finish ...
* cgraphunit.c (ipa_passes): ... here.
Call cgraph_process_new_functions.
* ipa-utils.c (get_base_var): Handle CONSTRUCTOR.
* Makefile.in (cgraphunit.o): Add dependency on COVERAGE_H.

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

libcpp:
PR preprocessor/20078
* include/cpp-id-data.h (struct cpp_macro): Add extra_tokens
field.
* include/cpplib.h (SP_DIGRAPH, SP_PREV_WHITE): Define.
(struct cpp_token): Change flags to unsigned short.
* lex.c (_cpp_lex_direct): Initialize arg_no for CPP_PASTE tokens.
(_cpp_equiv_tokens): Check arg_no for CPP_PASTE tokens.
(cpp_token_val_index): Return CPP_TOKEN_FLD_ARG_NO for CPP_PASTE
tokens.
* macro.c (macro_real_token_count): New.
(enter_macro_context, replace_args): Use macro_real_token_count.
(create_iso_definition): Record whitespace surrounding and digraph
spelling of # and ## tokens using SP_PREV_WHITE and SP_DIGRAPH.
Set extra_tokens and save CPP_PASTE tokens with arg_no set for
multiple consecutive ## tokens.
(_cpp_create_definition): Initialize extra_tokens.
(cpp_macro_definition): Use macro_real_token_count.

gcc/testsuite:
* gcc.dg/cpp/paste16.c, gcc.dg/cpp/redef4.c: New tests.

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

* cgraph.c (cgraph_create_edge, cgraph_set_call_stmt): Set proper cfun.
(dump_cgraph_node): Dump can throw external flag.
* ipa-pure-const.c (propagate): Fix propagation of nothrow flags.

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

* include/c_compatibility/stdatomic.h (__atomic_flag_for_address): Use
_GLIBCXX_NOTHROW.

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

* gcc-interface/trans.c (gigi): Make the special IA-64 descriptor type
a builtin type and give it a name.

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

* lib/gnat.exp (local_find_gnatmake): Pass --LINK to gnatlink.
Do not pass -B$root after -margs.

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

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

PR c/32061
PR c++/36954
* doc/invoke.texi: Add -Wlogical-op to -Wextra.
* common.opt (Wlogical-op): Move from here...
* c.opt (Wlogical-op): ... to here.
* c-typeck.c (parser_build_binary_op): Update call to
warn_logical_operator.
* c-opts.c (c_common_post_options): Enable warn_logical_op with
extra_warnings.
* c-common.c (warn_logical_op): Update.
* c-common.h (warn_logical_op): Update declaration.
cp/
* call.c (build_new_op): Save the original codes of operands
before folding.

testsuite/
* gcc.dg/pr32061.c: New.
* gcc.dg/Wlogical-op-1.c: Update.
* g++.dg/warn/Wlogical-op-1.C: Update.
* g++.dg/warn/pr36954.C: New.

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

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

Trim last ChangeLog entry.

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

Fix changelog entry.

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

* c_compatibility/stdatomic.h (atomic_flag_test_and_set_explicit,
atomic_flag_clear_explicit, __atomic_flag_wait_explicit): Use
_GLIBCXX_NOTHROW.
* bits/c++config (_GLIBCXX_NOTHROW): New.

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

* tree.c (protected_set_expr_location): Fix formatting.

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

Daily bump.

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

PR c/27676
* c-typeck.c (readonly_warning): new.
(build_unary_op, build_modify_expr): Use readonly_warning for
storing into something readonly but not const-qualified.

testsuite:
* gcc.dg/lvalue-5.c: New test.

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

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

Trim overlong ChangeLog entry.

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

PR c/22367
* c-typeck.c (build_unary_op): Check for taking address of
expression of type void.

testsuite:
* gcc.dg/lvalue-6.c, gcc.dg/lvalue-7.c: New tests.

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

* eh_type.cc (__cxa_current_exception_type) Mark throw().
* unwind-cxx.h (__cxa_get_globals, __cxa_get_globals_fast): Mark const.
(__cxa_get_exception_ptr): Mark pure.
(__cxa_bad_cast, __cxa_bad_typeid): Mark noreturn
(__terminate): Makr throw ().
* exception (terminate): Mark throw().
(uncaught_exception): Mark pure.
* eh_ptr.cc (_M_safe_bool_dummy): Mark throw().
* guard.cc (__cxa_guard_abort, __cxa_guard_release): Mark throw().
* eh_terminate.cc (__terminate, terminate): Mark throw().
* vec.cc (__cxa_vec_cleanup): Mark throw().
* cxxabi.h (__cxa_vec_cleanup, __cxa_guard_release, __cxa_guard_abort): Mark throw ().
(__cxa_pure_virtual): Mark noreturn.
(__cxa_current_exception_type): Mark throw and pure.
* exception_ptr.h (operator ==, !=, _M_get, !, ==,
__cxa_exception_type): Mark pure.
(_M_safe_bool_dummy): Mark pure and const.

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

* src/pool_allocator.cc (_M_get_free_list, _M_get_mutex): Mark throw ()
* src/mt_allocator.cc (_M_reclaim_block, _M_reclaim_block,
_M_destroy_thread_key): Mark throw ()
* debug.cc (_M_get_mutex, _M_attach_single, _M_detach_single,
_M_singular, _M_can_compare _M_get_mutex, _M_message,
_M_get_max_length): Mark throw ().
* include/debug/formatter.h (_M_message, _M_format_word,
_M_get_max_length): Mark throw ().
* include/debug/safe_base.h (_M_get_mutex, _M_attach_single,
_M_detach_single): Mark throw ().
(_M_singular, _M_can_compare, _M_get_mutex): Mark pure and throw ().
* include/ext/pool_allocator.h (_M_get_free_list): Mark const and
throw ()
(_M_get_mutex): Mark throw ().
* include/ext/mt_allocator.h (_M_reclaim_block): Mark throw ();
(_M_destroy_thread_key): Mark CONST and throw.
* include/bits/stl_list.h (swap, transfer, reverse, hook, unhook): Mark
throw ().

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

* src/condition_variable.cc (condition_variable,
condition_variable_any constructors): Mark throw()
* src/hash.cc (operator() for long double, string, and wstring): Mark
throw ().
* src/strstream.cc (strstreambuf constructors, freeze, str, pcount,
_M_setup, rdbuf, str): Mark throw ().
* src/chrono.cc (new): Mark throw ().
* include/std/system_error (system_category, generic_category): Mark
throw () and const.
* include/std/chrono (now): Mark throw ().
* include/std/condition_variable (condition_variable,
~condition_variable, condition_variable_any,
~condition_variable_any): Mark throw ().
* include/std/mutex (mutex): Mark throw ().
* include/bits/stl_list.h (swap, transfer, reverse, hook, unhook): Mark
throw.
* include/bits/functional_hash.h (operator()  on size_t): Mark pure and throw ().
* include/bits/locale_facets.tcc (__verify_grouping): Mark pure.
* include/bits/locale_classes.h (_S_initialize_once,
_S_clone_c_locale): Mark throw ().
(_S_get_c_name): Mark const and throw ().
(_M_id, _M_compare, _M_transform, _M_compare, _M_transform): Mark throw ().
* include/bits/locale_facets.h (__convert_to_v explicit instances):
Mark throw ().
(_M_convert_to_wmask, _M_initialize_ctype, _S_format_float): Mark throw ().
* include/bits/ios_base.h (_M_dispose_callbacks, _M_init, imbue,
ios_base): Mark throw ()
* include/bits/locale_facets_nonio.h (_M_put): Mark throw.
* include/backward/strstream (strstreambuf constructors): Mark throw ().
(str, freeze, _M_setupf): Mark throw ().
(pcount): Mark pure and throw ().
(rdbuf): Mark const and throw ().

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

libcpp:
* directives.c (parse_include): Pass true to check_eol.

gcc/testsuite:
* gcc.dg/cpp/include5.c: New test.

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

* cp-tree.h: Remove the prototype for insert_block.
* decl.c (insert_block): Remove.

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

PR c/35210
* c-typeck.c (build_function_call): Check for calling a function
with qualified void return types.  Call require_complete_type when
generating a trap.

testsuite:
* gcc.dg/call-diag-2.c: New test.

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

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

PR libstdc++/39802
* include/bits/locale_facets.tcc (num_get<>::_M_extract_int
(_InIter, _InIter, ios_base&, ios_base::iostate&, _ValueT&)):
Always accept negative values, for unsigned types too.
* testsuite/22_locale/num_get/get/char/39802.cc: New.
* testsuite/22_locale/num_get/get/wchar_t/39802.cc: Likewise.

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

* cgraph.c (cgraph_make_edge, dump_cgraph_node, cgraph_set_call_stmt):
Set nothrow flag.
* cgraph.h (struct function): Reduce loop_nest to 30 bits; add
can_throw_external flag.
* ipa-reference.c (ipa_utils_reduced_inorder): Update call.
* ipa-pure-const.c (ignore_edge): New function.
(propagate): Compute order for NOTHROW computation; set NOTHROWs
only over can_throw_external edges.
(local_pure_const): Add nothrow flag.
* ipa-utils.c (searchc): Add ignore_edge callback.
(ipa_utils_reduced_inorder): Add ignore_edge callback.
* ipa-utils.h (ipa_utils_reduced_inorder): Update prototype.
(set_nothrow_function_flags): Update cgraph.
* tree-cfg.c (verify_stmt): Relax nothrow checking when in IPA mode.

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

libcpp:
PR preprocessor/39646
* include/line-map.h (enum lc_reason): Add LC_RENAME_VERBATIM.
* line-map.c (linemap_add): Handle LC_RENAME_VERBATIM.
* directives.c (do_line, do_linemarker): Use LC_RENAME_VERBATIM in
place of LC_RENAME.

gcc/testsuite:
* gcc.dg/cpp/line8.c: New test.

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

* include/debug/formater.h: Include bits/c++config.h.
(_M_error): Mark noreturn.
* include/bits/c++config (_GLIBCXX_PURE, _GLIBCXX_CONST,
_GLIBCXX_NORETURN): New.
* include/bits/stl_tree.h (_Rb_tree_increment, _Rb_tree_increment,
_Rb_tree_decrement, _Rb_tree_decrement, _Rb_tree_black_count): Mark pure.
* include/c_compatibility/stdatomic.h (atomic_flag_test_and_set_explicit,
atomic_flag_clear_explicit, __atomic_flag_wait_explicit,
__atomic_flag_for_address): Mark by throw ().
* src/atomic.cc (atomic_flag_test_and_set_explicit,
atomic_flag_clear_explicit, __atomic_flag_wait_explicit,
__atomic_flag_for_address): Mark by throw ().

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

libcpp:
PR preprocessor/39647
* directives.c (check_eol): Add parameter expand.
(do_undef, parse_include, do_line, do_linemarker, do_ident,
do_pragma_once, do_pragma_system_header, do_ifdef, do_ifndef,
do_else, do_endif, do_assert, do_unassert): All callers changed.
Pass true from do_line, false elsewhere.

gcc/testsuite:
* gcc.dg/cpp/line7.c: New test.

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

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

PR middle-end/39804
* tree-ssa-ccp.c (fold_stmt_1): New function factored from ...
(fold_stmt): ... this and ...
(fold_stmt_inplace): ... this.
(fold_stmt_1): Fold references in calls and asms.
* tree-cfg.c (remove_useless_stmts_cond): Use fold_stmt.

* gcc.target/i386/pr39804.c: New testcase.

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

* tree-vrp.c (ssa_name_nonzero_p): Remove.
* tree.h: Remove the prototype for ssa_name_nonzero_p.

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

* tree.c (function_args_count): Remove.
* tree.h: Remove the prototype for function_args_count.

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

* tree-iterator.c (expr_only): Remove.
* tree.h: Remove the prototype for expr_only.

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

* reginfo.c (cannot_change_mode_set_regs): Remove.
* rtl.h: Remove the prototype for cannot_change_mode_set_regs.

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

* config/avr/avr.md (*rotlsi3_8, *rotlsi3_16, *rotlsi3_24 ): Check
whether operands 0 and 1 overlaps.

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

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

PR libfortran/39782
* io/transfer.c (data_transfer_init): Don't flush before seek.
(finalize_transfer): Remove extra flush.

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

* gcc.target/i386/pr39496.c: Compile with -mtune=i686.
* g++.dg/other/pr39496.C: Likewise.

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

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

PR middle-end/36902
* tree-vrp.c (check_array_ref): Pass a location_t instead of a
pointer. Use warning_at instead of warning.
(search_for_addr_array): Likewise.
(check_array_bounds): Likewise.
(check_all_array_refs): Check that the incoming edge is not in the
list of edges to be removed.
(check_all_array_refs): Avoid the temporal pointer.
(vrp_visit_cond_stmt): Fix typo.
(simplify_switch_using_ranges): Handle the case where the switch
index is an integer constant.
testsuite/
* gcc.dg/pr36902.c: New.

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

* config/mips/mips.c (mips_final_postscan_insn): Make it static.

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

* doc/extend.texi, doc/invoke.texi: Fix typos.

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

Daily bump.

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

* tree-flow-inline.h (get_lineno): Fix inverted test.

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

* tree-ssa-pre.c (create_expression_by_pieces): Remove
assertion for AVAIL_OUT.

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

PR target/38627
* config/sh/lib1funcs.asm [__ELF__ && __linux__]: Add .note.GNU-stack.
* config/sh/linux-atomic.asm: Likewise.

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

* except.c (debug_eh_tree): New.
(struct eh_region, struct eh_status): Move ...
* except.h: ... here.
(add_type_for_runtime): Declare extern.
(lookup_type_for_runtime): Likewise.
(debug_eh_tree): Declare.
* Makefile.in (GTFILES): List except.h before except.c

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

* omp-low.c (create_omp_child_function): Set DECL_CONTEXT
for DECL.
* cgraphunit.c (cgraph_build_static_cdtor): Likewise.
* tree-dfa.c (find_referenced_vars_in): Factor out of ...
(find_vars_r): ... here.
* tree-flow.h (find_referenced_vars_in): Declare.
* tree-ssa-pre.c (create_expression_by_pieces): Assert
that AVAIL_OUT exists for BLOCK.
* Makefile.in (CGRAPH_H): Add dependency on cif-code.def
(tree-loop-distribution.o): Fix dependency on TREE_VECTORIZER_H.
(tree-parloops.o): Likewise.

testsuite/ChangeLog

* gcc.c-torture/execute/builtins/strlen-3.c: Fix ODR
violation for variable 'inside_main'.

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

2009-04-17  Simon Baldwin  <simonb@google.com>

* toplev.c (default_tree_printer): Add handling for %E format.

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

* tree-pretty-print.c (dump_generic_node): Add break
after TREE_BINFO handler.
Handle COMPLEX_TYPE, REAL_TYPE and FIXED_POINT_TYPE
Handle NULL TREE_TYPEs.
Handle METHOD_TYPE and FUNCTION_TYPE together.
Call print_struct_decl when printing structures and
TDF_SLIM is not given.
(print_struct_decl): Fix logic for detecting recursion.

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

PR 31567
* gcc.c (create_at_file): New.
(compile_input_file_p): New.
(do_spec_1): Use @args files for %i. Use create_at_file for %o.
* main.c (main): Update call to toplev_main.
* toplev.c (toplev_main): Change signature. Call expandargv.
* toplev.h (toplev_main): Change signature.

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

* dwarf2out.c (field_byte_offset): Use the type size as the field size
if the latter is not constant.

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

    * dbxout.c (xcoff_debug_hooks): Add set_name_debug_nothing.

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

* dbxout.c (dbxout_block): Reinstate test on TREE_USED.
* tree-ssa-live.c (remove_unused_scope_block_p): Update TREE_USED bit. * dbxout.c (dbxout_block): Reinstate test on TREE_USED.
* tree-ssa-live.c (remove_unused_scope_block_p): Update TREE_USED bit.

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

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

* tree-ssa-structalias.c (get_constraint_for_component_ref):
Handle component references view-converting an invariant address.

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

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

* io/io.h (is_preconnected): Remove prototype.
* io/unix.c (is_preconnected): Remove function.

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

* doc/tm.texi (TARGET_DEFAULT_TARGET_FLAGS,
TARGET_MIN_ANCHOR_OFFSET, TARGET_MAX_ANCHOR_OFFSET,
TARGET_HAVE_SRODATA_SECTION, TARGET_HAVE_TLS,
TARGET_UNWIND_TABLES_DEFAULT, TARGET_TERMINATE_DW2_EH_FRAME_INFO):
Use @deftypevr rather than @deftypevar.

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

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

* tree-ssa-forwprop.c (get_prop_dest_stmt): Clean up
tuplification.
(get_prop_source_stmt): Likewise.
(can_propagate_from): Likewise.

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

2009-04-17  Andrew Stubbs  <ams@codesourcery.com>

* configure.ac: Add new AC_SUBST for TM_ENDIAN_CONFIG,
TM_MULTILIB_CONFIG and TM_MULTILIB_EXCEPTIONS_CONFIG.
(--with-multilib-list): Add default value.
* configure: Regenerate.
* Makefile.in (TM_ENDIAN_CONFIG): Define.
(TM_MULTILIB_CONFIG, TM_MULTILIB_EXCEPTIONS_CONFIG): Define.
* config.gcc (sh-*-*): Switch to using TM_ENDIAN_CONFIG,
TM_MULTILIB_CONFIG, and TM_MULTILIB_EXCEPTIONS_CONFIG.
Don't add default cpu to multilib list unnecessarily, but do enable
the relevant compiler option..
Add support for --with-multilib-list=<blank> and
--with-multilib-list=!<somelib> to supress unwanted multilibs.
* config/sh/t-sh (DEFAULT_ENDIAN, OTHER_ENDIAN): New variables.
(MULTILIB_ENDIAN, MULTILIB_CPUS): Delete variables.
(MULTILIB_OPTIONS): Redefine using OTHER_ENDIAN and
TM_MULTILIB_CONFIG.
(MULTILIB_EXCEPTIONS): Add TM_MULTILIB_EXCEPTIONS_CONFIG.
(MULTILIB_OSDIRNAMES): New variable.
* config/sh/t-1e: Delete file.
* config/sh/t-mlib-sh1: Delete file.
* config/sh/t-mlib-sh2: Delete file.
* config/sh/t-mlib-sh2a: Delete file.
* config/sh/t-mlib-sh2a-nofpu: Delete file.
* config/sh/t-mlib-sh2a-single: Delete file.
* config/sh/t-mlib-sh2a-single-only: Delete file.
* config/sh/t-mlib-sh2e: Delete file.
* config/sh/t-mlib-sh3e: Delete file.
* config/sh/t-mlib-sh4: Delete file.
* config/sh/t-mlib-sh4-nofpu: Delete file.
* config/sh/t-mlib-sh4-single: Delete file.
* config/sh/t-mlib-sh4-single-only: Delete file.
* config/sh/t-mlib-sh4a: Delete file.
* config/sh/t-mlib-sh4a-nofpu: Delete file.
* config/sh/t-mlib-sh4a-single: Delete file.
* config/sh/t-mlib-sh4a-single-only: Delete file.
* config/sh/t-mlib-sh4al: Delete file.
* config/sh/t-mlib-sh5-32media: Delete file.
* config/sh/t-mlib-sh5-32media-nofpu: Delete file.
* config/sh/t-mlib-sh5-64media: Delete file.
* config/sh/t-mlib-sh5-64media-nofpu: Delete file.
* config/sh/t-mlib-sh5-compact: Delete file.
* config/sh/t-mlib-sh5-compact-nofpu: Delete file.
* config/sh/t-linux: Don't override MULTILIB_EXCEPTIONS.
* doc/install.texi (Options specification): Add
--with-multilib-list and --with-endian.

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

* gcc-interface/misc.c (gnat_expand_expr): Remove.
(LANG_HOOKS_EXPAND_EXPR): Remove.

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

2009-04-17  Rafael Avila de Espindola  <espindola@google.com>

* Makefile.in (REVISION_s): Always include quotes. Change ifdef to use
REVISION_c.
(OBJS-common): Add plugin-version.o.
(plugin-version.o): New.
* gcc-plugin.h (plugin_gcc_version): New.
(plugin_default_version_check): New.
(plugin_init_func, plugin_init): Add version argument.
* plugin-version.c: New.
* plugin.c (str_plugin_gcc_version_name): New.
(try_init_one_plugin): Read plugin_gcc_version from the plugin and
pass it to the init function.
(plugin_default_version_check): New.

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

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

* tree-ssa-alias.c (refs_may_alias_p_1): Do not use TBAA
for decl-vs-decl disambiguation.

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

2009-04-17  Andreas Krebbel  <krebbel1@de.ibm.com>

* config/s390/s390.h (s390_tune_attr): New macro definition.
* config/s390/s390.md (cpu attribute): Map to s390_tune_attr.

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

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

* tree-ssa-ccp.c (struct fold_stmt_r_data): Remove.
(fold_stmt_r): Likewise.
(maybe_fold_reference): New function.
(fold_gimple_assign): Handle cases fold_stmt_r did.
(fold_stmt): Do not use fold_stmt_r.
(fold_stmt_inplace): Likewise.

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

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

* sem_ch3.adb: Minor reformatting

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

* adaint.c: Add __gnat_use_acl global variable to control use of ACL.

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

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

* sem_ch3.adb (Build_Derived_Enumeration_Type): Diagnose properly
illegal constraints on type derived from formal discrete types.

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

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

PR ada/35953

* g-socthi-vms.adb, g-socthi-vms.ads, g-socthi-vxworks.adb,
g-socthi-vxworks.ads, g-socthi-mingw.adb, g-socthi-mingw.ads,
g-socthi.adb, g-stsifd-sockets.adb, g-socthi.ads, g-socket.adb,
g-socket.ads (GNAT.Sockets.Thin.C_Send,
GNAT.Sockets.Thin.Syscall_Send): Remove unused subprograms.
Replace calls to send(2) with equivalent sendto(2) calls.
(GNAT.Sockets.Send_Socket): Factor common code in inlined subprogram.
(GNAT.Sockets.Write): Account for the case of hyper-empty arrays, do not
report an error in that case. Factor code common to the two versions
(datagram and stream) in common routine Stream_Write.

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

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

* exp_disp.adb: Minor reformatting
Minor code reorganization (use Nkind_In)

* prepcomp.adb: Minor reformatting

* sem_ch3.adb: Minor reformatting

* sem_res.adb: Minor comment addition

* exp_ch5.adb (Expand_Assign_Array): Use Has_Address_Clause to test
for address clause

* lib-xref.adb (Generate_Reference): Exclude recursive calls from
setting Is_Referenced

* types.ads: Minor reformatting

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

* gnat_ugn.texi: Initial documentation on binding generator.

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

* gcc-interface/Make-lang.in: Update dependencies.

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

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

* einfo.ads, einfo.adb: New attribute Underlying_Record_View, to handle
type extensions whose parent is a type with unknown discriminants.

* exp_aggr.adb (Expand_Record_Aggregate): If the type of an extension
aggregate has unknown discriminants, use the Underlying_Record_View to
obtain the discriminants of the ancestor part.

* exp_disp.adb (Build_Dispatch_Tables): Types that are
Underlying_Record_Views share the dispatching information of the
original record extension.

* exp_ch3.adb (Expand_Record_Extension): If the type inherits unknown
discriminants, propagate dispach table information to the
Underlying_Record_View.

* sem_ch3.adb (Build_Derived_Private_Type): If parent type has unknown
discriminants and declaration is not a completion, generate
Underlying_Record_View to provide proper discriminant information to
the front-end and to gigi.

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

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

* s-conca5.adb, g-sercom.adb, s-conca5.ads, s-conca7.adb, exp_imgv.adb,
s-conca7.ads, s-crc32.adb, s-crc32.ads, s-conca9.adb, s-conca9.ads,
s-addope.adb, i-cstrin.ads, s-addope.ads, s-carun8.adb, s-carun8.ads,
g-htable.ads, g-hesora.adb, g-hesora.ads, s-htable.adb, s-htable.ads,
s-conca2.adb, s-conca2.ads, a-except.adb, s-conca4.adb, a-except.ads,
s-conca4.ads, s-except.adb, s-except.ads, s-conca6.adb, s-conca6.ads,
g-spchge.adb, g-spchge.ads, g-u3spch.adb, g-u3spch.ads, s-conca8.adb,
s-conca8.ads, g-byorma.adb, g-byorma.ads, s-memory.adb, s-memory.ads,
g-speche.adb, g-speche.ads, g-stsifd-sockets.adb, exp_dist.adb,
s-imgenu.adb, s-imgenu.ads, s-mastop.adb, s-mastop.ads, s-exctab.adb,
s-exctab.ads, s-imenne.adb, s-imenne.ads, s-casuti.adb, osint.adb,
s-assert.adb, s-casuti.ads, s-assert.ads, s-os_lib.adb, s-conca3.adb,
s-conca3.ads: Remove unneeded pragma Warnings

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

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

* g-moreex.adb: Add comments.

* s-auxdec.ads: Add ??? comment for uncommented pragma Warnings (Off)

* s-auxdec-vms_64.ads: Add ??? comment for uncommented pragma
Warnings (Off)

* prepcomp.adb: Add ??? comment

* a-tasatt.adb: Minor reformatting

* g-trasym-vms-alpha.adb: Add ??? comment

* g-trasym-vms-ia64.adb: Add ??? comment

* xoscons.adb: Minor reformatting

* s-tassta.adb: Minor reformatting

* s-scaval.adb: Add ??? comment

* stand.ads: Minor code clean up (remove junk with of Namet)

* s-strcom.adb, s-strcom.ads, s-string.adb, s-string.ads, s-sopco3.adb,
s-sopco3.ads, s-strops.adb, s-strops.ads, s-sopco5.adb, s-sopco5.ads,
s-wchcnv.adb, s-wchcnv.ads, s-ststop.adb, s-ststop.ads, s-soflin.adb,
s-soflin.ads, s-traceb.adb, s-traceb.ads, s-traent.adb, s-traent.ads,
s-secsta.adb, s-secsta.ads, s-utf_32.adb, s-utf_32.ads, s-wchcon.adb,
s-wchjis.adb, s-wchcon.ads, s-wchjis.ads, s-sopco4.adb, s-sopco4.ads,
s-stache.adb, s-stache.ads, s-stoele.adb, s-stoele.ads, s-stalib.adb,
s-stalib.ads, s-os_lib.ads, s-purexc.ads: Remove no longer needed
Warnings off pragmas.

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

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

* initialize.c: Fix test for reallocating the arguments array.

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

* exp_fixd.adb (Expand_Convert_Float_To_Fixed): Have float to fixed
conversion truncate only for decimal fixed point types.

2009-04-17  Jerome Lambourg  <lambourg@adacore.com>

* g-comlin.adb (Initialize_Scan_Option): Make sure the sections are
reinitialized.

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

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

* tree-ssa-dom.c (gimple_assign_unary_useless_conversion_p): Remove.
(record_equivalences_from_stmt): Remove useless checks and
simplifications.
* tree-ssa-pre.c (eliminate): Avoid converting a constant if
the type is already suitable.

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