1. 20 Feb, 2014 18 commits
    • XFAIL sourcelocation (PR libgcj/55637) · 923e95e7
      	PR libgcj/55637
      	* testsuite/libjava.lang/sourcelocation.xfail: New file.
      
      From-SVN: r207951
      Rainer Orth committed
    • [multiple changes] · 3e586e10
      2014-02-20  Robert Dewar  <dewar@adacore.com>
      
      	* a-cborma.adb, a-cbhama.adb, a-cbdlli.adb, a-cbmutr.adb: Use pragma
      	Unmodified rather than Warnings (Off). Make comments
      	uniform in the four affected units.
      
      2014-02-20  Robert Dewar  <dewar@adacore.com>
      
      	* sem_ch13.adb (Analyze_Attribute_Definition_Clause, case
      	Object_Size): For non-scalar types allow any value that is a
      	multiple of 8.
      	* gnat_rm.texi: Document Object_Size for composites more clearly.
      
      2014-02-20  Yannick Moy  <moy@adacore.com>
      
      	* sem_util.ads, sem_util.adb (Default_Initialization): Remove function.
      
      2014-02-20  Ed Schonberg  <schonberg@adacore.com>
      
      	* stand.ads: Raise_Type: new predefined entity, used as the type
      	of a Raise_Expression prior to resolution.
      	* cstand.adb: Build entity for Raise_Type.
      	* sem_ch11.adb (Analyze_Raise_Expression): use Raise_Type as the
      	initial type of the node.
      	* sem_type.adb (Covers): Raise_Type is compatible with all
      	other types.
      	* sem_res.adb (Resolve): Remove special handling of Any_Type on
      	Raise_Expression nodes.
      	(Resolve_Raise_Expression): Signal ambiguity if the type of the
      	context is still Raise_Type.
      
      From-SVN: r207950
      Arnaud Charlet committed
    • [multiple changes] · 7f568bfa
      2014-02-20  Robert Dewar  <dewar@adacore.com>
      
      	* sem_ch12.adb (Validate_Access_Type_Instance): Add message if
      	mismatching predicates.
      	* sem_ch6.adb (Check_Conformance): Give better messages on
      	predicate mismatch.
      	* sem_eval.adb (Predicates_Match): Move to spec.
      	* sem_eval.ads (Predicates_Match): Moved here from body.
      
      2014-02-20  Ed Schonberg  <schonberg@adacore.com>
      
      	* a-cbmutr.adb: Use default value in Insert_Child.
      
      From-SVN: r207949
      Arnaud Charlet committed
    • [multiple changes] · 308aab0b
      2014-02-20  Vincent Celier  <celier@adacore.com>
      
      	* gnatcmd.adb, make.adb, prj-makr.adb, clean.adb: Call
      	Stringt.Initialize in all project aware tools.
      
      2014-02-20  Doug Rupp  <rupp@adacore.com>
      
      	* gnat_ugn.texi: Document gnatbind -X option.
      	* vms_data.ads: Minor warnings documentation reformatting.
      
      2014-02-20  Ed Schonberg  <schonberg@adacore.com>
      
      	* exp_ch3.adb (Expand_Freeze_Array_Type): Only create invariant
      	procedure for a base type.
      
      2014-02-20  Robert Dewar  <dewar@adacore.com>
      
      	* sem_ch4.adb (Analyze_Case_Expression): Get type from first
      	expression with type info.
      	* sem_ch13.adb: Minor reformatting.
      	* sem_eval.adb (Subtypes_Statically_Match): Make sure we return
      	False if predicates do not match on the two types.
      
      2014-02-20  Arnaud Charlet  <charlet@adacore.com>
      
      	* sem_prag.adb (Analyze_Pragma [pragma Attach_Handler]):
      	In Relaxed_RM_Semantics mode, allow any static integer value,
      	for compatibility with other compilers.
      
      From-SVN: r207948
      Arnaud Charlet committed
    • [multiple changes] · 0f361206
      2014-02-20  Vincent Celier  <celier@adacore.com>
      
      	* errutil.adb (Initialize): Properly initialize entry in table
      	Warnings when warnings are suppressed.
      
      2014-02-20  Robert Dewar  <dewar@adacore.com>
      
      	* s-os_lib.ads: Add warning about non-portability of Rename_File.
      	* sem_util.ads, sem_util.adb (Is_Junk_Name): New function.
      	* sem_warn.adb: Use Is_Junk_Name to suppress some warnings.
      	* gnat_ugn.texi: Document no warnings on junk variable names.
      	* layout.adb: Minor code reorganization (use Ekind_In).
      	* stringt.adb: Move initialization of Null_String_Id to Initialize
      	routine.
      
      2014-02-20  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_ch13.adb: Initialize optional Element_Id.
      
      From-SVN: r207947
      Arnaud Charlet committed
    • [multiple changes] · c0cdbd39
      2014-02-20  Robert Dewar  <dewar@adacore.com>
      
      	* s-os_lib.ads (Rename_File): Minor commment addition.
      
      2014-02-20  Thomas Quinot  <quinot@adacore.com>
      
      	* einfo.ads: Minor reformatting.
      
      2014-02-20  Hristian Kirtchev  <kirtchev@adacore.com>
      
      	* aspects.adb (Exchange_Aspects): New routine.
      	* aspects.ads (Exchange_Aspects): New routine.
      	* atree.adb (Rewrite): Do not check whether the save node has
      	aspects as it never will, instead check the node about to be clobbered.
      	* einfo.adb (Write_Field25_Name): Abstract_States can appear in
      	entities of generic packages.
      	* sem_ch6.adb (Analyze_Expression_Function): Fix the parent
      	pointer of an aspect specification list after rewriting takes place.
      	* sem_ch7.adb (Analyze_Package_Body_Helper): Swap the aspect
      	specifications of the generic template and the copy used for analysis.
      	* sem_ch12.adb (Analyze_Generic_Package_Declaration): Swap
      	the aspect specifications of the generic template and the
      	copy used for analysis.
      	(Analyze_Package_Instantiation): Propagate the aspect specifications
      	from the generic template to the instantiation.
      	(Build_Instance_Compilation_Unit_Nodes): Propagate the aspect
      	specifications from the generic template to the instantiation.
      	* sem_ch13.adb (Analyze_Aspect_Specifications): Handle aspects
      	Abstract_State, Initializes and Initial_Condition when they
      	apply to a package instantiation.
      
      2014-02-20  Robert Dewar  <dewar@adacore.com>
      
      	* stringt.adb: Add call to Initialize in package initialization.
      
      From-SVN: r207946
      Arnaud Charlet committed
    • [multiple changes] · fe4552f4
      2014-02-20  Robert Dewar  <dewar@adacore.com>
      
      	* a-crbtgk.adb, a-cihama.adb, a-coinve.adb, a-ciorse.adb, a-crbtgo.adb,
      	a-cidlli.adb, a-cimutr.adb, a-cihase.adb, a-cohama.adb, a-coorse.adb,
      	a-chtgke.adb, a-chtgop.adb, a-comutr.adb, a-ciorma.adb, a-cobove.adb,
      	a-convec.adb, a-cohase.adb, a-chtgbk.adb, a-chtgbo.adb: Minor
      	reformatting.
      
      2014-02-20  Bob Duff  <duff@adacore.com>
      
      	* s-os_lib.ads: Minor: Remove incorrect comment.
      
      2014-02-20  Robert Dewar  <dewar@adacore.com>
      
      	* sem_elab.adb (Check_Elab_Assign): Clearer warning message.
      
      2014-02-20  Vincent Celier  <celier@adacore.com>
      
      	* gnat_rm.texi: Minor syntax error fix.
      
      2014-02-20  Ed Schonberg  <schonberg@adacore.com>
      
      	* a-cborma.adb (Assign): When creating a node without a specified
      	element, insert an uninitialized element in the map, because
      	the instance may provide an element type with a default
      	initialization, e.g a scalar with a Default_Value aspect.
      	* a-cbhama.adb (Assign_Key): Remove useless Allocate procedure.
      	(Insert): In the version without explicit element, provide an
      	uninitialized element, as above.
      	* a-cbdlli.adb (Append): In the version without explicit element,
      	provide an uninitalized element, as above.
      	(Allocate): Remove unused version.
      
      From-SVN: r207945
      Arnaud Charlet committed
    • [multiple changes] · 3730c4a0
      2014-02-20  Robert Dewar  <dewar@adacore.com>
      
      	* sem_elab.adb: Minor code reorganization (use Nkind_In).
      	* stringt.adb: Remove temporary pragma Warnings (Off).
      	* stringt.ads: Add pragma Elaborate_Body to ensure initialization
      	of Null_String_Id.
      
      2014-02-20  Matthew Heaney  <heaney@adacore.com>
      
      	* a-chtgbk.adb (Replace): Use correct offset when calculating bucket
      	index.
      
      From-SVN: r207944
      Arnaud Charlet committed
    • [multiple changes] · 0c7e0c32
      2014-02-20  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_ch5.adb (Analyze_Iterator_Specification): Initialize
      	properly the cursor type for subsequent volatile testing in SPARK
      	mode, when domain is a formal container with an Iterabe aspect.
      
      2014-02-20  Robert Dewar  <dewar@adacore.com>
      
      	* errout.adb (Set_Warnings_Mode_Off): Add Reason argument.
      	(Set_Specific_Warning_Off): Add Reason argument.
      	* errout.ads (Set_Warnings_Mode_Off): Add Reason argument.
      	(Set_Specific_Warning_Off): Add Reason argument.
      	* erroutc.adb (Warnings_Entry): Add Reason field
      	(Specific_Warning_Entry): Add Reason field.
      	(Warnings_Suppressed): return String_Id for Reason.
      	(Warning_Specifically_Suppressed): return String_Id for Reason.
      	* erroutc.ads (Warnings_Entry): Add Reason field.
      	(Specific_Warning_Entry): Add Reason field.
      	(Set_Specific_Warning_Off): Add Reason argument.
      	(Set_Warnings_Mode_Off): Add Reason argument.
      	(Warnings_Suppressed): return String_Id for Reason.
      	(Warning_Specifically_Suppressed): return String_Id for Reason.
      	* errutil.adb (Warnings_Suppressed): returns String_Id for Reason
      	(Warning_Specifically_Suppressed): returns String_Id for Reason
      	* gnat_rm.texi: Document that Warning parameter is string literal
      	or a concatenation of string literals.
      	* par-prag.adb: New handling for Reason argument.
      	* sem_prag.adb (Analyze_Pragma, case Warning): New handling
      	for Reason argument.
      	* sem_util.ads, sem_util.adb (Get_Reason_String): New procedure.
      	* sem_warn.ads (Warnings_Off_Entry): Add reason field.
      	* stringt.adb: Set Null_String_Id.
      	* stringt.ads (Null_String_Id): New constant.
      
      From-SVN: r207943
      Arnaud Charlet committed
    • einfo.ads: Minor comment addition: Etype of package is Standard_Void_Type. · e4494292
      2014-02-20  Robert Dewar  <dewar@adacore.com>
      
      	* einfo.ads: Minor comment addition: Etype of package is
      	Standard_Void_Type.
      	* checks.adb, exp_aggr.adb, exp_atag.adb, exp_attr.adb, exp_ch13.adb,
      	exp_ch2.adb, exp_ch3.adb, exp_ch4.adb, exp_ch5.adb, exp_ch6.adb,
      	exp_ch7.adb, exp_ch9.adb, exp_dbug.adb, exp_disp.adb, exp_imgv.adb,
      	exp_intr.adb, exp_prag.adb, exp_sel.adb, exp_strm.adb, exp_util.adb,
      	freeze.adb, rtsfind.adb, sem_aggr.adb, sem_attr.adb, sem_ch10.adb,
      	sem_ch12.adb, sem_ch13.adb, sem_ch3.adb, sem_ch4.adb, sem_ch5.adb,
      	sem_ch6.adb, sem_ch8.adb, sem_dim.adb, sem_prag.adb, sem_res.adb,
      	sem_util.adb, tbuild.adb, tbuild.ads: Remove New_Reference_To.
      	Replace all calls with calls to New_Occurrence_Of.
      
      2014-02-20  Robert Dewar  <dewar@adacore.com>
      
      	* par-util.adb (Ignore, case of right paren): Make this a
      	serious error.
      
      From-SVN: r207942
      Robert Dewar committed
    • re PR tree-optimization/55260 (ICE: in ipa_get_parm_lattices, at ipa-cp.c:263… · 9576e7b1
      re PR tree-optimization/55260 (ICE: in ipa_get_parm_lattices, at ipa-cp.c:263 with -O2 -fno-inline -fipa-cp-clone)
      
      2014-02-20  Martin Jambor  <mjambor@suse.cz>
      
      	PR ipa/55260
      	* ipa-cp.c (cgraph_edge_brings_all_agg_vals_for_node): Uce correct
      	info when checking whether lattices are bottom.
      
      testsuite/
      	* gcc.dg/ipa/pr55260.c: New test.
      
      From-SVN: r207941
      Martin Jambor committed
    • crossmodule-indircall-1.c: Return 0 for execution test case. · 8c4d4205
      
      	* gcc.dg/tree-prof/crossmodule-indircall-1.c: Return 0
      	for execution test case.
      
      From-SVN: r207939
      Bin Cheng committed
    • re PR middle-end/60221 (gcc -fexceptions generates unnecessary cleanup code) · 25fe40b0
      2014-02-20  Richard Biener  <rguenther@suse.de>
      
      	PR middle-end/60221
      	* tree-eh.c (execute_cleanup_eh_1): Also cleanup empty EH
      	regions at -O0.
      
      From-SVN: r207937
      Richard Biener committed
    • re PR java/60261 (Weird java install with --enable-version-specific-runtime-libs) · 1f58214a
      2014-02-20  Richard Biener  <rguenther@suse.de>
      
      	PR libjava/60261
      	* configure.ac (dbexecdir): Remove redundant multilib addition.
      	* Makefile.am (gcc_version): Export.
      	* configure: Regenerate.
      	* Makefile.in: Likewise.
      
      From-SVN: r207936
      Richard Biener committed
    • re PR middle-end/58555 (Floating point exception in want_inline_self_recursive_call_p) · bd936951
      
      	PR ipa/58555
      	* ipa-inline-transform.c (clone_inlined_nodes): Add freq_scale parameter
      	specifying the scaling.
      	(inline_call): Update.
      	(want_inline_recursively): Guard division by zero.
      	(recursive_inlining): Update.
      	* ipa-inline.h (clone_inlined_nodes): Update.
      	* testsuite/g++.dg/torture/pr58555.C: New testcase.
      
      From-SVN: r207934
      Jan Hubicka committed
    • re PR target/60204 (struct with __m512i is mishandled in function parameter passing and return) · 3c898e1a
      gcc/
      	PR target/60204
      	* config/i386/i386.c (classify_argument): Pass structures of size
      	64 bytes or less in register.
      
      tessuite/gcc/
      	PR target/60204
      	* gcc.target/x86_64/abi/avx512f/test_passing_structs.c: Update to
      	reflect abi fix.
      	* gcc.target/x86_64/abi/avx512f/test_passing_unions.c: Ditto.
      
      From-SVN: r207933
      Ilya Tocar committed
    • avx512erintrin.h (_mm_rcp28_round_sd): Swap operands. · df62b4af
      gcc/
      	* config/i386/avx512erintrin.h (_mm_rcp28_round_sd): Swap operands.
      	(_mm_rcp28_round_ss): Ditto.
      	(_mm_rsqrt28_round_sd): Ditto.
      	(_mm_rsqrt28_round_ss): Ditto.
      	* config/i386/avx512erintrin.h (_mm_rcp14_round_sd): Ditto.
      	(_mm_rcp14_round_ss): Ditto.
      	(_mm_rsqrt14_round_sd): Ditto.
      	(_mm_rsqrt14_round_ss): Ditto.
      	* config/i386/sse.md (rsqrt14<mode>): Put nonimmediate operand as
      	the first input operand, get rid of match_dup.
      	(avx512er_exp2<mode><mask_name><round_saeonly_name>): Set type
      	attribute to sse.
      	(<mask_codefor>avx512er_rcp28<mode><mask_name><round_saeonly_name>):
      	Ditto.
      	(avx512er_vmrcp28<mode><round_saeonly_name>): Put nonimmediate
      	operand as the first input operand, set type attribute.
      	(<mask_codefor>avx512er_rsqrt28<mode><mask_name><round_saeonly_name>):
      	Set type attribute.
      	(avx512er_vmrsqrt28<mode><round_saeonly_name>): Put nonimmediate
      	operand as the first input operand, set type attribute.
      
      
      testsuite/gcc/
      	* gcc.target/i386/avx512er-vrcp28sd-2.c: Distinguish src1 and src2.
      	* gcc.target/i386/avx512er-vrcp28ss-2.c: Call correct intrinsic.
      	* gcc.target/i386/avx512er-vrsqrt28sd-2.c: Distinguish src1 and src2.
      	* gcc.target/i386/avx512er-vrsqrt28ss-2.c: Ditto.
      	* gcc.target/i386/avx512f-vrcp14sd-2.c: Fix reference calculation.
      	* gcc.target/i386/avx512f-vrcp14ss-2.c: Fix reference calculation.
      
      
      Co-Authored-By: Kirill Yukhin <kirill.yukhin@intel.com>
      
      From-SVN: r207932
      Ilya Tocar committed
    • Daily bump. · a13cfd3e
      From-SVN: r207930
      GCC Administrator committed
  2. 19 Feb, 2014 22 commits
    • re PR c/37743 (Bogus printf format warning with __builtin_bswap32.) · cca615af
      	PR c/37743
      	* c-common.c (c_common_nodes_and_builtins): When initializing
      	c_uint{16,32,64}_type_node, also set corresponding
      	uint{16,32,64}_type_node to the same value.
      
      	* g++.dg/ext/builtin-bswap1.C: New test.
      	* c-c++-common/pr37743.c: New test.
      
      From-SVN: r207924
      Jakub Jelinek committed
    • rs6000.c (vspltis_constant): Fix most significant bit of zero. · 9254148e
      2014-02-19  Bill Schmidt  <wschmidt@linux.vnet.ibm.com>
      
      	* config/rs6000/rs6000.c (vspltis_constant): Fix most significant
      	bit of zero.
      
      From-SVN: r207919
      Bill Schmidt committed
    • re PR c++/60046 (internal compiler error: in nothrow_spec_p, at cp/except.c:1280) · 55694175
      	PR c++/60046
      	* pt.c (maybe_instantiate_noexcept): Don't instantiate exception
      	spec from template context.
      
      From-SVN: r207917
      Jason Merrill committed
    • c-parser.c (c_parser_declspecs): Replace call to error by error_at. · 1c9f5f33
      	* c-parser.c (c_parser_declspecs): Replace call to error by error_at.
      	(c_parser_parameter_declaration): Likewise.
      
      From-SVN: r207916
      Prathamesh Kulkarni committed
    • re PR debug/56563 (no debuginfo for "explicit" operator) · 128ed090
      	PR debug/56563
      	* cp-objcp-common.c (cp_function_decl_explicit_p): Remove
      	FUNCTION_FIRST_USER_PARMTYPE (decl) != void_list_node check.
      
      From-SVN: r207915
      Jakub Jelinek committed
    • re PR c++/60267 (ICE in c_pp_lookup_pragma, at c-family/c-pragma.c:1232; ICE in… · 4998d666
      re PR c++/60267 (ICE in c_pp_lookup_pragma, at c-family/c-pragma.c:1232; ICE in tsubst_copy, at cp/pt.c:12887)
      
      	PR c++/60267
      	* pt.c (tsubst_expr): Handle ANNOTATE_EXPR.
      
      	* g++.dg/ext/ivdep-1.C: New test.
      
      From-SVN: r207914
      Jakub Jelinek committed
    • Remove TFmode check for X86_64_INTEGER_CLASS · fff91793
      	PR target/60207
      	* config/i386/i386.c (construct_container): Remove TFmode check
      	for X86_64_INTEGER_CLASS.
      
      From-SVN: r207913
      H.J. Lu committed
    • re PR c++/60267 (ICE in c_pp_lookup_pragma, at c-family/c-pragma.c:1232; ICE in… · 28e41874
      re PR c++/60267 (ICE in c_pp_lookup_pragma, at c-family/c-pragma.c:1232; ICE in tsubst_copy, at cp/pt.c:12887)
      
      	PR c++/60267
      	* c-pragma.c (init_pragma): Don't call cpp_register_deferred_pragma
      	for PRAGMA_IVDEP if flag_preprocess_only.
      
      	* gcc.dg/pr60267.c: New test.
      
      From-SVN: r207911
      Jakub Jelinek committed
    • re PR target/59794 (i386 backend fails to detect MMX/SSE/AVX ABI changes) · 6aa5b4b8
      	PR target/59794
      	* config/i386/i386.c (type_natural_mode): Warn for ABI changes
      	only when -Wpsabi is enabled.
      
      testsuite/ChangeLog:
      
      	PR target/59794
      	* gcc.target/i386/pr39162.c: Add dg-prune-output.
      	(dg-options): Remove -Wno-psabi.
      	* gcc.target/i386/59794-2.c: Ditto.
      	* gcc.target/i386/60205-1.c: Ditto.
      	* gcc.target/i386/sse-5.c: Ditto.
      
      From-SVN: r207910
      Uros Bizjak committed
    • pr46966.c: Only run on 32-bit+ targets. · 7531103a
      	* gcc.dg/graphite/pr46966.c: Only run on 32-bit+ targets.
      	* gcc.dg/pr23623.c: Likewise.
      	* gcc.dg/pr48784-1.c: Likewise.
      	* gcc.dg/pr48784-2.c: Likewise.
      	* gcc.dg/pr56997-2.c: Likewise.
      	* gcc.dg/sms-6.c: Likewise.
      	* gcc.dg/torture/pr60183.c: Likewise.
      	* gcc.dg/torture/vec-cvt-1.c: Likewise.
      	* gcc.c-torture/execute/20061220-1.x: New.
      	* gcc.c-torture/execute/pr43220.x: New.
      	* gcc.c-torture/execute/pr51581-1.x: New.
      	* gcc.c-torture/execute/pr51581-2.x: New.
      	* gcc.c-torture/execute/pr58570.x: New.
      	* gcc.c-torture/unsorted/DFcmp.x: New.
      	* gcc.c-torture/unsorted/SFset.x: New.
      
      From-SVN: r207909
      Nick Clifton committed
    • re PR target/59799 (aarch64_pass_by_reference never passes arrays by value,… · aadc1c43
      re PR target/59799 (aarch64_pass_by_reference never passes arrays by value, contrary to ABI documentation)
      
      2014-02-19  Michael Hudson-Doyle  <michael.hudson@linaro.org>
      
      	 PR target/59799
      	* config/aarch64/aarch64.c (aarch64_pass_by_reference): The rules for
      	passing arrays in registers are the same as for structs, so remove the
      	special case for them.
      
      From-SVN: r207908
      Michael Hudson-Doyle committed
    • [multiple changes] · d7cb47b4
      2014-02-19  Robert Dewar  <dewar@adacore.com>
      
      	* sem_ch5.adb, sem_prag.adb, sem_attr.adb: Minor reformatting.
      	* debug.adb: Remove -gnatd.X switch, no longer used.
      	* styleg.adb (Check_Then): Remove check of -gnatd.X, check is
      	now always made.
      
      2014-02-19  Bob Duff  <duff@adacore.com>
      
      	* g-socket.ads: Minor: Correct some comments.
      
      From-SVN: r207907
      Arnaud Charlet committed
    • [multiple changes] · 53f697ee
      2014-02-19  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_ch5.adb: Inhibit iterator rewriting in ASIS mode.
      
      2014-02-19  Arnaud Charlet  <charlet@adacore.com>
      
      	* sem_ch13.adb (Analyze_Aspect_Specifications): Do not generate
      	an error on out of range priorities if Relaxed_RM_Semantics.
      	* sem_prag.adb (Analyze_Pragma): Ditto.
      
      2014-02-19  Bob Duff  <duff@adacore.com>
      
      	* sem_attr.adb (Resolve_Attribute): Detect the case of F'Access
      	where F denotes the renaming of an enumeration literal, and
      	issue a specialized error message.
      
      From-SVN: r207906
      Arnaud Charlet committed
    • [multiple changes] · 47fb6ca8
      2014-02-19  Matthew Heaney  <heaney@adacore.com>
      
      	* a-chtgop.ads (Checked_Index): New operation.
      	(Next): Changed mode of hash table.
      	* a-chtgop.adb (Adjust, Delete_Node_Sans_Free): Detect tampering
      	(Generic_Read, Reserve_Capacity): Ditto.
      	(Generic_Equal): Detect tampering.
      	(Next): Changed mode of hash table, detect tampering.
      	* a-chtgke.ads (Checked_Index, Checked_Equivalent_Keys): New
      	operation.
      	(Find): Changed mode of hash table.
      	* a-chtgke.adb (Checked_Equivalent_Keys): New operation
      	(Delete_Key_Sans_Free, Generic_Conditional_Insert): Detect
      	tampering.
      	(Find): Changed mode of hash table, check for tampering.
      	(Generic_Replace_Element): Check for tampering.
      	* a-chtgbk.ads (Checked_Index, Checked_Equivalent_Keys): New operation.
      	* a-chtgbk.adb (Checked_Index, Checked_Equivalent_Keys): New
      	operation (Delete_Key_Sans_Free, Generic_Conditional_Insert):
      	Detect tampering.
      	(Find, Generic_Replace_Element): Check for tampering.
      	* a-chtgbo.ads (Checked_Index): New operation.
      	* a-chtgbo.adb (Checked_Index): New operation
      	(Delete_Node_Sans_Free, Generic_Equal): Detect tampering.
      	(Generic_Read, Next): Ditto.
      	* a-cohase.adb, a-cihase.adb (Is_In): Changed mode of hash
      	table (Difference, Intersection): Use variable view of
      	source, detect tampering (Find, Is_Subset, Overlap): Use
      	variable view of container (Symmetric_Difference, Union):
      	Detect tampering (Vet): Use Checked_Index to detect tampering
      	(Constant_Reference, Element, Find): Use variable view of
      	container.
      	(Update_Element_Preserving_Key): Detect tampering.
      	* a-cbhase.adb (Difference, Find, Is_In): Use variable view
      	of container.
      	(Is_Subset): Ditto.
      	(Equivalent_Sets, Overlap): Use Node's Next component.
      	(Vet): Use Checked_Index to detect tampering.
      	(Constant_Reference, Element, Find): Use variable view of container.
      	(Update_Element_Preserving_Key): Detect tampering.
      	* a-cohama.adb, a-cihama.adb, a-cbhama.adb (Constant_Reference,
      	Element, Find): Use variable view of container.
      	(Reference): Rename hash table component.
      	(Vet): Use Checked_Index to detect tampering.
      
      2014-02-19  Arnaud Charlet  <charlet@adacore.com>
      
      	* adabkend.adb (Scan_Compiler_Arguments): Add missing handling
      	of -nostdinc.
      
      2014-02-19  Thomas Quinot  <quinot@adacore.com>
      
      	* tbuild.adb (New_Occurrence_Of, New_Rerefence_To): Guard
      	against calls without Def_Id.
      
      2014-02-19  Claire Dross  <dross@adacore.com>
      
      	* a-cfdlli.ads, a-cfhase.ads, a-cforma.ads, a-cfhama.ads, a-cforse.ads,
      	a-cofove.ads: Add global annotations to subprograms.
      
      2014-02-19  Hristian Kirtchev  <kirtchev@adacore.com>
      
      	* sem_prag.adb (Analyze_Initial_Condition_In_Decl_Part): Remove
      	constants Errors, Pack_Id and Pack_Init. Remove variable Vars.
      	Initial_Condition no longer requires the presence of pragma
      	Initialized. Do not try to diagnose whether all variables mentioned in
      	pragma Initializes also appear in Initial_Condition.
      	(Collect_Variables): Removed.
      	(Match_Variable): Removed.
      	(Match_Variables): Removed.
      	(Report_Unused_Variables): Removed.
      
      2014-02-19  Thomas Quinot  <quinot@adacore.com>
      
      	* gnat_rm.texi (pragma Stream_Convert): Minor rewording.
      
      From-SVN: r207905
      Arnaud Charlet committed
    • [multiple changes] · 13f39091
      2014-02-19  Robert Dewar  <dewar@adacore.com>
      
      	* sem_util.adb, sem_util.ads, prj-conf.adb, s-os_lib.adb: Minor
      	reformatting.
      
      2014-02-19  Vincent Celier  <celier@adacore.com>
      
      	* prj-part.adb (Parse_Single_Project): Use the fully resolved
      	project path, with all symbolic links resolved, to check if the
      	same project is imported with a different unresolved path.
      	* prj-tree.ads (Project_Name_And_Node): Component Canonical_Path
      	changed to Resolved_Path to reflect that all symbolic links
      	are resolved.
      
      From-SVN: r207904
      Arnaud Charlet committed
    • [multiple changes] · 110e2969
      2014-02-19  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_util.ads, sem_util.adb (Get_Cursor_Type): Moved to sem_util
      	from sem_ch13, for use elsewhere.
      	* sem_ch13.adb (Get_Cursor_Type): Moved to sem_util.
      	* sem_ch5.adb (Analyze_Iterator_Specification): Set properly the
      	cursor type on the loop variable when the iteration is over o
      	formal container.
      
      2014-02-19  Vincent Celier  <celier@adacore.com>
      
      	* prj-conf.adb (Add_Default_GNAT_Naming_Scheme): Add declaration
      	for an empty Target (Check_Target): Never fail when an empty
      	target is declared in the configuration project.
      
      2014-02-19  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_prag.adb (Check_Arg_Is_Local_Name): Argument is local if
      	the pragma comes fron a predicate aspect and the context is a
      	record declaration within the scope that declares the type.
      
      2014-02-19  Robert Dewar  <dewar@adacore.com>
      
      	* gnat_rm.texi: Minor clarifications.
      	* expander.adb, sem_aggr.adb: Add comments.
      
      From-SVN: r207903
      Arnaud Charlet committed
    • expr.c (expand_expr_real_1): For a bit-field destination type... · 322913f8
      	* expr.c (expand_expr_real_1) <case VIEW_CONVERT_EXPR>: For a bit-field
      	destination type, extract only the valid bits if the source type is not
      	integral and has a different mode.
      
      From-SVN: r207902
      Eric Botcazou committed
    • [multiple changes] · ffdeb702
      2014-02-19  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_prag.adb (Check_Arg_Is_Local_Name): For an aspect that
      	applies to a subprogram body, the name is the current scope,
      	rather than being declared in the current scope.
      	(Analyze_Pragma, case No_Return): Handle properly a No_Return
      	aspect applied to a subprogram body.
      
      2014-02-19  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_ch13.adb (Resolve_Iterable_Operation): Improve resolution
      	of overloaded subprograms, and fix bug in handling of primitive
      	operation Element.
      
      2014-02-19  Pascal Obry  <obry@adacore.com>
      
      	* s-os_lib.adb: Minor reformatting.
      
      2014-02-19  Yannick Moy  <moy@adacore.com>
      
      	* expander.adb (Expand): Do nothing inside generics.
      	* sem_aggr.adb (Aggregate_Constraint_Checks): Do nothing inside
      	generics.
      
      2014-02-19  Yannick Moy  <moy@adacore.com>
      
      	* exp_ch2.adb: Remove useless 'with' of unit Uintp.
      
      From-SVN: r207901
      Arnaud Charlet committed
    • [multiple changes] · edbd98c4
      2014-02-19  Robert Dewar  <dewar@adacore.com>
      
      	* sem_ch3.adb, style.adb, sem_prag.adb, sem_ch13.adb: Minor reformatting
      	* a-sequio.adb: Remove useless pragma Extensions_Allowed (no
      	longer needed).
      
      2014-02-19  Claire Dross  <dross@adacore.com>
      
      	* a-cfdlli.ads, a-cfhase.ads, a-cforma.ads, a-cfhama.ads,
      	a-cforse.ads, a-cofove.ads: Add Iterable aspect to formal containers.
      
      From-SVN: r207900
      Arnaud Charlet committed
    • re PR ipa/60243 (IPA is slow on large cgraph tree) · fd9710dc
      2014-02-19  Richard Biener  <rguenther@suse.de>
      
      	PR ipa/60243
      	* tree-inline.c (estimate_num_insns): Avoid calling cgraph_get_node
      	for all calls.
      
      From-SVN: r207899
      Richard Biener committed
    • XFAIL gcc.dg/torture/pr60092.c execution on Solaris 11 · 73cc5f91
      	* gcc.dg/torture/pr60092.c: xfail execution on *-*-solaris2.11* at -O0.
      
      From-SVN: r207898
      Rainer Orth committed
    • re PR fortran/60232 ([OOP] The rank of the element in the structure constructor… · 1251a8be
      re PR fortran/60232 ([OOP] The rank of the element in the structure constructor does not match that of the component)
      
      2014-02-19  Janus Weil  <janus@gcc.gnu.org>
      
      	PR fortran/60232
      	* expr.c (gfc_get_variable_expr): Don't add REF_ARRAY for dimensionful
      	functions, which are used as procedure pointer target.
      
      
      2014-02-19  Janus Weil  <janus@gcc.gnu.org>
      
      	PR fortran/60232
      	* gfortran.dg/typebound_proc_33.f90: New.
      
      From-SVN: r207896
      Janus Weil committed