* opts.c (common_handle_option): Handle -fsanitize=alignment.
* ubsan.h (enum ubsan_null_ckind): Add UBSAN_CTOR_CALL.
(ubsan_expand_bounds_ifn, ubsan_expand_null_ifn): Change return
type to bool.
* stor-layout.h (min_align_of_type): New prototype.
* asan.c (pass_sanopt::execute): Don't perform gsi_next if
ubsan_expand* told us not to do it.  Remove the extra gsi_end_p
check.
* ubsan.c: Include builtins.h.
(ubsan_expand_bounds_ifn): Change return type to bool,
always return true.
(ubsan_expand_null_ifn): Change return type to bool, change
argument to gimple_stmt_iterator *.  Handle both null and alignment
sanitization, take type from ckind argument's type rather than
first argument.
(instrument_member_call): Removed.
(instrument_mem_ref): Remove t argument, add mem and base arguments.
Handle both null and alignment sanitization, don't say whole
struct access is member access.  Build 3 argument IFN_UBSAN_NULL
call instead of 2 argument.
(instrument_null): Adjust instrument_mem_ref caller.  Don't
instrument calls here.
(pass_ubsan::gate, pass_ubsan::execute): Handle SANITIZE_ALIGNMENT
like SANITIZE_NULL.
* stor-layout.c (min_align_of_type): New function.
* flag-types.h (enum sanitize_code): Add SANITIZE_ALIGNMENT.
Or it into SANITIZE_UNDEFINED.
* doc/invoke.texi (-fsanitize=alignment): Document.
cp/
* cp-gimplify.c (cp_genericize_r): For -fsanitize=null and/or
-fsanitize=alignment call ubsan_maybe_instrument_reference
for casts to REFERENCE_TYPE and ubsan_maybe_instrument_member_call
for calls to member functions.
c-family/
* c-common.h (min_align_of_type): Removed prototype.
* c-common.c (min_align_of_type): Removed.
* c-ubsan.h (ubsan_maybe_instrument_reference,
ubsan_maybe_instrument_member_call): New prototypes.
* c-ubsan.c: Include stor-layout.h and builtins.h.
(ubsan_maybe_instrument_reference_or_call,
ubsan_maybe_instrument_reference, ubsan_maybe_instrument_call): New
functions.
testsuite/
* c-c++-common/ubsan/align-1.c: New test.
* c-c++-common/ubsan/align-2.c: New test.
* c-c++-common/ubsan/align-3.c: New test.
* c-c++-common/ubsan/align-4.c: New test.
* c-c++-common/ubsan/align-5.c: New test.
* c-c++-common/ubsan/attrib-4.c: New test.
* g++.dg/ubsan/align-1.C: New test.
* g++.dg/ubsan/align-2.C: New test.
* g++.dg/ubsan/align-3.C: New test.
* g++.dg/ubsan/attrib-1.C: New test.
* g++.dg/ubsan/null-1.C: New test.
* g++.dg/ubsan/null-2.C: New test.

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

Don't run cproj-fails-with-broken-glibc for broken glibc

2014-08-01  Tom de Vries  <tom@codesourcery.com>

* lib/target-supports.exp (check_effective_target_glibc)
(check_effective_target_glibc_2_12_or_later)
(check_effective_target_not_glibc_2_11_or_earlier): New proc.
* gcc.dg/cproj-fails-with-broken-glibc.c: Require effective target
not_glibc_2_11_or_earlier.

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

2014-08-01  Yury Gribov  <y.gribov@samsung.com>

* mklog: Allow running from arbitrary folder.

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

Convert tree-ssa-tail-merge to inchash

gcc/:

2014-07-31  Andi Kleen  <ak@linux.intel.com>

* tree-ssa-tail-merge.c (same_succ_hash): Convert to inchash.

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

Convert tree-ssa-sccvn to inchash

gcc/:

2014-07-31  Andi Kleen  <ak@linux.intel.com>

* tree-ssa-sccvn.c (vn_reference_op_compute_hash): Convert to
inchash.
(vn_reference_compute_hash): Dito.
(vn_nary_op_compute_hash): Dito.
(vn_phi_compute_hash): Dito.
* tree-ssa-sccvn.h (vn_hash_constant_with_type): Dito.

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

Convert tree-ssa-dom to inchash

gcc/:

2014-07-31  Andi Kleen  <ak@linux.intel.com>

* tree-ssa-dom.c (iterative_hash_exprs_commutative):
Rename to inchash:add_expr_commutative. Convert to inchash.
(iterative_hash_hashable_expr): Rename to
inchash:add_hashable_expr. Convert to inchash.
(avail_expr_hash): Dito.

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

Convert ipa-devirt to inchash

gcc/:

2014-07-31  Andi Kleen  <ak@linux.intel.com>

* ipa-devirt.c (polymorphic_call_target_hasher::hash):
Convert to inchash.

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

Convert asan.c to inchash

gcc/:

2014-07-31  Andi Kleen  <ak@linux.intel.com>

* asan.c (asan_mem_ref_hasher::hash): Convert to inchash.

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

RTL & dwarf2out changes

Convert dwarf2out and rtl.c to the new inchash interface.

gcc/:

2014-07-31  Andi Kleen  <ak@linux.intel.com>

* Makefile.in (OBJS): Add rtlhash.o
* dwarf2out.c (addr_table_entry_do_hash): Convert to inchash.
(loc_checksum): Dito.
(loc_checksum_ordered): Dito.
(hash_loc_operands): Dito.
(hash_locs): Dito.
(hash_loc_list): Dito.
* rtl.c (iterative_hash_rtx): Moved to rtlhash.c
* rtl.h (iterative_hash_rtx): Moved to rtlhash.h
* rtlhash.c: New file.
* rtlhash.h: New file.

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

Change inchash to name space.

Change class inchash to move into a inchash namespace as requested.
The class is now inchash::hash

Rename iterative_hstate_expr to inchash::add_expr
... and convert existing users. It wasn't possible to use hash::,
because that lead to name space conflicts with cp and objc.

So class inchash is now inchash::hash and iterative_hstate_expr
is now inchash::add_expr.

gcc/:

2014-07-31  Andi Kleen  <ak@linux.intel.com>

* inchash.h (inchash): Change inchash class to namespace.
(class hash): ... Rename from inchash.
(add_object): Move from macro to class template.
* lto-streamer-out.c (hash_tree): Change inchash
to inchash::hash.
* tree.c (build_type_attribute_qual_variant): Dito.
(type_hash_list): Dito.
(attribute_hash_list): Dito.
(iterative_hstate_expr): Rename to inchash::add_expr
(build_range_type_1): Change inchash to inchash::hash
and use hash::add_expr.
(build_array_type_1): Dito.
(build_function_type): Dito
(build_method_type_directly): Dito.
(build_offset_type): Dito.
(build_complex_type): Dito.
(make_vector_type): Dito.
* tree.h (iterative_hash_expr): Dito.

gcc/lto/:

2014-07-31  Andi Kleen  <ak@linux.intel.com>

* lto.c (hash_canonical_type): Use inchash::hash
and use inchash::add_expr.
(iterative_hash_canonical_type): Dito.

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

Daily bump.

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

    * gcc.c (do_spec_1): Allocate enough space for saved_suffix.

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

Remove superfluous function declaration

2014-07-31  Tom de Vries  <tom@codesourcery.com>

* gcc.dg/pr51879-7.c: Remove superfluous declaration of bar.

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

[AArch64] arm_neon.h - add vpaddd_f64, vpaddd_s64, vpaddd_u64 intrinsics

gcc/

* config/aarch64/arm_neon.h (vpadd_<suf><8,16,32,64>): Move to
correct alphabetical position.
(vpaddd_f64): Rewrite using builtins.
(vpaddd_s64): Move to correct alphabetical position.
(vpaddd_u64): New.

gcc/testsuite/

* gcc.target/aarch64/scalar_intrinsics.c (test_vpaddd_f64): New.
(test_vpaddd_s64): Likewise.
(test_vpaddd_s64): Likewise.
* gcc.target/aarch64/simd/vpaddd_f64: New.
* gcc.target/aarch64/simd/vpaddd_s64: New.
* gcc.target/aarch64/simd/vpaddd_u64: New.

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

gcc/
PR target/61844
* config/sh/sh.c (sh_legitimate_address_p,
sh_legitimize_reload_address): Handle reg+reg address modes when
ALLOW_INDEXED_ADDRESS is false.
* config/sh/predicates.md (general_movsrc_operand,
general_movdst_operand): Likewise.

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

* config/rs6000/ibm-ldouble.c (typedef union longDblUnion): Delete.
(pack_ldouble): New function.
(__gcc_qadd): Use it.
(__gcc_qmul): Likewise.
(__gcc_qdiv): Likewise.
(__gcc_qneg): Likewise.
(__gcc_stoq): Likewise.
(__gcc_dtoq): Likewise.

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

[AArch64_be] Don't fold reduction intrinsics.

gcc/

* config/aarch64/aarch64-builtins.c
(aarch64_gimple_fold_builtin): Don't fold reduction operations for
BYTES_BIG_ENDIAN.

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

[AArch64_be] Fix vec_select hi/lo mask confusions.

gcc/

* config/aarch64/aarch64.c (aarch64_simd_vect_par_cnst_half): Vary
the generated mask based on BYTES_BIG_ENDIAN.
(aarch64_simd_check_vect_par_cnst_half): New.
* config/aarch64/aarch64-protos.h
(aarch64_simd_check_vect_par_cnst_half): New.
* config/aarch64/predicates.md (vect_par_cnst_hi_half): Refactor
the check out to aarch64_simd_check_vect_par_cnst_half.
(vect_par_cnst_lo_half): Likewise.
* config/aarch64/aarch64-simd.md
(aarch64_simd_move_hi_quad_<mode>): Always use vec_par_cnst_lo_half.
(move_hi_quad_<mode>): Always generate a low mask.

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

* doc/invoke.texi (AVR Options): Add documentation about
__AVR_DEVICE_NAME__ built-in macro.

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

PR target/61948

gcc/ChangeLog:
2014-07-29  Charles Baylis  <charles.baylis@linaro.org>

PR target/61948
* config/arm/neon.md (ashldi3_neon): Don't emit arm_ashldi3_1bit unless
constraints are satisfied.
(<shift>di3_neon): Likewise.

gcc/testsuite/ChangeLog:
2014-07-29  Charles Baylis  <charles.baylis@linaro.org>

        PR target/61948
        * gcc.target/arm/pr61948.c: New test case.

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

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

PR tree-optimization/61964
* tree-ssa-tail-merge.c (gimple_equal_p): Handle non-SSA LHS solely
by structural equality.

* gcc.dg/torture/pr61964.c: New testcase.

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

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

        * gcc-interface/utils.c (lookup_and_insert_pad_type): New function
        extracted from...
        (maybe_pad_type): ...here.  Call it to canonicalize the pad type.
        * gcc-interface/gigi.h: Update comment.

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

2014-07-31  Javier Miranda  <miranda@adacore.com>

* debug.adb Remove documentation of -gnatd.k (no longer needed).
* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Code cleanup.
* inline.ads (Backend_Inlined_Subps): New
Elist. (Backend_Not_Inlined_Subps): New Elist.
(Has_Excluded_Declaration): Declaration previously located in
* inline.adb (Has_Excluded_Statement): Declaration previously
located in inline.adb
* inline.adb (Has_Single_Return): Moved out of
Build_Body_To_Inline to avoid having duplicated code.
(Number_Of_Statements): New subprogram.
(Register_Backend_Inlined_Subprogram): New subprogram.
(Register_Backend_Not_Inlined_Subprogram): New subprogram.
(Add_Inlined_Subprogram): Register backend inlined subprograms and
also register subprograms that cannot be inlined by the backend.
(Has_Excluded_Declaration): Moved out of Build_Body_To_Inline
to avoid having duplicated code.  Replace occurrences of
Debug_Flag_Dot_K by Back_End_Inlining.
* sem_res.adb (Resolve_Call): Code cleanup.
* exp_ch6.adb (Expand_Call): Complete previous patch. Replace
occurrence of Debug_Flag_Dot_K by Back_End_Inlining.
(List_Inlining_Info): Add listing of subprograms passed to the
backend and listing of subprograms that cannot be inlined by
the backend.
* sem_ch12.adb, sem_ch3.adb Replace occurrences of
Debug_Flag_Dot_K by Back_End_Inlining.

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

* nlists.ads: Minor code fix (remove unwise Inline for
List_Length).

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

(gnatlib-shared-vms): Remove.

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

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

* einfo.adb: Remove VMS specific code.
* exp_attr.adb: Remove VAX specific code.
* set_targ.adb: Remove handling of VAX_Float.
* sem_vfpt.adb: Remove references to Vax_Native.
* sem_attr.adb (Is_VAX_Float): Remove ref to VAX_Native.

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

* sem_ch4.adb: Minor reformatting.

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

    * gcc-interface/trans.c, gcc-interface/misc.c: Remove references
        to VMS. Misc clean ups.

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

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

* cstand.adb, einfo.adb, einfo.ads, errout.adb, exp_attr.adb,
exp_prag.adb, frontend.adb, interfac.ads,
par-prag.adb, s-auxdec.ads, s-filofl.ads, s-fishfl.ads, s-fvadfl.ads,
s-fvaffl.ads, s-fvagfl.ads, s-vaflop.ads, sem_attr.adb, sem_attr.ads,
sem_ch13.adb, sem_ch3.adb, sem_ch8.adb, sem_prag.adb, snames.adb-tmpl,
snames.ads-tmpl: Remove obsolete VMS-specific code.

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

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

* sem_ch3.adb, sem_ch13.adb: Minor reformatting.

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

* a-intnam-linux.ads: Minor: update obsolete comments.
* s-taasde.adb: Minor: fix comment header.

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

* s-auxdec-vms-ia64.adb, s-parame-vms-alpha.ads, s-asthan-vms-alpha.adb,
s-tpopde-vms.adb, s-mastop-vms.adb, s-tpopde-vms.ads, s-taprop-vms.adb,
mlib-tgt-vms_common.adb, mlib-tgt-vms_common.ads, s-inmaop-vms.adb,
g-enblsp-vms-alpha.adb, s-ransee-vms.adb, s-osprim-vms.adb,
s-osprim-vms.ads, g-socthi-vms.adb, g-socthi-vms.ads, system-vms_64.ads,
s-osinte-vms.adb, s-osinte-vms.ads, g-eacodu-vms.adb,
s-vaflop-vms-alpha.adb, s-parame-vms-ia64.ads, a-dirval-vms.adb,
a-caldel-vms.adb, mlib-tgt-specific-vms-alpha.adb, s-tasdeb-vms.adb,
symbols-vms.adb, a-intnam-vms.ads, g-expect-vms.adb,
symbols-processing-vms-alpha.adb, mlib-tgt-specific-vms-ia64.adb,
s-traent-vms.adb, s-traent-vms.ads, i-cstrea-vms.adb, a-numaux-vms.ads,
symbols-processing-vms-ia64.adb, s-interr-vms.adb, s-memory-vms_64.adb,
s-memory-vms_64.ads, g-enblsp-vms-ia64.adb, s-taspri-vms.ads,
s-auxdec-vms_64.ads, s-intman-vms.adb, s-intman-vms.ads,
s-tpopsp-vms.adb, s-asthan-vms-ia64.adb, a-calend-vms.adb,
a-calend-vms.ads, system-vms-ia64.ads, s-auxdec-vms-alpha.adb: Removed.
* namet.h (Is_Non_Ada_Error): Remove.

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

2014-07-31  Yury Gribov  <y.gribov@samsung.com>

* doc/cpp.texi (__SANITIZE_ADDRESS__): Updated description.
* doc/invoke.texi (-fsanitize=kernel-address): Describe new option.
* flag-types.h (SANITIZE_USER_ADDRESS, SANITIZE_KERNEL_ADDRESS):
New enums.
* gcc.c (sanitize_spec_function): Support new option.
(SANITIZER_SPEC): Remove now redundant check.
* opts.c (common_handle_option): Support new option.
(finish_options): Check for incompatibilities.
* toplev.c (process_options): Split userspace-specific checks.

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

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

* exp_util.adb, lib-writ.adb, sem_ch12.adb, s-direio.adb: Minor
reformatting.

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

* exp_attr.adb (Expand_Loop_Entry_Attribute): Update the comment
which demonstrates the expansion of while loops subject to
attribute 'Loop_Entry. The condition of a while loop along with
related condition actions is now wrapped in a function.  Instead
of repeating the condition, the expansion now calls the function.

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

* sem_case.adb (Check_Against_Predicate): Correct off-by-one
error when reporting of missing values in a case statement for
a type with a static predicate.
(Check_Choices): Reject a choice given by a subtype to which a
Dynamic_Predicate applies.
* sem_ch3.adb (Analyze_Subtype_Declaration): Inherit
Has_Dynamic_Predicate_Aspect flag from parent.

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

* sem_ch13.adb (Analyze_Aspect_Specifications): A predicate
cannot apply to a subtype of an incomplete type.
(Is_Static_Choice): Treat an Others_Clause as static. The
staticness of the expression and of the range are checked
elsewhere.

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

* adaint.h (__gnat_ftell64): Added.
(__gnat_fseek64): Added.
(__int64): Added.
* cstreams.c (__int64): Removed.

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

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

* a-stream.ads (Stream_Element_Offset): Now a signed 64bit type.
* i-cstrea.ads, s-crtl.ads (fseek64): Offset is always a 64bit value.
(ftell64): Always returns a 64bit value.
* cstreams.c (int64): New definition.
(_FILE_OFFSET_BITS): Set to 64 to enable 64bit offset support.
(__gnat_ftell64): Always returns a 64bit value. The implemenation now
uses ftello() on UNIX.
(__gnat_fseek64): Offset is always a 64bit value. The
implementation now uses fseeko() on UNIX.
* a-ststio.adb, s-direio.adb (Set_Position): Simplify code,
always use fseek64 to set the offset.
(Size): Simplify code, always use fseek64/ftell64.
* s-direio.ads (Count): Now an int64.
* g-socket.ads (Vector_Element): Adjust definition for Length
to be a size_t. This matches the C definition and avoid using
a 64bit integer on 32bit platforms now that Count is always 64bit.
* g-socthi-mingw.adb (Ada.Streams): Removed as not used anymore.
(C_Recvmsg): Change some conversion to account for change in
Vector_Element.
(C_Sendmsg): Likewise.

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

* cstand.adb (Create_Standard): Remove handling of -gnatdm flag.
* debug.adb: Remove documentation of -gnatdm flag.
* gnat1drv.adb (Adjust_Global_Switches): Remove handling of
-gnatdm flag.

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

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

* lib-writ.adb (Write_Unit_Information): Fix case where U =
No_Unit.

2014-07-31  Claire Dross  <dross@adacore.com>

* exp_util.adb, exp_util.ads
(Get_First_Parent_With_External_Axiomatization_For_Entity):
New routine to find the first parent of an entity with
a pragma Annotate (GNATprove, External_Axiomatization).
(Has_Annotate_Pragma_For_External_Axiomatization): New function
to check if a package has a pragma Annotate (GNATprove,
External_Axiomatization).
* einfo.ads, einfo.adb (Is_Generic_Actual_Subprogram): New
flag on the entity for the declaration created for a formal
subprogram in an instance. This is a renaming declaration,
or in GNATprove_Mode the declaration of an expression function
that captures the axiomatization of the actual.
* sem_ch6.adb (Analyze_Expression_Function): For a
Generic_Actual_Subprogram, place body immediately after the
declaration because it may be used in a subsequent declaration
in the instance.
* sem_ch12.adb (Build_Wrapper): Add code to handle instances where
the actual is a function, not an operator. Handle functions with
one and two parameters and binary and unary operators.

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

* cstreams.c (__gnat_is_regular_file_fd): Removed.
* adaint.c (__gnat_is_regular_file_fd): Added.

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

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

* exp_strm.adb: Minor reformatting.

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

* sem_ch12.adb (Build_Wrapper): New procedure, subsidiary to
Analyze_Associations, to create a wrapper around operators that
are actuals to formal subprograms. This is done in GNATProve
mode in order to propagate the contracts of the operators to
the body of the instance.

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

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

* sem_attr.adb (Analyze_Attribute, case 'Old):  The reference is
legal if within an aspect specification for a generic subprogram.

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

2014-07-31  Javier Miranda  <miranda@adacore.com>

* gnat1drv.adb (Back_End_Inlining): Set to false if
Suppress_All_Inlining is set.
* debug.adb: Adding documentation for -gnatd.z.
* inline.adb (Add_Inlined_Body): Extend the -gnatn2
processing to -gnatn1 for calls to Inline_Always routines.
(Add_Inlined_Subprogram): Remove previous patch.

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

* sem_ch13.adb (Check_One_Function): Apply properly the static
semantic rules for indexing aspects and the functions they denote.

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

2014-07-31  Javier Miranda  <miranda@adacore.com>

* debug.adb: Complete documentation of -gnatd.z.

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

* gnat_ugn.texi: Minor doc fixes.

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

* sem_aggr.adb (Resolve_Array_Aggregate): Fix posting of missing
index value.

2014-07-31  Tristan Gingold  <gingold@adacore.com>

* s-unstyp.ads (Packed_Byte): Make this type universal aliasing.
(Packed_Bytes1): Make component aliased.

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

* s-unstyp.ads, s-fileio.adb: Minor reformatting.

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

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

* inline.adb, gnat1drv.adb, exp_ch6.adb, s-fileio.adb: Minor
reformatting.

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

Minor reformmating. complete previous change on s-traceb.adb.

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

Minor reformatting.

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

* gcc-interface/utils2.c ((build_binary_op): Don't set TREE_THIS_NOTRAP
on array references here, now done more selectively in trans.c.

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

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

* gcc-interface/misc.c (gnat_init_gcc_fp(): Set flag_errno_math to 0.

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

* gcc-interface/decl.c, gcc-interface/trans.c,
gcc-interface/gigi.h: Add handling of Inline_Always pragma.

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

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

* sem_util.adb (Is_Effectively_Volatile): New routine.

2014-07-31  Fedor Rybin  <frybin@adacore.com>

* gnat_ugn.texi: Document --test-duration option for gnattest.

2014-07-31  Javier Miranda  <miranda@adacore.com>

* opt.ads (Back_End_Inlining): New variable which controls
activation of inlining by back-end expansion.
* gnat1drv.adb (Adjust_Global_Switches): Initialize Back_End_Inlining
* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Do not build
the body to be inlined by the frontend if Back_End_Inlining
is enabled.
* exp_ch6.adb (Register_Backend_Call): Moved to inline.adb.
(Expand_Call): If backend inlining is enabled let the backend to
handle inlined subprograms.
* inline.ads (Register_Backend_Call): Moved here from exp_ch6
* inline.adb (Register_Backend_Call): Moved here from exp_ch6.
(Add_Inlined_Subprogram): Add subprograms when Back_End_Inlining is set.
(Must_Inline): Do not return Inline_Call if Back_End_Inlining is
enabled.
* debug.adb Document -gnatd.z
* fe.h Import Back_End_Inlining variable.
* gcc-interface/utils.c (create_subprog_decl): If Back_End_Inlining is
enabled then declare attribute "always inline"

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

* a-ngelfu.ads: Minor comment fix.

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

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

* freeze.adb (Freeze_Record_Type): Replace all calls to
Is_SPARK_Volatile with Is_Effectively_Volatile and update
related comments.
* sem_ch3.adb (Analyze_Object_Contract, Process_Discriminants):
Replace all calls to Is_SPARK_Volatile with
Is_Effectively_Volatile and update related comments.
* sem_ch5.adb (Analyze_Iterator_Specification,
Analyze_Loop_Parameter_Specification): Replace all calls to
Is_SPARK_Volatile with Is_Effectively_Volatile and update
related comments.
* sem_ch6.adb (Process_Formals): Replace all calls to
Is_SPARK_Volatile with Is_Effectively_Volatile and update
related comments.
* sem_ch12.adb (Instantiate_Object): Replace the call to
Is_SPARK_Volatile_Object with Is_Effectively_Volatile_Object
and update related comment.
* sem_prag.adb (Analyze_External_Property_In_Decl_Part,
Analyze_Global_Item): Replace all calls to Is_SPARK_Volatile
with Is_Effectively_Volatile and update related comments.
* sem_res.adb (Resolve_Actuals, Resolve_Entity_Name): Replace
all calls to Is_SPARK_Volatile with Is_Effectively_Volatile and
update related comments.
* sem_util.adb (Has_Enabled_Property,
Variable_Has_Enabled_Property): Replace all calls
to Is_SPARK_Volatile with Is_Effectively_Volatile and
update related comments.
(Is_Effectively_Volatile): New routine.
(Is_Effectively_Volatile_Object): New routine.
(Is_SPARK_Volatile): Removed.
(Is_SPARK_Volatile_Object): Removed.
* sem_util.ads (Is_Effectively_Volatile): New routine.
(Is_Effectively_Volatile_Object): New routine.
(Is_SPARK_Volatile): Removed.
(Is_SPARK_Volatile_Object): Removed.

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

* s-fileio.adb (Open): Make sure a shared file gets inserted into
the global list atomically. This ensures that the file descriptor
won't be freed because another tasks is closing the file.

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

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

* sem_ch3.adb (Process_Range_Expr_In_Decl): Add comments on
generation of _FIRST and _LAST variables even in GNATprove_Mode.
* gnat_ugn.texi: Minor editing.
* sem_prag.adb (Ensure_Aggregate_Form): Make sure generated
aggregate is marked Comes_From_Source if argument is CFS.

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

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

* s-fileio.adb: Remove obsolete comment.

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

* a-strbou.ads ("=" (Bounded_String, Bounded_String): Add
overriding keyword before function to avoid error when compiler
is called with -gnatyO (check overriding indicators).

2014-07-31  Tucker Taft  <taft@adacore.com>

* gnat_ugn.texi: Add a paragraph pointing the reader
to the "plugins" example.

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

* freeze.adb (Freeze_Expression): Document the
purpose of the parent chain traversal.

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

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

* checks.ads, checks.adb (Activate_Overflow_Check): Do not set flag for
unconstrained fpt ops.

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

* s-fileio.adb (Open): Make sure a shared file gets inserted into
the global list atomically. This ensures that the file descriptor
won't be freed because another tasks is closing the file.

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

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

* projects.texi: Minor spelling error fix.

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

* gnat_rm.texi: Document No_Elaboration_Code_All restriction.
* lib-writ.adb, lib-load.adb: Initialize No_Elab_Code field in unit
information.
* lib.ads, lib.adb (No_Elab_Code): New field in unit information.
* restrict.adb (Process_Restriction_Synonyms): Add handling
of No_Elaboration_Code_All.
* restrict.ads (Process_Restriction_Synonyms): Now handles
No_Elaboration_Code_All.
* sem_ch10.adb (Analyze_Context): Enforce transitive with for
No_Elaboration_Code_All.
* sem_prag.adb (Process_Restrictions_Or_Restriction_Warnings):
Handle setting of No_Elab_Code in unit information. Handle
No_Elaboration_Code_All.
* snames.ads-tmpl (Name_No_Elaboration_Code): New name for
pragma processing.
(Name_No_Elaboration_Code_All): New name for pragma processing.

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

* exp_aggr.adb (Aggr_Assignment_OK_For_Backend): Reject array
types with a null range and use the Esize of the component
instead of its RM_Size to identify appropriate values.

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

* freeze.adb Add with and use clause for Aspects.
(Freeze_Expression): Emit an error when a volatile constant lacks
Boolean aspect Import.
(Has_Boolean_Aspect_Import): New routine.

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

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

* exp_util.adb: Minor reformatting.

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

* errutil.adb (Error_Msg): Make sure that all components of
the error message object are initialized.

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

* sem_ch4.adb (Try_Container_Indexing): If the container type is
class-wide, use specific type to locate iteration primitives.
* sem_ch13.adb (Check_Indexing_Functions): Add legality checks for
rules in RM 4.1.6 (Illegal_Indexing): New diagnostic procedure.
Minor error message reformating.
* exp_ch5.adb (Expand_Iterator_Loop): Handle properly Iterator
aspect for a derived type.

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

* debug.adb: Document debug flag d.X.

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

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

* sem_util.ads (Find_Specific_Type): Moved here from exp_disp.adb.
* sem_util.adb (Find_Specific_Type): If type is untagged private,
retrieve full view so that primitive operations can be located.
* exp_disp.adb Move Find_Specific_Type to sem_util.
* exp_ch4.adb (Expand_N_Op_Eq): If operands are class-wide, use
Find_Specific_Type to locate primitive equality.
* exp_util.adb (Make_CW_Equivalent_Type): A class_wide equivalent
type does not require initialization.
* exp_attr.adb (Compile_Stream_Body_In_Scope): Within an instance
body all visibility is established, and the enclosing package
declarations must not be installed.

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

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

* sem_parg.adb, sem_prag.ads (Collect_Subprogram_Inputs_Outputs):
Make subprogram public.

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

* gcc-interface/Makefile.in (s-traceb.o): Adjust rules.

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

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

* exp_ch9.adb (Expand_N_Protected_Type_Declaration): New
predicate Discriminated_Size, to distinguish between private
components that depend on discriminants from those whose size
depends on some other non-static expression.

2014-07-31  Nicolas Setton  <setton@adacore.com>

* g-exptty.adb (Close): Fix binding to Waitpid: use the
tty version.

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

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

* lto-streamer.h (struct output_block): Remove global.
(struct data_in): Remove labels, num_named_labels and
num_unnamed_labels.
* lto-streamer-in.c (lto_data_in_delete): Do not free labels.
* lto-streamer-out.c (produce_asm_for_decls): Do not set global.

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

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

* sem_ch3.adb (Make_Index): Reject properly the use of 'Length
in a discrete range, when 'range was probably intended.

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

* sem_warn.adb, sem_warn.ads (Has_Junk_Name): Moved from body to spec.

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

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

* frontend.adb: Minor reformatting.
* sem.adb: Minor reformatting.
* sem_ch6.adb (Analyze_Null_Procedure): Set proper sloc for
identifiers on rewrite.
* par.adb: Minor comment updates.
* a-ngelfu.adb (Cos): Minor simplification.
* par-ch13.adb (Get_Aspect_Specifications): Improve messages
and recovery for bad aspect.
* exp_ch3.adb: Code clean up.
* sem_util.ads: Minor comment correction.
* sem_ch13.adb (Check_Array_Type): Properly handle large types.
* sem_ch3.adb: Code clean up.
* binderr.ads: Minor comment correction.

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

* exp_disp.adb (Expand_Interface_Conversion): A call whose
prefix is a static conversion to an interface type that is not
class-wide is not dispatching.

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

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

* inline.adb, s-traceb.adb, s-traceb-hpux.adb, memtrack.adb,
s-traceb-mastop.adb: Minor reformatting.

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

* exp_ch3.adb (Expand_Record_Extension): In ASIS_Mode perform
expansion, to handle properly visibility of selected components
in instance bodies.

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

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

* par-ch13.adb (Get_Aspect_Specifications): Set Inside_Depends.
* par-ch2.adb (P_Pragma): Set Inside_Depends.
* par-ch4.adb (P_Simple_Expression): Pass Inside_Depends to
Check_Unary_Plus_Or_Minus.
* scans.ads (Inside_Depends): New flag.
* scng.adb (Scan): Pass Inside_Depends to Check_Arrow.
* style.ads: Add Inside_Depends parameter to Check_Arrow Add
Inside_Depends parameter to Check_Unary_Plus_Or_Minus.
* styleg.adb (Check_Arrow): Handle Inside_Depends case.
(Check_Unary_Plus_Or_Minus): Handle Inside_Depends case.
* styleg.ads: Add Inside_Depends parameter to Check_Arrow Add.
Inside_Depends parameter to Check_Unary_Plus_Or_Minus.

2014-07-31  Javier Miranda  <miranda@adacore.com>

* s-vaflop.adb Move the body of function T_To_G before
T_To_D. Required for frontend inlining.
* inline.adb (Has_Excluded_Contract): New subprogram used to
check if a subprogram inlined by the frontend has contracts
which cannot be inlined.

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

* s-traceb.adb, s-traceb-hpux.adb, s-traceb-mastop.adb:
(Call_Chain): Add 1 to number of frames to skip, to account for
the fact that there's one more frame on the stack.

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

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

* checks.adb (Enable_Overflow_Check): More precise setting of
Do_Overflow_Check flag for division.

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

* exp_aggr.adb (Aggr_Assignment_OK_For_Backend): Reject packed
array types with implementation type.

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

* sem_ch10.adb (Process_State): Remove local variable Name. Add
local variable Decl. Partially declare an abstract state by
generating an entity and storing it in the state declaration.
* sem_prag.adb (Create_Abstract_State): Fully declare a
semi-declared abstract state.

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

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

* prj-nmsc.adb: Minor reformatting.

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

* s-tasdeb.adb (System.Tasking.Debug): Remove
all usage of the secondary stack from this package.

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

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

* sem_ch5.adb (Analyze_Iterator_Specification): If the domain of
iteration is an array component that depends on discriminants,
create an actual subtype for it, because the preanalysis of the
iterator name does not create actual subtypes of components.

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

* freeze.adb (Freeze_Expression): Update the loop in charge
of finding a proper insertion place for freeze nodes to handle
N_Expression_With_Actions nodes.

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

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

* sem_util.adb, a-ngelfu.ads, prj-nmsc.adb, prj-conf.adb: Minor
reformatting.

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

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

* prj-nmsc.adb: Minor reformatting.

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

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

* sem_util.adb (Has_Preelaborable_Initialization): Check that
type is tagged before checking whether a user-defined Initialize
procedure is present.

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

* a-ngelfu.ads (Sqrt): Augment postcondition.

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

* prj-nmsc.adb (Check_Library_Attributes): An aggegate library
directory and ALI directory must be different than all object
and library directories of aggregated projects.

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

* prj-pars.adb, prj-conf.ads, prj-conf.adb (Locate_Runtime): Move spec
to package body, as it is not called from outside. Remove argument
Project_Tree, no longer used. When runtime cannot be found,
call Raise_Invalid_Config instead of failing the program.

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

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

* bindgen.adb (Gen_Output_File_Ada): Generate pragma Suppress
(Overflow_Check).
* gnatlink.adb (Process_Args): Remove generation of -gnato0,
no longer needed.

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

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

* gnat_ugn.texi: Document new switch -gnato0.
* sem_ch3.ads: Minor reformatting.
* gnatlink.adb (Process_Args): Compile bind file with -gnato0
(we do not want overflow checks when incrementing elaboration
counters).
* einfo.ads: Minor reformatting.

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

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

* exp_ch5.adb, freeze.adb, exp_ch3.adb: Minor comment correction.
* s-arit64.adb: Minor reformatting.

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

* gnat1drv.adb (Adjust_Global_Switches): Default for overflow
checking is enabled except in GNAT_Mode.
* switch-c.adb (Scan_Front_End_Switches): Implement -gnato0
(suppress overflow checks).

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

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

* exp_ch3.adb (Expand_Freeze_Record_Type): Do not build an
invariant procedure for an internally generated subtype that is
created for an object of a class-wide type.

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

* prj-nmsc.adb, errutil.adb: Make code similar to Errout.

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

* gnat_rm.texi, sem_aux.ads, einfo.ads, sem_util.ads, sem_ch6.adb,
exp_disp.adb: Minor reformatting.

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

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

* exp_ch5.adb, sem_ch3.adb, exp_ch7.adb, exp_util.adb, exp_ch9.adb,
sem_ch7.adb, checks.adb, s-exctra.adb, exp_ch6.adb, exp_disp.adb,
exp_dist.adb, sem_ch13.adb, exp_strm.adb, exp_ch3.adb: Minor
reformatting.

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

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

* sem_ch13.adb: Minor reformatting.

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

* exp_ch3.adb (Build_Invariant_Checks): If the enclosing record
is an unchecked_union, warn that invariants will not be checked
on components that have them.

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

* freeze.adb (Freeze_Entity): Check for error of
Type_Invariant'Class applied to a untagged type.
* sem_ch6.adb (Analyze_Null_Procedure): Unconditionally rewrite
as null body, so that we perform error checks even if expansion
is off.

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

2014-07-31  Marc Glisse  <marc.glisse@inria.fr>

PR c++/60517
gcc/c/
* c-typeck.c (c_finish_return): Return 0 instead of the address of
a local variable.
gcc/cp/
* typeck.c (maybe_warn_about_returning_address_of_local): Return
whether it is returning the address of a local variable.
(check_return_expr): Return 0 instead of the address of a local
variable.
gcc/c-family/
* c.opt (-Wreturn-local-addr): Move to common.opt.
gcc/
* common.opt (-Wreturn-local-addr): Moved from c.opt.
* gimple-ssa-isolate-paths.c: Include diagnostic-core.h and intl.h.
(isolate_path): New argument to avoid inserting a trap.
(find_implicit_erroneous_behaviour): Handle returning the address
of a local variable.
(find_explicit_erroneous_behaviour): Likewise.
gcc/testsuite/
* c-c++-common/addrtmp.c: New file.
* c-c++-common/uninit-G.c: Adapt.

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

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

* sem_ch13.adb (Build_Invariant_Procedure): If body of procedure
is already present, nothing to do.
* exp_ch3.adb (Build_Component_Invariant_Call): For an access
component, check whether the access type has an invariant before
checking the designated type.
(Build_Record_Invariant_Proc): Change suffix of generated
name to prevent ambiguity when record type has invariants
in addition to those of components, and two subprograms are
constructed. Consistent with handling of array types.
(Insert_Component_Invariant_Checks): Build invariant procedure
body when one has not been created yet, in the case of composite
types that are completions and whose full declarations carry
invariants.

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

2014-07-31  Bingfeng Mei <bmei@broadcom.com>

PR lto/61868
* toplev.c (init_random_seed): Move piece of code never called to
set_random_seed.
(set_random_seed): see above.

* gcc.dg/pr61868.c: New test.

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

Remove dead code in pass_tree_loop_init::execute

2014-07-31  Tom de Vries  <tom@codesourcery.com>

* tree-ssa-loop.c (pass_tree_loop_init::execute): Remove dead code.

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

gcc/
* ira.c (insn_contains_asm_1, insn_contains_asm): Delete.
(compute_regs_asm_clobbered): Use extract_asm_operands instead.

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

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

* data-streamer.h (streamer_write_data_stream): Declare here,
renamed from ...
* lto-streamer.h (lto_output_data_stream): ... this.  Remove.
* lto-cgraph.c (lto_output_node): Adjust.
(lto_output_varpool_node): Likewise.
* data-streamer-out.c (streamer_string_index): Likewise.
(streamer_write_data_stream, lto_append_block): Move from ...
* lto-section-out.c (lto_output_data_stream,
lto_append_block): ... here.

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

Daily bump.

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

PR lto/53808
PR c++/61659
* pt.c (push_template_decl_real): Don't set DECL_COMDAT on friends.

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

/cp
2014-07-30  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/57397
* pt.c (unify_arity): Add boolean parameter.
(unify_too_few_arguments): Likewise.
(type_unification_real): Diagnose correctly insufficient
arguments in the presence of trailing variadic parameters;
deducing multiple trailing packs as empty is fine.

/testsuite
2014-07-30  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/57397
* g++.dg/cpp0x/vt-57397-1.C: New.
* g++.dg/cpp0x/vt-57397-2.C: Likewise.

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

* configure.ac: Also check for popen.
* tree-loop-distribution.c (dot_rdg): Autoconfize popen use.
* configure: Regenerate.
* config.in:  Regenerate.

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

PR c++/61659
PR c++/61687
Revert:
gcc/c-family/
* c.opt (-fuse-all-virtuals): New.
gcc/cp/
* decl2.c (mark_all_virtuals): New variable.
(maybe_emit_vtables): Check it instead of flag_devirtualize.
(cp_write_global_declarations): Set it and give helpful diagnostic
if it introduces errors.
* class.c (finish_struct_1): Check it.

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

PR lto/53808
PR c++/61659
* pt.c (push_template_decl_real): Set DECL_COMDAT on templates.
(check_explicit_specialization): Clear it on specializations.
* decl.c (duplicate_decls, start_decl): Likewise.
(grokmethod, grokfndecl): Set DECL_COMDAT on inlines.
* method.c (implicitly_declare_fn): Set DECL_COMDAT.  Determine
linkage after setting the appropriate flags.
* tree.c (decl_linkage): Don't check DECL_COMDAT.
* decl2.c (mark_needed): Mark clones.
(import_export_decl): Not here.

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

2014-07-30  Martin Jambor  <mjambor@suse.cz>

* tree-sra.c (sra_ipa_modify_assign): Change type of the first
parameter to gimple.

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

gcc/

2014-07-30  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>

* config/s390/s390.c (s390_emit_tpf_eh_return): Pass original return
address as second parameter to __tpf_eh_return routine.

libgcc/

2014-07-30  J. D. Johnston  <jjohnst@us.ibm.com>

* config/s390/tpf-unwind.h: Include <stdbool.h>.
(__tpf_eh_return): Add original return address as second parameter.
Handle cases where unwinder routines were called directly, instead
of from within the C++ library.

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

Fix Thumb2 testsuite fallout.

Applied for Jiong.

2014-07-30  Jiong Wang  <jiong.wang@arm.com>

* config/arm/arm.c (arm_get_frame_offsets): Adjust condition for
Thumb2.

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

    * gnat.dg/case_null.adb, gnat.dg/specs/debug1.ads: Adjust tests.

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

Code clean ups.

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

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

* gnat_rm.texi: Minor doc fixes.

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

* a-rbtgbo.adb, sem_ch13.adb: Minor reformatting.

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

* errutil.adb (Set_Msg_Text): Process tilde ('~'): no processing
of error message.
* prj-nmsc.adb (Locate_Directory): Use a tilde ('~') in the
message to report that a directory cannot be created, to avoid
processing of the directory path that may contains special
insertion characters.

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

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

* a-crdlli.ads: Place declaration of Empty_List after full type
declaration for Curosr, to prevent freezing error.

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

* get_targ.adb: Minor code reorganization.
* prj-proc.adb, prj-proc.ads, get_targ.ads, sem_ch6.adb: Minor
reformatting.

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

* a-cbhase.adb: a-cbhase.adb (Insert): Raise Constraint_Error,
not Program_Error, when attempting to remove an element not in
the set. This is the given semantics for all set containers.

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

* a-rbtgbo.adb: -rbtgbo.adb (Delete_Node_Sans_Free): If
element is not present in tree return rather than violating
an assertion. Constraint_Error will be raised in the caller if
element is not in the container.

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

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

* set_targ.adb (Read_Target_Dependent_Values): New subprogram.
(elab body): Add provision for default target config file.
* get_targ.ads, get_targ.adb (Get_Back_End_Config_File): New subprogram.

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

* a-cbhase.adb (Delete): Raise Constraint_Error, not Program_Error,
when attempting to remove an element not in the set. This is
the given semantics for all set containers.
* a-cborse.adb (Delete): Attempt removal first, to check for
tampering, before checking whether this is an attempt to
delete a  non-existing element, and in fthe latter case raise
Constraint_Error.

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

* prj-proc.adb (Recursive_Process): Do not create a new
Project_Id if the project is already in the list of projects of
the tree.

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

* sem_ch6.adb (Analyze_Function_Return): Reject a return expression
whose type is an incomplete formal type.
(Analyze_Return_Type): Reject a return type that is an untagged
imcomplete formal type.
(Process_Formals): Reject a formal parameter whose type is an
untagged formal incomplete type.
* sem_res.adb (Resolve_Actuals): Reject an actual whose type is
an untagged formal incomplete type.

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

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

* gnat_ugn.texi: Minor spelling correction.
* makeutl.adb: Minor code reorganization.
* exp_ch4.adb, exp_aggr.adb, exp_ch3.adb: Minor reformatting.

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

* einfo.ads (Has_Unchecked_Union): Document that this is used
to check for illegal Valid_Scalars attribute references.
* exp_attr.adb (Build_Record_VS_Func): New function
(Expand_N_Attribute_Reference, case Valid_Scalars): Call this
function.
* gnat_rm.texi: Document 'Valid_Scalars cannot be applied to
Unchecked_Union Add note on 'Valid_Scalars generating a lot
of code.
* sem_attr.adb (Analyze_Attribute, case Valid_Scalars): Give
error on attempt to apply Valid_Scalars to Unchecked_Union type.

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

2014-07-30  Steve Baird  <baird@adacore.com>

* exp_ch4.adb (Expand_N_Indexed_Component): Disable optimized handling
of A(I..J)(K) in CodePeer_Mode.

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

* gnat_ugn.texi: Fix typo.

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

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

* lib-writ.ads: document format change.

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

* prj-util.adb (For_Interface_Sources): Do not
include sources from withed externally built projects.

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

* lib.adb: Minor reformatting.
* prj-util.adb: Minor reformatting.

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

* exp_aggr.adb (Build_Record_Aggr_Code): For an array component
that depends on discriminants, and which is given by an others
clause, create an explicit subtype with the discriminant values
of the enclosing aggregate, because the backend cannot otherwise
retrieve the actual bounds of the array.

2014-07-30  Fedor Rybin  <frybin@adacore.com>

* gnat_ugn.texi: Improve gnattest documentation.

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

* makeutl.adb (Insert_Project_Sources): Properly handle sources
that are aggregated. We want to include sources not only part
of libraries but also if part of an aggregated project from an
aggregate library.
* prj.adb (For_Project_And_Aggregated_Context): Properly check
state of root project.

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

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

* lib-load.ads: Minor reformatting.
* sinfo.ads (Library_Unit): Update comment.
* lib.ads (Notes): Simplify. The Unit component in Notes_Entry
is redundant. Instead used the pragma Node_Id directly as the
element type.

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

* lib.adb (Store_Note): Store only notes that do not come from
an instance, and that are in the extended main source unit.
* lib-writ (Write_Unit_Information): Annotations from subunits
must be emitted along with those for the main unit, and they
must carry a specific file name.
* ali.ads (Notes_Record): Use a File_Name_Type instead of a
Unit_Id for the source file containing the pragma, as in the
case of annotations from subunits we might not have a readily
available unit id.
* ali.adb (Scan_ALI): Account for above change in data structure.

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

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

* makeutl.adb (Insert_Project_Sources): When the library project
is an aggregate Stand-Alone Library, insert in the queue the
Ada interface units, with Closure set to True;

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

* sem_util.adb: Fix minor typo.
* makeutl.adb: Minor reformatting.

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

2014-07-30  Tom Tromey  <tromey@redhat.com>

PR c/59855
* doc/invoke.texi (Warning Options): Document -Wdesignated-init.
* doc/extend.texi (Type Attributes): Document designated_init
attribute.

2014-07-30  Tom Tromey  <tromey@redhat.com>

PR c/59855
* c.opt (Wdesignated-init): New option.
* c-common.c (c_common_attribute_table): Add "designated_init".
(handle_designated_init): New function.

2014-07-30  Tom Tromey  <tromey@redhat.com>

* c-typeck.c (struct constructor_stack) <designator_depth>: New
field.
(really_start_incremental_init, push_init_level): Initialize
designator_depth.
(pop_init_level): Set global designator_depth.
(process_init_element): Check for designated_init attribute.

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

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

* exp_ch7.adb, checks.adb, makeutl.adb, makeutl.ads: Minor reformatting.

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

* checks.ads: Fix typo in comment.

2014-07-30  Pierre-Marie Derodat  <derodat@adacore.com>

* sem_util.adb (Set_Debug_Info_Needed): For scalar types, recurse on
entities that materialize range bounds, if any.

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

* projects.texi: Minor spelling fix.

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

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

* checks.adb (Make_Bignum_Block): Use the new secondary stack
build routines to manage the mark.
* exp_ch7.adb (Create_Finalizer, Expand_Cleanup_Actions):
Use the new secodary stack build routines to manage the mark.
(Insert_Actions_In_Scope_Around): Add new formal parameter
Manage_SS along with comment on its usage. Code and comment
reformatting. Mark and release the secondary stack when the
context warrants it.
(Make_Transient_Block): Update the call
to Insert_Actions_In_Scope_Around to account for parameter Manage_SS.
(Wrap_Transient_Declaration): Remove local variable
Uses_SS. Ensure that the secondary stack is marked and released
when the related object declaration appears in a library level
package or package body. Code and comment reformatting.
* exp_util.ads, exp_util.adb (Build_SS_Mark_Call): New routine.
(Build_SS_Release_Call): New routine.

2014-07-30  Steve Baird  <baird@adacore.com>

* exp_attr.adb: Revert previous change, not needed after all.

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

* makeutl.adb (Queue.Insert_Project_Sources): Insert with
Closure => True for interfaces of Stand-Alone Libraries.
* makeutl.ads (Source_Info (Format => Gprbuild)): Add new
Boolean component Closure, defaulted to False.

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

* sem_res.adb: Fix typo in error message.

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

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

* sem_ch3.adb (Process_Range_Expr_In_Decl): Use _FIRST/_LAST
as name suffixes rather than L/H for subtype bounds.
* tbuild.ads: Minor comment improvements and fixes
(Make_External_Name): Document that suffix can start with an
underscore.

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

* gnat_ugn.texi: Document --rep-clauses switch.

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

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

* sem_ch13.adb (Analyze_Aspect_Specifications): Default_Value and
Default_Component_Value can only be specified for scalar type or
arrays of scalar types respectively.  This legality check must
be performed at the point the aspect is analyzed, in order to
reject aspect specifications that apply to a partial view.

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

* freeze.adb: Minor reformatting.

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

* exp_attr.adb (Expand_Attribute, case First/Last): Don't expand in
codepeer mode.

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