2007-12-06  Robert Dewar  <dewar@adacore.com>

* g-byorma.adb, g-byorma.ads, g-decstr.adb, g-decstr.ads,
g-deutst.ads, g-encstr.adb, g-encstr.ads, g-enutst.ads: New files.

* scn.adb: Implement BOM recognition

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

* rtsfind.adb (Check_CRT): Take into account RTE_Available_Call
Fixes another case where RTE_Available_Call was ignored instead of being
taken into account.
(Load_Fail): Ditto.

* rtsfind.ads: Add new entries.

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

2007-12-06  Bob Duff  <duff@adacore.com>

* restrict.ads, restrict.adb (Check_Implicit_Dynamic_Code_Allowed): New
procedure to be called from the back end to check the
No_Implicit_Dynamic_Code restriction.

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

2007-12-06  Emmanuel Briot  <briot@adacore.com>
    Vincent Celier  <celier@adacore.com>

* prj.ads, prj.adb (Is_A_Language): Now takes a Name_Id instead of a
string
(Must_Check_Configuration, Default_Language_Is_Ada): new flags in
prj.ads
(Hash): Move instantiation of System.HTable.Hash from spec to body
(prj-nmsc.adb): Optimize calls to Name_Find when on case sensitive
systems, since we do not need to recompute the Name_Id for the canonical
file name.
(Body_Suffix_Id_Of, Spec_Suffix_Id_Of): new version that takes a name_id
as a parameter. This parameter is in fact always "ada" in all calls, and
we were doing 160560 extra calls to Name_Find to convert it to Name_Ada
while loading a project with 40000 files

* prj-attr.adb: Fix name of attribute Dependency_Driver
Change the kind of indexing for attribute Root

* prj-dect.adb (Parse_Declarative_Items): Allow redeclarations of
variables already declared, in case constructions.

* prj-env.adb (Initialize): Reset Current_Source_Path_File and
Current_Object_Path_File to No_Path.

* prj-ext.adb (Initialize_Project_Path): In multi language mode, use
ADA_PROJECT_PATH if value of GPR_PROJECT_PATH is empty.

* prj-makr.adb: new parameter Current_Dir

* prj-nmsc.ads, prj-nmsc.adb (Find_Explicit_Sources): Do not look for
Ada sources when language is not Ada.
Change Opt.Follow_Links to Opt.Follow_Links_For_Files.
(Find_Excluded_Sources, Find_Explicit_Sources): new subprograms
(Must_Check_Configuration, Default_Language_Is_Ada): new flags.
(Locate_Directory): Always resolve links when computing Canonical_Path
(Look_For_Sources): Make sure that Name_Buffer contains the file name
in Source_Files before checking for the presence of a directory
separator.
Optimize calls to Name_Find when on case sensitive systems.
(Body_Suffix_Id_Of, Spec_Suffix_Id_Of): new version that takes a name_id
as a parameter.
(Prj.Nmsc.Check): new parameter Current_Dir
(Check_Ada_Naming_Schemes): Restrictions on suffixes are relaxed. They
cannot be empty and the spec suffix cannot be the same as the body or
separate suffix.
(Get_Unit): When a file name can be of several unit kinds (spec, body or
subunit), always consider the longest suffix.
(Check_Configuration): Do not issue an error if there is no compiler
for a language. Just issue a warning and ignore the sources for the
language.
(Check_Library_Attributes): Only check Library_Dir if Library_Name is
not empty.
(Check_Naming_Schemes.Maked_Unit): Only output message if high verbosity
(Unit_Exceptions): New hash table
(Check_Naming_Schemes): Check if a file that could be a unit because of
the naming scheme is not in fact a source because there is an exception
for the unit.
(Look_For_Sources): Put the unit exceptions in hash table
Unit_Exceptions
(Get_Unit_Exceptions): Give initial value No_Source to local variable
Other_Part to avoid exception when code is compiled with validity
checking.
(Get_Sources_From_File): Check that there is no directory information
in the file names.
(Look_For_Sources): Check that there is no directory information in the
list of file names in Source_Files.
(Look_For_Sources): In multi-language mode, do not allow exception file
names that are excluded.
(Excluded_Sources_Htable): New hash table
(Search_Directories.Check_File): New procedure to simplify
Search_Directories.
(Search_Directories): Do not consider excluded sources
(Look_For_Sources): Populate Excluded_Sources_Htable before calling
Search_Directories.
(Get_Exceptions): Set component Lang_Kind of Source_Data
(Get_Unit_Exceptions): Ditto
(Search_Directories): Ditto

* prj-pars.adb: new parameter Current_Dir

* prj-part.ads, prj-part.adb:
Change Opt.Follow_Links to Opt.Follow_Links_For_Files.
(Opt.Follow_Links_For_Dirs): New flag
(Project_Path_Name_Of): Cache information returned by this routine as
Locate_Regular_File is a costly routine. The code to output a log
information and the effective call to Locate_Regular_File is now
factorized into a routine (code clean-up).
(Parse, Parse_Single_Project): new parameter Current_Dir
When main project file cannot be found, indicate in the error
message the project path that was used to do the search.

* prj-proc.ads, prj-proc.adb (Opt.Follow_Links_For_Dirs): New flag
(Prj.Proc.Process*): new parameter Current_Dir

* switch-m.adb: Change Opt.Follow_Links to Opt.Follow_Links_For_Files

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

2007-12-06  Robert Dewar  <dewar@adacore.com>

* inline.adb (Back_End_Cannot_Inline): Use new flag
Has_Pragma_Inline_Always instead of obsolete function Is_Always_Inlined

* sem_ch6.ads, sem_ch6.adb (Analyze_Subprogram_Body): Use new flag
Has_Pragma_Inline_Always instead.
of obsolete function Is_Always_Inlined
(Build_Body_To_Inline): Same change
(Cannot_Inline): Same change
Do not give warning on exception raise in No_Return function

* sem_ch13.adb (Analyze_Record_Representation_Clause): If an inherited
component has two inconsistent component clauses in the same record
representation clause, favor the message that complains about
duplication rather than inconsistency.
Update comments.
(Record_Representation_Clause): Do not warn on missing component
clauses for inherited components of a type extension.
(Rep_Item_Too_Late): Do not attempt to link pragma into rep chain for
an overloadable item if it is a pragma that can apply to multiple
overloadable entities (e.g. Inline) because a pragma cannot be on
more than one chain at a time.
(Validate_Unchecked_Conversion): Add code to warn on unchecked
conversion where one of the operands is Ada.Calendar.Time.
(Analyze_Attribute_Definition_Clause): Fix typo in error message.
For now, ignore Component_Size clause on VM targets, as done for
pragma Pack.

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

2007-12-06  Robert Dewar  <dewar@adacore.com>

* g-spipat.adb (Break): Fix accessibility error (vsn taking not null
access Vstring)

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

2007-12-06  Robert Dewar  <dewar@adacore.com>

* g-spchge.ads, g-spchge.adb, g-u3spch.adb, g-u3spch.ads,
g-wispch.adb, g-wispch.ads, g-zspche.adb, g-zspche.ads,
namet-sp.adb, namet-sp.ads: New files.

* g-speche.adb: Use generic routine in g-spchge

* s-wchcnv.ads, s-wchcnv.adb:
Minor code cleanup (make formal type consistent with spec)

* namet.adb: Update comments.

* par-endh.adb (Evaluate_End_Entry): Use new
Namet.Sp.Is_Bad_Spelling_Of function

* par-load.adb (Load): Use new Namet.Sp.Is_Bad_Spelling_Of function

* sem_aggr.adb (Resolve_Record_Aggregate): If a component of an
ancestor is an access type initialized with a box, set its type
explicitly, for use in subsequent expansion.
(Check_Misspelled_Component): Use new Namet.Sp.Is_Bad_Spelling_Of
function

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

2007-12-06  Vasiliy Fofanov  <fofanov@adacore.com>

* g-regist.ads, g-regist.adb (Set_Value): new parameter Expand; when
set to True this procedure will create the value of type REG_EXPAND_SZ.
It was only possible to create REG_SZ values before.

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

2007-12-06  Vincent Celier  <celier@adacore.com>

* gnatcmd.adb (GNATCmd): Do not issue -d= switch to gnatmetric when
object directory of main project does not exist.
On VMS, correctly set then environment variable for the source
directories.

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

2007-12-06  Robert Dewar  <dewar@adacore.com>
    Ed Schonberg  <schonberg@adacore.com>

* gnat1drv.adb (Gnat1drv): Properly set new flag Opt.Real_VMS_Target

* layout.adb (Resolve_Attribute, case 'Access): If designated type of
context is a limited view, use non-limited view when available. If the
non-limited view is an unconstrained array, this enforces consistency
requirements in 3.10.2 (27).
(Layout_Type): For an access type whose designated type is a limited
view, examine its declaration to determine if it is an unconstrained
array, and size the access type accordingly.
(Layout_Type): Do not force 32-bits for convention c subprogram
pointers in -gnatdm mode, only if real vms target.

* sem_attr.adb (Analyze_Access_Attribute): Use new flag
Has_Pragma_Inline_Always instead of obsolete function Is_Always_Inlined
(Analyze_Access_Attribute,Attribute_Address): Remove checks for
violations of the No_Implicit_Dynamic_Code restriction.
(Resolve_Attribute, case 'Access): If designated type of context is a
limited view, use non-limited view when available. If the non-limited
view is an unconstrained array, this enforces consistency requirements
in 3.10.2 (27).
(Layout_Type): For an access type whose designated type is a limited
view, examine its declaration to determine if it is an unconstrained
array, and size the access type accordingly.

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

2007-12-06  Emmanuel Briot  <briot@adacore.com>

* g-calend.ads (No_Time): New constant, to represent an uninitialized
time value

* g-catiio.ads, g-catiio.adb (Value): Added support for more date
formats.
(Month_Name_To_Number): New subprogram

* g-dirope.adb (Get_Current_Dir): On windows, normalize the drive
letter to upper-case.

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

2007-12-06  Robert Dewar  <dewar@adacore.com>
    Ed Schonberg  <schonberg@adacore.com>

* exp_prag.adb (Expand_Pragma_Assert): Recognize new warning flag for
assert fail

* ug_words: Add entries for -gnatw.a -gnatw.A

* sem_res.adb (Set_String_Literal_Subtype): If the context of the
literal is a subtype with non-static constraints, use the base type of
the context as the base of the string subtype, to prevent type
mismatches in gigi.
(Resolve_Actuals): If the actual is an entity name, generate a
reference before the actual is resolved and expanded, to prevent
spurious warnings on formals of enclosing protected operations.
(Analyze_Overloaded_Selected_Component): If type of prefix if
class-wide, use visible components of base type.
(Resolve_Selected_Component): Ditto.
(Resolve_Short_Circuit): Detect case of pragma Assert argument
evaluating to False, and issue warning message.

* usage.adb: Add lines for -gnatw.a and -gnatw.A

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

2007-12-06  Javier Miranda  <miranda@adacore.com>

* exp_intr.adb (Expand_Dispatching_Constructor_Call): Add missing
support for generic dispatching constructor calls in which we need to
locate the tag of a secondary dispatch table associated with an
interface type to properly dispatch the call.
(Expand_N_Attribute_Reference [case Address],
Expand_Dispatching_Constructor_Call, Expand_Unc_Deallocation): Fix
handling of VM targets.

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

2007-12-06  Pascal Obry  <obry@adacore.com>

* expect.c (__gnat_kill) [WIN32]: Implement the SIGINT signal on
Windows. This signal is used by gnatmake to kill child processes for
example.

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

2007-12-06  Hristian Kirtchev  <kirtchev@adacore.com>
    Javier Miranda  <miranda@adacore.com>

* exp_disp.ads, exp_disp.adb (Default_Prim_Op_Position): Primitive
_Disp_Requeue occupies dispatch table slot number 15. Move
_Disp_Timed_Select to slot 16.
(Make_Disp_Requeue_Body, Make_Disp_Requeue_Spec): New routines which
generate the spec and body of _Disp_Reqeueue.
(Make_DT): Build and initialize the second dispatch table.
Handle initialization of RC_Offset when the parent
is a private type with variable size components.
(Make_Secondary_DT): Complete documentation. Add support to
initialize the second dispatch table.
(Make_Tags): Generate the tag of the second dispatch table.
(Register_Primitive): Add support to register primitives in the
second dispatch table.

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

2007-12-06  Hristian Kirtchev  <kirtchev@adacore.com>
    Ed Schonberg  <schonberg@adacore.com>

* exp_ch9.adb (Expand_N_Asynchronous_Select,
Expand_N_Conditional_Entry_Call, Expand_N_Timed_Entry_Call): Code and
comment reformatting.
(Set_Privals): Inherit aliased flag from formal. From code reading.
(Build_Simple_Entry_Call): Out parameters of an access type are passed
by copy and initialized from the actual. This includes entry parameters.
(Expand_N_Requeue_Statement): Reimplement in order to handle both Ada 95
and Ada 2005 models of requeue.
(Null_Statements): Still connsider do-end block null if it contains
Unreferenced and Warnings pragmas.
(Expand_N_Accept_Statement): Do not optimize away null do end if
dispatching policy is other than defaulted.
(Expand_N_Timed_Entry_Call): When the triggering statement is a
dispatching call, manually analyze the delay statement.
(Find_Parameter_Type): Move subprogram to Sem_Util.

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

2007-12-06  Gary Dismukes  <dismukes@adacore.com>

* exp_ch8.ads, exp_ch8.adb (Expand_N_Subprogram_Renaming_Declaration):
In the case where the renamed subprogram is a dereference, call
Force_Evaluation on the prefix.

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

2007-12-06  Javier Miranda  <miranda@adacore.com>
    Ed Schonberg  <schonberg@adacore.com>

* exp_ch7.adb (Expand_N_Package_Body): Replace occurrence of attribute
Is_Complation_Unit by Is_Library_Level_Entity in the code
that decides if the static dispatch tables need to be built.
(Wrap_Transient_Declaration): Do not generate a finalization call if
this is a renaming declaration and the renamed object is a component
of a controlled type.

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

* exp_ch4.adb (Expand_N_Attribute_Reference, Displace_Allocator_Pointer,
Expand_Allocator_Expression): Take into account VM_Target

* exp_ch5.adb (Expand_N_Extended_Return_Statement): Do not use
secondary stack when VM_Target /= No_VM

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

2007-12-06  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch3.adb (Predefined_Primitive_Bodies): Generate the body of
predefined primitive _Disp_Requeue.
(Make_Predefined_Primitive_Specs): Create the spec for predefined
primitive _Disp_Requeue.
(Make_Predefined_Primitive_Specs/Predefined_Primitive_Bodies): Set the
type of formal Renamed_Eq to Entity_Id (instead of Node_Id).
(Make_Predefined_Primitive_Specs): Spec of "=" needed if the parent is
an interface type. In case of limited interfaces we now declare all the
predefined primitives associated with synchronized interfaces as
abstract.
(Predef_Spec_Or_Body): For interface types generate abstract subprogram
declarations.
(Predefined_Primitive_Bodies): Add body of "=" if the parent of the
tagged type is an interface type and there is no user-defined equality
function.
Add also bodies of predefined primitives associated with synchronized
interfaces.
(Freeze_Record_Type): Do not build bodies of predefined primitives of
interface types because they are now defined abstract.
Add missing documentation.
(Expand_Record_Controller): Update occurrence of Related_Interface
to Related_Type.
(Build_Offset_To_Top_Functions): Do nothing in case of VM.
(Expand_N_Object_Declaration): Take into account VM_Target when handling
class wide interface object declaration.
(Expand_Previous_Access_Type): Do not create a duplicate master entity
if the access type already has one.
(Expand_N_Object_Declaration): Defend against attempt to validity check
generic types. Noticed for -gnatVcf specified with previous errors.

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

2007-12-06  Ed Schonberg  <schonberg@adacore.com>

* expander.adb: Take into account N_Subprogram_Renaming_Declaration

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

2007-12-06  Ed Schonberg  <schonberg@adacore.com>

* exp_aggr.adb (Build_Record_Aggr_Code): If there is an aggregate for a
limited ancestor part, initialize controllers of enclosing record
before expanding ancestor aggregate.
(Gen_Assign): If a component of the aggregate is box-initialized, add
code to call Initialize if the component is controlled, and explicit
assignment of null if the component is an access type.

Handle properly aggregates for limited types that appear in object
declarations when the aggregate contains controlled values such as
protected types.
When expanding limited aggregates into individual components, do not
call Adjust on controlled components that are limited.

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

2007-12-06  Geert Bosch  <bosch@adacore.com>

* eval_fat.adb (Decompose_Int): Handle argument of zero.
(Compose): Remove special casing of zero.
(Exponent): Likewise.
(Fraction): Likewise.
(Machine): Likewise.
(Decompose): Update comment.

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

2007-12-06  Vincent Celier  <celier@adacore.com>

* errout.adb (Output_Source_Line): Do not keep a trailing space after
the source line number if the source line is empty.

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

2007-12-06  Hristian Kirtchev  <kirtchev@adacore.com>

* einfo.ads, einfo.adb: Flag 232 is now Implemented_By_Entry.
(Implemented_By_Entry, Set_Implemented_By_Entry): New routines.
(Write_Entry_Flags): Add an entry for Implemented_By_Entry.
(Renamed_In_Spec): New flag
(Has_Pragma_Inline_Always): New flag
Add missing doc for pragma Obsolescent_Warning
Add missing doc for 17 additional unused flags (230-247)
(Is_Derived_Type): Remove condition "not Is_Generic_Type".
Alphabetize with clauses.
Separate Is_Thunk and Has_Thunks flags
(Write_Entity_Flags): Add forgotten entry for Has_Thunks
(Related_Interface): Renamed to Related_Type.
(Has_Thunks/Set_Has_Thunks): Subprograms of new attribute.
(Set_Is_Flag): Restrict the assertion.

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

2007-12-06  Bob Duff  <duff@adacore.com>

* clean.adb (Usage): Add line for -aP
(Check_Version_And_Help): Change Check_Version_And_Help to be generic,
with a parameter "procedure Usage", instead of passing a pointer to a
procedure. This is to eliminate trampolines (since the Usage procedure
is often nested in a main procedure, and it would be inconvenient to
unnest it).

* g-comlin.adb (For_Each_Simple_Switch): Change For_Each_Simple_Switch
to be generic, with a parameter "procedure Callback (...)", instead of
passing a pointer to a procedure. This is to eliminate trampolines
(since the Callback procedure is usually nested).

* gnatfind.adb, switch.adb, switch.ads, gnatlink.adb, gnatls.adb,
gnatname.adb, gnatxref.adb, gnatchop.adb, gprep.adb, gnatbind.adb
(Check_Version_And_Help): Change Check_Version_And_Help to be generic.

* g-pehage.adb (Compute_Edges_And_Vertices, Build_Identical_Key_Sets):
Use the generic Heap_Sort_G instead of Heap_Sort_A.

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

2007-12-06  Robert Dewar  <dewar@adacore.com>

* checks.adb: Fix optimization problem with short-circuited form

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

2007-12-06  Robert Dewar  <dewar@adacore.com>

* back_end.adb: Recognize -fno-inline

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

2007-12-06  Vincent Celier  <celier@adacore.com>

* opt.ads: Indicate what flags are used by the Project Manager,
gprbuild and gprclean.
(Opt.Follow_Links_For_Dirs): New flag
(Warn_On_Assertion_Failure): New flag
(Wide_Character_Encoding_Method_Specified): New flag
(Suppress_All_Inlining): New switch set by -fno-inline
(Real_VMS_Target): New flag
New pragma Fast_Math

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

2007-12-06  Robert Dewar  <dewar@adacore.com>

* atree.adb (Flag231..Flag247): New functions
(Set_Flag231..Set_Flag247): New procedures
(Basic_Set_Convention): Rename Set_Convention to be
Basic_Set_Convention
(Nkind_In): New functions
Remove Atree.Delete_Tree/Delete_Node and Nlist.Delete_List

* exp_ch6.adb (Expand_Call): Use new flag Has_Pragma_Inline_Always
instead
 of obsolete function Is_Always_Inlined
(Register_Predefined_DT_Entry): Initialize slots of the second
secondary dispatch table.
Remove Atree.Delete_Tree/Delete_Node and Nlist.Delete_List
(Expand_N_Function_Call): Remove special provision for stack checking.

* exp_util.ads, exp_util.adb (Is_Predefined_Dispatching_Operation):
Include _Disp_Requeue in the list of predefined operations.
(Find_Interface_ADT): Modified to fulfill the new specification.
Remove Atree.Delete_Tree/Delete_Node and Nlist.Delete_List

* par-ch4.adb, nlists.ads, nlists.adb:
Remove Atree.Delete_Tree/Delete_Node and Nlist.Delete_List

* sinfo.ads, sinfo.adb: (Nkind_In): New functions
Fix location of flag for unrecognized pragma message

* sem_ch7.adb: Use Nkind_In

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

2007-12-06  Geert Bosch  <bosch@adacore.com>

* a-tifiio.adb
(Put_Int64): Use Put_Digit to advance Pos. This fixes a case where
the second or later Scaled_Divide would omit leading zeroes,
resulting in too few digits produced and a Layout_Error as result.
(Put): Initialize Pos.

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

2007-12-06  Robert Dewar  <dewar@adacore.com>
    Ed Schonberg  <schonberg@adacore.com>

* a-ngcoty.adb: New pragma Fast_Math

* opt.adb: New pragma Fast_Math

* par-prag.adb:
Add Implemented_By_Entry to the list of pragmas which do not require any
special processing.
(Favor_Top_Level): New pragma.
New pragma Fast_Math

* exp_attr.adb: Move Wide_[Wide_]Image routines to Exp_Imgv
(Expand_N_Attribute_Reference, Displace_Allocator_Pointer,
Expand_Allocator_Expression): Take into account VM_Target
(Expand_Attribute, case 'Identity):  Handle properly the case where
the prefix is a task interface.
New pragma Fast_Math

* par.adb (Next_Token_Is): New function
(P_Pragma): Add Skipping parameter
(U_Left_Paren): New procedure
(U_Right_Paren): New procedure
New pragma Fast_Math

* par-ch10.adb (P_Subunit): Unconditional msg for missing ) after
subunit
New pragma Fast_Math

* sem_prag.adb: Add significance value to table Sig_Flag for pragma
Implemented_By_Entry.
(Analyze_Pragma): Add case for Ada 2005 pragma Implemented_By_Entry.
(Set_Inline_Flags): Do not try to link pragma Inline onto chain of rep
items, since it can apply to more than one overloadable entity. Set
new flag Has_Pragma_Inline_Always for Inline_Always case.
(Analyze_Pragma, case Complex_Representation): Improve error message.
(Analyze_Pragma, case Assert): When assertions are disabled build the
rewritten code with Sloc of expression rather than pragma, so new
warning about failing is not deleted.
(Analyze_Pragma): Allow pragma Preelaborable_Initialization to apply to
protected types and update error message to reflect that. Test whether
the protected type is allowed for the pragma (an error is issued if the
type has any entries, or components that do not have preelaborable
initialization).
New pragma Fast_Math
(Analyze_Pragma, case No_Return): Handle generic instance

* snames.h, snames.ads, snames.adb:
Add new predefined name for interface primitive _Disp_Requeue.
New pragma Fast_Math

* a-tags.ads, a-tags.adb: New calling sequence for
String_To_Wide_[Wide_]String
(Secondary_Tag): New subprogram.

* exp_imgv.ads, exp_imgv.adb: Move Wide_[Wide_]Image routines here
from Exp_Attr
New calling sequence for String_To_Wide_[Wide_]String
(Expand_Image_Attribute): Major rewrite. New calling sequence avoids
the use of the secondary stack for image routines.

* a-except-2005.adb, s-wchstw.ads, s-wchstw.adb, s-wwdenu.adb: New
calling sequence for String_To_Wide_[Wide_]String

* par-ch3.adb (P_Declarative_Items): Recognize use of Overriding in
Ada 95 mode
(P_Unknown_Discriminant_Part_Opt): Handle missing parens gracefully
Remove Atree.Delete_Tree/Delete_Node and Nlist.Delete_List

* par-ch6.adb (P_Subprogram): Recognize use of Overriding in Ada 95 mode
(P_Formal_Part): Use Skipping parameter in P_Pragma call
to improve error recovery

* par-util.adb (Next_Token_Is): New function
(Signal_Bad_Attribute): Use new Namet.Is_Bad_Spelling_Of function

* par-ch2.adb (Skip_Pragma_Semicolon): Do not resynchronize to
semicolon if missing
(P_Pragma): Implement new Skipping parameter
Remove Atree.Delete_Tree/Delete_Node and Nlist.Delete_List
Fix location of flag for unrecognized pragma message

* par-tchk.adb (U_Left_Paren): New procedure
(U_Right_Paren): New procedure

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

2007-12-06  Robert Dewar  <dewar@adacore.com>

* a-textio.adb, a-textio.ads:
Extensive changes to private part for wide character encoding

* a-witeio.ads, a-witeio.adb, a-ztexio.ads, a-ztexio.adb
(Look_Ahead): Fix mishandling of encoded sequences
Move declaration of Wch_Con to private part (should not be visible)

* ali.adb (Scan_ALI): Set default encoding method to brackets instead of
UTF-8. Probably this is never used, but if it is, brackets is
clearly correct.

* bindgen.adb (Get_WC_Encoding): New procedure to properly handle
setting wide character encoding for no main program case and when
encoding is specified using -W?
Initialize stack limit of environment task if stack limit method of
stack checking is enabled.
(Gen_Adainit_Ada): Use Get_WC_Encoding to output encoding method
(Gen_Adainit_C): Use Get_WC_Encoding to output encoding method
(Get_Main_Unit_Name): New function.
(Gen_Adainit_Ada): Add call to main program for .NET when needed.
(Gen_Output_File): Set Bind_Main_Program to True for .NET

* bindusg.adb: Add line for -Wx switch

* s-wchcon.adb, s-wchcon.ads: (Is_Start_Of_Encoding): New function
Add comments
Add new useful constant WC_Longest_Sequences

* switch-b.adb: Clean up handling of -Wx switch
For -gnatWx, set Wide_Character_Encoding_Method_Specified

* switch-c.adb: -gnatg activates warning on assertion errors
For -gnatWx, set Wide_Character_Encoding_Method_Specified

* s-wchcon.adb: (Is_Start_Of_Encoding): New function

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

2007-12-06  Jose Ruiz  <ruiz@adacore.com>

* adaint.h: (__gnat_plist_init): Not defined for RTX.

* initialize.c (__gnat_initialize): Do not call __gnat_plist_init for
RTX systems.

* Makefile.in: Add new files s-tasinf-linux.ads and s-tasinf-linux.adb.
(LIBGNAT_TARGET_PAIRS, MISCLIB, THREADSLIB,
EXTRA_GNATRTL_NONTASKING_OBJS, EXTRA_GNATRTL_TASKING_OBJS,
GNATLIB_SHARED for RTX run time): Use the versions required by RTX.

* mingw32.h:
Do not define GNAT_UNICODE_SUPPORT for RTX since it is not supported.

* sysdep.c (winflush_function for RTX): Procedure that does nothing
since we only have problems with Windows 95/98, which are not
supported by RTX.
(__gnat_ttyname): Return the empty string on Nucleus, just as
done on vxworks.

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

2007-12-06  Robert Dewar  <dewar@adacore.com>

* sem_ch5.adb, s-taskin.adb, a-ciorma.adb, a-coorma.adb, a-cohama.adb,
a-cihama.adb, g-awk.adb,
s-inmaop-posix.adb: Update handling of assigned value/unreferenced
warnings

* exp_smem.adb: Update handling of assigned value/unreferenced warnings

* sem.adb: Update handling of assigned value/unreferenced warnings

* a-exexpr-gcc.adb: Add a pragma warnings off for boolean return

* lib-xref.ads: Improve documentation for k xref type

* lib-xref.adb:
Update handling of assigned value/unreferenced warnings
(Generate_Reference): Warning for reference to entity for which a
pragma Unreferenced has been given should be unconditional.
If the entity is a discriminal, mark the original
discriminant as referenced.

* sem_warn.ads, sem_warn.adb
(Check_One_Unit): Test Renamed_In_Spec to control giving warning for
no entities referenced in package
(Check_One_Unit): Don't give message about no entities referenced in
a package if a pragma Unreferenced has appeared.
Handle new warning flag -gnatw.a/-gnatw.A
Update handling of assigned value/unreferenced warnings

* atree.h: Add flags up to Flag247
(Flag231): New macro.

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

2007-12-06  Eric Botcazou  <ebotcazou@adacore.com>
    Bob Duff  <duff@adacore.com>
    Tristan Gingold  <gingold@adacore.com>

* system-linux-ia64.ads, system-freebsd-x86.ads, system-lynxos-ppc.ads,
system-lynxos-x86.ads, system-linux-x86_64.ads, system-tru64.ads,
system-aix.ads, system-vxworks-sparcv9.ads, system-solaris-x86.ads,
system-irix-o32.ads, system-irix-n32.ads, system-hpux.ads,
system-vxworks-m68k.ads, system-linux-x86.ads, system-vxworks-mips.ads,
system-solaris-sparc.ads, system-solaris-sparcv9.ads, system-vms.ads,
system-mingw.ads, system-vms-zcx.ads, system-vxworks-ppc.ads,
system-vxworks-arm.ads, system-darwin-x86.ads, system.ads,
system-vms_64.ads, system-darwin-ppc.ads, system-vxworks-x86.ads,
system-linux-ppc.ads, system-linux-hppa.ads, system-hpux-ia64.ads,
system-vms-ia64.ads (Stack_Check_Limits): New target parameter.
(Always_Compatible_Rep): New flag to control trampolines globally.
(Dynamic_Trampolines_Used): New flag for implementing the
No_Implicit_Dynamic_Code restriction more correctly (not yet used,
and not yet set correctly for some targets).

* s-taprop-vxworks.adb: Use stack limit method of stack checking.
Simply indirectly call s-stchop when a task is created.

* ali.ads:
New flag added: Stack_Check_Switch_Set which is set when '-fstack-check'
appears as an argument (entries A) in an ALI file.

* fe.h (Stack_Check_Limits): Declare new target parameter.
(Check_Implicit_Dynamic_Code_Allowed): New procedure.

* init.c: Declare __gnat_set_stack_limit_hook for VxWorks kernel RTS.
This variable is declared in C to be sure not subject to elaboration
code.
(__gnat_map_signal, VxWorks): In kernel mode, map SIGILL to
Storage_Error.

* targparm.ads, targparm.adb (Stack_Check_Limits): New parameter.
(Always_Compatible_Rep, Dynamic_Trampolines_Used): New parameters.

* s-stchop.ads: Add comments.

* s-stchop-vxworks.adb: Package almost fully rewritten to use stack
limit method of stack checking.

* s-stchop-limit.ads: New file.

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

2007-12-06  Robert Dewar  <dewar@adacore.com>

* s-osinte-lynxos-3.ads, s-osinte-hpux.ads, s-osinte-solaris-posix.ads,
s-osinte-freebsd.ads, s-osinte-lynxos.ads, s-osinte-tru64.ads,
s-osinte-mingw.ads, s-osinte-aix.ads, s-osinte-hpux-dce.ads,
s-osinte-irix.ads, s-osinte-solaris.ads, s-intman-vms.adb,
s-osinte-vms.ads, s-osinte-vxworks6.ads, s-osinte-vxworks.ads,
s-auxdec.ads, s-auxdec-vms_64.ads, s-osinte-darwin.ads,
s-taprop-vms.adb, s-interr-sigaction.adb, s-osinte-linux-hppa.ads,
i-vxwork-x86.ads, s-tpopde-vms.ads: Add missing pragma Convention C
for subprogram pointers.

* g-ctrl_c.adb: New file.

* g-ctrl_c.ads (Install_Handler): New body.

* freeze.adb (Freeze_Subprogram): Use new flag Has_Pragma_Inline_Always
instead of obsolete function Is_Always_Inlined.
(Freeze_Entity): check for tagged type in imported C subprogram
(Freeze_Entity): check for 8-bit boolean in imported C subprogram
(Freeze_Entity): check for convention Ada subprogram pointer in
imported C subprogram.
(Freeze_Fixed_Point_Type): In the case of a base type where the low
bound would be chopped off and go from negative to zero, force
Loval_Excl_EP to be the same as Loval_Incl_EP (the included lower
bound) so that the size computation for the base type will take
negative values into account.

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

2007-12-06  Pascal Obry  <obry@adacore.com>

* adaint.c (__gnat_pthread_setaffinity_np): New routine. A dummy
 version is provided for older GNU/Linux distribution not
 supporting thread affinity sets.

* s-osinte-linux.ads (SC_NPROCESSORS_ONLN): New constant for sysconf
call.
(bit_field): New packed boolean type used by cpu_set_t.
(cpu_set_t): New type corresponding to the C type with
the same name. Note that on the Ada side we use a bit
field array for the affinity mask. There is not need
for the C macro for setting individual bit.
(pthread_setaffinity_np): New imported routine.

* s-taprop-linux.adb (Enter_Task): Check that the CPU affinity mask is
no null.
(Create_Task): Set the processor affinity mask if information
is present.

* s-tasinf-linux.ads, s-tasinf-linux.adb: New files.

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

* Makefile.tpl (CFLAGS_FOR_TARGET): Add -g.
(CXXFLAGS_FOR_TARGET): Add -O2 -g.
* Makefile.in: Regenerate.

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

    * config/i386/i386.c (ix86_rtx_costs) [MULT]: Check op0 for
        ZERO_EXTEND when computing costs for widening multiplication.

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

Readd trunk

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

2007-12-13  Richard Earnshaw  <rearnsha@arm.com>

PR target/30192
* config/arm/ieee754-df.S (floatundidf): Fix for wrong sp value on
exit when using hard FPA.
* config/arm/ieee754-df.S (floatdidf): Likewise.

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

Daily bump.

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

PR bootstrap/30589
* doc/install.texi: Document that for MinGW only runtime 3.12 and
later is supported.

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

2007-12-12  Tobias Burnus  <burnus@net-b.de>

        PR fortran/34254
        * decl.c (match_char_kind): Support use-associated/imported
        kind parameters.
        (gfc_match_kind_spec): Support als BT_CHARACTER, when
        re-scanning kind spec.

2007-12-12  Tobias Burnus  <burnus@net-b.de>

        PR fortran/34254
        * gfortran.dg/function_kinds_3.f90: New.

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

* config/rs6000/rs6000.c (is_mem_ref): Ignore STACK_TIE.

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

    * gimplify.c (gimplify_modify_expr_rhs): Handle the case when we
        are assigning from a constant constructor.
        Fix wrapping in function comment.

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

2007-12-12  Andreas Krebbel  <krebbel1@de.ibm.com>

* config/s390/s390.c (s390_O_constraint_str): Limit the range
for 'On' to -4G+1..-1.
* config/s390/constraints.md: Adjust comment accordingly.

2007-12-12  Andreas Krebbel  <krebbel1@de.ibm.com>

* gcc.target/s390/20071212-1.c: New testcase.

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

* charset.c (convert_using_iconv): Close out any shift states,
returning to the initial state.

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

Daily bump.

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

2007-12-11  Benjamin Kosnik  <bkoz@redhat.com>

PR libstdc++/34015
* include/backward/backward_warning.h: Adjust warning message.

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

2007-12-11  Paolo Carlini  <pcarlini@suse.de>

* include/bits/stl_bvector.h (vector<bool>::reserve): Move out of
line...
* include/bits/vector.tcc: ... here.

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

    * decl.c (add_global_entry): Make type unsigned.

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

* config/rs6000/rs6000.c (rs6000_emit_prologue): Use frame_reg_rtx
for SPE saves.

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

config/i386/cygming.h (DWARF2_UNWIND_INFO): Handle 64-bit
target same as 32-bit.

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

2007-12-11  Bernhard Fischer  <aldot@gcc.gnu.org>

* decl.c (match_prefix): Make seen_type a boolean.
(add_global_entry): Cache type distinction.
* trans-decl.c: Whitespace cleanup.

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

PR c++/34238
* decl2.c (cp_write_global_declarations): Revert 2007-11-22 change.

* g++.dg/ext/visibility/anon7.C: Add xfail.
* g++.dg/ext/visibility/anon9.C: New test.
* g++.dg/ext/visibility/anon10.C: New test.

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

PR c++/34364
* rtti.c (build_dynamic_cast): Call convert_from_reference even for
dynamic_cast in a template.

* g++.dg/rtti/dyncast2.C: New test.

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

PR tree-optimization/34407
* gcc.dg/vect/pr34407.c: New test.

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

2007-12-10  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

PR fortran/34411
* gfortran.dg/error_recovery_5.f90: New.
* gfortran.dg/optional_dim_2.f90: Fix test, not related to this PR.

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

2007-12-10  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

PR libfortran/34411
* io/read.c (convert_real, read_l, read_decimal, read_radix, read_f):
Call next_record after bad read or overflow error.

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

Daily bump.

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

* ada-tree.h (TYPE_RETURNS_BY_TARGET_PTR_P): Move around.

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

PR tree-optimization/34371
* tree-vectorizer.h (struct _loop_vec_info): Add num_iters_unchanged
field.
(LOOP_VINFO_NITERS_UNCHANGED): Define to num_iters_unchanged field.
* tree-vectorizer.c (set_prologue_iterations,
slpeel_tree_peel_loop_to_edge): Call unshare_expr on
LOOP_VINFO_NITERS_UNCHANGED before using it.

* gcc.c-torture/compile/20071207-1.c: New test.

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

gcc/cp/

2007-12-10  Simon Martin  <simartin@users.sourceforge.net>

PR c++/34059
* typeck.c (build_class_member_access_expr): Compute MEMBER_SCOPE from
MEMBER's BASELINK_ACCESS_BINFO instead of its BASELINK_BINFO.

gcc/testsuite/

2007-12-10  Simon Martin  <simartin@users.sourceforge.net>

PR c++/34059
* g++.dg/parse/crash40.C: New test.

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

PR target/34403
* config/i386/i386.c (ix86_expand_movmem): Punt if the count is large.
(ix86_expand_setmem): Likewise.

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

2007-12-10  Tobias Burnus  <burnus@net-b.de>

        PR fortran/34425
        * interface.c (get_expr_storage_size): Use signed integer when
        obtaining the bounds.

2007-12-10  Tobias Burnus  <burnus@net-b.de>

        PR fortran/34425
        * gfortran.dg/argument_checking_10.f90: New.

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

2007-12-10  Kenneth Zadeck <zadeck@naturalbridge.com>

PR rtl-optimization/34302
* auto-inc-dec.c (attempt_change): Change place where move is
inserted.

2007-12-10  Jakub Jelinek  <jakub@redhat.com>

PR rtl-optimization/34302
* gcc.c-torture/execute/20071210-1.c: New test.

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

* MAINTAINERS (Write After Approval): Add myself and alphabetize two
misplaced entries.

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

2007-12-10  Jonathan Wakely  <jwakely.gcc@gmail.com>

* docs/html/21_strings/howto.html: Add links to referenced articles.

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

2007-12-10  Jonathan Wakely  <jwakely.gcc@gmail.com>

* docs/html/17_intro/backwards_compatibility.html: Fix markup.
* docs/html/17_intro/howto.html: Likewise.
* docs/html/18_support/howto.html: Likewise.
* docs/html/ext/concurrence.html: Likewise.
* docs/html/documentation.html: Likewise.

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

2007-12-10  Andreas Tobler  <a.tobler@schweiz.org>

* configure.ac: Enable libjava for x86_64-*-darwin9.
* configure: Regenerate.

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

2007-12-10  Paolo Carlini  <pcarlini@suse.de>

* testsuite/tr1/5_numerical_facilities/random/linear_congruential/
requirements/non_uint_neg.cc: Avoid -Wall warnings.
* testsuite/tr1/5_numerical_facilities/special_functions/
01_assoc_laguerre/compile.cc: Likewise.
* testsuite/util/testsuite_api.h: Likewise.

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

PR c++/34395
* error.c (dump_type_prefix, dump_type_suffix): Handle
TYPE_PACK_EXPANSION.

* g++.dg/cpp0x/error1.C: New test.

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

PR c++/34394
* error.c (dump_expr): Handle ABS_EXPR.

* g++.dg/other/error22.C: New test.

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

2007-12-10  Paolo Carlini  <pcarlini@suse.de>

* testsuite/25_algorithms/nth_element/2.cc: Avoid -Wall warnings.
* testsuite/27_io/basic_streambuf/sgetc/wchar_t/1.cc: Likewise.
* testsuite/27_io/basic_streambuf/sgetc/char/1.cc: Likewise.
* testsuite/27_io/basic_stringbuf/sgetn/wchar_t/1.cc: Likewise.
* testsuite/27_io/basic_stringbuf/sgetn/char/1.cc: Likewise.
* testsuite/27_io/basic_stringbuf/sbumpc/wchar_t/1.cc: Likewise.
* testsuite/27_io/basic_stringbuf/sbumpc/char/1.cc: Likewise.
* testsuite/27_io/basic_stringbuf/snextc/wchar_t/1.cc: Likewise.
* testsuite/27_io/basic_stringbuf/snextc/char/1.cc: Likewise.
* testsuite/27_io/basic_istream/peek/wchar_t/12296.cc: Likewise.
* testsuite/27_io/basic_ostream/inserters_character/wchar_t/
28277-2.cc: Likewise.
* testsuite/27_io/basic_ostream/inserters_character/wchar_t/
28277-3.cc: Likewise.
* testsuite/27_io/basic_ostream/inserters_character/wchar_t/
28277-4.cc: Likewise.
* testsuite/27_io/basic_ostream/inserters_character/char/
28277-3.cc: Likewise.
* testsuite/27_io/basic_ostream/inserters_character/char/
28277-4.cc: Likewise.
* testsuite/19_diagnostics/error_code/operators/bool.cc: Likewise.
* testsuite/19_diagnostics/error_code/operators/bool_neg.cc: Likewise.
* testsuite/18_support/headers/cstddef/macros.cc: Likewise.
* testsuite/21_strings/basic_string/inserters_extractors/
wchar_t/28277.cc: Likewise.
* testsuite/21_strings/basic_string/inserters_extractors/
char/28277.cc: Likewise.
* testsuite/26_numerics/headers/cmath/25913.cc: Likewise.
* testsuite/ext/pb_ds/example/priority_queue_xref.cc: Likewise.
* testsuite/ext/vstring/inserters_extractors/wchar_t/28277.cc: Likewise.
* testsuite/ext/vstring/inserters_extractors/char/28277.cc: Likewise.
* testsuite/ext/enc_filebuf/char/13598.cc: Likewise.
* testsuite/22_locale/collate/compare/char/2.cc: Likewise.
* testsuite/22_locale/time_put/put/wchar_t/5.cc: Likewise.
* testsuite/22_locale/time_put/put/char/5.cc: Likewise.
* testsuite/22_locale/time_put/put/char/6.cc: Likewise.
* testsuite/22_locale/time_put/put/char/7.cc: Likewise.
* testsuite/22_locale/time_put/put/char/8.cc: Likewise.
* testsuite/22_locale/codecvt/unshift/char/1.cc: Likewise.
* testsuite/22_locale/codecvt/length/char/1.cc: Likewise.
* testsuite/22_locale/codecvt/length/char/2.cc: Likewise.
* testsuite/22_locale/codecvt/in/wchar_t/9.cc: Likewise.
* testsuite/22_locale/codecvt/in/char/1.cc: Likewise.
* testsuite/22_locale/codecvt/out/char/1.cc: Likewise.
* testsuite/22_locale/num_get/get/wchar_t/1.cc: Likewise.
* testsuite/22_locale/num_get/get/char/1.cc: Likewise.
* testsuite/tr1/5_numerical_facilities/random/uniform_int/
33128.cc: Likewise.
* testsuite/tr1/2_general_utilities/shared_ptr/thread/
mutex_weaktoshared.cc: Likewise.
* testsuite/tr1/2_general_utilities/shared_ptr/thread/
default_weaktoshared.cc: Likewise.
* testsuite/tr1/7_regular_expressions/basic_regex/assign/wchar_t/
range.cc: Likewise.
* testsuite/tr1/7_regular_expressions/basic_regex/assign/char/
range.cc: Likewise.
* testsuite/tr1/7_regular_expressions/basic_regex/ctors/wchar_t/
range.cc: Likewise.
* testsuite/tr1/7_regular_expressions/basic_regex/ctors/char/
range.cc: Likewise.
* testsuite/23_containers/multimap/operations/1.cc: Likewise.
* testsuite/23_containers/set/operations/1.cc: Likewise.
* testsuite/23_containers/vector/bool/capacity/29134.cc: Likewise.
* testsuite/23_containers/deque/modifiers/erase/1.cc: Likewise.
* testsuite/23_containers/deque/modifiers/erase/2.cc: Likewise.
* testsuite/23_containers/multiset/operations/1.cc: Likewise.
* testsuite/23_containers/map/operations/1.cc: Likewise.
* testsuite/util/testsuite_hooks.cc: Likewise.
* testsuite/util/testsuite_rvalref.h: Likewise.

2007-12-10  Jakub Jelinek  <jakub@redhat.com>

* include/ext/throw_allocator.h (print_to_string): Change sprintf
format to %lu and cast ref.second.{first,second} to long.
* include/debug/safe_iterator.tcc (_M_can_advance): Add parens to
avoid warnings.

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

* dwarf2out.c (gen_array_type_die, gen_descr_array_type_die): For
Fortran multi-dimensional arrays use DW_AT_ordering
DW_ORD_col_major.

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

* ChangeLog: Fix my last ChangeLog entry.

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

2007-12-10  Paolo Bonzini  <bonzini@gnu.org>

PR target/32086
* config/i386/i386.c (override_options): Enable -fvect-cost-model.

2007-12-10  Paolo Bonzini  <bonzini@gnu.org>

PR target/32086
* gcc.dg/vect/vect.exp (DEFAULT_VECTCFLAGS): Disable cost model.
* g++.dg/vect/vect.exp (DEFAULT_VECTCFLAGS): Disable cost model.
* gfortran.dg/vect/vect.exp (DEFAULT_VECTCFLAGS): Disable cost model.

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

* config/i386/i386.c (ix86_function_regparm): Ditto. Use REGPARM_MAX
to check that no regparm hard register is taken by a fixed register
variable. Check up to and including DI_REG when adjusting regparm
value due to fixed regs usage.
(rep_prefix_usable): Check fixed_regs array, not global_regs array for
available hard registers.
(ix86_expand_strlen): Ditto.
* config/i386/i386.md (strmov): Ditto.
(cmpstrnsi): Ditto.

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

* genopinit.c: Include tm_p.h in generated file.

* config/arm/neon.md (vec_set<mode>_internal): Use INTVAL
to extract the integer from operands[2].
(vec_setv2di_internal): Likewise.

* config/arm/arm.c (arm_size_return_regs): Make return type
unsigned.
(arm_init_neon_builtins): Move code after declarations.

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

* reload.c (find_reloads_address_1): To properly mark as an
autoincdec, pass X for non-NULL OUT in call to push_reload for
autoincdec which can't be trivially used as an address.

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

* caller-save.c (insert_one_insn): If inserting before a call_insn
then the registers containing the arguments of the call are
live_throughout in the new insn.

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

2007-12-09  Benjamin Kosnik  <bkoz@redhat.com>

* docs/html/ext/howto.html: Update.
* docs/html/ext/sgiexts.html: Same.
* docs/html/ext/concurrence.html: New. Document extensions.
* docs/html/17_intro/api.html: Move some bits...
* docs/html/17_intro/backwards_compatibility.html: here. New. Add
compatibility suggestions, move existing ones.
* docs/html/17_intro/howto.html: Update info.
* docs/html/18_support/howto.html: Tweak.
* docs/html/faq/index.html: Update thread info.
* docs/html/documentation.html: Add links.
* docs/html/20_util/allocator.html: Update info.
* include/precompiled/stdc++.h: Add C++0x includes if appropriate.
* testsuite/17_intro/headers/c++200x/all.cc: Same.

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

Daily bump.

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

PR c++/34178
PR c++/34340
* repo.c (repo_emit_p): Return 2 for DECL_INTEGRAL_CONSTANT_VAR_P
in class scope rather than DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P.
Return 2 also if DECL_EXPLICIT_INSTANTIATION.
* decl2.c (import_export_decl): Don't make VAR_DECLs import_p when
flag_use_repository and repo_emit_p returned 2.

* g++.dg/template/repo6.C: New test.
* g++.dg/template/repo7.C: New test.
* g++.dg/template/repo8.C: New test.

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

2007-12-09  Jonathan Wakely  <jwakely.gcc@gmail.com>

* testsuite/util/testsuite_allocator.h,
testsuite/util/testsuite_hooks.cc,
testsuite/util/testsuite_character.h,
testsuite/util/testsuite_performance.h,
testsuite/util/testsuite_rvalref.h, testsuite/util/testsuite_io.h,
testsuite/util/testsuite_allocator.cc: Remove semi-colons after
namespace declarations.

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

PR middle-end/32889
PR target/34091
* pa.md: Consolidate HImode and QImode move patterns into one pattern
each, eliminating floating-point alternatives.
* pa-protos.h (pa_cannot_change_mode_class, pa_modes_tieable_p):
Declare functions.
* pa-64.h (SECONDARY_MEMORY_NEEDED): Define here.
* pa.c (pa_secondary_reload): Use an intermediate general register
for copies to/from floating-point register classes.  Simplify code
SHIFT_REGS class.  Provide additional comments.
(pa_cannot_change_mode_class, pa_modes_tieable_p): New functions.
* pa.h (MODES_TIEABLE_P): Use pa_modes_tieable_p.
(SECONDARY_MEMORY_NEEDED): Delete define.
(INT14_OK_STRICT): Define.
(MODE_OK_FOR_SCALED_INDEXING_P): Allow SFmode and DFmode when using
soft float.
(MODE_OK_FOR_UNSCALED_INDEXING_P): Likewise.
(GO_IF_LEGITIMATE_ADDRESS): Use INT14_OK_STRICT in REG+D case for
SFmode and DFmode.
(LEGITIMIZE_RELOAD_ADDRESS): Use INT14_OK_STRICT in mask selection.
Align DImode offsets when generating 64-bit code.
* pa32-regs.h (VALID_FP_MODE_P): Remove QImode and HImode.
(CANNOT_CHANGE_MODE_CLASS): Define.
* pa64-regs.h (VALID_FP_MODE_P): Remove QImode and HImode.
(CANNOT_CHANGE_MODE_CLASS): Define using pa_cannot_change_mode_class.

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

PR fortran/22244
* langhooks-def.h (LANG_HOOKS_GET_ARRAY_DESCR_INFO): Define.
(LANG_HOOKS_FOR_TYPES_INITIALIZER): Add it.
* langhooks.h (struct array_descr_info): Forward declaration.
(struct lang_hooks_for_types): Add get_array_descr_info field.
* dwarf2.h (DW_AT_bit_stride, DW_AT_byte_stride): New.
(DW_AT_stride_size, DW_AT_stride): Keep around for Dwarf2
compatibility.
* dwarf2out.h (struct array_descr_info): New type.
* dwarf2out.c (dwarf_attr_name): Rename DW_AT_stride to
DW_AT_byte_stride and DW_AT_stride_size to DW_AT_bit_size.
(descr_info_loc, add_descr_info_field, gen_descr_array_type_die):
New functions.
(gen_type_die_with_usage): Call lang_hooks.types.get_array_descr_info
and gen_descr_array_type_die.

* trans.h (struct array_descr_info): Forward declaration.
(gfc_get_array_descr_info): New prototype.
(enum gfc_array_kind): New type.
(struct lang_type): Add akind field.
(GFC_TYPE_ARRAY_AKIND): Define.
* trans-types.c: Include dwarf2out.h.
(gfc_build_array_type): Add akind argument.  Adjust
gfc_get_array_type_bounds call.
(gfc_get_nodesc_array_type): Include proper debug info even for
assumed-size arrays.
(gfc_get_array_type_bounds): Add akind argument, set
GFC_TYPE_ARRAY_AKIND to it.
(gfc_sym_type, gfc_get_derived_type): Adjust gfc_build_array_type
callers.
(gfc_get_array_descr_info): New function.
* trans-array.c (gfc_trans_create_temp_array,
gfc_conv_expr_descriptor): Adjust gfc_get_array_type_bounds
callers.
* trans-stmt.c (gfc_trans_pointer_assign_need_temp): Likewise.
* trans-types.h (gfc_get_array_type_bounds): Adjust prototype.
* Make-lang.in (fortran/trans-types.o): Depend on dwarf2out.h.
* f95-lang.c (LANG_HOOKS_GET_ARRAY_DESCR_INFO): Define.

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

2007-12-09  Tobias Burnus  <burnus@net-b.de>

        PR fortran/34404
        * io/list_read.c (parse_real): Remove superfluous "goto bad;".

2007-12-09  H.J. Lu  <hjl@lucon.org>
             Tobias Burnus  <burnus@net-b.de>

        PR fortran/34404
        * gfortran.dg/read_2.f90: New.

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

Fix formatting of 2007-12-07 entry.

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

gcc/testsuite/
* lib/target-supports.exp (check_effective_target_tls_native):
Fix typo.

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

gcc/ada/
PR ada/34366
* sem_ch3.adb (Designates_T): New function.
(Mentions_T): Factor reusable part of the logic into Designates_T.
Consider non-access parameters and access and non-access result.
(Check_Anonymous_Access_Components): Set ekind of anonymous access to
E_Subprogram_Type to E_Anonymous_Access_Subprogram_Type.

* einfo.ads: Update comment for E_Anonymous_Access_Subprogram_Type.

    gcc/testsuite/
PR ada/34366
* gnat.dg/enclosing_record_reference.ads,
gnat.dg/enclosing_record_reference.adb: New test.

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

2007-12-09  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/32129
* dump-parse-tree.c (gfc_show_expr_n): New function for
debugging.
* gfortran.h : Add prototype for gfc_show_expr_n.
* expr.c (simplify_constructor): Copy the constructor
expression and try to simplify that.  If success, replace the
original.  Otherwise discard the copy, keep going through
the structure and return success.

PR fortran/31487
* decl.c (build_struct): Pad out default initializers with
spaces to the component character length.

2007-12-09  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/32129
* gfortran.dg/derived_comp_array_ref_6.f90: New test.
* gfortran.dg/derived_comp_array_ref_7.f90: New test.

PR fortran/31487
* gfortran.dg/char_component_initializer_1.f90: New test.

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

Daily bump.

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

2007-12-08  Tobias Burnus  <burnus@net-b.de>

        PR fortran/34342
        PR fortran/34345
        PR fortran/18026
        PR fortran/29471

        * gfortran.texi (BOZ literal constants): Improve documentation
        and adapt for BOZ changes.
        * Make-lang.ini (resolve.o): Add target-memory.h dependency.
        * gfortran.h (gfc_expr): Add is_boz flag.
        * expr.c: Include target-memory.h.
        (gfc_check_assign): Support transferring BOZ for real/cmlx.
        * resolve.c: Include target-memory.h
        (resolve_ordinary_assign): Support transferring BOZ for real/cmlx.
        * target-memory.c (gfc_convert_boz): New function.
        * target-memory.c (gfc_convert_boz): Add prototype.
        * primary.c (match_boz_constant): Set is_boz, enable F95 error
        also without -pedantic, and allow for Fortran 2003 BOZ.
        (match_real_constant): Fix comment.
        * simplify.c
        * (simplify_cmplx,gfc_simplify_dble,gfc_simplify_float,
        gfc_simplify_real): Support Fortran 2003 BOZ.

2007-12-08  Tobias Burnus  <burnus@net-b.de>

        PR fortran/34342
        PR fortran/34345
        PR fortran/18026
        PR fortran/29471

        * gfortran.dg/boz_8.f90: New.
        * gfortran.dg/boz_9.f90: New.
        * gfortran.dg/boz_10.f90: New.
        * gfortran.dg/boz_7.f90: Update dg-warning.
        * gfortran.dg/pr16433.f: Add dg-error.
        * gfortan.dg/ibits.f90: Update dg-warning.
        * gfortran.dg/unf_io_convert_1.f90: Update/delete dg-warning.
        * gfortran.dg/unf_io_convert_2.f90: Ditto.

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

PR fortran/34359
* gfortran.h (gfc_file): Remove sibling and down fields.
* scanner.c (file_changes, file_changes_cur, file_changes_count,
file_changes_allocated): New variables.
(add_file_change, report_file_change): New functions.
(change_file): Remove.
(gfc_start_source_files, gfc_end_source_files): Call
report_file_change instead of change_file.
(gfc_advance_line): Call report_file_change instead of change_file,
call it even if lb->file == lb->next->file.
(get_file): Revert last changes.
(preprocessor_line): Call add_file_change when entering or leaving
a file.
(load_file): Likewise.  Set file_change[...].lb for all newly added
file changes.

* gfortran.dg/include_1.f90: New test.
* gfortran.dg/include_1.inc: New.
* gfortran.dg/include_2.f90: New test.

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

2007-12-08  David Daney  <ddaney@avtrex.com>

* src/mips/n32.S (ffi_call_N32):  Replace dadd with ADDU, dsub with
SUBU, add with ADDU and use smaller code sequences.

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

gcc/testsuite/
200x-xx-xx  Paul de Weerd  <weerd@weirdnet.nl>

* gcc.c-torture/compile/20011130-2.c: Fix typo.

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

2007-12-08  Andreas Tobler  <a.tobler@schweiz.org>

* configure.host: Add bits for i?86-*-darwin9 and x86_64-*-darwin9.
* configure.ac: Add darwin-signal.h to x86_64-*-darwin9 and
i?86-*darwin9.
* configure.in: Regenerate.
* darwin.cc: Add definitions for Darwin specific functions for 64-bit.
(darwin_java_register_dyld_add_image_hook): Use this specific
functions.
* Makefile.am (gij_LDFLAGS): Add extra_gij_ldflags for Darwin9.
* Makefile.in: Regenerate.
* include/Makefile.in: Likewise.
* gcj/Makefile.in: Likewise.
* testsuite/Makefile.in: Likewise.
* testsuite/lib/libjava.exp (libjava_arguments): Add allow_stack_execute
for *-*-darwin9*.

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