romangareev [Sun, 20 Jul 2014 13:31:41 +0000 (13:31 +0000)]
* configure.ac: Accept only CLooG 0.18.1.
* configure: Regenerate.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212869
138bc75d-0d04-0410-961f-
82ee72b054a4
romangareev [Sun, 20 Jul 2014 13:24:37 +0000 (13:24 +0000)]
gcc/
* graphite-isl-ast-to-gimple.c:
Fixes a formatting issue related to the number of characters in the
line.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212868
138bc75d-0d04-0410-961f-
82ee72b054a4
mpolacek [Sun, 20 Jul 2014 10:43:26 +0000 (10:43 +0000)]
PR c/61852
* c-decl.c (implicit_decl_warning): Add location_t parameter. Use it.
(implicitly_declare): Pass location to implicit_decl_warning.
* gcc.dg/pr61852.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212865
138bc75d-0d04-0410-961f-
82ee72b054a4
romangareev [Sun, 20 Jul 2014 09:44:36 +0000 (09:44 +0000)]
gcc/
* graphite-isl-ast-to-gimple.c:
Add using of build_nonstandard_integer_type instead of
int128_integer_type_node.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212863
138bc75d-0d04-0410-961f-
82ee72b054a4
ian [Sun, 20 Jul 2014 09:24:16 +0000 (09:24 +0000)]
runtime: also disable split stacks for runtime_snprintf function under Clang
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212862
138bc75d-0d04-0410-961f-
82ee72b054a4
gccadmin [Sun, 20 Jul 2014 00:17:10 +0000 (00:17 +0000)]
Daily bump.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212858
138bc75d-0d04-0410-961f-
82ee72b054a4
ian [Sat, 19 Jul 2014 21:36:26 +0000 (21:36 +0000)]
reflect, runtime: Use libffi closures to implement reflect.MakeFunc.
Keep using the existing 386 and amd64 code on those archs,
since it is more efficient.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212853
138bc75d-0d04-0410-961f-
82ee72b054a4
ebotcazou [Sat, 19 Jul 2014 19:30:11 +0000 (19:30 +0000)]
* toplev.c (output_stack_usage): Adjust the location of the warning.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212850
138bc75d-0d04-0410-961f-
82ee72b054a4
redi [Sat, 19 Jul 2014 17:56:09 +0000 (17:56 +0000)]
* acinclude.m4 (GLIBCXX_CHECK_SDT_H): Replace AC_MSG_RESULT with
AC_MSG_CHECKING.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212848
138bc75d-0d04-0410-961f-
82ee72b054a4
ebotcazou [Sat, 19 Jul 2014 11:04:39 +0000 (11:04 +0000)]
* gnat_rm.texi: Clean up for makeinfo 5.2.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212845
138bc75d-0d04-0410-961f-
82ee72b054a4
ebotcazou [Sat, 19 Jul 2014 10:55:28 +0000 (10:55 +0000)]
* gnat_rm.texi (Machine Code Insertions): Clean up.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212844
138bc75d-0d04-0410-961f-
82ee72b054a4
ebotcazou [Sat, 19 Jul 2014 10:41:03 +0000 (10:41 +0000)]
* config/sparc/sync.md (*membar_storeload_leon3): New insn.
(*membar_storeload): Disable for LEON3.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212841
138bc75d-0d04-0410-961f-
82ee72b054a4
ian [Sat, 19 Jul 2014 10:12:01 +0000 (10:12 +0000)]
libgo: Bump version number.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212840
138bc75d-0d04-0410-961f-
82ee72b054a4
ian [Sat, 19 Jul 2014 08:53:52 +0000 (08:53 +0000)]
libgo: Update to Go 1.3 release.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212837
138bc75d-0d04-0410-961f-
82ee72b054a4
gccadmin [Sat, 19 Jul 2014 00:16:54 +0000 (00:16 +0000)]
Daily bump.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212833
138bc75d-0d04-0410-961f-
82ee72b054a4
ian [Fri, 18 Jul 2014 21:59:12 +0000 (21:59 +0000)]
compiler: fix test for mismatch between function results and uses
Test is http://codereview.appspot.com/
111360045 .
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212830
138bc75d-0d04-0410-961f-
82ee72b054a4
edlinger [Fri, 18 Jul 2014 18:11:53 +0000 (18:11 +0000)]
2014-07-18 Bernd Edlinger <bernd.edlinger@hotmail.de>
PR rtl-optimization/61461
* sched-vis.c (print_pattern) <ADDR_VEC, ADDR_DIFF_VEC>: Fixed.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212829
138bc75d-0d04-0410-961f-
82ee72b054a4
uros [Fri, 18 Jul 2014 16:13:45 +0000 (16:13 +0000)]
PR target/61794
* config/i386/sse.md (avx512f_vextract<shuffletype>32x4_1_maskm):
Fix instruction constraint.
(<mask_codefor>avx512f_vextract<shuffletype>32x4_1<mask_name>): Ditto.
testsuite/ChangeLog:
PR target/61794
* gcc.target/i386/pr61794.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212824
138bc75d-0d04-0410-961f-
82ee72b054a4
redi [Fri, 18 Jul 2014 15:56:00 +0000 (15:56 +0000)]
PR libstdc++/61835
* python/libstdcxx/v6/printers.py (TemplateTypePrinter): Use
raw string.
(SingleObjContainerPrinter): Check if type printers are in use.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212822
138bc75d-0d04-0410-961f-
82ee72b054a4
redi [Fri, 18 Jul 2014 15:52:01 +0000 (15:52 +0000)]
* doc/extend.texi (Template Instantiation): Remove stray parenthesis.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212821
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 18 Jul 2014 15:39:59 +0000 (15:39 +0000)]
Update comments
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212819
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 18 Jul 2014 11:04:34 +0000 (11:04 +0000)]
2014-07-18 Robert Dewar <dewar@adacore.com>
* exp_ch7.adb: Minor reformatting.
2014-07-18 Claire Dross <dross@adacore.com>
* sem_aux.ads (Get_Binary_Nkind): New function that returns
the Node_Kind value of an entity defining a binary operator.
(Get_Unary_Nkind): New function that returns the Node_Kind value
of an entity defining a unary operator.
2014-07-18 Pascal Obry <obry@adacore.com>
* sysdep.c: comment update.
* adaint.c (__gnat_fputwc): Use wchar_t on a limited set of
platforms where it is known to be supported.
2014-07-18 Thomas Quinot <quinot@adacore.com>
* sem_dist.adb (Process_Remote_AST_Declaration): Need
to set Fat_Type's Ekind in order to be able to use its
Corresponding_Remote_Type attribute.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212815
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 18 Jul 2014 11:02:42 +0000 (11:02 +0000)]
2014-07-18 Hristian Kirtchev <kirtchev@adacore.com>
* einfo.adb Last_Aggregate_Assignment is now Node 30.
(Last_Aggregate_Assignment): Include
constants in the assertion. Update the underlying node.
(Set_Last_Aggregate_Assignment): Include constants in the
assertion. Update the underlying node. (Write_Field11_Name):
Remove the entry for Last_Aggregate_Assignment.
(Write_Field30_Name): Add an entry for Last_Aggregate_Assignment.
* einfo.ads Update the node designation and usage of attribute
Last_Aggregate_Assignment.
* exp_aggr.adb (Expand_Array_Aggregate): Store the last
assignment statement used to initialize a controlled object.
(Late_Expansion): Store the last assignment statement used to
initialize a controlled record or an array of controlled objects.
* exp_ch3.adb (Expand_N_Object_Declaration): Default
initialization of objects is now performed in a separate routine.
(Default_Initialize_Object): New routine.
* exp_ch7.adb (Build_BIP_Cleanup_Stmts): Add formal parameter
Obj_Id. Update the comment on usage.
(Find_Last_Init): Remove formal parameter Typ. Update comment on usage.
Reimplement the logic. (Find_Last_Init_In_Block): New routine.
(Is_Init_Call): Add formal parameter Init_Typ. Update the
comment on usage. Account for the type init proc when trying
to determine whether a statement is an initialization call.
(Make_Adjust_Call): Rename formal parameter For_Parent to
Skip_Self. Update all occurrences of For_Parent. Account for
non-tagged types. Update the call to Make_Call.
(Make_Call): Rename formal parameter For_Parent to Skip_Self. Update
comment on usage. Update all occurrences of For_Parent.
(Make_Final_Call): Rename formal parameter For_Parent to
Skip_Self. Update all occurrences of For_Parent. Account
for non-tagged types. Update the call to Make_Call.
(Process_Object_Declaration): Most variables and constants are
now local to the routine.
* exp_ch7.ads (Make_Adjust_Call): Rename formal parameter
For_Parent to Skip_Self. Update the comment on usage.
(Make_Final_Call): Rename formal parameter For_Parent to
Skip_Self. Update the comment on usage.
2014-07-18 Ed Schonberg <schonberg@adacore.com>
* sem_ch9.adb (Analyze_Requeue): The entry being referenced
can be a procedure that is implemented by entry, and have a
formal that is a synchronized interface. It does not have to
be declared as a protected operation.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212814
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 18 Jul 2014 11:00:59 +0000 (11:00 +0000)]
2014-07-18 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Remove mention of obsolete attributes
Max[_Interrupt]_Priority, which have never been implemented
(or at the very least were removed long ago if they ever were
implemented. Add documentation of Max[_Interrupt]_Priority
constants in package System.
* ttypes.ads: Document actual handling of package System,
rather than a historical fantasy version. Remove mention of
non-existent attributes Max[_Interrupt]_Priority.
2014-07-18 Pascal Obry <obry@adacore.com>
* a-witeio.adb (Put): No 16-bit character output when text
translation is disabled.
* i-cstrea.ads: Code clean up.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212813
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 18 Jul 2014 10:59:26 +0000 (10:59 +0000)]
2014-07-18 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Document that Wchar_T_Size and Word_Size are
static attributes.
2014-07-18 Arnaud Charlet <charlet@adacore.com>
* a-witeio.adb, initialize.c: Update comments. Minor clean ups.
2014-07-18 Pascal Obry <obry@adacore.com>
* adaint.c: Do not include wchar.h on VxWorks.
* mingw32.h: Remove obsolete definition.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212812
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 18 Jul 2014 10:57:47 +0000 (10:57 +0000)]
2014-07-18 Pascal Obry <obry@adacore.com>
* a-textio.adb, a-witeio.adb, a-ztexio.adb: Use C_Streams Default_Text.
* i-cstrea.ads (Content_Encoding): Moved here, add convention C.
* s-ficobl.ads (Content_Encoding): Moved to C_Streams.
* s-fileio.adb (Open): Adjust to use Content_Encoding from C_Streams.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212811
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 18 Jul 2014 10:56:54 +0000 (10:56 +0000)]
2014-07-18 Pascal Obry <obry@adacore.com>
* a-textio.adb: Rename Is_Text_File to Text_Encoding.
* a-ztexio.adb: Likewise.
* a-witeio.adb: Likewise.
(Open): Pass file's translation mode to set_text_mode.
* s-ficobl.ads (Content_Encoding): New type.
(Text_Content_Encoding): New subtype.
(AFCB): Rename Is_Text_File to Text_Encoding.
* s-fileio.adb (Open): Handles new text_translation
values. Remove Is_Text_File which is equivalent to Text_Encoding
in Text_Content_Encoding.
* adaint.h (__gnat_set_mode): New routine.
* sysdep.c (__gnat_set_wide_text_mode): Removed.
(__gnat_set_mode): New routine.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212810
138bc75d-0d04-0410-961f-
82ee72b054a4
jasonwucj [Fri, 18 Jul 2014 10:50:04 +0000 (10:50 +0000)]
Follow the GNU coding standards.
* config/nds32/nds32.c (nds32_can_eliminate): Follow the
GNU coding standards.
(nds32_register_move_cost): Likewise.
(nds32_memory_move_cost): Likewise.
(nds32_address_cost): Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212809
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 18 Jul 2014 10:19:34 +0000 (10:19 +0000)]
* gcc-interface/decl.c, gcc-interface/trans.c,
gcc-interface/utils.c (Is_Packed_Array_Type): Renamed
Is_Packed_Array_Impl_Type.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212808
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 18 Jul 2014 10:15:56 +0000 (10:15 +0000)]
2014-07-18 Gary Dismukes <dismukes@adacore.com>
* sem_util.adb: Minor typo correction.
2014-07-18 Ben Brosgol <brosgol@adacore.com>
* gnat_rm.texi: Complete previous change.
2014-07-18 Pascal Obry <obry@adacore.com>
* s-fileio.adb: Minor style fix.
2014-07-18 Ed Schonberg <schonberg@adacore.com>
* sem_ch13.adb (Analyze_Aspect_Specifications): Detect improper
specification of stream attributes for subtypes that are not
first subtypes, to prevent malformed rep_item chains in the case
of such illegal specifications for discriminated private subtypes.
(Check_Overloaded_Name): Verify that the name is an entity name
before other checks.
2014-07-18 Pascal Obry <obry@adacore.com>
* adaint.c (__gnat_fputwc) Do not disable on cross-build.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212807
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 18 Jul 2014 10:12:41 +0000 (10:12 +0000)]
2014-07-18 Robert Dewar <dewar@adacore.com>
* sem_prag.adb, sem_attr.adb,
sem_aggr.adb, sinfo.ads, sem_eval.ads: Minor reformatting.
2014-07-18 Pascal Obry <obry@adacore.com>
* sysdep.c (__gnat_wide_text_translation_required): Removed from here.
* initialize.c (__gnat_wide_text_translation_required): Defined here.
2014-07-18 Pascal Obry <obry@adacore.com>
* adaint.c (__gnat_fputwc): New routine.
* s-crtl.ads (fputwc): Now imported as __gnat_fputwc.
2014-07-18 Hristian Kirtchev <kirtchev@adacore.com>
* einfo.adb: Flag 270 is now used as Stores_Attribute_Old_Prefix.
(Set_Stores_Attribute_Old_Prefix): New routine.
(Stores_Attribute_Old_Prefix): New routine.
(Write_Entity_Flags):
Output flag Stores_Attribute_Old_Prefix.
* einfo.ads Add new flag Stores_Attribute_Old_Prefix along with
comment on usage.
(Set_Stores_Attribute_Old_Prefix): New routine
along with pragma Inline.
(Stores_Attribute_Old_Prefix): New
routine along with pragma Inline.
* exp_attr.adb (Expand_N_Attribute_Reference): Mark the generated
constant which captures the result of attribute 'Old's prefix.
* sem_util.adb (In_Assertion_Expression_Pragma): Recognize a
relocated expression which acted as a prefix of attribute 'Old.
2014-07-18 Bob Duff <duff@adacore.com>
* s-spsufi.adb (Finalize_And_Deallocate): Set Subpool.Owner to
null before dispatching to Deallocate_Subpool.
* s-stposu.ads (Default_Subpool_For_Pool): Change mode of
parameter of Default_Subpool_For_Pool to 'in out'.
* s-stposu.adb (Set_Pool_Of_Subpool): Use raise expression. Add
a message to the raise.
* sem_util.adb: Minor reformatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212806
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 18 Jul 2014 10:09:31 +0000 (10:09 +0000)]
2014-07-18 Robert Dewar <dewar@adacore.com>
* sem_util.adb (Check_Expression_Against_Static_Predicate):
Mark expression as non-static if it fails static predicate check,
and issue additional warning.
2014-07-18 Pascal Obry <obry@adacore.com>
* a-witeio.adb (Put): Control translation based on
wide_text_translation_required.
* adaint.c (CurrentCCSEncoding): New variable.
* initialize.c (__gnat_initialize): On Windows initialize
CurrentCCSEncoding based on values in GNAT_CCS_ENCODING
environment variable.
* mingw32.h (CurrentCCSEncoding): New external.
(__gnat_wide_text_translation_required): Likewise.
* sysdep.c (wide_text_translation_required): New variable.
(__gnat_set_wide_text_mode): Set mode based on CurrentCCSEncoding.
2014-07-18 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Analyze_Refined_Depends_In_Decl_Part): Remove global
variable Refined_States. Add global variable Matched_Items.
(Check_Dependency_Clause): Account for dependency
clauses utilizing states with visible null refinements.
(Is_Null_Refined_State): New routine.
(Match_Items): Record each successfully matched item of pragma Depends.
(Record_Item): New routine.
2014-07-18 Ed Schonberg <schonberg@adacore.com>
* sem_attr.adb (Analyze_Attribute, case 'Update): Set
Do_Range_Check flag on a dynamic index expression used in a
component association in the argument of Update.
2014-07-18 Gary Dismukes <dismukes@adacore.com>
* einfo.ads, sem_eval.ads, sem_ch13.adb: Minor reformatting.
2014-07-18 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch6.adb (Expand_Simple_Function_Return): Redo the marking
of enclosing blocks, loops and the enclosing function using a
parent-based traversal.
* exp_util.adb (Wrap_Statements_In_Block): Suppress the secondary
stack reclamation if the iterator loop contains a return statement
that uses the stack.
* sem_ch5.adb (Analyze_Loop_Statement): There is no need to
patch up the scope stack as the secondary stack management now
takes into account the enclosing function of the iterator loop.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212805
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 18 Jul 2014 10:06:00 +0000 (10:06 +0000)]
2014-07-18 Robert Dewar <dewar@adacore.com>
* sem_ch3.adb, g-memdum.ads, i-cstrea.ads: Minor reformatting.
2014-07-18 Robert Dewar <dewar@adacore.com>
* einfo.adb (Has_Static_Predicate): New function.
(Set_Has_Static_Predicate): New procedure.
* einfo.ads (Has_Static_Predicate): New flag.
* sem_ch13.adb (Is_Predicate_Static): New function
(Build_Predicate_Functions): Use Is_Predicate_Static to reorganize
(Add_Call): Minor change in Sloc of generated expression
(Add_Predicates): Remove setting of Static_Pred, no longer used.
* sem_ch4.adb (Has_Static_Predicate): Removed this function,
replace by use of the entity flag Has_Static_Predicate_Aspect.
* sem_eval.adb (Eval_Static_Predicate_Check): Check real case
and issue warning that predicate is not checked for now.
* sem_eval.ads (Eval_Static_Predicate_Check): Fix comments in
spec.
* sem_util.adb (Check_Expression_Against_Static_Predicate):
Carry out check for any case where there is a static predicate,
and output appropriate message.
* sinfo.ads: Minor comment corrections.
2014-07-18 Ed Schonberg <schonberg@adacore.com>
* exp_ch3.adb (Expand_Freeze_Record_Type): If the type is derived
from an untagged private type whose full view is tagged, the type
is marked tagged for layout reasons, but it has no dispatch table,
so Set_All_DT_Position must not be called.
* exp_ch13.adb: If the freeze node is for a type internal to a
record declaration, as is the case for a class-wide subtype
of a parent component, the relevant scope is the scope of the
enclosing record.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212804
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 18 Jul 2014 10:03:34 +0000 (10:03 +0000)]
2014-07-18 Thomas Quinot <quinot@adacore.com>
* g-memdum.adb, g-memdum.ads: Code clean ups.
2014-07-18 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Check_Dependency_Clause):
Update the comment on usage. Reimplement the mechanism which
attempts to match a single clause of Depends against one or
more clauses of Refined_Depends.
(Input_Match): Removed.
(Inputs_Match): Removed.
(Is_Self_Referential): Removed.
(Normalize_Clause): Update the call to Split_Multiple_Outputs.
(Normalize_Outputs): Rename variable Split to New_Claue and update
all its occurrences.
(Report_Extra_Clauses): Update the comment on usage.
(Split_Multiple_Outputs): Renamed to Normalize_Outputs.
2014-07-18 Gary Dismukes <dismukes@adacore.com>
* i-cstrea.ads: Minor reformatting.
2014-07-18 Hristian Kirtchev <kirtchev@adacore.com>
* exp_util.adb (Wrap_Statements_In_Block): Propagate both
secondary stack-related flags to the generated block.
* sem_ch5.adb (Analyze_Loop_Statement): Update the scope chain
once the loop is relocated in a block.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212803
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 18 Jul 2014 10:01:26 +0000 (10:01 +0000)]
2014-07-18 Robert Dewar <dewar@adacore.com>
* repinfo.ads: Add documentation on handling of back annotation
for dynamic case.
2014-07-18 Ed Schonberg <schonberg@adacore.com>
* sinfo.ads, sinfo.adb (Incomplete_View): New semantic attribute
of full type declaration, denotes previous declaration for
incomplete view of the type.
* sem_ch3.adb (Analyze_Full_Type_Declaration): Set Incomplete_View
of declaration if one is present.
(Replace_Type): When constructing the signature of an inherited
operation, handle properly the case where the operation has a
formal whose type is an incomplete view.
* sem_util.adb (Collect_Primitive_Operations): Handle properly
the case of an operation declared after an incomplete declaration
for a type T and before the full declaration of T.
2014-07-18 Pascal Obry <obry@adacore.com>
* i-cstrea.ads: Add documentation for set_wide_text_mode.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212802
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 18 Jul 2014 09:59:53 +0000 (09:59 +0000)]
2014-07-18 Robert Dewar <dewar@adacore.com>
* a-witeio.adb: Minor code reorganization.
* i-cstrea.ads: Add comment.
2014-07-18 Thomas Quinot <quinot@adacore.com>
* s-oscons-tmplt.c (NAME_MAX): Minor cleaup and comment
clarifications.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212801
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 18 Jul 2014 09:58:14 +0000 (09:58 +0000)]
2014-07-18 Robert Dewar <dewar@adacore.com>
* g-memdum.adb, g-memdum.ads, exp_strm.adb: Minor reformatting.
2014-07-18 Pascal Obry <obry@adacore.com>
* s-crtl.ads, i-cstrea.ads (fputwc): New routine.
* a-witeio.adb (Put): On platforms where there is translation
done by the OS output the raw text.
(New_Line): Use Put above to properly handle the LM wide characters.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212800
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 18 Jul 2014 09:55:03 +0000 (09:55 +0000)]
2014-07-18 Thomas Quinot <quinot@adacore.com>
* g-memdum.adb, g-memdum.ads (Dump): New parameter Prefix, defaulted
to Absolute_Address.
2014-07-18 Eric Botcazou <ebotcazou@adacore.com>
* opt.ads (Suppress_Back_Annotation): Remove as unused.
* fe.h (Back_Annotate_Rep_Info): Likewise.
(Global_Discard_Names): Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212799
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 18 Jul 2014 09:51:43 +0000 (09:51 +0000)]
2014-07-18 Robert Dewar <dewar@adacore.com>
* sem_ch13.adb (Is_Type_Ref): Check that type name is not
parenthesized.
2014-07-18 Vincent Celier <celier@adacore.com>
* s-osinte-vms.ads: Fix style errors.
2014-07-18 Thomas Quinot <quinot@adacore.com>
* s-oscons-tmplt.c (_POSIX_SOURCE): Define in order to get
NAME_MAX and PATH_MAX.
2014-07-18 Bob Duff <duff@adacore.com>
* exp_strm.adb (Build_Record_Or_Elementary_Input_Function,
Build_Record_Or_Elementary_Output_Procedure): For Input and
Output attributes, do not read/write the discriminants if they
have default values; that will be done by Read/Write.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212798
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 18 Jul 2014 09:48:47 +0000 (09:48 +0000)]
2014-07-18 Robert Dewar <dewar@adacore.com>
* sem_aggr.adb, exp_ch5.adb, sem_ch3.adb, layout.adb, sem_type.adb,
exp_util.adb, exp_attr.adb, einfo.adb, einfo.ads, exp_pakd.adb,
checks.adb, exp_pakd.ads, freeze.adb, sem_util.adb, exp_dbug.adb,
exp_dbug.ads, exp_ch4.adb, sem_ch8.adb, exp_aggr.adb, sem_eval.adb,
sem_ch13.adb: Change name Packed_Array_Type to Packed_Array_Impl_Type.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212797
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 18 Jul 2014 09:46:49 +0000 (09:46 +0000)]
2014-07-18 Robert Dewar <dewar@adacore.com>
* lib-writ.adb, makeutl.adb, ali.ads: Minor reformatting.
2014-07-18 Vincent Celier <celier@adacore.com>
* lib-writ.ads: Update documentation about the D lines.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212796
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 18 Jul 2014 09:44:45 +0000 (09:44 +0000)]
2014-07-18 Ed Schonberg <schonberg@adacore.com>
* sem_ch13.adb (Replace_Type_References_Generic): Use type entity
as a parameter, rather than its Chars field, in order to locate
freeze node of type. If the predicate or invariant has references
to types other than the one to which the contract applies, these
types must be frozen, and the corresponding predicate functions
created, before that freeze node.
2014-07-18 Robert Dewar <dewar@adacore.com>
* freeze.adb, einfo.ads, einfo.adb: Minor code reorganization.
* par_sco.adb: Minor reformatting.
2014-07-18 Gary Dismukes <dismukes@adacore.com>
* exp_ch4.adb (Real_Range_Check): Turn off
the Do_Range_Check flag on the conversion's current Expression
argument rather than on the originally captured Operand node,
as Expression may reflect a rewriting (as in conversions to a
fixed-point type).
2014-07-18 Vincent Celier <celier@adacore.com>
* ali.adb (Scan_ALI): Set Sdep_Record.Unit_Name, when the unit
is not a subunit.
* ali.ads (Sdep_Record): New component Unit_Name.
* lib-writ.adb (Write_ALI): Write the unit name in D lines.
* makeutl.adb (Check_Source_Info_In_ALI): Return False if a
dependent unit is in a project and the source file name is not
one of its sources.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212795
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 18 Jul 2014 09:40:33 +0000 (09:40 +0000)]
2014-07-18 Bob Duff <duff@adacore.com>
* s-addima.ads: Minor: add comment.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212794
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 18 Jul 2014 09:39:09 +0000 (09:39 +0000)]
2014-07-18 Thomas Quinot <quinot@adacore.com>
* freeze.adb (Check_Component_Storage_Order): Fix enforcement
of nesting rules for composites with different SSOs.
2014-07-18 Thomas Quinot <quinot@adacore.com>
* par_sco.adb (Is_Logical_Operator): An If_Expression is not
a proper logical operator.
(Has_Decision): An If_Expression indicates the presence of a decision
although it is not a logical operator.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212793
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 18 Jul 2014 09:37:41 +0000 (09:37 +0000)]
2014-07-18 Robert Dewar <dewar@adacore.com>
* gnat_ugn.texi: Remove note that -gnatR not allowed with -gnatc.
* switch-c.adb: Remove prohibition of -gnatR and -gnatc together.
2014-07-18 Eric Botcazou <ebotcazou@adacore.com>
* sem_ch13.adb (Kill_Rep_Clause): Clear Comes_From_Source flag
on the null statement.
2014-07-18 Thomas Quinot <quinot@adacore.com>
* adaint.c: Minor comment rewording.
* socket.c: Define macros _REENTRANT and _THREAD_SAFE so that
use of errno in this file is thread safe.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212791
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 18 Jul 2014 09:36:24 +0000 (09:36 +0000)]
2014-07-18 Arnaud Charlet <charlet@adacore.com>
* gnat_ugn.texi: Doc clarification.
* sem_ch13.adb (Kill_Rep_Clause): Use Replace not Rewrite.
* sem_ch13.ads: Minor comment update.
2014-07-18 Robert Dewar <dewar@adacore.com>
* repinfo.ads: Minor comment fix.
2014-07-18 Robert Dewar <dewar@adacore.com>
* par-prag.adb: Add dummy entry for Default_Scalar_Storage_Order.
* sem_prag.adb: Add dummy implementation of
Default_Scalar_Storage_Order.
* snames.ads-tmpl: Add dummy entry for
Default_Scalar_Storage_Order pragma.
2014-07-18 Robert Dewar <dewar@adacore.com>
* opt.adb (Tree_Read): Read Address_Is_Private,
Ignore_Rep_Clauses, Ignore_Style_Check_Pragmas, Multiple_Unit_Index.
(Tree_Write): Corresponding writes
* opt.ads: Minor comment reformatting and fixes.
* tree_io.ads: Increment ASIS_Version_Number.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212790
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 18 Jul 2014 09:34:17 +0000 (09:34 +0000)]
2014-07-18 Robert Dewar <dewar@adacore.com>
* sem_attr.adb, s-os_lib.ads, prj-tree.adb: Minor reformatting.
* types.h: Fix typo.
2014-07-18 Robert Dewar <dewar@adacore.com>
* freeze.adb (Check_Address_Clause): Use Kill_Rep_Clause (no
functional change).
* gnat_ugn.texi: Document that -gnatI removes rep clauses from
ASIS trees.
* sem_ch13.adb (Kill_Rep_Clause): New procedure
(Analyze_Attribute_Definition_Clause): Use
Kill_Rep_Clause. This is just a cleanup, no functional effect.
(Analyze_Enumeration_Representation_Clause):
Use Kill_Rep_Clause. This means that enum rep
clauses are now properly removed from -gnatct trees.
(Analyze_Record_Representation_Clause): Same change.
* sem_ch13.ads (Kill_Rep_Clause): New procedure.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212789
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 18 Jul 2014 09:31:36 +0000 (09:31 +0000)]
2014-07-18 Pascal Obry <obry@adacore.com>
* s-os_lib.ads, s-os_lib.adb (GM_Time_Of): New routine to create an
OS_Time from time parts.
* adaint.h, adaint.c (__gnat_to_os_time): New routine.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212788
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 18 Jul 2014 09:29:54 +0000 (09:29 +0000)]
2014-07-18 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb (Try_Container_Indexing): Refine previous patch for
indexing over containers that are derived types: check whether
signature of found operation has the correct first parameter
before retrieving directly a primitive operation.
2014-07-18 Ed Schonberg <schonberg@adacore.com>
* sem_attr.adb (Analyze_Attribute, case 'Update): Set
Do_Range_Check flag on dynamic bounds of a range used in a
component association in the argument of Update.
2014-07-18 Thomas Quinot <quinot@adacore.com>
* adaint.c: #define _REENTRANT and _THREAD_SAFE in order for
accesses to errno(3) to be thread safe.
2014-07-18 Vincent Celier <celier@adacore.com>
* prj-tree.adb (Imported_Or_Extended_Project_Of): For each non
limited imported project that is an extending project, return
a project being extended if it has the expected name.
2014-07-18 Pascal Obry <obry@adacore.com>
* s-os_lib.ads, s-os_lib.adb (Set_File_Last_Modify_Time_Stamp): New
routine to set the last modification time stamp for the given file.
* gnatchop.adb (File_Time_Stamp): Removed.
(Write_Unit): Use
Set_File_Last_Modify_Time_Stamp instead of ad-hoc implementation.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212787
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 18 Jul 2014 09:27:00 +0000 (09:27 +0000)]
2014-07-18 Ed Schonberg <schonberg@adacore.com>
* sem_aggr.adb (Aggregate_Constraint_Checks): Moved to sem_util.
* sem_util.ads, sem_util.adb (Aggregate_Constraint_Checks):
Moved here, so it can be shared with the resolution of 'Update,
whose argument shares some features with aggregates.
* sem_attr.adb (Resolve_Attribute, case 'Update): Apply
Aggregate_Constraint_Checks with the expression of each
association, so that the Do_Range_Check flag is set when needed.
2014-07-18 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb (Try_Container_Indexing): If the container
type is a derived type, the value of the inherited aspect is
the Reference operation declared for the parent type. However,
Reference is also a primitive operation of the new type, and
the inherited operation has a different signature. We retrieve
the right one from the list of primitive operations of the
derived type.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212786
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 18 Jul 2014 09:25:40 +0000 (09:25 +0000)]
2014-07-18 Vincent Celier <celier@adacore.com>
* debug.adb: Update comment.
2014-07-18 Hristian Kirtchev <kirtchev@adacore.com>
* exp_util.adb (Needs_Finalization): There is no reason why a
C type should not benefit from finalization actions.
2014-07-18 Thomas Quinot <quinot@adacore.com>
* s-oscons-tmplt.c (NAME_MAX): Fix definition for Solaris
(FILENAME_MAX): Remove unneeded definition.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212785
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 18 Jul 2014 09:24:26 +0000 (09:24 +0000)]
2014-07-18 Robert Dewar <dewar@adacore.com>
* exp_attr.adb, debug.adb: Update comments.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212784
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 18 Jul 2014 09:23:28 +0000 (09:23 +0000)]
2014-07-18 Vincent Celier <celier@adacore.com>
* par-ch4.adb (Simple_Expression): Add missing style check
for binary adding operators.
(Term): Add missing style check for multiplying operators.
2014-07-18 Robert Dewar <dewar@adacore.com>
* impunit.adb: Minor comment correction.
* widechar.adb, s-wchcon.ads: Minor comment corrections.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212783
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 18 Jul 2014 09:20:28 +0000 (09:20 +0000)]
2014-07-18 Robert Dewar <dewar@adacore.com>
* sem_ch13.adb (Build_Discrete_Static_Predicate): New name
for Build_Static_Predicate (Build_Predicate_Functions):
Don't try to build discrete predicate for real type.
(Build_Predicate_Functions): Report attempt to use
Static_Predicate function on real type as unimplemented.
* sem_util.adb (Check_Expression_Against_Static_Predicate):
Add guard to prevent blow up on predicate for real type.
2014-07-18 Ed Schonberg <schonberg@adacore.com>
* einfo.adb (Set_Static_Predicate): Simplify assertion to handle
properly static predicate on enumeration types and modular types
(not subtypes).
2014-07-18 Pierre-Marie Derodat <derodat@adacore.com>
* scos.ads (SCO_Unit_Table_Entry): Add a field to keep track of
the corresponding source file index.
* get_scos.ads (Get_SCOs): Add a default value for it.
* par_sco.adb (SCO_Record): Fill the corresponding value.
* scos.h: New.
2014-07-18 Vincent Celier <celier@adacore.com>
* a-strunb-shared.adb, s-auxdec.ads, s-rannum.adb, atree.ads,
urealp.adb, vms_data.ads, lib.ads, s-auxdec-vms_64.ads: Minor
reformatting.
* gnat_ugn.texi: Add documentation for new gnatmem switch -t.
2014-07-18 Thomas Quinot <quinot@adacore.com>
* g-sercom.ads (Set): document possible data loss.
2014-07-18 Ed Schonberg <schonberg@adacore.com>
* exp_attr.adb (Expand_N_Attribute_Reference, cases Input,
Output, Read, Write): If the restriction No_Streams is active,
replace each occurrence of a stream attribute by an explicit
Raise statement.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212782
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 18 Jul 2014 09:14:14 +0000 (09:14 +0000)]
2014-07-18 Robert Dewar <dewar@adacore.com>
* par_sco.adb, a-reatim.ads, exp_attr.adb, sem_util.adb: Minor
reformatting.
2014-07-18 Robert Dewar <dewar@adacore.com>
* einfo.ads, einfo.adb (Has_Out_Or_In_Out_Parameter): New flag and
function.
(Set_Has_Out_Or_In_Out_Parameter): New procedure.
* sem_ch6.adb (Set_Formal_Mode): Set Has_Out_Or_In_Out_Parameter flag.
* sem_res.adb (Resolve_Call): Error if call of Ada 2012 function
with OUT or IN OUT from earlier Ada mode (e.g. Ada 2005)
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212780
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Fri, 18 Jul 2014 09:05:04 +0000 (09:05 +0000)]
2014-07-18 Robert Dewar <dewar@adacore.com>
* bcheck.adb (Check_Consistent_Restrictions):
Remove obsolete code checking for violation of
No_Standard_Allocators_After_Elaboration (main program)
* bindgen.adb (Gen_Adainit): Handle
No_Standard_Allocators_After_Elaboration
(Gen_Output_File_Ada): ditto.
* exp_ch4.adb (Expand_N_Allocator): Handle
No_Standard_Allocators_After_Elaboration.
* Makefile.rtl: Add entry for s-elaall
* rtsfind.ads: Add entry for Check_Standard_Allocator.
* s-elaall.ads, s-elaall.adb: New files.
* sem_ch4.adb (Analyze_Allocator): Handle
No_Standard_Allocators_After_Elaboration.
2014-07-18 Robert Dewar <dewar@adacore.com>
* lib.adb, lib.ads, lib-writ.adb, lib-writ.ads, ali.adb,
ali.ads, lib-load.adb: Remove Lib.Has_Allocator and all uses.
Remove AB parameter from ali files and all uses.
Remove Allocator_In_Body and all uses.
2014-07-18 Robert Dewar <dewar@adacore.com>
* g-expect-vms.adb: Add comment.
2014-07-18 Thomas Quinot <quinot@adacore.com>
* par_sco.adb (Is_Logical_Operation): return True for
N_If_Expression.
2014-07-18 Ed Schonberg <schonberg@adacore.com>
* sem_attr.adb (Resolve_Attribute, case 'Update): Do full
analysis and resolution of each choice in the associations within
the argument of Update, because they may be variable names.
2014-07-18 Hristian Kirtchev <kirtchev@adacore.com>
* exp_attr.adb (Expand_Loop_Entry_Attribute): Insert any condition
actions before the generated if statement.
2014-07-18 Hristian Kirtchev <kirtchev@adacore.com>
* gnat_ugn.texi Enhance the documentation of
switches -gnateA and -gnateV.
2014-07-18 Ed Schonberg <schonberg@adacore.com>
* sem_util.adb (Build_Default_Subtype): Add missing condition
so that code matches description: use the full view of the base
only if the base is private and the subtype is not.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212779
138bc75d-0d04-0410-961f-
82ee72b054a4
uros [Fri, 18 Jul 2014 06:34:20 +0000 (06:34 +0000)]
* configure.tgt (alpha*): Add -mfp-trap-mode=sui to XCFLAGS.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212778
138bc75d-0d04-0410-961f-
82ee72b054a4
jbglaw [Fri, 18 Jul 2014 01:59:03 +0000 (01:59 +0000)]
Move ChangeLog entry to the correct file
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212777
138bc75d-0d04-0410-961f-
82ee72b054a4
jbglaw [Fri, 18 Jul 2014 01:57:18 +0000 (01:57 +0000)]
2014-07-18 Jan-Benedict Glaw <jbglaw@lug-owl.de>
* config/mmix/mmix.c (mmix_intval): Drop unused automatic variable.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212776
138bc75d-0d04-0410-961f-
82ee72b054a4
gccadmin [Fri, 18 Jul 2014 00:16:52 +0000 (00:16 +0000)]
Daily bump.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212774
138bc75d-0d04-0410-961f-
82ee72b054a4
danglin [Thu, 17 Jul 2014 23:44:57 +0000 (23:44 +0000)]
* config/pa/pa-linux.h (TARGET_OS_CPP_BUILTINS): Remove defines for
__GCC_HAVE_SYNC_COMPARE_AND_SWAP_1, __GCC_HAVE_SYNC_COMPARE_AND_SWAP_2
and __GCC_HAVE_SYNC_COMPARE_AND_SWAP_4.
(HAVE_sync_compare_and_swapqi): Define.
(HAVE_sync_compare_and_swaphi): Likewise.
(HAVE_sync_compare_and_swapsi): Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212770
138bc75d-0d04-0410-961f-
82ee72b054a4
danglin [Thu, 17 Jul 2014 23:18:50 +0000 (23:18 +0000)]
* config/pa/linux-atomic.c (__sync_lock_release_4): New.
(SYNC_LOCK_RELEASE): Update to use __kernel_cmpxchg for release.
Don't use SYNC_LOCK_RELEASE for int type.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212767
138bc75d-0d04-0410-961f-
82ee72b054a4
rsandifo [Thu, 17 Jul 2014 20:17:21 +0000 (20:17 +0000)]
gcc/
* config/mips/p5600.md: Add missing cpu tests.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212765
138bc75d-0d04-0410-961f-
82ee72b054a4
rsandifo [Thu, 17 Jul 2014 19:36:17 +0000 (19:36 +0000)]
gcc/testsuite/
* gcc.target/mips/umips-lwp-1.c (foo): Use a shift/add sequence
involving both inputs rather than a multiplication involving one.
* gcc.target/mips/umips-lwp-2.c (foo): Likewise.
* gcc.target/mips/umips-lwp-3.c (foo): Likewise.
* gcc.target/mips/umips-lwp-4.c (foo): Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212763
138bc75d-0d04-0410-961f-
82ee72b054a4
paolo [Thu, 17 Jul 2014 16:22:19 +0000 (16:22 +0000)]
/cp
2014-07-17 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/50961
* call.c (standard_conversion): Use resolve_nondeduced_context
for type_unknown_p (EXPR) && TREE_CODE (TO) == BOOLEAN_TYPE.
/testsuite
2014-07-17 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/50961
* g++.dg/template/operator13.C: New.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212760
138bc75d-0d04-0410-961f-
82ee72b054a4
romangareev [Thu, 17 Jul 2014 15:09:40 +0000 (15:09 +0000)]
* configure.ac: Don't accept isl 0.11.
* configure: Regenerate.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212758
138bc75d-0d04-0410-961f-
82ee72b054a4
ktkachov [Thu, 17 Jul 2014 10:56:53 +0000 (10:56 +0000)]
[AArch64] Implement vfma_f64, vmla_f64, vfms_f64, vmls_f64 intrinsics.
[gcc/]
* config/aarch64/arm_neon.h (vfma_f64): New intrinsic.
(vmla_f64): Likewise.
(vfms_f64): Likewise.
(vmls_f64): Likewise.
[testsuite/]
* gcc.target/aarch64/simd/vfma_f64.c: New test.
* gcc.target/aarch64/simd/vmla_f64.c: Likewise.
* gcc.target/aarch64/simd/vfms_f64.c: Likewise.
* gcc.target/aarch64/simd/vmls_f64.c: Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212756
138bc75d-0d04-0410-961f-
82ee72b054a4
chefmax [Thu, 17 Jul 2014 10:50:25 +0000 (10:50 +0000)]
gcc/testsuite/
2014-07-17 Max Ostapenko <m.ostapenko@partner.samsung.com>
* c-c++-common/ubsan/bounds-2.c: Change output pattern.
* c-c++-common/ubsan/bounds-5.c: Likewise.
* c-c++-common/ubsan/bounds-6.c: Likewise.
* c-c++-common/ubsan/bounds-7.c: Likewise.
* c-c++-common/ubsan/float-cast-overflow-1.c: Likewise.
* c-c++-common/ubsan/float-cast-overflow-10.c: Likewise.
* c-c++-common/ubsan/float-cast-overflow-2.c: Likewise.
* c-c++-common/ubsan/float-cast-overflow-3.c: Likewise.
* c-c++-common/ubsan/float-cast-overflow-4.c: Likewise.
* c-c++-common/ubsan/float-cast-overflow-5.c: Likewise.
* c-c++-common/ubsan/float-cast-overflow-6.c: Likewise.
* c-c++-common/ubsan/float-cast-overflow-8.c: Likewise.
* gcc.dg/ubsan/float-cast-overflow-bf.c: Likewise.
* g++.dg/ubsan/float-cast-overflow-bf.C: Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212755
138bc75d-0d04-0410-961f-
82ee72b054a4
ktkachov [Thu, 17 Jul 2014 10:40:06 +0000 (10:40 +0000)]
[AArch64][tests] Mark vca*_f* tests variable as volatile.
* gcc.target/aarch64/simd/vcaled_f64.c: Mark expected value volatile.
* gcc.target/aarch64/simd/vcales_f32.c: Likewise.
* gcc.target/aarch64/simd/vcaltd_f64.c: Likewise.
* gcc.target/aarch64/simd/vcalts_f32.c: Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212754
138bc75d-0d04-0410-961f-
82ee72b054a4
ktkachov [Thu, 17 Jul 2014 10:37:48 +0000 (10:37 +0000)]
[AArch64] Handle fcvta[su] and frint in RTX cost function.
* config/aarch64/aarch64.c (aarch64_frint_unspec_p): New function.
(aarch64_rtx_costs): Handle FIX, UNSIGNED_FIX, UNSPEC.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212753
138bc75d-0d04-0410-961f-
82ee72b054a4
ktkachov [Thu, 17 Jul 2014 10:35:26 +0000 (10:35 +0000)]
[AArch64] Fix argument types for some high_lane* intrinsics implemented in assembly.
* config/aarch64/arm_neon.h (vmlal_high_lane_s16): Fix type.
(vmlal_high_lane_s32): Likewise.
(vmlal_high_lane_u16): Likewise.
(vmlal_high_lane_u32): Likewise.
(vmlsl_high_lane_s16): Likewise.
(vmlsl_high_lane_s32): Likewise.
(vmlsl_high_lane_u16): Likewise.
(vmlsl_high_lane_u32): Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212752
138bc75d-0d04-0410-961f-
82ee72b054a4
xguo [Thu, 17 Jul 2014 10:10:50 +0000 (10:10 +0000)]
2014-07-17 Terry Guo <terry.guo@arm.com>
* config/arm/types.md (alu_reg): Replaced by alu_sreg and alu_dsp_reg.
(alus_reg): Renamed to alus_sreg.
* config/arm/arm-fixed.md: Change type of non-dsp instructions
from alu_reg to alu_sreg. Change type of dsp instructions from
alu_reg to alu_dsp_reg.
* config/arm/thumb1.md: Likewise.
* config/arm/thumb2.md: Likewise.
* config/arm/arm.c (cortexa7_older_only): Use new ALU type names.
* config/arm/arm1020e.md (1020alu_op): Replace alu_reg and alus_reg
with alu_sreg and alus_sreg.
* config/arm/arm1026ejs.md (alu_op): Likewise.
* config/arm/arm1136jfs.md (11_alu_op): Likewise.
* config/arm/arm926ejs.md (9_alu_op): Likewise.
* config/arm/fa526.md (526_alu_op): Likewise.
* config/arm/fa606te.md (606te_alu_op): Likewise.
* config/arm/fa626te.md (626te_alu_op): Likewise.
* config/arm/fa726te.md (726te_alu_op): Likewise.
* config/arm/fmp626.md (mp626_alu_op): Likewise.
* config/arm/arm.md (core_cycles): Replace alu_reg and alus_reg with
alu_sreg, alu_dsp_reg and alus_sreg.
* config/arm/cortex-a15.md (cortex_a15_alu): Likewise.
* config/arm/cortex-a5.md (cortex_a5_alu): Likewise.
* config/arm/cortex-a53.md (cortex_a53_alu): Likewise.
* config/arm/cortex-a7.md (cortex_a7_alu_sreg): Likewise.
* config/arm/cortex-a8.md (cortex_a8_alu): Likewise.
* config/arm/cortex-a9.md (cortex_a9_dp): Likewise.
* config/arm/cortex-m4.md (cortex_m4_alu): Likewise.
* config/arm/cortex-r4.md (cortex_r4_alu): Likewise.
* config/arm/marvell-pj4.md (pj4_alu, pj4_alu_conds): Likewise.
* config/aarch64/aarch64.md (*addsi3_aarch64, *addsi3_aarch64_uxtw,
subsi3, *adddi3_aarch64, *subsi3_uxtw, subdi3, absdi2, neg<mode>2,
*negsi2_uxtw, tlsle_small_<mode>): Rename type alu_reg to alu_sreg.
(add<mode>3_compare0, *addsi3_compare0_uxtw, *add<mode>3nr_compare0,
sub<mode>3_compare0, *compare_neg<mode>, *neg<mode>2_compare0,
subsi3_compare0_uxtw, *negsi2_compare0_uxtw, *cmp<mode>): Rename type
alus_reg to alus_sreg.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212750
138bc75d-0d04-0410-961f-
82ee72b054a4
uros [Thu, 17 Jul 2014 09:11:19 +0000 (09:11 +0000)]
* gcc.dg/atomic/c11-atomic-exec-5.c (dg-additional-options): Use
-mfp-trap-mode=sui instead of -miee-with-inexact for alpha*-*-*.
* gfortran.dg/ieee/ieee_1.F90 (dg-additional-options): Ditto.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212748
138bc75d-0d04-0410-961f-
82ee72b054a4
schwab [Thu, 17 Jul 2014 08:40:15 +0000 (08:40 +0000)]
Summary: Generate canonical infinity for the Motorola extended real format
* real.c (encode_ieee_extended_motorola): Clear integer bit in the
infinity format.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212744
138bc75d-0d04-0410-961f-
82ee72b054a4
paolo [Thu, 17 Jul 2014 08:32:18 +0000 (08:32 +0000)]
/cp
2014-07-17 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/61804
* parser.c (cp_parser_tokens_start_cast_expression): Return -1
for '++' and '--'.
/testsuite
2014-07-17 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/61804
* g++.dg/parse/pr61804.C: New.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212743
138bc75d-0d04-0410-961f-
82ee72b054a4
rguenth [Thu, 17 Jul 2014 07:47:19 +0000 (07:47 +0000)]
2014-07-17 Richard Biener <rguenther@suse.de>
PR rtl-optimization/61801
* sched-deps.c (sched_analyze_2): For ASM_OPERANDS and
ASM_INPUT don't set reg_pending_barrier if it appears in a
debug-insn.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212738
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 17 Jul 2014 07:27:38 +0000 (07:27 +0000)]
2014-07-17 Gary Dismukes <dismukes@adacore.com>
* exp_disp.adb: Minor reformatting.
* exp_disp.adb: Minor code reorganization.
2014-07-17 Thomas Quinot <quinot@adacore.com>
* gnat_rm.texi, freeze.adb (Check_Component_Storage_Order): Do not
require an explicit SSO attribute definition clause on a composite type
just because one of its components has one.
2014-07-17 Robert Dewar <dewar@adacore.com>
* sem_attr.adb (Analyze_Attribute, case Loop_Entry): Rewrite
attribute out of existence if the enclosing pragma is ignored.
* sem_util.adb: Minor reformatting.
2014-07-17 Ed Schonberg <schonberg@adacore.com>
* exp_aggr.adb (Expand_Array_Aggregate): Handle properly an
array aggregate expanded into assignments when it appears as a
local declaration in an inlined body.
2014-07-17 Doug Rupp <rupp@adacore.com>
* init.c [__ANDROID__]: Modify for ZCX.
* exp_aggr.adb: Minor reformatting
* sigtramp-armvxw.c, sigtramp-ppcvxw.c: Update comments.
2014-07-17 Robert Dewar <dewar@adacore.com>
* a-strunb-shared.ads, a-stwiun-shared.ads, a-stzunb-shared.ads,
exp_ch7.adb, g-pehage.ads, g-socket.ads, gnat_ugn.texi, gnat_ugx.texi,
scng.adb: Remove incorrect usage "allow to" and "allows to".
2014-07-17 Robert Dewar <dewar@adacore.com>
* exp_dist.adb: Minor reformatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212737
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 17 Jul 2014 07:06:05 +0000 (07:06 +0000)]
2014-07-17 Bob Duff <duff@adacore.com>
* gnat_ugn.texi: Improve documentation of Unrestricted_Access.
2014-07-17 Robert Dewar <dewar@adacore.com>
* sem_ch13.adb (Build_Invariant_Procedure): Add variable Nam
(Add_Invariants): Set Nam to Name_Type_Invariant if from aspect.
2014-07-17 Thomas Quinot <quinot@adacore.com>
* exp_pakd.adb (Create_Packed_Array_Type.Install_PAT): For a
non-bit-packed array, propagate Reverse_Storage_Order to the
packed array type.
2014-07-17 Javier Miranda <miranda@adacore.com>
* exp_disp.adb: Fix comment.
* exp_pakd.adb: Minor reformatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212736
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 17 Jul 2014 07:04:32 +0000 (07:04 +0000)]
2014-07-17 Robert Dewar <dewar@adacore.com>
* bindgen.adb (Gen_Elab_Calls): Skip reference to elab
entity if none exists (Gen_Elab_Calls): Complain if clash with
No_Multiple_Elaboration.
* s-rident.ads, restrict.ads: Add restriction No_Multiple_Elaboration.
* sem_util.adb (Build_Elaboration_Entity): Skip building entity
if not needed.
* gnat_rm.texi: Document restriction No_Multiple_Elaboration.
* sem_ch4.adb: Minor comment updates.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212735
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 17 Jul 2014 07:02:51 +0000 (07:02 +0000)]
2014-07-17 Ed Schonberg <schonberg@adacore.com>
* exp_ch9.adb (Buid_Protected_Subprogram_Call): Preserve type
of function call for later use when shared passive objects
are involved.
2014-07-17 Hristian Kirtchev <kirtchev@adacore.com>
* par-ch13.adb (Get_Aspect_Specifications):
Catch a case where the argument of SPARK aspect Refined_State
is not properly parenthesized.
2014-07-17 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch6.adb (Expand_Ctrl_Function_Call): Do not extend
the lifetime of a reference to an Ada 2012 container element.
(Is_Element_Reference): New routine.
2014-07-17 Robert Dewar <dewar@adacore.com>
* ali.ads: Minor comment fix.
* lib-writ.adb: Minor reformatting.
2014-07-17 Ed Schonberg <schonberg@adacore.com>
* sem_ch10.adb (Analyze_Proper_Body): When analyzing a subunit
in ASIS mode, load another subunit only if it a subunit of the
current one, not a sibling that has been reached through the
analysis of an ancestor. This allows the construction of the
ASIS tree for the subunit even when sibling subunits have errors.
2014-07-17 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch3.adb (Analyze_Declarations): Remove the guard which
prevents the analysis of various contracts when the associated
construct is erroneous.
* sem_util.adb (Save_SPARK_Mode_And_Set): Do not query the
SPARK_Pragma of an illegal or a partially decorated construct.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212734
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 17 Jul 2014 07:00:19 +0000 (07:00 +0000)]
2014-07-17 Robert Dewar <dewar@adacore.com>
* s-imguns.ads: Minor reformatting.
2014-07-17 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch7.adb (Build_Finalization_Master): Move all local
variables to the proper code section. When looking for an existing
finalization master, inspect the ultimate ancestor type of the
full view.
* sem_util.ads, sem_util.adb (Root_Type_Of_Full_View): New routine.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212733
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 17 Jul 2014 06:58:11 +0000 (06:58 +0000)]
2014-07-17 Robert Dewar <dewar@adacore.com>
* aspects.ads, aspects.adb: Add entries for aspect Annotate.
* gnat_rm.texi: Document Entity argument for pragma Annotate and
Annotate aspect.
* sem_ch13.adb (Analyze_Aspect_Specification): Add processing
for Annotate aspect.
* sem_prag.adb (Analyze_Pragma, case Annotate): Allow optional
Entity argument at end.
* sinfo.ads (N_Aspect_Specification): Add note on Annotate aspect.
2014-07-17 Tristan Gingold <gingold@adacore.com>
* s-imguns.ads: Fix minor typo.
2014-07-17 Thomas Quinot <quinot@adacore.com>
* sprint.adb: Minor reformatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212732
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 17 Jul 2014 06:56:06 +0000 (06:56 +0000)]
2014-07-17 Robert Dewar <dewar@adacore.com>
* sprint.adb (Write_Itype): Print proper header for string
literal subtype.
2014-07-17 Steve Baird <baird@adacore.com>
* sinfo.ads, sem_scil.ads: Improve comments, minor reformatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212731
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 17 Jul 2014 06:52:30 +0000 (06:52 +0000)]
2014-07-17 Vincent Celier <celier@adacore.com>
* gnatbind.adb: Change in message "try ... for more information".
2014-07-17 Robert Dewar <dewar@adacore.com>
* sprint.adb: Code clean up.
2014-07-17 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch7.adb (Find_Last_Init): Relocate local variables to
the relevant code section. Add new local constant Obj_Id. When
a limited controlled object is initialized by a function call,
the build-in-place object access function call acts as the last
initialization statement.
* exp_util.adb (Is_Object_Access_BIP_Func_Call): New routine.
(Is_Secondary_Stack_BIP_Func_Call): Code reformatting.
* exp_util.ads (Is_Object_Access_BIP_Func_Call): New routine.
2014-07-17 Ed Schonberg <schonberg@adacore.com>
* sem_ch8.adb (Analyze_Generic_Renaming): For generic subprograms,
propagate intrinsic flag to renamed entity, to allow e.g. renaming
of Unchecked_Conversion.
* sem_ch3.adb (Analyze_Declarations): Do not analyze contracts
if the declaration has errors.
2014-07-17 Ed Schonberg <schonberg@adacore.com>
* a-rbtgbk.adb: a-rbtgbk.adb (Generic_Insert_Post): Check whether
container is busy before checking whether capacity allows for
a further insertion. Insertion in a busy container that is full
raises Program_Error rather than Capacity_Error. Previous to that
patch which exception was raised varied among container types.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212730
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 17 Jul 2014 06:49:11 +0000 (06:49 +0000)]
2014-07-17 Robert Dewar <dewar@adacore.com>
* g-comlin.ads, g-comlin.adb: Minor clean up.
2014-07-17 Bob Duff <duff@adacore.com>
* gnat_ugn.texi: Update gnatpp doc.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212729
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 17 Jul 2014 06:47:15 +0000 (06:47 +0000)]
2014-07-17 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Document new restriction No_Long_Long_Integers.
* exp_ch4.adb (Make_Array_Comparison_Op): Add note that we
could do this by actually expanding a real generic.
* a-tags.ads: Add comments about performance.
* sprint.adb (Sprint_Node_Actual, case N_Object_Declaration):
Print Etype of defining identifier, rather than the object
definition. More information.
2014-07-17 Thomas Quinot <quinot@adacore.com>
* exp_dist.adb: Minor documentation clarification.
2014-07-17 Hristian Kirtchev <kirtchev@adacore.com>
* exp_util.adb (Is_Aliased): Revert previous change.
2014-07-17 Vincent Celier <celier@adacore.com>
* g-comlin.adb (Try_Help): New procedure.
(Getopt): Use new procedure Try_Help.
* g-comlin.ads (Try_Help): New procedure.
2014-07-17 Bob Duff <duff@adacore.com>
* gnat_ugn.texi: Minor update.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212728
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 17 Jul 2014 06:40:45 +0000 (06:40 +0000)]
2014-07-17 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Improve documentation of Unrestricted_Access.
* sinfo.ads: Document restriction on aggregates (must expand to
assignments if one or more assignments needs expansion, e.g. for
controlled types).
* sem_ch13.adb: All warning messages regarding bit order should
be info: messages.
* gnat_ugn.texi: Minor correction of missing @ on @code
2014-07-17 Robert Dewar <dewar@adacore.com>
* restrict.ads (Implementation_Restriction): Add No_Long_Long_Integer.
* s-rident.ads (Partition_Boolean_Restrictions): Add
No_Long_Long_Integer.
* sem_ch3.adb (Modular_Type_Declaration): Size must be <=
Long_Integer'Size if restriction No_Long_Long_Integer is active.
(Signed_Integer_Type_Declaration): Do not allow Long_Long_Integer
as the implicit base type for a signed integer type declaration
if restriction No_Long_Long_Integer is active.
* sem_util.ads, sem_util.adb (Set_Entity_With_Checks): Include check for
No_Long_Long_Integer.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212727
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 17 Jul 2014 06:37:45 +0000 (06:37 +0000)]
2014-07-17 Robert Dewar <dewar@adacore.com>
* sem_ch3.adb, a-ztexio.ads, exp_imgv.adb, casing.adb, casing.ads,
einfo.ads, checks.adb, sem_ch12.adb, a-textio.ads, freeze.adb,
repinfo.adb, exp_ch6.adb, sem_ch4.adb, a-witeio.ads, sem_ch8.adb,
sem_warn.adb, exp_aggr.adb, exp_dist.adb, par-tchk.adb, s-fatgen.adb,
treepr.adb, lib-xref.adb: Remove the word kludge from ada sources.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212726
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 17 Jul 2014 06:35:13 +0000 (06:35 +0000)]
2014-07-17 Robert Dewar <dewar@adacore.com>
* debug.adb: Remove -gnatdQ.
* exp_disp.adb: Remove -gnatdQ.
* a-ztenio.ads, a-wtinio.ads, a-wtmoio.ads, a-ztcoau.ads, a-tiinio.ads,
a-wtfiio.ads, a-timoio.ads, sem_ch12.adb, a-tifiio.ads, a-ztinio.ads,
rtsfind.adb, rtsfind.ads, a-ztmoio.ads, a-wtdeio.ads, a-ztfiio.ads,
a-tideio.ads, a-wtflio.ads, a-ztdeio.ads, sem_ch8.adb, a-tiflio.ads,
sprint.adb, a-ztflio.ads, snames.ads-tmpl, a-wtenio.ads,
a-tienio.ads: Rename Text_IO_Kludge to Text_IO_Special_Unit.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212725
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 17 Jul 2014 06:31:56 +0000 (06:31 +0000)]
2014-07-17 Robert Dewar <dewar@adacore.com>
* back_end.adb: Minor reformatting and comment additions.
* checks.ads, checks.adb (Duplicated_Tag_Checks_Suppressed): New
function.
* exp_disp.adb (Make_DT): Use Duplicated_Tag_Checks_Suppressed.
(Make_VM_TSD): Use Duplicated_Tag_Checks_Suppressed.
* gnat_rm.texi: Document new check Duplicated_Tag_Checks_Suppressed.
* gnat_ugn.texi: Additional documentation for Duplicated_Tag_Check.
* snames.ads-tmpl (Duplicated_Tag_Checks_Suppressed): New check.
* types.ads (Duplicated_Tag_Checks_Suppressed): New check.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212724
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 17 Jul 2014 06:30:05 +0000 (06:30 +0000)]
2014-07-17 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Minor comment updates.
2014-07-17 Ed Schonberg <schonberg@adacore.com>
* sem_util.adb (Make_Explicit_Dereference): If the expression
being dereferenced is a generalized indexing, reset the overloaded
flag on the generalized indexing call, consistent with the
resetting of the flag on the original indexed component.
2014-07-17 Robert Dewar <dewar@adacore.com>
* gnat_ugn.texi: Document advise not to mix -gnatV? and
optimization.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212723
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 17 Jul 2014 06:22:32 +0000 (06:22 +0000)]
2014-07-17 Robert Dewar <dewar@adacore.com>
* sem_aux.ads: Minor comment addition.
2014-07-17 Ed Schonberg <schonberg@adacore.com>
* sem_res.adb (Make_Call_Into_Operator): If the call is already
a rewriting of an operator node, there are no actuals to be
propagated from original node to rewritten node when in ASIS mode.
2014-07-17 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch6.adb (Analyze_Subprogram_Body_Contract,
Analyze_Subprogram_Contract): Add new local variable Mode. Save
and restore the SPARK mode of the related construct in a
stack-like fashion.
* sem_ch7.adb (Analyze_Package_Body_Contract,
Analyze_Package_Contract): Add new local variable Mode. Save and
restore the SPARK mode of the related construct in a stack-like fashion.
* sem_util.adb Remove with and use clause for Opt.
(Restore_SPARK_Mode): New routine.
(Save_SPARK_Mode_And_Set): New routine.
* sem_util.ads Add with and use clause for Opt.
(Restore_SPARK_Mode): New routine.
(Save_SPARK_Mode_And_Set): New routine.
2014-07-17 Hristian Kirtchev <kirtchev@adacore.com>
* exp_util.adb (Is_Aliased): Transient objects
within an expression with actions cannot be considered aliased.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212721
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 17 Jul 2014 06:19:52 +0000 (06:19 +0000)]
2014-07-17 Thomas Quinot <quinot@adacore.com>
* sem.ads (Scope_Stack_Entry): Reorganize storage of action lists;
introduce a new list (cleanup actions) for each (transient) scope.
* sinfo.ads, sinfo.adb (Cleanup_Actions): New attribute for
N_Block_Statement
* exp_ch7.ads (Store_Cleanup_Actions_In_Scope): New subprogram.
* exp_ch7.adb (Store_Actions_In_Scope): New subprogram, common
processing for Store_xxx_Actions_In_Scope.
(Build_Cleanup_Statements): Allow for a list of additional
cleanup statements to be passed by the caller.
(Expand_Cleanup_Actions): Take custom cleanup actions associated
with an N_Block_Statement into account.
(Insert_Actions_In_Scope_Around): Account for Scope_Stack_Entry
reorganization (refactoring only, no behaviour change).
(Make_Transient_Block): Add assertion to ensure that the current
scope is indeed a block (namely, the entity for the transient
block being constructed syntactically, which has already been
established as a scope). If cleanup actions are present in the
transient scope, transfer them now to the transient block.
* exp_ch6.adb (Expand_Protected_Subprogram_Call): Freeze the
called function while it is still present as the name in a call
in the tree. This may not be the case later on if the call is
rewritten into a transient block.
* exp_smem.adb (Add_Shared_Var_Lock_Procs): The post-actions
inserted after calling a protected operation on a shared passive
protected must be performed in a block finalizer, not just
inserted in the tree, so that they are executed even in case of
a normal (RETURN) or abnormal (exception) transfer of control
outside of the current scope.
* exp_smem.ads (Add_Shared_Var_Lock_Procs): Update documentation
* sem_ch8.adb, expander.adb, exp_ch11.adb: Adjust for
Scope_Stack_Entry reorganization.
2014-07-17 Thomas Quinot <quinot@adacore.com>
* exp_disp.adb (Make_DT, Make_VM_TSD): Do not omit Check_TSD
call for types that do not have an explicit attribute definition
clause for External_Tag, as their default tag may clash with an
explicit tag defined for some other type.
2014-07-17 Hristian Kirtchev <kirtchev@adacore.com>
* exp_util.adb (Is_Controlled_Function_Call): Recognize a
controlled function call with multiple actual parameters that
appears in Object.Operation form.
2014-07-17 Thomas Quinot <quinot@adacore.com>
* einfo.ads, einfo.adb (Has_External_Tag_Rep_Clause): Remove
entity flag.
* sem_ch13.adb (Analyze_Attribute_Definition_Clause, case
External_Tag): No need to set entity flag.
* sem_aux.ads, sem_aux.adb (Has_External_Tag_Rep_Clause):
Reimplement correctly in terms of Has_Rep_Item.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212719
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 17 Jul 2014 06:16:25 +0000 (06:16 +0000)]
2014-07-17 Thomas Quinot <quinot@adacore.com>
* exp_ch7.adb (Establish_Transient_Scope.Find_Node_To_Be_Wrapped):
Start examining the tree at the node passed to
Establish_Transient_Scope (not its parent).
* exp_ch6.adb (Make_Build_In_Place_Call_In_Object_Declaration):
The access type for the variable storing the reference to
the call must be declared and frozen prior to establishing a
transient scope.
* exp_ch9.adb: Minor reformatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212718
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 17 Jul 2014 06:14:35 +0000 (06:14 +0000)]
2014-07-17 Pascal Obry <obry@adacore.com>
* s-os_lib.ads: Minor comment update.
2014-07-17 Tristan Gingold <gingold@adacore.com>
* sysdep.c: Add ATTRIBUTE_UNUSED to avoid warnings. Fix some
indentation.
* socket.c: Remove #warning to avoid warning.
* expect.c: Indent some preprocessor directives to clarify
nested if. Do not use wait.h on PikeOS. Add ATTRIBUTE_UNUSED
to remove warnings.
* env.c: Fix indentation. Port to PikeOS.
* gsocket.h: Port to PikeOS. Remove #warning.
* terminals.c: Port to PikeOS. Fix indentation of the stubs.
Add ATTRIBUTE_UNUSED to stubs arguments. Fix return statement
of stubbed __gnat_setup_parent_communication.
* adaint.c: Port to PikeOS. Reindent some preprocessor
directives to clarify nested if. Fix indentation. Add missing
ATTRIBUTE_UNUSED.
2014-07-17 Robert Dewar <dewar@adacore.com>
* sem_attr.adb: Minor reformatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212717
138bc75d-0d04-0410-961f-
82ee72b054a4
charlet [Thu, 17 Jul 2014 06:12:09 +0000 (06:12 +0000)]
2014-07-17 Robert Dewar <dewar@adacore.com>
* exp_ch7.adb, exp_ch7.ads, sinfo.ads: Minor reformatting.
2014-07-17 Ed Schonberg <schonberg@adacore.com>
* sem_case.adb (Check_Choice_Set): If the case expression is the
expression in a predicate, do not recheck coverage against itself,
to prevent spurious errors.
* sem_ch13.adb (Check_Aspect_At_End_Of_Declarations): Indicate that
expression comes from an aspect specification, to prevent spurious
errors when expression is a case expression in a predicate.
2014-07-17 Pascal Obry <obry@adacore.com>
* adaint.c, adaint.h (__gnat_set_executable): Add mode parameter.
* s-os_lib.ads, s-os_lib.adb (Set_Executable): Add Mode parameter.
2014-07-17 Vincent Celier <celier@adacore.com>
* gnatchop.adb, make.adb, gnatbind.adb, clean.adb, gprep.adb,
gnatxref.adb, gnatls.adb, gnatfind.adb, gnatname.adb: Do not output
the usage for an erroneous invocation of a gnat tool.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212716
138bc75d-0d04-0410-961f-
82ee72b054a4
dj [Thu, 17 Jul 2014 02:24:58 +0000 (02:24 +0000)]
* config/rx/rx.c (rx_option_override): Fix alignment values.
(rx_align_for_label): Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212710
138bc75d-0d04-0410-961f-
82ee72b054a4
hp [Thu, 17 Jul 2014 02:05:08 +0000 (02:05 +0000)]
Tweak date last change.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212709
138bc75d-0d04-0410-961f-
82ee72b054a4
hp [Thu, 17 Jul 2014 02:03:52 +0000 (02:03 +0000)]
PR target/61737.
* config/cris/cris.c (TARGET_LEGITIMATE_CONSTANT_P)
(TARGET_CANNOT_FORCE_CONST_MEM): Define.
(cris_cannot_force_const_mem, cris_legitimate_constant_p): New
functions.
(cris_print_index, cris_print_operand, cris_constant_index_p)
(cris_side_effect_mode_ok): Replace CONSTANT_P with CRIS_CONSTANT_P.
(cris_address_cost): Ditto last CONSTANT_P.
(cris_symbol_type_of): Rename from cris_pic_symbol_type_of. All
callers changed. Yield cris_offsettable_symbol for non-PIC
constant symbolic expressions including labels. Yield cris_unspec
for all unspecs.
(cris_expand_pic_call_address): New parameter MARKERP. Set its
target to pic_offset_table_rtx for calls that will likely go
through PLT, const0_rtx when they can't. All callers changed.
Assert flag_pic. Use CONSTANT_P, not CONSTANT_ADDRESS_P, for
symbolic expressions to be PICified. Remove second, redundant,
assert on can_create_pseudo_p returning non-zero. Use
replace_equiv_address_nv, not replace_equiv_address, for final
operand update.
* config/cris/cris.md ("movsi"): Move variable t to pattern
toplevel. Adjust assert for new cris_symbol_type member. Use
CONSTANT_P instead of CONSTANT_ADDRESS_P.
("*movsi_internal") <case 9>: Make check for valid unspec operands
for lapc stricter.
<case CRIS_UNSPEC_PCREL, CRIS_UNSPEC_PLT_PCREL>: Clear condition
codes.
("call", "call_value"): Use second incoming operand as a marker
for pic-offset-table-register being used.
("*expanded_call_non_v32", "*expanded_call_v32")
("*expanded_call_value_non_v32", "*expanded_call_value_v32"): For
second incoming operand to CALL, match cris_call_type_marker.
("*expanded_call_value_side"): Ditto. Disable before
reload_completed.
("*expanded_call_side"): Ditto. Fix typo in comment.
(moverside, movemside peepholes): Check for CRIS_CONSTANT_P, not
CONSTANT_P.
* config/cris/predicates.md ("cris_call_type_marker"): New predicate.
* config/cris/cris.h (CRIS_CONSTANT_P): New macro.
(enum cris_symbol_type): Rename from cris_pic_symbol_type. All
users changed. Add members cris_offsettable_symbol and
cris_unspec.
(cris_symbol_type): Rename from cris_pic_symbol_type.
* config/cris/constraints.md ("T"): Use CRIS_CONSTANT_P, not
just CONSTANT_P.
* config/cris/cris-protos.h (cris_symbol_type_of,
cris_expand_pic_call_address): Adjust prototypes.
(cris_legitimate_constant_p): New prototype.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212708
138bc75d-0d04-0410-961f-
82ee72b054a4
hp [Thu, 17 Jul 2014 02:03:11 +0000 (02:03 +0000)]
* config.gcc (crisv32-*-linux* | cris-*-linux*): Do not override
an existing tmake_file. Don't add t-slibgcc and t-linux.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212707
138bc75d-0d04-0410-961f-
82ee72b054a4