charlet [Tue, 5 Aug 2008 13:29:05 +0000 (13:29 +0000)]
* Makefile.in (gnatlib*): Now depend on oscons target.
(oscons): New target.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138706
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 5 Aug 2008 13:26:24 +0000 (13:26 +0000)]
2008-08-05 Thomas Quinot <quinot@adacore.com>
* xoscons.adb, xutil.ads, xutil.adb, s-oscons-tmplt.c: New files.
* gcc-interface/Makefile.in, gcc-interface/Make-lang.in: Generate
s-oscons.ads
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138705
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 5 Aug 2008 13:24:27 +0000 (13:24 +0000)]
2008-08-05 Robert Dewar <dewar@adacore.com>
* opt.ads (Warn_On_Biased_Representation): New flag
* sem_ch13.adb:
(Analyze_Attribute_Definition_Clause): Issue warning when biased
representation is required.
(Minimum_Size): Don't allow biasing if enum rep clause case
* sem_warn.adb:
(Set_Dot_Warning_Switch): Add handling of -gnatw.b/B switches
(Set_Warning_Switch): Include -gnatw.b in -gnatwa, -gnatw.B in gnatws
* usage.adb: Add lines for -gnatw.b/B switches
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138704
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 5 Aug 2008 13:24:02 +0000 (13:24 +0000)]
2008-08-05 Pascal Obry <obry@adacore.com>
* adaint.c: In UNIX cases do not call __gnat_stat but stat directly.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138703
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 5 Aug 2008 13:23:53 +0000 (13:23 +0000)]
2008-08-05 Thomas Quinot <quinot@adacore.com>
* socket.c: Minor reformatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138702
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 5 Aug 2008 13:23:44 +0000 (13:23 +0000)]
2008-08-05 Pascal Obry <obry@adacore.com>
* a-coinve.adb: Reorder the code to avoid uninitialized warning.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138701
138bc75d-0d04-0410-961f-
82ee72b054a4
rguenth [Tue, 5 Aug 2008 11:42:33 +0000 (11:42 +0000)]
2008-08-05 Richard Guenther <rguenther@suse.de>
PR middle-end/37026
* gcc.c-torture/compile/pr37026.c: New testcase.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138700
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 5 Aug 2008 09:40:19 +0000 (09:40 +0000)]
2008-08-05 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb (Validate_Array_Type_Instance): Only apply complex
visibility check on the component type if the simple test fails.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138697
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 5 Aug 2008 09:39:23 +0000 (09:39 +0000)]
2008-08-05 Robert Dewar <dewar@adacore.com>
* prj-nmsc.adb: Minor reformatting
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138696
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 5 Aug 2008 09:39:05 +0000 (09:39 +0000)]
2008-08-05 Robert Dewar <dewar@adacore.com>
* sem_ch3.adb: Minor reformatting
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138695
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 5 Aug 2008 09:33:21 +0000 (09:33 +0000)]
* gnat.dg/not_null.adb: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138694
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 5 Aug 2008 09:30:53 +0000 (09:30 +0000)]
2008-08-05 Bob Duff <duff@adacore.com>
* sem_ch3.adb (Analyze_Object_Declaration): Avoid type Any_Access in
unresolved initial value of "null", because it causes implicitly
generated "=" operators to be ambiguous, and because this type should
not be passed to gigi.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138693
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 5 Aug 2008 09:29:28 +0000 (09:29 +0000)]
2008-08-05 Robert Dewar <dewar@adacore.com>
* prj.ads: Minor reformatting
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138692
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 5 Aug 2008 09:29:20 +0000 (09:29 +0000)]
2008-08-05 Robert Dewar <dewar@adacore.com>
* s-fileio.adb: Minor code reorganization
Minor reformatting
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138691
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 5 Aug 2008 09:29:12 +0000 (09:29 +0000)]
2008-08-05 Robert Dewar <dewar@adacore.com>
* s-os_lib.adb: Minor reformatting
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138690
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 5 Aug 2008 09:29:03 +0000 (09:29 +0000)]
2008-08-05 Robert Dewar <dewar@adacore.com>
* prj-attr.ads: Minor reformatting
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138689
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 5 Aug 2008 09:28:55 +0000 (09:28 +0000)]
2008-08-05 Robert Dewar <dewar@adacore.com>
* mlib.adb: Minor code reorganization
Minor reformatting
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138688
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 5 Aug 2008 09:28:44 +0000 (09:28 +0000)]
2008-08-05 Thomas Quinot <quinot@adacore.com>
* g-sercom.adb, g-sercom.ads, g-sercom-mingw.adb,
g-sercom-linux.adb (Data_Bits): Change literals B7 and B8 to CS7 and
CS8.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138687
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 5 Aug 2008 09:28:12 +0000 (09:28 +0000)]
2008-08-05 Robert Dewar <dewar@adacore.com>
* make.adb: Minor reformatting
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138686
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 5 Aug 2008 09:28:03 +0000 (09:28 +0000)]
2008-08-05 Bob Duff <duff@adacore.com>
* checks.ads: Minor comment fix
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138685
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 5 Aug 2008 09:27:49 +0000 (09:27 +0000)]
2008-08-05 Jose Ruiz <ruiz@adacore.com>
* init.c (__gnat_install_handler for linux): If we are building the
Xenomai run time then we need to do two additional things: avoid
memory swapping and transform the Linux environment task into a native
Xenomai task.
* gcc-interface/Makefile.in (LIBGNAT_TARGET_PAIRS for xenomai run
time): Use interface to Xenomai native skin and avoid linux-specific
way of setting CPU affinity.
(EH_MECHANISM for the xenomai run time): Use sjlj exception mechanism.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138684
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 5 Aug 2008 09:14:48 +0000 (09:14 +0000)]
2008-08-05 Vincent Celier <celier@adacore.com>
* make.adb (Switches_Of): Check for Switches (others), before checking
for Default_Switches ("Ada").
(Gnatmake): Use Builder'Switches (others) in preference to
Builder'Default_Switches ("Ada") if there are several mains.
* prj-attr-pm.adb:
(Add_Attribute): Add component Others_Allowed in Attribute_Record
aggregate.
* prj-attr.adb:
Add markers to indicates that attributes Switches allow others as index
(Others_Allowed_For): New Boolean function, returning True for
attributes with the mark.
(Initialize): Recognize optional letter 'O' as the marker for
associative array attributes where others is allowed as the index.
* prj-attr.ads:
(Others_Allowed_For): New Boolean function
(Attribute_Record): New Boolean component Others_Allowed
* prj-dect.adb:
(Parse_Attribute_Declaration): For associative array attribute where
others is allowed as the index, allow others as an index.
* prj-nmsc.adb:
(Process_Binder): Skip associative array attributes with index others
(Process_Compiler): Ditto
* prj-util.adb:
(Value_Of (Index, In_Array)): Make no attempt to put in lower case when
index is All_Other_Names.
* prj.ads:
(All_Other_Names): New constant
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138683
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 5 Aug 2008 09:14:13 +0000 (09:14 +0000)]
2008-08-05 Vasiliy Fofanov <fofanov@adacore.com>
* gen-oscons.c: Adapt for VMS where termios.h is not available.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138682
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 5 Aug 2008 09:14:03 +0000 (09:14 +0000)]
2008-08-05 Vincent Celier <celier@adacore.com>
* prj-proc.adb:
(Process_Declarative_Items): Skip associative array attribute when index
is reserved word "others".
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138681
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 5 Aug 2008 09:13:53 +0000 (09:13 +0000)]
2008-08-05 Vincent Celier <celier@adacore.com>
* mlib.adb: Update comments.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138680
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 5 Aug 2008 09:05:08 +0000 (09:05 +0000)]
2008-08-05 Thomas Quinot <quinot@adacore.com>
* gen-soccon.c: Rename to gen-oscons.c
* gen-oscons.c: New file. Now generate System.OS_Constants instead of
GNAT.Sockets.Constants.
Add new constants for GNAT.Serial_Communications and System.File_IO.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138679
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 5 Aug 2008 09:04:18 +0000 (09:04 +0000)]
2008-08-05 Thomas Quinot <quinot@adacore.com>
* a-rttiev.adb: Minor reformatting (comments)
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138678
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 5 Aug 2008 08:41:30 +0000 (08:41 +0000)]
2008-08-05 Pascal Obry <obry@adacore.com>
* adaint.c, adaint.h, s-os_lib.adb, s-os_lib.ads: Fix the
Set_Read_Only Win32 implementation.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138676
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 5 Aug 2008 08:41:07 +0000 (08:41 +0000)]
2008-08-05 Javier Miranda <miranda@adacore.com>
* sem_util.adb (Collect_Interfaces_Info): Minor reformating.
* exp_ch3.adb (Build_Offset_To_Top_Functions): Code cleanup: the
implementation of this routine has been simplified.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138675
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 5 Aug 2008 08:34:58 +0000 (08:34 +0000)]
2008-08-05 Thomas Quinot <quinot@adacore.com>
* exp_strm.adb: Minor reformatting (comments)
* sem_ch12.adb: Minor reformatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138674
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 5 Aug 2008 08:21:05 +0000 (08:21 +0000)]
* gnat.dg/access_discr2.adb: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138673
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 5 Aug 2008 08:17:24 +0000 (08:17 +0000)]
2008-08-05 Ed Schonberg <schonberg@adacore.com>
* sem_res.adb (Resolve_Call): If this is a call to the predefined
Abort_Task, warn if the call appears within a protected operation.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138672
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 5 Aug 2008 08:17:02 +0000 (08:17 +0000)]
2008-08-05 Ed Schonberg <schonberg@adacore.com>
* exp_strm.adb (Build_Record_Or_Elementary_Input_Function): For access
discriminants, indicate that the corresponding object declaration has
no initialization, to prevent spurious warnings when the access type is
null-excluding.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138671
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 5 Aug 2008 08:16:44 +0000 (08:16 +0000)]
2008-08-05 Jerome Lambourg <lambourg@adacore.com>
* g-comlin.adb (Sort_Sections, Group_Switches): New/Modified internal
methods needed to handle switch sections when building a command line.
(Define_Section, Add_Switch, Remove_Switch, Is_New_Section,
Current_Section): New public methods or methods modified to handle
building command lines with sections.
(Set_Command_Line): Take into account sections when analysing a switch
string.
(Start): Sort the switches by sections before iterating the command line
elements.
* g-comlin.ads (Define_Section, Add_Switch, Remove_Switch,
Is_New_Section, Current_Section): New methods or methods modified to
handle building command lines with sections.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138670
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 5 Aug 2008 08:16:33 +0000 (08:16 +0000)]
2008-08-05 Thomas Quinot <quinot@adacore.com>
* tbuild.ads (New_External_Name): Update spec to reflect relaxed
restriction on Prefix.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138669
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 5 Aug 2008 08:16:22 +0000 (08:16 +0000)]
2008-08-05 Robert Dewar <dewar@adacore.com>
* checks.adb: Minor reformatting
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138668
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Tue, 5 Aug 2008 08:16:11 +0000 (08:16 +0000)]
2008-08-05 Robert Dewar <dewar@adacore.com>
* sem_ch3.adb: Minor reformatting
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138667
138bc75d-0d04-0410-961f-
82ee72b054a4
tromey [Tue, 5 Aug 2008 01:28:26 +0000 (01:28 +0000)]
PR libgcj/31890:
* gcj/javaprims.h: Regenerate class list.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138664
138bc75d-0d04-0410-961f-
82ee72b054a4
gccadmin [Tue, 5 Aug 2008 00:16:33 +0000 (00:16 +0000)]
Daily bump.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138661
138bc75d-0d04-0410-961f-
82ee72b054a4
jason [Mon, 4 Aug 2008 19:53:57 +0000 (19:53 +0000)]
PR c++/36963
* typeck2.c (check_narrowing): Allow narrowing conversion
from an explicit floating-point constant.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138652
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 18:51:10 +0000 (18:51 +0000)]
2008-08-04 Robert Dewar <dewar@adacore.com>
* exp_ch5.adb:
(Expand_Simple_Function_Return): Check No_Secondary_Stack restriction
at point of return.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138651
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 18:50:45 +0000 (18:50 +0000)]
2008-08-04 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb:
(Replace_Anonymous_Access_To_Protected_Subprogram): Handle properly an
anonymous access to protected subprogram that is the return type of the
specification of a subprogram body.
* sem_ch6.adb:
(Analyze_Subprogram_Body): if the return type is an anonymous access to
subprogram, freeze it now to prevent access anomalies in the back-end.
* exp_ch9.adb: Minor code cleanup.
Make sure that new declarations are inserted into the tree before
analysis (from code reading).
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138650
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 18:50:33 +0000 (18:50 +0000)]
2008-08-04 Robert Dewar <dewar@adacore.com>
* exp_ch4.adb (Expand_N_In): Suppress range warnings in instances
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138649
138bc75d-0d04-0410-961f-
82ee72b054a4
jason [Mon, 4 Aug 2008 18:39:16 +0000 (18:39 +0000)]
PR c++/37006
* pt.c (tsubst_decl): Leave DECL_INITIAL set on deleted
instantiations.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138648
138bc75d-0d04-0410-961f-
82ee72b054a4
rguenth [Mon, 4 Aug 2008 18:35:20 +0000 (18:35 +0000)]
2008-08-04 Richard Guenther <rguenther@suse.de>
* tree-ssa-loop-ivopts.c (add_iv_value_candidates): Also add
the candidate with the stripped base if that base is different
from the original base even for offset zero.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138647
138bc75d-0d04-0410-961f-
82ee72b054a4
rguenth [Mon, 4 Aug 2008 18:29:08 +0000 (18:29 +0000)]
2008-08-04 Richard Guenther <rguenther@suse.de>
PR middle-end/36691
* tree-ssa-loop-niter.c (number_of_iterations_lt_to_ne): Correctly
check for no_overflow.
* gcc.c-torture/execute/pr36691.c: New testcase.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138645
138bc75d-0d04-0410-961f-
82ee72b054a4
victork [Mon, 4 Aug 2008 17:25:13 +0000 (17:25 +0000)]
2008-08-04 Victor Kaplansky <victork@il.ibm.com>
* gcc.dg/vect/vect-complex-5.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138643
138bc75d-0d04-0410-961f-
82ee72b054a4
rguenth [Mon, 4 Aug 2008 17:22:17 +0000 (17:22 +0000)]
2008-08-04 Richard Guenther <rguenther@suse.de>
* tree-vect-transform.c (vectorizable_call): Fix tuplification.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138642
138bc75d-0d04-0410-961f-
82ee72b054a4
pbrook [Mon, 4 Aug 2008 16:27:17 +0000 (16:27 +0000)]
2008-08-04 Paul Brook <paul@codesourcery.com>
gcc/
* cofig/arm/arm.c (thumb_core_reg_alloc_order): New.
(arm_order_regs_for_local_alloc): New function.
* config/arm/arm-protos.h (arm_order_regs_for_local_alloc): Add
prototype.
* config/arm/arm.h (ORDER_REGS_FOR_LOCAL_ALLOC): Define.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138640
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 15:34:39 +0000 (15:34 +0000)]
2008-08-04 Robert Dewar <dewar@adacore.com>
* exp_ch4.adb: Minor reformatting
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138638
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 15:34:13 +0000 (15:34 +0000)]
2008-08-04 Javier Miranda <miranda@adacore.com>
* sem_prag.adb (Process_Convention): Add missing support for
N_Private_Extension_Declaration nodes.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138637
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 15:34:04 +0000 (15:34 +0000)]
2008-08-04 Vasiliy Fofanov <fofanov@adacore.com>
* g-soccon-mingw.ads: Fix value for MSG_WAITALL
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138636
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 15:33:55 +0000 (15:33 +0000)]
2008-08-04 Thomas Quinot <quinot@adacore.com>
* sem_type.adb, sem_ch4.adb, sprint.adb, exp_ch3.adb: Minor reformatting
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138635
138bc75d-0d04-0410-961f-
82ee72b054a4
simonb [Mon, 4 Aug 2008 15:09:56 +0000 (15:09 +0000)]
PR c++/36999
* parser.c (cp_parser_elaborated_type_specifier): Warn only when
the declaration's id is followed by a semicolon.
* g++.dg/warn/pr36999.C: New.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138633
138bc75d-0d04-0410-961f-
82ee72b054a4
hjl [Mon, 4 Aug 2008 14:56:12 +0000 (14:56 +0000)]
2008-08-04 H.J. Lu <hongjiu.lu@intel.com>
PR target/37012
* config/i386/i386.c (ix86_expand_prologue): Use UNITS_PER_WORD
instead of STACK_BOUNDARY / BITS_PER_UNIT to align stack.
(ix86_expand_epilogue): Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138631
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 12:52:38 +0000 (12:52 +0000)]
2008-08-04 Pascal Obry <obry@adacore.com>
* adaint.c: Refine support for Windows file attributes.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138620
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 12:51:41 +0000 (12:51 +0000)]
2008-08-04 Thomas Quinot <quinot@adacore.com>
* sem_ch4.adb: Minor reformatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138619
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 12:51:30 +0000 (12:51 +0000)]
2008-08-04 Thomas Quinot <quinot@adacore.com>
* exp_ch6.adb: Minor comment fix.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138618
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 12:51:19 +0000 (12:51 +0000)]
2008-08-04 Robert Dewar <dewar@adacore.com>
* freeze.adb:
(Freeze_Entity): Only check No_Default_Initialization restriction for
constructs that come from source
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138617
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 12:51:10 +0000 (12:51 +0000)]
2008-08-04 Javier Miranda <miranda@adacore.com>
* sem_eval.adb (Subtypes_Statically_Match): Remove superfluous patch
added in previous patch to handle access to subprograms.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138616
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 12:51:00 +0000 (12:51 +0000)]
2008-08-04 Robert Dewar <dewar@adacore.com>
* sem_res.adb:
(Valid_Conversion): Catch case of designated types having different
sizes, even though they statically match.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138615
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 12:50:41 +0000 (12:50 +0000)]
2008-08-04 Pascal Obry <obry@adacore.com>
* adaint.h: Add missing prototype.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138614
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 12:35:08 +0000 (12:35 +0000)]
2008-08-04 Pascal Obry <obry@adacore.com>
* adaint.c, s-os_lib.adb, s-os_lib.ads: Use Windows ACL to deal with
file attributes.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138613
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 12:34:16 +0000 (12:34 +0000)]
2008-08-04 Robert Dewar <dewar@adacore.com>
* sem_ch13.ads: Minor comment update
* sem_res.adb: (Large_Storage_Type): Improve previous change.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138612
138bc75d-0d04-0410-961f-
82ee72b054a4
hjl [Mon, 4 Aug 2008 12:29:08 +0000 (12:29 +0000)]
2008-08-04 H.J. Lu <hongjiu.lu@intel.com>
* config/i386/i386.c (ix86_compute_frame_layout): Fix a typo
in comments.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138611
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 12:14:25 +0000 (12:14 +0000)]
2008-08-04 Javier Miranda <miranda@adacore.com>
* sem_ch3.adb (Access_Subprogram_Declaration): Adding missing support
for N_Formal_Object_Declaration nodes. Adding kludge required by
First_Formal to provide its functionality with access to functions.
(Replace_Anonymous_Access_To_Protected_Subprogram): Add missing support
for anonymous access types returned by functions.
* sem_ch5.adb (Analyze_Assignment): Code cleanup to avoid duplicate
conversion of null-excluding access types (required only once to force
the generation of the required runtime check).
* sem_type.adb (Covers): minor reformating
* checks.adb (Null_Exclusion_Static_Checks): Avoid reporting errors
with internally generated nodes. Avoid generating the error inside init
procs.
* sem_res.adb (Resolve_Membership_Test): Minor reformating.
(Resolve_Null): Generate the null-excluding check in case of assignment
to a null-excluding object.
(Valid_Conversion): Add missing support for anonymous access to
subprograms.
* sem_ch6.adb (Check_Return_Subtype_Indication): Add missing support for
anonymous access types whose designated type is an itype. This case
occurs with anonymous access to protected subprograms types.
(Analyze_Return_Type): Add missing support for anonymous access to
protected subprogram.
* sem_eval.adb (Subtypes_Statically_Match): In case of access to
subprograms addition of missing check on matching convention. Required
to properly handle access to protected subprogram types.
* exp_ch3 (Build_Assignment): Code cleanup removing duplicated check on
null excluding access types.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138610
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 12:13:10 +0000 (12:13 +0000)]
* gnat.dg/test_ai254.adb: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138609
138bc75d-0d04-0410-961f-
82ee72b054a4
paolo [Mon, 4 Aug 2008 12:05:41 +0000 (12:05 +0000)]
2008-08-04 Paolo Carlini <paolo.carlini@oracle.com>
* include/bits/postypes.h: Reinstate inclusion of <stdint.h>;
also define the __STDC_* macros.
(streamoff): Adjust.
* include/tr1_impl/cstdint: Check that the __STDC_* macros are
not defined before defining.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138608
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 10:28:30 +0000 (10:28 +0000)]
* gnat.dg/bip_aggregate_bug.adb: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138606
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 10:25:26 +0000 (10:25 +0000)]
2008-08-04 Vasiliy Fofanov <fofanov@adacore.com>
* g-soccon-mingw-64.ads, system-mingw-x86_64.ads: New files.
* gcc-interface/Makefile.in: Use 64bit-specific system files when
compiling for 64bit windows.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138605
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 10:23:25 +0000 (10:23 +0000)]
2008-08-04 Robert Dewar <dewar@adacore.com>
* g-comlin.adb: Minor reformatting
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138604
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 10:23:16 +0000 (10:23 +0000)]
2008-08-04 Gary Dismukes <dismukes@adacore.com>
* exp_aggr.adb (Build_Record_Aggr_Code): Perform a conversion of the
target to the type of the aggregate in the case where the target object
is class-wide.
* exp_ch5.adb (Expand_Simple_Function_Return): When the function's
result type is class-wide and inherently limited, and the expression
has a specific type, create a return object of the specific type, for
more efficient handling of returns of build-in-place aggregates (avoids
conversions of the class-wide return object to the specific type on
component assignments).
* sem_ch6.adb (Check_Return_Subtype_Indication): Suppress the error
about a type mismatch for a class-wide function with a return object
having a specific type when the object declaration doesn't come from
source. Such an object can result from the expansion of a simple return.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138603
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 10:23:07 +0000 (10:23 +0000)]
2008-08-04 Robert Dewar <dewar@adacore.com>
* exp_dist.adb: Minor reformatting
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138602
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 10:22:58 +0000 (10:22 +0000)]
2008-08-04 Robert Dewar <dewar@adacore.com>
* exp_ch4.adb: Minor reformatting
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138601
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 10:22:48 +0000 (10:22 +0000)]
2008-08-04 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb (Analyze_Allocator): If the designated type is a non-null
access type and the allocator is not initialized, warn rather than
reporting an error.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138600
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 10:22:39 +0000 (10:22 +0000)]
2008-08-04 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb: Add comments
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138599
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 09:50:09 +0000 (09:50 +0000)]
2008-08-04 Kevin Pouget <pouget@adacore.com>
* snames.h, snames.adb, snames.ads:
Add Attr_To_Any, Attr_From_Any and Attr_TypeCode defines.
* exp_dist.ads, exp_dist.adb: Add Build_From_Any_Call,
Build_To_Any_Call and Build_TypeCode_Call procedures.
* exp_attr.adb, sem_attr.adb: Add corresponding cases.
* rtsfind.ads: Add corresponding names.
* tbuild.adb: Update prefix restrictions to allow '_' character.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138598
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 09:49:42 +0000 (09:49 +0000)]
2008-08-04 Ed Schonberg <schonberg@adacore.com>
* exp_ch4.adb (Get_Allocator_Final_List): Freeze anonymous type for
chain at once, to ensure that type is properly decorated for back-end,
when allocator appears within a loop.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138597
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 09:49:33 +0000 (09:49 +0000)]
2008-08-04 Jerome Lambourg <lambourg@adacore.com>
* g-comlin.adb (Group_Switches): Preserve the switch order when
grouping and allow switch grouping of switches with more than one
character extension (e.g. gnatw.x).
(Args_From_Expanded): Remove this now obsolete method.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138596
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 09:40:33 +0000 (09:40 +0000)]
Minor reformatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138595
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 09:38:06 +0000 (09:38 +0000)]
2008-08-04 Doug Rupp <rupp@adacore.com>
* gigi.h (fill_vms_descriptor): Add third parameter gnat_actual
* trans.c (call_to_gnu): Call fill_vms_descriptor with new parameter.
* utils2.c (fill_vms_descriptor): Add third parameter for error sloc and
use it. Calculate pointer range overflow using 64bit types.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138594
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 09:36:46 +0000 (09:36 +0000)]
2008-08-04 Vincent Celier <celier@adacore.com>
* mlib.adb (Create_Sym_Links): Create relative symbolic links when
requested
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138593
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 09:36:26 +0000 (09:36 +0000)]
2008-08-04 Arnaud Charlet <charlet@adacore.com>
* usage.adb (Usage): Minor rewording of -gnatwz switch, to improve
gnatcheck support in GPS.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138592
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 09:36:10 +0000 (09:36 +0000)]
2008-08-04 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Access_Definition): A formal object declaration is a
legal context for an anonymous access to subprogram.
* sem_ch4.adb (Analyze_One_Call): If the call can be interpreted as an
indirect call, report success to the caller to include possible
interpretation.
* sem_ch6.adb (Check_Return_Type_Indication): Apply proper conformance
check when the type
of the extended return is an anonymous access_to_subprogram type.
* sem_res.adb:
(Resolve_Call): Insert a dereference if the type of the subprogram is an
access_to_subprogram and the context requires its return type, and a
dereference has not been introduced previously.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138591
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 09:17:44 +0000 (09:17 +0000)]
2008-08-04 Vincent Celier <celier@adacore.com>
* gprep.adb (Process_One_File): Call Prep.Preprocess with a Boolean
variable, but don't check the resulting value as it has no impact on
the processing.
* opt.ads:
(Generate_Processed_File): New Boolean flag, set to True in the compiler
when switch -gnateG is used.
* prep.adb:
(Preprocess): new Boolean out parameter Source_Modified. Set it to True
when the source is modified by the preprocessor and there is no
preprocessing errors.
* prep.ads (Preprocess): new Boolean out parameter Source_Modified
* sinput-l.adb:
(Load_File): Output the result of preprocessing if the source text was
modified.
* switch-c.adb (Scan_Front_End_Switches): Recognize switch -gnateG
* switch-m.adb (Normalize_Compiler_Switches): Normalize switch -gnateG
* ug_words: Add VMS equivalent for -gnateG
* vms_data.ads:
Add VMS option /GENERATE_PROCESSED_SOURCE, equivalent to switch -gnateG
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138590
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 09:16:54 +0000 (09:16 +0000)]
2008-08-04 Doug Rupp <rupp@adacore.com>
* utils2.c (fill_vms_descriptor): Use long_integer for comparison.
Call add_stmt_with_node to set locus.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138589
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 09:07:31 +0000 (09:07 +0000)]
2008-08-04 Doug Rupp <rupp@adacore.com>
* gcc-interface/utils2.c:
(fill_vms_descriptor): Raise CE if attempt made to pass 64bit pointer
in 32bit descriptor.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138588
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 09:06:45 +0000 (09:06 +0000)]
2008-08-04 Thomas Quinot <quinot@adacore.com>
* sem_ch10.adb: Minor comment fix.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138587
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 09:06:36 +0000 (09:06 +0000)]
2008-08-04 Arnaud Charlet <charlet@adacore.com>
* sem_prag.adb (Check_Form_Of_Interface_Name): Fix handling for CLI
target.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138586
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 09:06:16 +0000 (09:06 +0000)]
2008-08-04 Vincent Celier <celier@adacore.com>
* make.adb: Correct spelling error in comment
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138585
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 09:05:56 +0000 (09:05 +0000)]
2008-08-04 Vincent Celier <celier@adacore.com>
* prj-attr.adb: New Builder attribute Global_Compilation_Switches
* snames.adb: New standard name Global_Compilation_Switches
* snames.ads: New standard name Global_Compilation_Switches
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138584
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 09:05:40 +0000 (09:05 +0000)]
2008-08-04 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Access_Definition): Create an itype reference for an
anonymous access return type of a regular function that is not a
compilation unit.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138583
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 09:05:29 +0000 (09:05 +0000)]
2008-08-04 Pascal Obry <obry@adacore.com>
* i-cobol.adb: Minor reformatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138582
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 09:05:01 +0000 (09:05 +0000)]
2008-08-04 Robert Dewar <dewar@adacore.com>
* par-ch10.adb: Minor reformatting
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138581
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 08:40:22 +0000 (08:40 +0000)]
Resync.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138580
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 08:38:06 +0000 (08:38 +0000)]
2008-08-04 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb (Check_Precondition_Postcondition): When scanning the
list of declaration to find previous subprogram, do not go to the
original node of a generic unit.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138579
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 08:37:57 +0000 (08:37 +0000)]
2008-08-04 Vincent Celier <celier@adacore.com>
* prj-proc.adb:
(Copy_Package_Declarations): When inheriting package Naming from a
project being extended, do not inherit source exception names.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138578
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 08:37:47 +0000 (08:37 +0000)]
2008-08-04 Robert Dewar <dewar@adacore.com>
* freeze.adb (Freeze_Entity): Check for size clause for boolean warning
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138577
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 08:37:40 +0000 (08:37 +0000)]
2008-08-04 Robert Dewar <dewar@adacore.com>
* system-darwin-x86.ads: Correct bad definition of Max_Nonbinary_Modulus
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138576
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 4 Aug 2008 08:37:31 +0000 (08:37 +0000)]
2008-08-04 Robert Dewar <dewar@adacore.com>
* restrict.adb: Improved messages for restriction warnings
* restrict.ads: Improved messages for restriction messages
* s-rident.ads (Profile_Name): Add No_Profile
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138575
138bc75d-0d04-0410-961f-
82ee72b054a4