charlet [Mon, 13 Jul 2009 12:45:02 +0000 (12:45 +0000)]
2009-07-13 Robert Dewar <dewar@adacore.com>
* exp_ch4.adb: Minor comment change
2009-07-13 Ed Schonberg <schonberg@adacore.com>
* sem_ch5.adb (Analyze_Iteration_Scheme): Generate dummy reference for
type of iteration, to prevent spurious warnings.
2009-07-13 Nicolas Roche <roche@adacore.com>
* s-oscons-tmplt.c: On VxWorks target ensure that vxWorks.h is always
included.
2009-07-13 Arnaud Charlet <charlet@adacore.com>
* switch-c.adb, usage.adb, sem_ch9.adb, gnat_ugn.texi, rtsfind.adb,
gnat1drv.adb, opt.ads, sem_ch13.adb (Inspector_Mode): Renamed to
Generate_SCIL.
(CodePeer_Mode): New -gnatC switch.
(Adjust_Global_Switches): Adjust settings for Generate_SCIL and
CodePeer_Mode.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149578
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 13 Jul 2009 12:43:26 +0000 (12:43 +0000)]
2009-07-13 Eric Botcazou <ebotcazou@adacore.com>
* checks.adb (Selected_Range_Checks): Do not consider that a non-static
integer bound forces the check if it is compared to its subtype range.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149577
138bc75d-0d04-0410-961f-
82ee72b054a4
irar [Mon, 13 Jul 2009 12:27:32 +0000 (12:27 +0000)]
* tree-vect-loop.c (get_initial_def_for_reduction): Ensure that the
checks access only relevant statements.
(vectorizable_reduction): Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149576
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 13 Jul 2009 12:24:23 +0000 (12:24 +0000)]
2009-07-13 Robert Dewar <dewar@adacore.com>
* prj.ads, prj-dect.adb, prj-err.ads, prj-err.adb, prj-nmsc.adb,
prj-strt.ads: Minor reformatting
2009-07-13 Thomas Quinot <quinot@adacore.com>
* exp_dist.adb (Build_From_Any_Call): For the case of a generic type,
set the type of the From_Any call to the base type.
2009-07-13 Doug Rupp <rupp@adacore.com>
* symbols-processing-vms-ia64.adb (Process): Add variables and
constants to retrieve and check for symbol visibility.
2009-07-13 Javier Miranda <miranda@adacore.com>
* exp_ch4.adb (Expand_N_Unchecked_Type_Conversion): If conversion is to
the identical type we remove the conversion completely because
it is useless.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149575
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 13 Jul 2009 12:17:53 +0000 (12:17 +0000)]
2009-07-13 Emmanuel Briot <briot@adacore.com>
* prj-err.adb (Error_Msg): One more case where a message should be
considered as a warning.
* gnatcmd.adb (GNATCmd): Fix previous change, which negated a test.
2009-07-13 Thomas Quinot <quinot@adacore.com>
* exp_dist.adb (Expand_All_Calls_Remote_Subprogram_Call): Analyze
calling stubs in the (library level) scope of the RCI locator, where it
is attached, not in the caller's scope.
2009-07-13 Javier Miranda <miranda@adacore.com>
* sem_ch3.adb (Analyze_Object_Declaration): In case of class-wide
interface object declarations we delay the generation of the equivalent
record type declarations until its expansion because there are cases in
which they are not required.
* sem_util.adb (Implements_Interface): Add missing support for subtypes.
* sem_disp.adb (Check_Controlling_Formals): Minor code cleanup plus
addition of assertion.
* exp_util.adb (Expand_Subtype_From_Expr): Renamings of class-wide
interface types require no equivalent constrained type declarations
because the expanded code only references the tag component associated
with the interface.
(Find_Interface_Tag): Improve management of interfaces that are
ancestors of tagged types.
* exp_ch3.adb (Expand_N_Object_Declaration): Improve the expansion of
class-wide object declarations to add missing support to statically
displace the pointer to the object to reference the tag component
associated with the interface.
* exp_disp.adb (Make_Tags) Avoid generation of internally generated
auxiliary types associated with user-defined dispatching calls if the
type has no user-defined primitives.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149574
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 13 Jul 2009 12:16:51 +0000 (12:16 +0000)]
2009-07-13 Vasiliy Fofanov <fofanov@adacore.com>
* mingw32.h: Make it explicit that we need XP or later.
* initialize.c: Remove useless extern symbol declaration.
* adaint.h: Ditto, also expose __gnat_win32_remove_handle to allow
code reuse in expect.c.
* adaint.c: Changes throughout the Windows section to redesign storage
of the child process list and the process identification.
* expect.c (__gnat_kill, __gnat_waitpid): Simplify, cleanup, use pids
for interfacing, fix errors.
(__gnat_expect_portable_execvp): use function in adaint.c
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149573
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 13 Jul 2009 12:04:11 +0000 (12:04 +0000)]
2009-07-13 Emmanuel Briot <briot@adacore.com>
* prj-proc.adb, prj-part.adb, prj-part.ads, prj-strt.adb,
prj-strt.ads, prj.adb, prj.ads, prj-makr.adb, prj-makr.ads,
prj-dect.adb, prj-dect.ads, prj-nmsc.adb, prj-pars.adb, errutil.adb,
errutil.ads, prj-conf.adb, gnatname.adb, prj-err.adb, prj-err.ads
(Prj.Nmsc.Report_Error): Removed, no longer needed.
Always use Prj.Err.Report_Message.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149572
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 13 Jul 2009 10:59:40 +0000 (10:59 +0000)]
2009-07-13 Robert Dewar <dewar@adacore.com>
* prj.adb, sem_ch4.adb, sem_res.adb, prj-nmsc.adb: Minor reformatting
& comment edits.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149571
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 13 Jul 2009 10:55:40 +0000 (10:55 +0000)]
2009-07-13 Robert Dewar <dewar@adacore.com>
* opt.ads, prj-conf.adb, prj-env.adb, prj-ext.adb, prj-nmsc.adb,
prj-proc.adb, prj-tree.adb, prj-tree.ads: Minor reformatting
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149570
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 13 Jul 2009 10:52:34 +0000 (10:52 +0000)]
2009-07-13 Emmanuel Briot <briot@adacore.com>
* prj.adb, prj.ads, prj-env.adb, prj-conf.adb, prj-tree.adb,
mlib-prj.adb (Private_Part.Ada_Prj_Objects_File_Set,
Ada_Prj_Include_File_Set): Removed, since not needed
Code clean up.
2009-07-13 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb (Analyze_Set_Membership): New procedure, subsidiary of
Analyze_Membership_Op.
* sem_res.adb (Resolve_Set_Membership): New procedure, subsidiary of
Resolve_Membership_Op.
* exp_ch4.adb (Expand_Set_Membership): New procedure, subsidiary of
Expand_N_In.
2009-07-13 Robert Dewar <dewar@adacore.com>
* clean.adb: Minor reformattting
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149569
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 13 Jul 2009 10:45:14 +0000 (10:45 +0000)]
2009-07-13 Emmanuel Briot <briot@adacore.com>
* gnatcmd.adb, prj-proc.adb, make.adb, mlib-prj.adb, prj-ext.adb,
gnat_ugn.texi, prj.adb, prj.ads, clean.adb, prj-nmsc.adb, prj-util.adb,
prj-conf.adb, gnatname.adb, prj-env.adb, prj-env.ads, prj-tree.adb,
prj-tree.ads (Prj.Tree.Create*): New subprograms to create new packages
and attributes in a project tree.
(Add_Default_GNAT_Naming_Scheme): Provide real implementation.
Remove last remaining mode-specific code (ada_only or
multi_language). This was duplicating code
(Get_Mode, Set_Mode): removed, no longer used.
(Initialize_Project_Path): all tools will now take into account both
GPR_PROJECT_PATH and ADA_PROJECT_PATH (in that order).
Remove some global variables and subprograms no longer used
Make temporary files tree-specific, to avoid interferences between
trees loaded in memory at the same time.
(Prj.Delete_Temporary_File): new subprogram
(Object_Paths, Source_Paths): fields no longer stored in the project
tree, since they are only needed locally in Set_Ada_Paths.
(Set_Mapping_File_Initial_State_To_Empty): removed, since had no
effect in practice.
(Project_Tree_Data.Ada_Path_Buffer): removed, since it can be replaced
by local variables in the appropriate subprograms
(Has_Foreign_Sources): removed.
* gcc-interface/Makefile.in: prj-pp.o is now needed to build gnatmake
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149568
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 13 Jul 2009 10:30:44 +0000 (10:30 +0000)]
2009-07-13 Arnaud Charlet <charlet@adacore.com>
* gnat1drv.adb (Adjust_Global_Switches): No longer set
Back_Annotate_Rep_Info in inspector mode.
(Gnat1Drv): Need to call the back-end in inspector mode to generate SCIL
* opt.ads: Update comment.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149567
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 13 Jul 2009 10:22:57 +0000 (10:22 +0000)]
2009-07-13 Robert Dewar <dewar@adacore.com>
* lib.adb, prj-nmsc.adb, prj-proc.adb, prj-proc.ads, prj.adb,
prj.ads: Minor reformatting and code reorganization.
* par-ch3.adb (Check_Restricted_Expression): New procedure
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149566
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 13 Jul 2009 10:20:42 +0000 (10:20 +0000)]
Update dependencies
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149565
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 13 Jul 2009 10:09:44 +0000 (10:09 +0000)]
2009-07-13 Ed Schonberg <schonberg@adacore.com>
* exp_attr.adb (Rewrite_Stream_Proc_Call): When rewriting a stream
attribute into a call of the corresponding suprogram, create extra
formals for the subprogram, because it may be a renaming whose
analysis does not create extra formals.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149564
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 13 Jul 2009 09:50:58 +0000 (09:50 +0000)]
2009-07-13 Emmanuel Briot <briot@adacore.com>
* gnatcmd.adb, prj-proc.adb, prj-proc.ads, make.adb, prj-part.adb,
prj.adb, prj.ads, clean.adb, prj-nmsc.adb, prj-nmsc.ads, prj-pars.adb,
prj-pars.ads, prj-conf.adb, prj-conf.ads, prj-env.adb, prj-tree.adb,
prj-tree.ads: Minor reformatting.
(Processing_Flags): new record to encapsulate the set of common
parameters to several subprograms in the project manager.
(Prj.Nmsc.Process_Naming_Scheme): renames Check, and moved to body
Remove the need for the Current_Dir parameter in subprograms.
(Look_For_Sources): minor refactoring, now that we no longer need to
share subprograms between the two Ada_Only and Multi_Language modes
(Processing_Flags): New field Error_On_Unknown_Language.
Merge tests for library project between gnatmake and gprbuild.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149563
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 13 Jul 2009 09:37:28 +0000 (09:37 +0000)]
* lib.adb, make.adb, mlib.adb, exp_dist.adb: Update comments.
Minor reformatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149562
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 13 Jul 2009 09:35:45 +0000 (09:35 +0000)]
2009-07-13 Emmanuel Briot <briot@adacore.com>
* prj-env.adb (Create_Config_Pragmas_File): Iterate on sources rather
than units.
2009-07-13 Thomas Quinot <quinot@adacore.com>
* sem_ch3.adb (Process_Full_View): Propagate Has_Specified_Stream_{Read,
Write,Input,Output} from private view to full view.
* sem_type.adb, sem_type.ads: Minor reformatting
2009-07-13 Nicolas Setton <setton@adacore.com>
* exp_dbug.ads: Add documentation note on the utility of
DW_AT_GNAT_encoding for IDEs.
2009-07-13 Robert Dewar <dewar@adacore.com>
* g-socthi-vxworks.adb: Minor reformatting
* gnatcmd.adb: Minor reformatting
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149561
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 13 Jul 2009 09:28:05 +0000 (09:28 +0000)]
2009-07-13 Thomas Quinot <quinot@adacore.com>
* rtsfind.ads, exp_dist.adb (RE_Allocate_Buffer): Runtime entry
removed, not used anymore.
(Exp_Dist.PolyORB_Support.Helpers.Assign_Opaque_From_Any):
New subprogram, implements copy of an Any value into a limited object.
(Exp_Dist.PolyORB_Support.Build_General_Calling_Stubs,
Exp_Dist.PolyORB_Support.Build_Subprogram_Receiving_Stubs,
Exp_Dist.PolyORB_Support.Helpers.Build_From_Any_Function): For the case
of parameters of a limited type, use the above new subprogram.
2009-07-13 Emmanuel Briot <briot@adacore.com>
* prj-nmsc.adb, prj-proc.adb, mlib.adb (Add_Source): new parameter
Location.
(Copy_ALI_Files): Avoid calls to read when pointing outside of the
allocated space.
(Error_Report): Remove global variable, replaced by parameters.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149560
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 13 Jul 2009 09:17:10 +0000 (09:17 +0000)]
2009-07-13 Thomas Quinot <quinot@adacore.com>
* g-socthi-vxworks.adb (C_Sendto): VxWorks does not support the
standard sendto(2) interface for connected sockets (passing a null
destination address). Use send(2) instead for that case.
2009-07-13 Pascal Obry <obry@adacore.com>
* adaint.c: Fix __gnat_stat() with Win32 UNC paths.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149559
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 13 Jul 2009 09:16:31 +0000 (09:16 +0000)]
2009-07-13 Emmanuel Briot <briot@adacore.com>
* prj-proc.adb, prj-proc.ads, prj.ads, prj-nmsc.adb, prj-nmsc.ads,
prj-pars.adb, prj-conf.adb, prj-conf.ads: Remove all remaining global
variables and tables in prj-nmsc.adb.
(Tree_Processing_Data): Renames Processing_Data, some new fields added
(Project_Processing_Data): New record
Simplify/unify check for missing sources.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149558
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 13 Jul 2009 09:04:17 +0000 (09:04 +0000)]
2009-07-13 Emmanuel Briot <briot@adacore.com>
* gnatcmd.adb, make.adb, mlib-prj.adb, prj-part.adb, mlib.adb,
prj.adb, prj.ads, clean.adb, prj-nmsc.adb, prj-nmsc.ads, prj-pars.adb,
prj-pars.ads, prj-conf.adb, prj-conf.ads, prj-tree.adb,
prj-tree.ads (Immediate_Directory_Of): Removed.
(Prj.Pars): Now parse the project simulating a default config file.
(Add_Default_GNAT_Naming_Scheme): New subprogram
(Check_Naming_Multi_Lang): Fix default value for Dot_Replacement.
Remove gnatmake-specific parsing of source files.
(Check_Illegal_Suffix): Renames Is_Illegal_Suffix, since it now raises
the error itself to provide more precise diagnostics.
(Process_Exceptions_Unit_Based): Avoid duplicate error message when
a unit belongs to several projects.
(Copy_Interface_Sources): Search the full path of files to copy in the
list of sources of the application rather than in the list of units.
(Parse_Project_And_Apply_Config): Do not reset the name of the main
project file.
(Check_File): Use htables to find out whether a source is duplicated.
(Add_Source): check whether the source or unit were already seen earlier
* gcc-interface/Makefile.in: Update gnatmake dependencies.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149557
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 13 Jul 2009 09:03:48 +0000 (09:03 +0000)]
2009-07-13 Robert Dewar <dewar@adacore.com>
* par-ch3.adb (P_Discrete_Choice_List): Choice can only be simple
expression if extensions permitted.
* par-ch4.adb (P_Membership_Test): New procedure (implement membership
set tests).
(P_Relation): Use P_Membership_Test
* par.adb (P_Membership_Test): New procedure (implement membership set
tests).
* sinfo.ads, sinfo.adb (N_In, N_Not_In) Add Alternatives field for sets.
* sprint.adb (Sprint_Node): Handle set form for membership tests.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149556
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 13 Jul 2009 08:47:36 +0000 (08:47 +0000)]
2009-07-13 Thomas Quinot <quinot@adacore.com>
* exp_dist.adb (Add_RACW_Primitive_Declarations_And_Bodies):
Do not attempt to generate stubs for predefined primitives of
synchronized interfaces.
(Add_Stub_Type): Factor some code from the PCS-specific variants of
Build_Stub_Type.
2009-07-13 Ed Schonberg <schonberg@adacore.com>
* sem_disp.adb (Override_Dispatching_Operation): Functions inherit the
Controlling_Result flag from the operation they override.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149553
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 13 Jul 2009 08:41:00 +0000 (08:41 +0000)]
* gcc-interface/Make-lang.in: Update dependencies
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149552
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 13 Jul 2009 08:39:28 +0000 (08:39 +0000)]
2009-07-13 Robert Dewar <dewar@adacore.com>
* gnat_ugn.texi: The gnatf switch no longer is needed to get full
details on unsupported constructs.
* rtsfind.adb: Remove references to All_Errors_Mode, give errors
unconditionally.
* s-trafor-default.adb: Correct some warnings
* s-valwch.adb, a-calend.adb, freeze.adb, prj.ads, s-vmexta.adb,
sem.adb, sem_ch10.adb, sem_ch6.adb, sem_disp.adb, vxaddr2line.adb:
Minor reformatting.
* par-ch4.adb (Conditional_Expression): Capture proper location for
conditional expression, should point to IF.
* s-tassta.adb, a-wtdeau.adb, s-tasren.adb, s-arit64.adb, s-imgdec.adb,
s-direio.adb, s-tpobop.adb, g-socket.adb, s-tposen.adb, s-taskin.adb,
g-calend.adb, s-regpat.adb, s-scaval.adb, g-catiio.adb: Minor code
reorganization (use conditional expressions).
2009-07-13 Ed Schonberg <schonberg@adacore.com>
* exp_util.adb (Remove_Side_Effects): If the expression is a call to a
build-in-place function that returns an inherently limited type (not
just a task type) create proper object declaration so that extra
build-in-place actuals are properly added to the call.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149551
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 13 Jul 2009 08:22:58 +0000 (08:22 +0000)]
2009-07-13 Robert Dewar <dewar@adacore.com>
* freeze.adb (Freeze_Entity): Implement Warn_On_Suspicious_Modulus_Value
* gnat_ugn.texi: Add documentation for -gnatw.m/.M
* opt.ads (Warn_On_Suspicious_Modulus_Value): New flag
* sem_warn.adb (Set_Dot_Warning_Flag): Set/reset
Warn_On_Suspicious_Modulus_Value.
* ug_words: Add entries for -gnatw.m/-gnatw.M.
* usage.adb: Add lines for -gnatw.m/.M switches.
* vms_data.ads: Add [NO]SUSPICIOUS_MODULUS for -gnatw.m/w.M
2009-07-13 Javier Miranda <miranda@adacore.com>
* sem_ch6.adb (Check_Synchronized_Overriding): Add missing check before
reading the Is_Interface attribute of the dispatching type.
2009-07-13 Robert Dewar <dewar@adacore.com>
* a-convec.adb: Minor code reorganization (use conditional expressions)
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149550
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 13 Jul 2009 08:17:02 +0000 (08:17 +0000)]
2009-07-13 Robert Dewar <dewar@adacore.com>
* freeze.adb (Check_Suspicious_Modulus): New procedure.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149549
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 13 Jul 2009 08:12:11 +0000 (08:12 +0000)]
2009-07-13 Robert Dewar <dewar@adacore.com>
* i-cobol.ads: Minor code fix (2**4 instead of 16 as modulus to avoid
warning).
* par-ch4.adb: Minor reformatting
2009-07-13 Ed Schonberg <schonberg@adacore.com>
* freeze.adb, freeze.ads, exp_aggr.adb: Rename Expand_Atomic_Aggregate
=> Is_Atomic_Aggregate
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149548
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 13 Jul 2009 08:07:38 +0000 (08:07 +0000)]
Minor reformatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149547
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Mon, 13 Jul 2009 08:06:51 +0000 (08:06 +0000)]
2009-07-13 Emmanuel Briot <briot@adacore.com>
* prj-nmsc.adb: Avoid traversing the list of source files if
we have already processed all locally removed files.
2009-07-13 Jose Ruiz <ruiz@adacore.com>
* gnat_ugn.texi: Fix typo.
2009-07-13 Robert Dewar <dewar@adacore.com>
* freeze.adb: Minor reformatting
Minor code reorganization (use Nkind_In)
* exp_ch6.adb: Minor reformatting
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149546
138bc75d-0d04-0410-961f-
82ee72b054a4
burnus [Mon, 13 Jul 2009 06:26:38 +0000 (06:26 +0000)]
2009-07-12 Tobias Burnus <burnus@net-b.de>
Philippe Marguinaud <philippe.marguinaud@meteo.fr>
PR fortran/40588
* primary.c (match_charkind_name): Fix condition for $ matching.
PR libfortran/22423
* libgfortran.h: Typedef the GFC_DTYPE_* enum.
2009-07-12 Tobias Burnus <burnus@net-b.de>
PR libfortran/22423
* io/io.h (namelist_type): Use the proper enum for GFC_DTYPE_*.
* intrinsics/iso_c_binding.c (c_f_pointer_u0): Make sure
variable is initialized to silence warning.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149545
138bc75d-0d04-0410-961f-
82ee72b054a4
uros [Mon, 13 Jul 2009 06:22:51 +0000 (06:22 +0000)]
* ChangeLog: Fix whitespace.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149544
138bc75d-0d04-0410-961f-
82ee72b054a4
gccadmin [Mon, 13 Jul 2009 00:16:46 +0000 (00:16 +0000)]
Daily bump.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149540
138bc75d-0d04-0410-961f-
82ee72b054a4
paolo [Sun, 12 Jul 2009 23:25:29 +0000 (23:25 +0000)]
2009-07-12 Paolo Carlini <paolo.carlini@oracle.com>
* include/std/type_traits (common_type): Remove workaround for
PR36628, now fixed.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149537
138bc75d-0d04-0410-961f-
82ee72b054a4
jason [Sun, 12 Jul 2009 21:10:09 +0000 (21:10 +0000)]
PR c++/36628
* tree.c (rvalue): Use lvalue_or_rvalue_with_address_p.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149536
138bc75d-0d04-0410-961f-
82ee72b054a4
jason [Sun, 12 Jul 2009 20:22:36 +0000 (20:22 +0000)]
fix double paste
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149535
138bc75d-0d04-0410-961f-
82ee72b054a4
jason [Sun, 12 Jul 2009 19:19:15 +0000 (19:19 +0000)]
* cp-tree.h (enum cp_lvalue_kind_flags): Add clk_rvalueref.
* tree.c (lvalue_p_1): Return it. Remove
treat_class_rvalues_as_lvalues parm.
(real_lvalue_p): Disallow pseudo-lvalues here.
(lvalue_or_rvalue_with_address_p): New fn.
* call.c (initialize_reference): Use it instead of real_lvalue_p.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149534
138bc75d-0d04-0410-961f-
82ee72b054a4
jason [Sun, 12 Jul 2009 19:19:03 +0000 (19:19 +0000)]
PR c++/40689
* init.c (build_new_1): Handle initializer list as array initializer.
(build_vec_init): Likewise.
* typeck.c (cp_build_modify_expr): Likewise.
* typeck2.c (process_init_constructor_array): Error rather than abort
if too many initializers.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149533
138bc75d-0d04-0410-961f-
82ee72b054a4
ktietz [Sun, 12 Jul 2009 15:59:42 +0000 (15:59 +0000)]
2009-07-12 Kai Tietz <kai.tietz@onevision.com>
* config/i386/cygming.h (TARGET_OS_CPP_BUILTINS): Define _X86_
just for 32-bit case.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149532
138bc75d-0d04-0410-961f-
82ee72b054a4
hubicka [Sun, 12 Jul 2009 12:07:35 +0000 (12:07 +0000)]
PR tree-optimization/40585
* except.c (expand_resx_expr): When there already is resume
instruction, produce linked list.
(build_post_landing_pads): Assert that resume is empty.
(connect_post_landing_pads): Handle resume lists.
(dump_eh_tree): Dump resume list.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149530
138bc75d-0d04-0410-961f-
82ee72b054a4
irar [Sun, 12 Jul 2009 07:09:07 +0000 (07:09 +0000)]
* tree-parloops.c (loop_parallel_p): Call vect_is_simple_reduction
with additional argument.
* tree-vectorizer.h (enum vect_def_type): Add
vect_double_reduction_def.
(vect_is_simple_reduction): Add argument.
* tree-vect-loop.c (vect_determine_vectorization_factor): Fix
indentation.
(vect_analyze_scalar_cycles_1): Detect double reduction. Call
vect_is_simple_reduction with additional argument.
(vect_analyze_loop_operations): Handle exit phi nodes in case of
double reduction.
(reduction_code_for_scalar_code): Handle additional codes by
returning ERROR_MARK for them. Fix comment and indentation.
(vect_is_simple_reduction): Fix comment, add argument to specify
double reduction. Detect double reduction.
(get_initial_def_for_induction): Fix indentation.
(get_initial_def_for_reduction): Fix comment and indentation.
Handle double reduction. Create initial definitions that do not
require adjustment if ADJUSTMENT_DEF is NULL. Handle additional cases.
(vect_create_epilog_for_reduction): Fix comment, add argument to
handle double reduction. Use PLUS_EXPR in case of MINUS_EXPR in
epilogue result extraction. Create double reduction phi node and
replace relevant uses.
(vectorizable_reduction): Call vect_is_simple_reduction with
additional argument. Fix indentation. Update epilogue code treatment
according to the changes in reduction_code_for_scalar_code. Check
for double reduction. Call vect_create_epilog_for_reduction with
additional argument.
* tree-vect-stmts.c (process_use): Handle double reduction, update
documentation.
(vect_mark_stmts_to_be_vectorized): Handle double reduction.
(vect_get_vec_def_for_operand): Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149526
138bc75d-0d04-0410-961f-
82ee72b054a4
dannysmith [Sun, 12 Jul 2009 06:09:39 +0000 (06:09 +0000)]
* config/i386/winnt.c (i386_pe_determine_dllexport_p): Don't
dllexport if !TREE_PUBLIC.
(i386_pe_maybe_record_exported_symbol): Assert TREE_PUBLIC.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149525
138bc75d-0d04-0410-961f-
82ee72b054a4
hp [Sun, 12 Jul 2009 02:44:22 +0000 (02:44 +0000)]
* gfortran.dg/f2003_io_4.f03, gfortran.dg/read_size_noadvance.f90,
gfortran.dg/namelist_39.f90, gfortran.dg/read_repeat.f90,
gfortran.dg/fmt_exhaust.f90, gfortran.dg/fseek.f90,
gfortran.dg/fmt_t_7.f, gfortran.dg/read_x_past.f,
gfortran.dg/read_bad_advance.f90, gfortran.dg/backslash_3.f,
gfortran.dg/namelist_56.f90, gfortran.dg/list_read_5.f90,
gfortran.dg/fmt_cache_1.f, gfortran.dg/fmt_t_4.f90: Gate test on
effective_target fd_truncate.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149524
138bc75d-0d04-0410-961f-
82ee72b054a4
gccadmin [Sun, 12 Jul 2009 00:16:40 +0000 (00:16 +0000)]
Daily bump.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149523
138bc75d-0d04-0410-961f-
82ee72b054a4
ebotcazou [Sat, 11 Jul 2009 20:52:28 +0000 (20:52 +0000)]
* checks.adb (Apply_Address_Clause_Check): Remove Size_Warning_Output
local variable and do not test it in Compile_Time_Bad_Alignment.
Do not issue size or alignment warnings for the X'Address form.
* sem_util.ads (Find_Overlaid_Object): Delete.
(Find_Overlaid_Entity): New procedure.
* sem_util.adb (Find_Overlaid_Object): Rename to...
(Find_Overlaid_Entity): ...this and turn into a procedure. Report
whether the address is offseted within the overlaid entity.
(Has_Compatible_Alignment): Track the offset globally instead of
passing it to Check_Offset. For an indexed component, compute the
full offset when possible. If the resulting offset is zero, only
check the prefix.
(Check_Offset): Delete.
* sem_ch13.adb (Address_Clause_Check_Record): Add Off field.
(Address_Aliased_Entity): Delete.
(Analyze_Attribute_Definition_Clause) <Attribute_Address>: Call
Find_Overlaid_Entity to find the overlaid entity and the offset.
Adjust throughout for above change.
(Validate_Address_Clauses): Always use attributes of entities, not of
their type. Tweak message for warning. Call Has_Compatible_Alignment
if the address is offseted to warn about incompatible alignments.
* gcc-interface/gigi.h (annotate_object): Declare.
* gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Annotate renaming
entity. Call annotate_object instead of annotating manually objects.
(annotate_object): New function.
* gcc-interface/trans.c (Subprogram_Body_to_gnu): Annotate parameters
at the end.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149520
138bc75d-0d04-0410-961f-
82ee72b054a4
aesok [Sat, 11 Jul 2009 20:26:54 +0000 (20:26 +0000)]
* config/avr/avr.h (TARGET_CPU_CPP_BUILTINS): Redefine.
(avr_extra_arch_macro) Remove declatation.
* config/avr/avr.c (avr_cpu_cpp_builtins): New function.
(avr_extra_arch_macro) Declare as static.
* config/avr/avr-protos.h (avr_cpu_cpp_builtins): Dclare.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149519
138bc75d-0d04-0410-961f-
82ee72b054a4
ebotcazou [Sat, 11 Jul 2009 19:33:14 +0000 (19:33 +0000)]
* gcc-interface/ada-tree.h: Minor reorganization.
* gcc-interface/misc.c (gnat_print_decl): Minor tweaks.
(gnat_print_type): Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149518
138bc75d-0d04-0410-961f-
82ee72b054a4
hubicka [Sat, 11 Jul 2009 19:03:52 +0000 (19:03 +0000)]
PR middle-end/48388
* except.c (can_be_reached_by_runtime): Test for NULL aka bitmap.
* g++.dg/torture/pr40388.C: New testcase.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149516
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Sat, 11 Jul 2009 17:46:23 +0000 (17:46 +0000)]
2009-07-11 Thomas Quinot <quinot@adacore.com>
* sem_util.adb, sem_res.adb, sem_warn.adb: Minor comment editing:
Lvalue -> lvalue
* exp_ch6.adb: Minor reformatting
2009-07-11 Ed Schonberg <schonberg@adacore.com>
* freeze.adb (Expand_Atomic_Aggregate): Clean up code, take into
account possible type qualification to determine whether aggregate
needs a target temporary to respect atomic type or object.
* exp_aggr.adb (Expand_Record_Aggregate): Use new version of
Expand_Atomic_Aggregate.
2009-07-11 Emmanuel Briot <briot@adacore.com>
* prj.adb, prj.ads, prj-nmsc.adb (Mark_Excluded_Sources): Speed up
algorithm.
(Excluded_Sources_Htable): No longer a global table.
Change error message to indicate which files are illegal in the list
of excluded files, as opposed to only the location in the project
file.
(Find_Source): New subprogram.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149515
138bc75d-0d04-0410-961f-
82ee72b054a4
jakub [Sat, 11 Jul 2009 17:41:59 +0000 (17:41 +0000)]
PR debug/40713
* dwarf2out.c (dw_fde_struct): Add in_std_section and
cold_in_std_section bits.
(dwarf2out_begin_prologue): Initialize them.
(dwarf2out_finish): Don't emit FDE range into .debug_ranges
if already covered by text_section or cold_text_section range.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149514
138bc75d-0d04-0410-961f-
82ee72b054a4
jakub [Sat, 11 Jul 2009 17:40:29 +0000 (17:40 +0000)]
PR rtl-optimization/40667
* defaults.h (MINIMUM_ALIGNMENT): Define if not defined.
* doc/tm.texi (MINIMUM_ALIGNMENT): Document it.
* config/i386/i386.h (MINIMUM_ALIGNMENT): Define.
* config/i386/i386.c (ix86_minimum_alignment): New function.
* config/i386/i386-protos.h (ix86_minimum_alignment): New prototype.
* cfgexpand.c (expand_one_var): Use MINIMIM_ALIGNMENT.
* emit-rtl.c (gen_reg_rtx): Likewise.
* function.c (assign_parms): Likewise. If nominal_type needs
bigger alignment than FUNCTION_ARG_BOUNDARY, use its alignment
rather than passed_type's alignment.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149513
138bc75d-0d04-0410-961f-
82ee72b054a4
jakub [Sat, 11 Jul 2009 09:23:32 +0000 (09:23 +0000)]
PR target/40668
* function.c (assign_parm_setup_stack): Adjust
MEM_OFFSET (data->stack_parm) if promoted_mode is different
from nominal_mode on big endian.
* gcc.c-torture/execute/pr40668.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149511
138bc75d-0d04-0410-961f-
82ee72b054a4
bonzini [Sat, 11 Jul 2009 08:28:34 +0000 (08:28 +0000)]
2009-07-11 Paolo Bonzini <bonzini@gnu.org>
* expmed.c (emit_store_flag_1): Fix choice of zero vs. sign extension.
2009-07-11 Paolo Bonzini <bonzini@gnu.org>
* gcc.c-torture/execute/
20090711-1.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149509
138bc75d-0d04-0410-961f-
82ee72b054a4
rsandifo [Sat, 11 Jul 2009 06:10:49 +0000 (06:10 +0000)]
gcc/testsuite/
PR testsuite/40699
PR testsuite/40707
PR testsuite/40709
* lib/gcc-defs.exp, lib/target-libpath.exp, lib/objc.exp,
lib/gfortran.exp, lib/g++.exp, lib/obj-c++.exp, lib/c-torture.exp,
lib/gcc-dg.exp, lib/gnat.exp, g++.dg/compat/compat.exp,
g++.dg/compat/struct-layout-1.exp: Revert 2009-06-30 commit.
libstdc++-v3/
PR testsuite/40699
PR testsuite/40707
PR testsuite/40709
* testsuite/lib/libstdc++.exp: Revert 2009-06-30 commit.
libjava/
PR testsuite/40699
PR testsuite/40707
PR testsuite/40709
* testsuite/lib/libjava.exp: Revert 2009-06-30 commit.
libgomp/
PR testsuite/40699
PR testsuite/40707
PR testsuite/40709
* testsuite/lib/libgomp.exp: Revert 2009-07-02 and 2009-06-30 commits.
* testsuite/libgomp.c/c.exp, testsuite/libgomp.c++/c++.exp,
testsuite/libgomp.fortran/fortran.exp: Revert 2009-06-30 commits.
libffi/
PR testsuite/40699
PR testsuite/40707
PR testsuite/40709
* testsuite/lib/libffi-dg.exp: Revert 2009-07-02, 2009-07-01 and
2009-06-30 commits.
libmudflap/
PR testsuite/40699
PR testsuite/40707
PR testsuite/40709
* testsuite/lib/libmudflap.exp: Revert 2009-06-30 commit.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149508
138bc75d-0d04-0410-961f-
82ee72b054a4
dj [Sat, 11 Jul 2009 03:45:51 +0000 (03:45 +0000)]
* config/mep/mep.c (mep_can_inline_p): Correct logic, and simplify.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149507
138bc75d-0d04-0410-961f-
82ee72b054a4
gccadmin [Sat, 11 Jul 2009 00:16:51 +0000 (00:16 +0000)]
Daily bump.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149506
138bc75d-0d04-0410-961f-
82ee72b054a4
burnus [Sat, 11 Jul 2009 00:03:07 +0000 (00:03 +0000)]
2009-07-09 Tobias Burnus <burnus@net-b.de>
PR fortran/33197
* check.c (gfc_check_fn_rc2008): New function.
* intrinsic.h (gfc_check_fn_rc2008): New prototype.
* intrinsic.c (add_functions): Add complex tan, cosh, sinh,
and tanh.
2009-07-09 Tobias Burnus <burnus@net-b.de>
PR fortran/33197
* gfortran.dg/complex_intrinsic_3.f90: New test.
* gfortran.dg/complex_intrinsic_4.f90: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149503
138bc75d-0d04-0410-961f-
82ee72b054a4
mmitchel [Fri, 10 Jul 2009 23:16:31 +0000 (23:16 +0000)]
* config/arm/thumb2.md (thumb2_cbz): Correct computation of length
attribute.
(thumb2_cbnz): Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149501
138bc75d-0d04-0410-961f-
82ee72b054a4
daney [Fri, 10 Jul 2009 22:49:52 +0000 (22:49 +0000)]
2009-07-10 David Daney <ddaney@caviumnetworks.com>
PR target/39079
* testsuite/gcc.target/mips/mips.exp: Make -msynci a known option.
* gcc.target/mips/clear-cache-1.c (dg-options): Add -msynci.
2009-07-10 David Daney <ddaney@caviumnetworks.com>
PR target/39079
* config.gcc (supported_defaults): Add synci.
(with_synci): Add validation.
(all_defaults): Add synci.
* config/mips/mips.md (clear_cache): Use TARGET_SYNCI instead of
ISA_HAS_SYNCI.
(synci): Same.
* config/mips/mips.opt (msynci): New option.
* config/mips/mips.c (mips_override_options): Warn on use of
-msynci for targets that do now support it.
* gcc/config/mips/mips.h (OPTION_DEFAULT_SPECS): Add a default for
msynci.
* gcc/doc/invoke.texi (-msynci): Document the new option.
* doc/install.texi (--with-synci): Document the new option.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149500
138bc75d-0d04-0410-961f-
82ee72b054a4
kargl [Fri, 10 Jul 2009 15:25:31 +0000 (15:25 +0000)]
2009-07-10 Steven G. Kargl <kargl@gcc.gnu.org>
* c99_functions.c (ccoshf, ccosh, ccoshl, ctanhf, ctanh, ctanl):
Fix errant minus.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149479
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 10 Jul 2009 13:20:49 +0000 (13:20 +0000)]
Minor reformatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149475
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 10 Jul 2009 13:18:49 +0000 (13:18 +0000)]
2009-07-10 Thomas Quinot <quinot@adacore.com>
* exp_ch7.adb: Update comments.
2009-07-10 Arnaud Charlet <charlet@adacore.com>
* exp_ch13.adb (Expand_N_Record_Representation_Clause): Ignore mod
clause if -gnatI is set instead of crashing.
2009-07-10 Ed Schonberg <schonberg@adacore.com>
* sem_ch11.adb (Same_Expression): Null is always equal to itself.
Additional work to remove redundant successive raise statements, in
this case access checks.
2009-07-10 Vincent Celier <celier@adacore.com>
* make.adb (Compile): Always create a deep copy of the mapping file
argument (-gnatem=...) as it may be deallocate/reallocate by
Normalize_Arguments.
2009-07-10 Javier Miranda <miranda@adacore.com>
* einfo.adb (Directly_Designated_Type): Add assertion.
* sem_res.adb (Check_Fully_Declared_Prefix): Add missing check on
access types before using attribute Directly_Designated_Type.
2009-07-10 Emmanuel Briot <briot@adacore.com>
* prj.ads: Minor typo fix
2009-07-10 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (Add_Extra_Formal): Protected operations do no need
special treatment.
* exp_ch6.adb (Expand_Protected_Subprogram_Call): If rewritten
subprogram is a function call, resolve properly, to ensure that extra
actuals are added as needed.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149474
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 10 Jul 2009 13:12:10 +0000 (13:12 +0000)]
2009-07-10 Thomas Quinot <quinot@adacore.com>
* sem_aggr.adb: Minor comments editing
* exp_tss.adb, exp_ch3.adb: Minor reformatting
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149473
138bc75d-0d04-0410-961f-
82ee72b054a4
jakub [Fri, 10 Jul 2009 11:56:55 +0000 (11:56 +0000)]
PR c++/40502
* error.c (cp_print_error_function): Check for NULL block.
* g++.dg/ext/strncpy-chk1.C: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149470
138bc75d-0d04-0410-961f-
82ee72b054a4
rguenth [Fri, 10 Jul 2009 11:45:40 +0000 (11:45 +0000)]
2009-07-10 Richard Guenther <rguenther@suse.de>
PR tree-optimization/40496
* tree-ssa-loop-manip.c (tree_transform_and_unroll_loop): Create
the PHI result with a compatible type.
* g++.dg/opt/pr40496.C: New testcase.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149469
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 10 Jul 2009 09:43:01 +0000 (09:43 +0000)]
2009-07-10 Robert Dewar <dewar@adacore.com>
* exp_util.adb: Minor code reorganization (use N_Short_Circuit)
* exp_ch4.adb: Add ??? comment for conditional expressions on limited
types.
* checks.adb (In_Declarative_Region_Of_Subprogram_Body): New procedure,
replaces Safe_To_Capture_In_Parameter_Value, and properly handles the
case of conditional expressions that may not be elaborated.
* sem_util.adb (Safe_To_Capture_Value): Properly handle case of
conditional expression where we may not execute then then or else
branches.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149468
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 10 Jul 2009 09:36:00 +0000 (09:36 +0000)]
2009-07-10 Arnaud Charlet <charlet@adacore.com>
* i-cexten.ads (bool): New type.
2009-07-10 Robert Dewar <dewar@adacore.com>
* sinfo.ads (N_Short_Circuit): New definition
* sem_ch13.adb, sem_ch6.adb, sem_eval.adb, sem_res.adb,
treepr.adb: Minor code reorganization (use N_Short_Circuit)
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149467
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 10 Jul 2009 09:30:44 +0000 (09:30 +0000)]
2009-07-10 Javier Miranda <miranda@adacore.com>
* exp_ch3.adb (Expand_Freeze_Record_Type): Handle constructors of
non-tagged record types.
* sem_prag.adb
(Process_Import_Or_Interface): Allow the use of "pragma Import (CPP,..)"
with non-tagged types. Required to import C++ classes that have no
virtual primitives.
(Analyze_Pragma): For pragma CPP_Constructor. Allow the use of functions
returning non-tagged types. For backward compatibility, if the
constructor returns a class wide type we internally change the
returned type to the corresponding non class-wide type.
* sem_aggr.adb
(Valid_Ancestor_Type): CPP_Constructors code cleanup.
(Resolve_Extension_Aggregate): CPP_Constructors code cleanup.
(Resolve_Aggr_Expr): CPP_Constructors code cleanup.
(Resolve_Record_Aggregate): CPP_Constructors code cleanup.
* sem_ch3.adb
(Analyze_Object_Declaration): CPP_Constructors code cleanup.
* sem_ch5.adb (Analyze_Assignment): CPP_Constructors code cleanup.
* sem_util.adb (Is_CPP_Constructor_Call): Code cleanup.
* sem_res.adb (Resolve_Allocator): CPP_Constructors code cleanup.
* exp_ch4.adb (Expand_Allocator_Expression): CPP_Constructors code
cleanup.
* exp_aggr.adb (Build_Record_Aggr_Code): CPP_Constructors code clean up.
* gnat_rm.texi
(pragma CPP_Class): Document that it can be used now with non-tagged
record types.
(pragma CPP_Constructor): Document that it can be used now with
functions returning specific types. For backward compatibility
we also support functions returning class-wide types.
* gnat_ugn.texi
(Interfacing with C++ constructors): Update the examples to incorporate
the new syntax in which the functions used to import C++ constructors
return specific types.
(Interfacing with C++ at the Class Level): Update the examples to
incorporate the new syntax in which the functions used to import
C++ constructors return specific types.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149466
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 10 Jul 2009 09:21:34 +0000 (09:21 +0000)]
2009-07-10 Thomas Quinot <quinot@adacore.com>
* exp_disp.adb (Make_Disp_Asynchronous_Select_Body,
Make_Disp_Conditional_Select_Body,
Make_Disp_Timed_Select_Body): For the case of a type that is neither an
interface nor a concurrent type, the primitive body is empty. Generate
a null statement so that it remains well formed.
2009-07-10 Ed Schonberg <schonberg@adacore.com>
* exp_aggr.adb (Build_Record_Aggr_Code): If the type has discriminants,
replace references to them in defaulted component expressions with
references to the values of the discriminants of the target object.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149465
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 10 Jul 2009 09:13:36 +0000 (09:13 +0000)]
2009-07-10 Ed Schonberg <schonberg@adacore.com>
* exp_ch7.adb (Build_Final_List): If the list is being built for a
Taft-Amendment type, place the finalization list in the package body,
to ensure that the tree for the spec is identical whenever it is
compiled.
2009-07-10 Javier Miranda <miranda@adacore.com>
* sem_ch3.adb (Build_Derived_Record_Type): Use the full-view when
inheriting attributes from a private Parent_Base.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149464
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 10 Jul 2009 09:11:16 +0000 (09:11 +0000)]
2009-07-10 Robert Dewar <dewar@adacore.com>
* exp_ch4.adb (Raise_Accessibility_Error): New procedure
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149463
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 10 Jul 2009 09:10:57 +0000 (09:10 +0000)]
2009-07-10 Ed Schonberg <schonberg@adacore.com>
* sem_ch11.adb (analyze_raise_xxx_error): Remove consecutive raise
statements with the same condition.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149462
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 10 Jul 2009 09:10:43 +0000 (09:10 +0000)]
2009-07-10 Javier Miranda <miranda@adacore.com>
* exp_util.adb (Find_Interface_Tag): Reorder processing of incoming
Typ argument to ensure proper management of access types.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149461
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 10 Jul 2009 09:10:20 +0000 (09:10 +0000)]
2009-07-10 Vincent Celier <celier@adacore.com>
* make.adb: Do not include object directories or library ALI
directories of library projects in the object path.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149460
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 10 Jul 2009 09:09:59 +0000 (09:09 +0000)]
2009-07-10 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb (Analyze pragma, case Task_Name): Analyze argument of
pragma, to capture global references if the context is generic.
* exp_ch2.adb (Expand_Discriminant): If a task type discriminant
appears within the initialization procedure for the corresponding
record, replace it with the proper discriminal.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149459
138bc75d-0d04-0410-961f-
82ee72b054a4
manu [Fri, 10 Jul 2009 07:27:32 +0000 (07:27 +0000)]
2009-07-10 Manuel López-Ibáñez <manu@gcc.gnu.org>
PR 25509
PR 40614
* c.opt (Wunused-result): New.
* doc/invoke.texi: Document it.
* c-common.c (c_warn_unused_result): Use it.
testsuite/
* g++.dg/warn/unused-result1-Werror.c: New.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149458
138bc75d-0d04-0410-961f-
82ee72b054a4
dj [Fri, 10 Jul 2009 05:03:01 +0000 (05:03 +0000)]
* targhooks.c (default_target_can_inline_p): Rename from
default_target_option_can_inline_p.
* targhooks.h (default_target_can_inline_p): Likewise.
* target-def.h (TARGET_CAN_INLINE_P): Rename from
TARGET_OPTION_CAN_INLINE_P.
* config/i386/i386.c (TARGET_CAN_INLINE_P): Likewise.
* config/mep/mep.c (TARGET_CAN_INLINE_P): Likewise.
(mep_target_can_inline_p): Rename from
mep_target_option_can_inline_p.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149457
138bc75d-0d04-0410-961f-
82ee72b054a4
pault [Fri, 10 Jul 2009 04:37:19 +0000 (04:37 +0000)]
2009-07-10 Paul Thomas <pault@gcc.gnu.org>
PR fortran/39334
* primary.c (match_kind_param): Return MATCH_NO if the symbol
has no value.
2009-07-10 Paul Thomas <pault@gcc.gnu.org>
PR fortran/39334
* gfortran.dg/recursive_parameter_1.f90: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149456
138bc75d-0d04-0410-961f-
82ee72b054a4
dj [Fri, 10 Jul 2009 01:31:45 +0000 (01:31 +0000)]
* config/mep/mep.h (FUNCTION_ARG_REGNO_P): Add coprocessor
registers used to pass vectors.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149455
138bc75d-0d04-0410-961f-
82ee72b054a4
kargl [Fri, 10 Jul 2009 00:36:20 +0000 (00:36 +0000)]
2009-07-09 Steven G. Kargl <kargl@gcc.gnu.org>
* gfortran.dg/c_kind_tests_2.f03: clean-up leftover module(s).
* gfortran.dg/module_equivalence_6.f90: Ditto.
* gfortran.dg/alloc_comp_auto_array_2.f90: Ditto.
* gfortran.dg/nan_2.f90: Ditto.
* gfortran.dg/inquire_11.f90: Ditto.
* gfortran.dg/abstract_type_3.f03: Ditto.
* gfortran.dg/abstract_type_1.f90: Ditto.
* gfortran.dg/private_type_9.f90: Ditto.
* gfortran.dg/abstract_type_5.f03: Ditto.
* gfortran.dg/elemental_subroutine_6.f90: Ditto.
* gfortran.dg/derived_comp_array_ref_3.f90: Ditto.
* gfortran.dg/derived_sub.f90: Ditto.
* gfortran.dg/missing_optional_dummy_5.f90: Ditto.
* gfortran.dg/bounds_check_fail_2.f90: Ditto.
* gfortran.dg/maxloc_bounds_6.f90: Ditto.
* gfortran.dg/mvbits_6.f90: Ditto.
* gfortran.dg/abstract_type_2.f03: Ditto.
* gfortran.dg/abstract_type_4.f03: Ditto.
* gfortran.dg/bounds_check_9.f90: Ditto.
* gfortran.dg/optional_dim_3.f90: Ditto.
* gfortran.dg/pr32921.f: Ditto.
* gfortran.dg/entry_16.f90: Ditto.
* gfortran.dg/generic_16.f90: Ditto.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149454
138bc75d-0d04-0410-961f-
82ee72b054a4
dj [Fri, 10 Jul 2009 00:27:25 +0000 (00:27 +0000)]
* config/mep/mep.c (mep_option_can_inline_p): Remove error call.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149453
138bc75d-0d04-0410-961f-
82ee72b054a4
gccadmin [Fri, 10 Jul 2009 00:16:51 +0000 (00:16 +0000)]
Daily bump.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149452
138bc75d-0d04-0410-961f-
82ee72b054a4
simartin [Thu, 9 Jul 2009 21:57:54 +0000 (21:57 +0000)]
gcc/cp/
2008-07-08 Simon Martin <simartin@users.sourceforge.net>
Jason Merrill <jason@redhat.com>
* pt.c (perform_typedefs_access_check, get_types_needing_access_check,
append_type_to_template_for_access_check_1): Use CLASS_TYPE_P.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149439
138bc75d-0d04-0410-961f-
82ee72b054a4
tromey [Thu, 9 Jul 2009 20:16:56 +0000 (20:16 +0000)]
2009-07-09 Jakub Jelinek <jakub@redhat.com>
* dwarf2.h (enum dwarf_location_atom): Add DW_OP_implicit_value
and DW_OP_stack_value.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149438
138bc75d-0d04-0410-961f-
82ee72b054a4
tromey [Thu, 9 Jul 2009 19:41:25 +0000 (19:41 +0000)]
gcc
* unwind-dw2-fde-darwin.c: Include dwarf2.h.
* config/mmix/mmix.c: Include dwarf2.h.
* config/rs6000/darwin-fallback.c: Include dwarf2.h.
* config/xtensa/unwind-dw2-xtensa.c: Include dwarf2.h.
* config/sh/sh.c: Include dwarf2.h.
* config/i386/i386.c: Include dwarf2.h.
* Makefile.in (DWARF2_H): Remove 'elf'.
* except.c: Include dwarf2.h.
* unwind-dw2.c: Include dwarf2.h.
* dwarf2out.c: Include dwarf2.h.
* unwind-dw2-fde-glibc.c: Include dwarf2.h.
* unwind-dw2-fde.c: Include dwarf2.h.
* dwarf2asm.c: Include dwarf2.h.
gcc/ada
* raise-gcc.c: Include dwarf2h (unconditionally).
include
* elf/dwarf2.h: Remove, renaming to...
* dwarf2.h: ... this.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149433
138bc75d-0d04-0410-961f-
82ee72b054a4
mkuvyrkov [Thu, 9 Jul 2009 18:15:22 +0000 (18:15 +0000)]
* haifa-sched.c (insn_finishes_cycle_p): New static function.
(max_issue): Use it.
* sched-int.h (struct sched_info: insn_finishes_block_p): New
scheduler hook.
* sched-rgn.c (rgn_insn_finishes_block_p): Implement it.
(region_sched_info): Update.
* sched-ebb.c (ebb_sched_info): Update.
* modulo-sched.c (sms_sched_info): Update.
* sel-sched-ir.c (sched_sel_haifa_sched_info): Update.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149427
138bc75d-0d04-0410-961f-
82ee72b054a4
mkuvyrkov [Thu, 9 Jul 2009 18:09:23 +0000 (18:09 +0000)]
* varasm.c (build_constant_desc): Don't share RTL in pool entries.
* gcc.target/m68k/
20090709-1.c: New.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149426
138bc75d-0d04-0410-961f-
82ee72b054a4
bstarynk [Thu, 9 Jul 2009 17:57:14 +0000 (17:57 +0000)]
2009-07-09 Basile Starynkevitch <basile@starynkevitch.net>
* gcc/plugin.c (try_init_one_plugin): passes RTLD_GLOBAL to dlopen.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149424
138bc75d-0d04-0410-961f-
82ee72b054a4
dodji [Thu, 9 Jul 2009 17:56:44 +0000 (17:56 +0000)]
2009-07-09 Dodji Seketeli <dodji@redhat.com>
gcc/cp/ChangeLog:
PR c++/40684
* pt.c (type_unification_real): Use tsubst_template_arg instead
of tsubst to substitute default template arguments.
gcc/testsuite/ChangeLog:
PR c++/40684
* g++.dg/template/unify11.C: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149423
138bc75d-0d04-0410-961f-
82ee72b054a4
pault [Thu, 9 Jul 2009 16:48:50 +0000 (16:48 +0000)]
2008-07-09 Paul Thomas <pault@gcc.gnu.org>
PR fortran/40629
* resolve.c (check_host_association): Use the existing
accessible symtree and treat function expressions with
symbols that have procedure flavor.
2008-07-09 Paul Thomas <pault@gcc.gnu.org>
PR fortran/40629
* gfortran.dg/host_assoc_function_9.f90: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149422
138bc75d-0d04-0410-961f-
82ee72b054a4
janis [Thu, 9 Jul 2009 16:45:47 +0000 (16:45 +0000)]
Fix typos in previous ChangeLog entry
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149421
138bc75d-0d04-0410-961f-
82ee72b054a4
janus [Thu, 9 Jul 2009 14:07:03 +0000 (14:07 +0000)]
2009-07-09 Janus Weil <janus@gcc.gnu.org>
PR fortran/40646
* dump-parse-tree.c (show_expr): Renamed 'is_proc_ptr_comp'.
* expr.c (is_proc_ptr_comp): Renamed to 'gfc_is_proc_ptr_comp'.
(gfc_check_pointer_assign): Renamed 'is_proc_ptr_comp'.
(replace_comp,gfc_expr_replace_comp): New functions, analogous
to 'replace_symbol' and 'gfc_expr_replace_symbol', just with components
instead of symbols.
* gfortran.h (gfc_expr_replace_comp): New prototype.
(is_proc_ptr_comp): Renamed to 'gfc_is_proc_ptr_comp'.
* interface.c (compare_actual_formal): Renamed 'is_proc_ptr_comp'.
* match.c (gfc_match_pointer_assignment): Ditto.
* primary.c (gfc_match_varspec): Handle array-valued procedure pointers
and procedure pointer components. Renamed 'is_proc_ptr_comp'.
* resolve.c (resolve_fl_derived): Correctly handle interfaces with
RESULT statement, and handle array-valued procedure pointer components.
(resolve_actual_arglist,resolve_ppc_call,resolve_expr_ppc): Renamed
'is_proc_ptr_comp'.
* trans-array.c (gfc_walk_function_expr): Ditto.
* trans-decl.c (gfc_get_symbol_decl): Security check for presence of
ns->proc_name.
* trans-expr.c (gfc_conv_procedure_call): Handle array-valued procedure
pointer components. Renamed 'is_proc_ptr_comp'.
(conv_function_val,gfc_trans_arrayfunc_assign): Renamed
'is_proc_ptr_comp'.
(gfc_get_proc_ptr_comp): Do not modify the argument 'e', but instead
make a copy of it.
* trans-io.c (gfc_trans_transfer): Handle array-valued procedure
pointer components.
2009-07-09 Janus Weil <janus@gcc.gnu.org>
PR fortran/40646
* gfortran.dg/proc_ptr_22.f90: New.
* gfortran.dg/proc_ptr_comp_12.f90: New.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149419
138bc75d-0d04-0410-961f-
82ee72b054a4
jakub [Thu, 9 Jul 2009 11:19:22 +0000 (11:19 +0000)]
PR middle-end/40692
* fold-const.c (fold_cond_expr_with_comparison): Don't replace
arg1 with arg01 if arg1 is already INTEGER_CST.
* gcc.c-torture/compile/pr40692.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149418
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 9 Jul 2009 11:03:25 +0000 (11:03 +0000)]
2009-07-09 Ed Schonberg <schonberg@adacore.com>
* sem_ch10.adb (Install_Context): If the unit is a package body,
install the private with_clauses of the corresponding package
declaration.
2009-07-09 Robert Dewar <dewar@adacore.com>
* checks.adb: Minor reformatting
2009-07-09 Vasiliy Fofanov <fofanov@adacore.com>
* ug_words, gnat_ugn.texi: Move VMS equivalents of the last check in
into ug_words.
2009-07-09 Thomas Quinot <quinot@adacore.com>
* sem_ch13.adb (Analyze_Attribute_Definition_Clause, case Address):
Do not warn for a constant overlaying any constant object
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149417
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 9 Jul 2009 10:59:19 +0000 (10:59 +0000)]
2009-07-09 Ed Schonberg <schonberg@adacore.com>
* sem_ch10.adb (Install_Context): If the unit is a package body,
install the private with_clauses of the corresponding package
declaration.
2009-07-09 Robert Dewar <dewar@adacore.com>
* checks.adb: Minor reformatting
2009-07-09 Vasiliy Fofanov <fofanov@adacore.com>
* ug_words, gnat_ugn.texi: Move VMS equivalents of the last check in
into ug_words.
2009-07-09 Thomas Quinot <quinot@adacore.com>
* sem_ch13.adb (Analyze_Attribute_Definition_Clause, case Address):
Do not warn for a constant overlaying any constant object
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149416
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 9 Jul 2009 10:32:08 +0000 (10:32 +0000)]
2009-07-09 Thomas Quinot <quinot@adacore.com>
* g-socket.adb (Check_Selector): Do not create local copies of the
socket sets on the stack.
2009-07-09 Vasiliy Fofanov <fofanov@adacore.com>
* gnat_ugn.texi: Add missing VMS translations.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149414
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 9 Jul 2009 10:29:09 +0000 (10:29 +0000)]
2009-07-09 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb (Analyze_Pragma, case Precondition): Do not analyze the
condition, to prevent generation of visible code during expansion,
when Check is not enabled.
2009-07-09 Gary Dismukes <dismukes@adacore.com>
* checks.adb (Install_Static_Check): Call Possible_Local_Raise so that
the check gets registered for any available local handler
(Set_Local_Raise).
* sem_util.adb: Add with and use of Exp_Ch11.
(Apply_Compile_Time_Constraint_Error): Call Possible_Local_Raise so
that the check gets registered for any available local handler.
* exp_ch4.adb (Expand_N_Slice): Remove call to Enable_Range_Check
on slice ranges.
2009-07-09 Steve Baird <baird@adacore.com>
* exp_ch11.adb (Force_Static_Allocation_Of_Referenced_Objects): New
function.
(Expand_N_Exception_Declaration): Fix handling of exceptions
declared in a subprogram.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149413
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 9 Jul 2009 10:22:49 +0000 (10:22 +0000)]
2009-07-09 Emmanuel Briot <briot@adacore.com>
* prj-nmsc.adb (Find_Sources): Avoid error messages from gprbuild from
multi-unit files.
2009-07-09 Thomas Quinot <quinot@adacore.com>
* freeze.adb: Minor reformatting
* exp_ch3.adb: Minor comment fix.
* sinfo.ads: Minor comment fix
2009-07-09 Ed Schonberg <schonberg@adacore.com>
* exp_ch4.adb (Expand_N_Conditional_Expression): Set Related_Expression.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149411
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 9 Jul 2009 10:17:40 +0000 (10:17 +0000)]
2009-07-09 Ed Schonberg <schonberg@adacore.com>
* freeze.adb (Freeze_Expression): If the expression is the name of a
function in a call, and the function has not been frozen yet, create
extra formals for it to ensure that the proper actuals are created
when expanding the call.
2009-07-09 Emmanuel Briot <briot@adacore.com>
* prj-pp.adb (Print): Fix handling of source index when set on a
declaration node.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149408
138bc75d-0d04-0410-961f-
82ee72b054a4