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

Daily bump.

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

* 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

* 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

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

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

/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

* 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

[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

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

[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

[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

[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

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

* 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

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

/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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

* 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

Tweak date last change.

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

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

* 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

PR c++/61623
* symtab.c (symtab_remove_from_same_comdat_group): Also
set_comdat_group to NULL_TREE.
(verify_symtab): Fix diagnostic.

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

Daily bump.

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

PR target/61662
* config/i386/ia32intrin.h: Use __LP64__ to determine size of long.

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

* config/avr/avr-mcus.def: Add new avrxmega2 devices (atxmega8e5,
atxmega16e5, atxmega32c3, atxmega32d3).
* config/avr/avr-tables.opt: Regenerate.
* config/avr/t-multilib: Regenerate.
* doc/avr-mmcu.texi: Regenerate.

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

* config/avr/avr-mcus.def: Add new avr5 devices (ata5702m322,
atmega325pa, atmega64hve2, atmega644rfr2), avr51 devices (atmega128rfr2=
,
atmega1284rfr2) and avr6 devices (atmega256rfr2, atmega2564rfr2).
* config/avr/avr-tables.opt: Regenerate.
* config/avr/t-multilib: Regenerate.
* doc/avr-mmcu.texi: Regenerate.

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

* doc/avr-mmcu.texi: Regenerate. (Forgotten commit)

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

* gnat.db/specs/alignment2.ads, gnat.db/specs/size_clause1.ads,
gnat.db/specs/size_clause2.ads: Update test case.

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

2014-07-16  Paolo Carlini  <paolo.carlini@oracle.com>

* include/ext/random: Minor formatting and cosmetic tweaks.
(uniform_on_sphere_distribution<>::operator==
(const uniform_on_sphere_distribution&,
const uniform_on_sphere_distribution&)): Compare the _M_nds.
(uniform_on_sphere_distribution<>::reset): Reset _M_nd.
(operator!=(const uniform_on_sphere_distribution&,
const uniform_on_sphere_distribution&)): Adjust.
* include/ext/random.tcc: Minor cosmetc tweaks.

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

2014-07-16  Vincent Celier  <celier@adacore.com>

* gnatls.adb: Get the target parameters only if -nostdinc was
not specified.

2014-07-16  Ed Schonberg  <schonberg@adacore.com>

* checks.adb (Insert_Valid_Check): If the expression is a packed
component of a modular type of the right size the data is always
valid. This os particularly useful if the component is part of
a volatile variable.

2014-07-16  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi, sinfo.ads, freeze.adb, exp_aggr.adb: Minor reformatting

2014-07-16  Thomas Quinot  <quinot@adacore.com>

* exp_ch7.ads: Minor documentation fix.

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

2014-07-16  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Find_Type_Name): Diagnose properly
a private extension completion that is an interface definition
with an interface list.

2014-07-16  Arnaud Charlet  <charlet@adacore.com>

* gnatls.adb (Gnatls): Code clean ups.

2014-07-16  Thomas Quinot  <quinot@adacore.com>

* sinfo.ads, sinfo.adb (N_Compound_Statement): New node kind.
* sem.adb (Analyze): Handle N_Compound_Statement.
* sprint.adb (Sprint_Node_Actual): Ditto.
* sem_ch5.ads, sem_ch5.adb (Analyze_Compound_Statement): New
procedure to handle N_Compound_Statement.
* exp_aggr.adb (Collect_Initialization_Statements):
Use a proper compound statement node, instead of a bogus
expression-with-actions with a NULL statement as its expression,
to wrap collected initialization statements.
* freeze.ads, freeze.adb
(Explode_Initialization_Compound_Statement): New public procedure,
lifted from Freeze_Entity.
(Freeze_Entity): When freezing
an object with captured initialization statements and without
delayed freezing, explode compount statement.
* sem_ch4.adb (Analyze_Expression_With_Actions): Remove special
case that used to handle bogus EWAs with NULL statement as
the expression.
* exp_ch13.adb (Expand_N_Freeze_Entity): For an object with
delayed freezing and captured initialization statements, explode
compound statement.

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

2014-07-16  Gary Dismukes  <dismukes@adacore.com>

* g-rewdat.adb, g-rewdat.ads: Minor reformatting.

2014-07-16  Doug Rupp  <rupp@adacore.com>

* s-interr-hwint.adb: Casing error on parameter.

2014-07-16  Pascal Obry  <obry@adacore.com>

* Makefile.rtl: Add g-rewdat.o dependencies in
GNATRTL_NONTASKING_OBJS.

2014-07-16  Ed Schonberg  <schonberg@adacore.com>

* sem_case.adb: Code clean up.

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

2014-07-16  Vincent Celier  <celier@adacore.com>

* make.adb: Do not read gnat.adc when gnatmake is invoked
with -gnatA.

2014-07-16  Pascal Obry  <obry@adacore.com>

* gnat_rm.texi, impunit.adb, g-rewdat.adb, g-rewdat.ads: Initial
implementation of GNAT.Rewrite_Data.

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

2014-07-16  Vincent Celier  <celier@adacore.com>

* gnatls.adb (Normalize): New function.
(Gnatls): Get the target parameters. On targets other than VMS,
normalize the path names in the source search path, the object search
path and the project search path.

2014-07-16  Ed Schonberg  <schonberg@adacore.com>

* sem_case.adb: Avoid self-checking of case expressions in
dynamic predicates.

2014-07-16  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Document effect of Suppress_Initialization on tags and
discriminants.

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

2014-07-16  Eric Botcazou  <ebotcazou@adacore.com>

* switch-b.adb (Scan_Binder_Switches): Add missing guard.

2014-07-16  Ben Brosgol  <brosgol@adacore.com>

* gnat_ugn.texi: Fix typo.

2014-07-16  Ed Schonberg  <schonberg@adacore.com>

* exp_ch4.adb (Expand_N_Case_Expression): Do not expand case
expression if it is the specification of a subtype predicate:
it will be expanded when the return statement is analyzed, or
when a static predicate is transformed into a static expression
for evaluation by the front-end.
* sem_ch13.adb (Get_RList): If the expression for a static
predicate is a case expression, extract the alternatives of the
branches with a True value to create the required statically
evaluable expression.

2014-07-16  Thomas Quinot  <quinot@adacore.com>

* exp_prag.adb (Expand_Pragma_Check): Use the location of the
expression, not the location of the aspect, for all generated
code, so that in particular the call to raise_assert_failure
gets the sloc of the associated condition.
* exp_ch6.adb
(Expand_Subprogram_Contract.Build_Postconditions_Procedure):
Set an explicit End_Label on the handled sequence of statements
for the _Postconditions procedure so that the implicit return
statement does not erroneously get associated with code generated
for the last condition in postconditions.

2014-07-16  Thomas Quinot  <quinot@adacore.com>

* ug_words: Fix name of VMS synonym for -gnatw.z (SIZE_ALIGNMENT,
not SIZE_ALIGN) and -gnatw.Z (NOSIZE_ALIGNMENT, not NOSIZE_ALIGN).
* vms_data.ads: Add missing spaces in VMS synonyms for -gnatw.z /
-gnatw.Z.

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

2014-07-16  Robert Dewar  <dewar@adacore.com>

* sem_ch3.adb, sem_prag.adb, sem_util.adb, sem_res.adb, sem_ch13.adb:
Minor code reorganization (use Is_Access_Type, not in Access_Kind).
* exp_ch3.adb: Minor code reorganization, use Is_Access_Type,
not in Access_Kind.
* par-ch4.adb (At_Start_Of_Attribute): New function
(P_Simple_Expression): Better msg for bad attribute prefix.
* scans.ads: Minor reformatting.

2014-07-16  Ed Schonberg  <schonberg@adacore.com>

* sem_attr.adb (Resolve_Attribute, case 'Update): If choice is a
static constant, check that in belongs to the corresponding index
subtype, to produce the proer warning when expansion is disabled.

2014-07-16  Robert Dewar  <dewar@adacore.com>

* freeze.adb (Freeze_Entity): Warn on incompatible size/alignment.
* gnat_ugn.texi: Document -gnatw.z and -gnatw.Z.
* ug_words: VMS synonyms (WARNINGS=[NO]SIZE_ALIGN) for -gnatw.z/-gnatw.Z
* usage.adb: Add lines for -gnatw.z/-gnatw.Z.
* vms_data.ads: VMS synonyms (WARNINGS=[NO]SIZE_ALIGN) for
-gnatw.z/-gnatw.Z
* warnsw.adb: Set Warn_On_Size_Alignment appropriately.
* warnsw.ads (Warn_On_Size_Alignment): New flag Minor
reformatting.

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

2014-07-16  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch7.adb (Process_Declarations): Reinstate the check on
a hook object to ensure that the related transient declaration
is finalizable.
* exp_util.adb (Is_Aliased): Do not consider expresison with
actions as a special context.
(Requires_Cleanup_Actions): Reinstate the check on a hook object to
ensure that the related transient declaration is finalizable.

2014-07-16  Robert Dewar  <dewar@adacore.com>

* checks.ads, checks.adb (Allocation_Checks_Suppressed): New function.
* snames.ads-tmpl: Add Allocation_Check to list of check names.
* types.ads: Add Allocation_Check to list of check names.

2014-07-16  Thomas Quinot  <quinot@adacore.com>

* sem_util.adb (Enter_Name): replace bogus test for presence of
Corresponding_Remote_Type with correct test on Ekind.
* sem_res.adb (Valid_Conversion): ditto; also clarify validity
of calls to Corresponding_ Remote_Type (documentation fix).

2014-07-16  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Document illegal case of Unrestricted_Access.
* sem_attr.adb (Analyze_Access_Attribute): Set_Non_Aliased_Prefix
where it applies.
(Resolve_Attribute, case Access): Flag illegal Unrestricted_Access use.
* sinfo.ads, sinfo.adb (Non_Aliased_Prefix): New flag.

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

2014-07-16  Robert Dewar  <dewar@adacore.com>

* gnat_ugn.texi: Document binder switch -Ra.
* gnatbind.adb (List_Closure_Display): Implement -Ra switch
(List_Closure_All).
* opt.ads (List_Closure_All): New switch.
* switch-b.adb (Scan_Binder_Switches): Recognize -Ra to set
List_Closure_All.

2014-07-16  Ben Brosgol  <brosgol@adacore.com>

* gnat_rm.texi: Minor edits, to make case consistent in names
of types and fields.

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

2014-07-16  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Document erroneous mixing of thin pointers and
unrestricted access
* gnat_ugn.texi: Add note on size of access types about thin
pointers and the use of attribute Unrestricted_Access.

2014-07-16  Ed Schonberg  <schonberg@adacore.com>

* a-cbdlli.ads, a-cbdlli.adb, a-cbhama.ads, a-cbhama.adb,
* a-cbhase.ads, a-cbhase.adb, a-cborma.ads, a-cborma.adb,
* a-cborse.ads, a-cborse.adb, a-cobove.ads a-cobove.adb: Add Control
machinery to detect tampering on bounded vectors.

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

2014-07-16  Adhemerval Zanella  <azanella@linux.vnet.ibm.com>

        * MAINTAINERS (Write After Approval): Add myself.

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

2014-07-16  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Document that leading/trailing asterisks are
now implied for the pattern match string for pragma Warnings
and Warning_As_Error.
* sem_prag.adb (Acquire_Warning_Match_String): New procedure.
(Analyze_Pragma, case Warning_As_Error): Call
Acquire_Warning_Match_String.
(Analyze_Pragma, case Warnings): Call Acquire_Warning_Match_String.

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

2014-07-16  Bob Duff  <duff@adacore.com>

* gnat_ugn.texi: Document need for project file
for --incremental switch for gnat2xml.

2014-07-16  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Fix example of non-packable components in packed
records section.

2014-07-16  Robert Dewar  <dewar@adacore.com>

* s-tpoben.adb, s-tasren.adb, s-interr.adb, s-interr-hwint.adb,
s-shasto.adb, s-interr-vms.adb, s-interr-sigaction.adb: Avoid use of
upper case in exception messages.

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

2014-07-16  Robert Dewar  <dewar@adacore.com>

* snames.ads-tmpl, sem_attr.adb, exp_attr.adb: Same_Storage attribute
is renamed Has_Same_Storage.
* gnat_rm.texi: Document missing SPARK pragmas and attributes.
* sem_prag.adb: Minor comment fix (use LOCAL_NAME in syntax
descriptions).

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

2014-07-16  Robert Dewar  <dewar@adacore.com>

* exp_util.adb, sem_attr.adb, exp_ch4.adb, a-cohase.ads,
a-coinho-shared.adb, a-coinho-shared.ads: Minor reformatting.

2014-07-16  Robert Dewar  <dewar@adacore.com>

* gnat_ugn.texi: Add note that integrated
preprocessing cannot be applied to configuration pragma files.

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

2014-07-16  Yannick Moy  <moy@adacore.com>

* sem_attr.adb (Analyze_Attribute/cases Pred
and Succ): Always enable range check on fixed-point types if
not suppressed for the type.

2014-07-16  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_util.adb (State_Has_Enabled_Property):
Account for an external property denoted by an others choice.

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

2014-07-16  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch4.ads, exp_ch4.adb (Find_Hook_Context): Relocated to Exp_Util.
* exp_ch7.adb (Process_Declarations): There is no need to check
that a transient object being hooked is controlled as it would
not have been hooked in the first place.
* exp_ch9.adb Remove with and use clause for Exp_Ch4.
* exp_util.adb (Find_Hook_Context): Relocated from Exp_Ch4.
(Is_Aliased): A renaming of a transient controlled object is
not considered aliasing when it occurs within an expression
with actions.
(Requires_Cleanup_Actions): There is no need to
check that a transient object being hooked is controlled as it
would not have been hooked in the first place.
* exp_util.ads (Find_Hook_Context): Relocated from Exp_Ch4.

2014-07-16  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_ch13.adb (Insert_After_SPARK_Mode): Moved to
the outer level of routine Analyze_Aspect_Specifications. Ensure
that the corresponding pragmas of aspects Initial_Condition and
Initializes are inserted after pragma SPARK_Mode.

2014-07-16  Ed Schonberg  <schonberg@adacore.com>

* sem_attr.adb (Analyze_Attribute, case 'Update): Handle
properly a choice list with more than one choice, where each
is an aggregate denoting a sequence of array indices for a
multidimentional array. For SPARK use.

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

2014-07-16  Vadim Godunko  <godunko@adacore.com>

* a-coinho-shared.adb (Adjust): Create
copy of internal shared object and element when source container
is locked.
(Copy): Likewise.
(Query_Element): Likewise.
(Update_Element): Likewise.
(Constant_Reference): Likewise. Raise Constraint_Error on attempt
to get reference for empty holder.
(Reference): Likewise.

2014-07-16  Thomas Quinot  <quinot@adacore.com>

* exp_ch4.adb (Find_Hook_Context): New subprogram, extracted
from Process_Transient_Oject.
* exp_ch4.ads: Ditto.
* exp_ch9.adb (Build_Class_Wide_Master): Insert the _master
declaration as an action on the topmost enclosing expression,
not on a possibly conditional subexpreession.

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

2014-07-16  Vadim Godunko  <godunko@adacore.com>

* a-coinho.adb, a-coinho-shared.adb, a-coinho.ads, a-coinho-shared.ads:
Fix parameter mode of Update_Element.

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

2014-07-16  Robert Dewar  <dewar@adacore.com>

* a-coinho.adb, a-coinho-shared.adb, a-coinho-shared.ads: Minor
reformatting.

2014-07-16  Ed Schonberg  <schonberg@adacore.com>

* a-cohase.ads: Type Iterator must be controlled, so that the
tampering bit is properly set through an iteration.
* a-cohase.adb: Add Finalize operation for type Iterator.

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

2014-07-16  Ed Schonberg  <schonberg@adacore.com>

* a-coinho-shared.adb, a-coinho-shared.ads: Proper structures for
tampering checks.

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

2014-07-16  Ed Schonberg  <schonberg@adacore.com>

* a-coinho-shared.adb: Fix spurious accessibility check.

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

PR preprocessor/60723 - missing system-ness marks for macro tokens

When a system macro is expanded in a non-system file during
out-of-line preprocessing, it can happen that the preprocessor forgets
to emit line markers to express the system-ness status of tokens that
come after the expansion of the macro.

That can lead to situations where the entire non-system file can be
considered as being a system file and thus have its warnings be
discarded during the compilation of the resulting preprocessed file.

My understanding is that this is due to the preprocessor not
systematically detecting (and reporting) the change in system-ness of
tokens.

And this is what this patch does.  Each time the system-ness of a
given token is different from the previous token that was emitted by
the preprocessor, it emits a line marker for the sole purpose of
marking the new system-ness of the subsequent tokens to come.

Bootstrapped and tested on x86_64-unknown-linux-gnu against trunk.

gcc/c-family/ChangeLog:
* c-ppoutput.c (struct print::prev_was_system_token): New data
member.
(init_pp_output): Initialize it.
(maybe_print_line_1, maybe_print_line, print_line_1, print_line)
(do_line_change): Return a flag saying if a line marker was
emitted or not.
(scan_translation_unit): Detect if the system-ness of the token we
are about to emit is different from the one of the previously
emitted token.  If so, emit a line marker.  Avoid emitting useless
adjacent line markers.  Avoid emitting line markers for tokens
originating from the expansion of built-in macros.
(scan_translation_unit_directives_only): Adjust.

gcc/testsuite/ChangeLog:
* gcc.dg/cpp/syshdr{4,5}.{c,h}: New test files.

Signed-off-by: Dodji Seketeli <dodji@redhat.com>
Signed-off-by: Dodji Seketeli <dodji@redhat.com>
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212638 138bc75d-0d04-0410-961f-82ee72b054a4

Support location tracking for built-in macro tokens

When a built-in macro is expanded, the location of the token in the
epansion list is the location of the expansion point of the built-in
macro.

This patch creates a virtual location for that token instead,
effectively tracking locations of tokens resulting from built-in macro
tokens.

libcpp/
* include/line-map.h (line_maps::builtin_location): New data
member.
(line_map_init): Add a new parameter to initialize the new
line_maps::builtin_location data member.
* line-map.c (linemap_init): Initialize the
line_maps::builtin_location data member.
* macro.c (builtin_macro): Create a macro map and track the token
resulting from the expansion of a built-in macro.
gcc/
* input.h (is_location_from_builtin_token): New function
declaration.
* input.c (is_location_from_builtin_token): New function
definition.
* toplev.c (general_init): Tell libcpp what the pre-defined
spelling location for built-in tokens is.

Signed-off-by: Dodji Seketeli <dodji@redhat.com>
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212637 138bc75d-0d04-0410-961f-82ee72b054a4

2014-07-16  Paolo Carlini  <paolo.carlini@oracle.com>

* Minor ChangeLog adjustments.

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

* omp-low.c (create_omp_child_function): Don't set DECL_NAMELESS
on the FUNCTION_DECL.

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

2014-07-16  Richard Biener  <rguenther@suse.de>

PR other/61782
* doc/extend.texi (always_inline): Clarify.

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

Daily bump.

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

PR c++/61811
* decl2.c (maybe_emit_vtables): Return true for -fuse-all-virtuals.

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

2014-07-15  Eric Christopher  <echristo@gmail.com>

        * doc/invoke.texi (Link Options): Document -z option.

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

PR c++/60848
PR c++/61723
* call.c (is_std_init_list): Don't check CLASSTYPE_TEMPLATE_INFO.
* class.c (finish_struct): Reject invalid definition of
std::initializer_list.

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

* gfortran.dg/ieee/ieee_1.F90: Revert rename.

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

* gfortran.dg/ieee/rounding_1.f90: Rename from ieee_rounding_1.f90.
* gfortran.dg/ieee/ieee_1.f90: Rename from ieee_1.F90.
(dg-additional-options): Add -mieee-with-inexact for alpha*-*-*.

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

* config/alpha/alpha.c (alpha_atomic_assign_expand_fenv): New.
(TARGET_ATOMIC_ASSIGN_EXPAND_FENV): New define.

testsuite/ChangeLog:

* lib/target-supports.exp (check_effective_target_fenv_exceptions):
Add IEEE options to compile flags.
* gcc.dg/atomic/c11-atomic-exec-5.c: Ditto.  Add -mieee-with-inexact
additional option and lower ITER_COUNT to 100 for alpha*-*-* targets.

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

* fold-const.c (fold_checksum_tree): Fix typo in previous patch.

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

Change an assignment to an assert.

* asan.c (asan_finish_file): Use varpool_finalize_decl instead of
varpool_assemble_decl.
* varpool.c (varpool_assemble_decl): Assert that node->definition is
true.

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

    PR rtl-optimization/61772
        * ifcvt.c (dead_or_predicable): Check jump to be free of side
        effects.

testsuite/
        * gcc.dg/torture/pr61772.c: New test.

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

2014-07-15  Paolo Carlini  <paolo.carlini@oracle.com>

* call.c (convert_like_real): Call print_z_candidate and inform only
if permerror returns true.

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

2014-07-15  Richard Biener  <rguenther@suse.de>

* opts.c (default_options_table): Disable bit-ccp at -Og.

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

* python/libstdcxx/v6/printers.py (SingleObjContainerPrinter): New
base class for experimental::any and experimental::optional printers.
(StdExpAnyPrinter, StdExpOptionalPrinter, StdExpStringViewPrinter):
New printers for Fundamentals TS types.
* testsuite/libstdc++-prettyprinters/libfundts.cc: New.

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

* python/libstdcxx/v6/printers.py (TemplateTypePrinter): Add type
printer for class templates.
(register_type_printers): Use TemplateTypePrinter for containers
and other class templates with default template arguments.
* testsuite/libstdc++-prettyprinters/whatis.cc: Test new recognizers.

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

* c-ubsan.c (ubsan_instrument_bounds): Don't instrument if
TYPE_MAX_VALUE is NULL.

* gcc.dg/ubsan/bounds-1.c: New test.

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

* fold-const.c (fold_checksum_tree): Move checking of
DECL_RESULT.

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

* tree.c (tree_code_size): Add TRANSLATION_UNIT_DECL,
NAMESPACE_DECL, IMPORTED_DECL and NAMELIST_DECL;
call langhook for unknown declaration.
(find_decls_types_r): Do not walk DECL_ARGUMENT_FLD.
* tree.h (DECL_ARGUMENTS): Update.
* print-tree.c (print_node): Update.
* tree-core.h (tree_decl_non_common): Remove arguments.
(tree_function_decl): Add arguments.

* class.c (build_clone): Do not clear assembler names of
templates.
* decl.c (cp_tree_node_structure): Add TEMPLATE_DECL.
* cp-objcp-common.c (cp_tree_size): Add TEMPLATE_DECL
as a special case return sizeof (struct tree_decl_non_common)
for other decls.
(cp_common_init_ts): Do not initialize NAMESPACE_DECL;
initialize TEMPLATE_DECL as MARK_TS_DECL_COMMON.
* cp/cp-tree.h (tree_template_decl): New structure.
(cp_tree_node_structure_enum): Add TS_CP_TEMPLATE_DECL.
(union cp_lang_tree_node): Add template_decl.
(DECL_TEMPLATE_PARMS, DECL_TEMPLATE_RESULT): Update.

* lto/lto.c (mentions_vars_p_decl_non_common): Skip
DECL_ARGUMENT_FLD.
mentions_vars_p_function): Do DECL_ARGUMENTS.
(lto_fixup_prevailing_decls): Update.

* objc-act.c (objc_common_tree_size): New function.
* objc-act.h (KEYWORD_KEY_NAME, KEYWORD_ARG_NAME): Add type
checking.
(INSTANCE_METHOD_OR_CLASS_METHOD_DECL_CHECK): New macro.
(METHOD_SEL_NAME, METHOD_SEL_ARGS, METHOD_ADD_ARGS,
  METHOD_ADD_ARGS_ELLIPSIS_P, METHOD_DEFINITION, METHOD_ENCODING,
METHOD_TYPE_ATTRIBUTES, METHOD_PROPERTY_CONTEXT): Add type checking.
(METHOD_SEL_ARGS): Use decl_common.size instead of
decl_non_common.result.
(PROPERTY_NAME, PROPERTY_GETTER_NAME, PROPERTY_SETTER_NAME,
PROPERTY_READONLY, PROPERTY_NONATOMIC, PROPERTY_ASSIGN_SEMANTICS,
PROPERTY_IVAR_NAME, PROPERTY_DYNAMIC, PROPERTY_HAS_NO_GETTER,
PROPERTY_HAS_NO_SETTER, PROPERTY_OPTIONAL): Add type checking.
(objc_common_tree_size): Declare.
* objc/objc-lang.c (LANG_HOOKS_TREE_SIZE): New macro.

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

2014-06-15  Tobias Burnus  <burnus@net-b.de>

gcc/fortran/
        * symbol.c (check_conflict): Add codimension conflict with
        pointer; fix cray-pointee check.

gcc/testsuite/
        * gfortran.dg/coarray_34.f90: New.
        * gfortran.dg/coarray_6.f90: Update test case.

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

PR libstdc++/61720
* include/bits/regex_executor.tcc (_Executor<>::_M_main_dispatch):
Clear match queue for next use.
* testsuite/28_regex/algorithms/regex_search/61720.cc: New file.

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

Daily bump.

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

2014-06-14  Tobias Burnus  <burnus@net-b.de>

        * trans-intrinsic.c (conv_intrinsic_atomic_ref): Fix handling
        for kind mismatch with -fcoarray=lib.

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

PR c++/61445
PR c++/56947
* pt.c (instantiate_decl): Don't check defer_ok for local class
members.

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

* aarch64.md (add_losym_<mode>): Set type to alu_imm.

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