- 28 Jan, 2014 27 commits
-
-
PR c++/58632 * decl.c (lookup_and_check_tag): Ignore template parameters if scope == ts_current. * pt.c (check_template_shadow): Don't complain about the injected class name. From-SVN: r207208
Jason Merrill committed -
From-SVN: r207205
Paul Thomas committed -
2014-01-28 Paul Thomas <pault@gcc.gnu.org> PR fortran/59414 * trans-stmt.c (gfc_trans_allocate): Before the pointer assignment to transfer the source _vptr to a class allocate expression, the final class reference should be exposed. The tail that includes the _data and array references is stored. This reduced expression is transferred to 'lhs' and the _vptr added. Then the tail is restored to the allocate expression. 2014-01-28 Paul Thomas <pault@gcc.gnu.org> PR fortran/59414 * gfortran.dg/allocate_class_3.f90 : New test From-SVN: r207204
Paul Thomas committed -
libiberty/ * cp-demangle.c (d_demangle_callback): Put an abort call in place, to help the compiler. From-SVN: r207200
Thomas Schwinge committed -
From-SVN: r207199
Kazu Hirata committed -
From-SVN: r207198
Jason Merrill committed -
re PR c++/53756 ([C++1y] ICE: in gen_type_die_with_usage, at dwarf2out.c:18774 with -g and operator auto ()) PR c++/53756 gcc/ * dwarf2out.c (auto_die): New static. (gen_type_die_with_usage): Handle C++1y 'auto'. (gen_subprogram_die): If in-class DIE had 'auto', emit type again on definition. gcc/cp/ * mangle.c (write_unqualified_name): Handle operator auto. From-SVN: r207197
Jason Merrill committed -
The .code16gcc directive was added to binutils back in 1999: --- '.code16gcc' provides experimental support for generating 16-bit code from gcc, and differs from '.code16' in that 'call', 'ret', 'enter', 'leave', 'push', 'pop', 'pusha', 'popa', 'pushf', and 'popf' instructions default to 32-bit size. This is so that the stack pointer is manipulated in the same way over function calls, allowing access to function parameters at the same stack offsets as in 32-bit mode. '.code16gcc' also automatically adds address size prefixes where necessary to use the 32-bit addressing modes that gcc generates. --- It encodes 32-bit assembly instructions generated by GCC in 16-bit format so that GCC can be used to generate 16-bit instructions. To do that, the .code16gcc directive must be placed at the very beginning of the assembly code. This patch adds -m16 to x86 backend by: 1. Add -m16 and make it mutually exclusive with -m32, -m64 and -mx32. 2. Treat -m16 like -m32 so that --32 is passed to assembler. 3. Output .code16gcc at the very beginning of the assembly code. 4. Turn off 64-bit ISA when -m16 is used. PR target/59672 * config/i386/gnu-user64.h (SPEC_32): Add "m16|" to "m32". (SPEC_X32): Likewise. (SPEC_64): Likewise. * config/i386/i386.c (ix86_option_override_internal): Turn off OPTION_MASK_ISA_64BIT, OPTION_MASK_ABI_X32 and OPTION_MASK_ABI_64 for TARGET_16BIT. (x86_file_start): Output .code16gcc for TARGET_16BIT. * config/i386/i386.h (TARGET_16BIT): New macro. (TARGET_16BIT_P): Likewise. * config/i386/i386.opt: Add m16. * doc/invoke.texi: Document -m16. From-SVN: r207196
H.J. Lu committed -
gcc/ChangeLog * input.c (location_get_source_line): Bail out on when line number is zero, and test the return value of lookup_or_add_file_to_cache_tab. gcc/testsuite/ChangeLog * c-c++-common/cpp/warning-zero-location.c: New test. * c-c++-common/cpp/warning-zero-location-2.c: Likewise. Signed-off-by: Dodji Seketeli <dodji@seketeli.org> From-SVN: r207195
Dodji Seketeli committed -
2014-01-28 Richard Biener <rguenther@suse.de> PR tree-optimization/58742 * tree-ssa-forwprop.c (associate_plusminus): Handle pointer subtraction of the form (T)(P + A) - (T)P. From-SVN: r207194
Richard Biener committed -
* config/arm/arm.c (arm_new_rtx_costs): Remove useless statement at const_int_cost. From-SVN: r207193
Kyrylo Tkachov committed -
2014-01-28 Richard Biener <rguenther@suse.de> Revert 2014-01-28 Richard Biener <rguenther@suse.de> PR rtl-optimization/45364 PR rtl-optimization/59890 * var-tracking.c (local_get_addr_clear_given_value): Handle already cleared slot. (val_reset): Handle not allocated local_get_addr_cache. (vt_find_locations): Use post-order on the inverted CFG. From-SVN: r207182
Richard Biener committed -
2014-01-28 Richard Biener <rguenther@suse.de> * tree-data-ref.h (ddr_is_anti_dependent, ddrs_have_anti_deps): Remove. From-SVN: r207181
Richard Biener committed -
2014-01-28 Jonathan Wakely <jwakely@redhat.com> Kyle Lippincott <spectral@google.com> PR libstdc++/59656 * include/bits/shared_ptr.h (shared_ptr): Add new non-throwing constructor and grant friendship to weak_ptr. (weak_ptr::lock()): Use new constructor. * include/bits/shared_ptr_base.h (_Sp_counted_base::_M_add_ref_lock_nothrow()): Declare new function and define specializations. (__shared_count): Add new non-throwing constructor. (__shared_ptr): Add new non-throwing constructor and grant friendship to __weak_ptr. (__weak_ptr::lock()): Use new constructor. * testsuite/20_util/shared_ptr/cons/43820_neg.cc: Adjust dg-error. * testsuite/20_util/shared_ptr/cons/void_neg.cc: Likewise. Co-Authored-By: Kyle Lippincott <spectral@google.com> From-SVN: r207180
Jonathan Wakely committed -
2014-01-28 Richard Biener <rguenther@suse.de> PR rtl-optimization/45364 PR rtl-optimization/59890 * var-tracking.c (local_get_addr_clear_given_value): Handle already cleared slot. (val_reset): Handle not allocated local_get_addr_cache. (vt_find_locations): Use post-order on the inverted CFG. From-SVN: r207172
Richard Biener committed -
* Makefile.in (BUILD_CPPFLAGS): Do not use ALL_CPPFLAGS. * configure.ac <recursive call for build != host>: Define GENERATOR_FILE. Comment. Use CXX_FOR_BUILD, CXXFLAGS_FOR_BUILD and LD_FOR_BUILD too. * configure: Regenerate. From-SVN: r207171
Alan Modra committed -
PR c++/59823 Core DR 1138 * call.c (reference_binding): Pass LOOKUP_NO_TEMP_BIND for list-initialization. A conversion to rvalue ref that involves an lvalue-rvalue conversion is bad. (convert_like_real): Give helpful error message. From-SVN: r207170
Jason Merrill committed -
PR c++/54652 * decl.c (duplicate_decls): Always use oldtype for TYPE_DECL. From-SVN: r207169
Jason Merrill committed -
PR c++/58504 * pt.c (tsubst_copy_and_build) [TRAIT_EXPR]: Use tsubst for types. From-SVN: r207168
Jason Merrill committed -
PR c++/58606 * pt.c (template_parm_to_arg): Call convert_from_reference. (tsubst_template_arg): Don't strip reference refs. From-SVN: r207167
Jason Merrill committed -
PR c++/58639 * call.c (build_aggr_conv): Reject value-initialization of reference. From-SVN: r207166
Jason Merrill committed -
PR c++/58812 * call.c (convert_like_real): Give helpful error about excess braces for ck_rvalue of scalar type. From-SVN: r207165
Jason Merrill committed -
Core DR 1288 * call.c (reference_binding): Only elide braces if the single element is reference-related. From-SVN: r207164
Jason Merrill committed -
PR c++/58814 * typeck.c (cp_build_modify_expr): Make the RHS an rvalue before stabilizing. From-SVN: r207163
Jason Merrill committed -
PR c++/58837 * typeck.c (cp_truthvalue_conversion): Use explicit comparison for FUNCTION_DECL. From-SVN: r207162
Jason Merrill committed -
PR c++/59097 * decl.c (compute_array_index_type): Don't call maybe_constant_value for a non-integral expression. From-SVN: r207161
Jason Merrill committed -
From-SVN: r207159
GCC Administrator committed
-
- 27 Jan, 2014 13 commits
-
-
2014-01-27 Steve Ellcey <sellcey@mips.com> * gcc.target/mips/pr52125.c: Add -mno-optgp option. From-SVN: r207156
Steve Ellcey committed -
* config/i386/i386.c (get_builtin_code_for_version): Separate Westmere from Nehalem, Ivy Bridge from Sandy Bridge and Broadwell from Haswell. testsuite/ChangeLog: * g++.dg/ext/mv16.C: New tests. From-SVN: r207155
Allan Sandfeld Jensen committed -
mips-common.c (TARGET_DEFAULT_TARGET_FLAGS): Remove TARGET_FP_EXCEPTIONS_DEFAULT and MASK_FUSED_MADD. 2014-01-27 Steve Ellcey <sellcey@mips.com> * common/config/mips/mips-common.c (TARGET_DEFAULT_TARGET_FLAGS): Remove TARGET_FP_EXCEPTIONS_DEFAULT and MASK_FUSED_MADD. * config/mips/mips.c (mips_option_override): Change setting of TARGET_DSP. * config/mips/mips.h (TARGET_FP_EXCEPTIONS_DEFAULT): Remove. * config/mips/mips.opt (DSP, DSPR2, FP_EXCEPTIONS, FUSED_MADD, MIPS3D) Change from Mask to Var. From-SVN: r207154
Steve Ellcey committed -
2014-01-27 Jonathan Wakely <jwakely@redhat.com> * mklog: Fix description at top of file. From-SVN: r207153
Jonathan Wakely committed -
From-SVN: r207151
Jeff Law committed -
gcc/ * config/i386/avx512fintrin.h (_mm512_mask_cvtepi32_storeu_epi8): New. (_mm512_mask_cvtsepi32_storeu_epi8): Ditto. (_mm512_mask_cvtusepi32_storeu_epi8): Ditto. (_mm512_mask_cvtepi32_storeu_epi16): Ditto. (_mm512_mask_cvtsepi32_storeu_epi16): Ditto. (_mm512_mask_cvtusepi32_storeu_epi16): Ditto. (_mm512_mask_cvtepi64_storeu_epi32): Ditto. (_mm512_mask_cvtsepi64_storeu_epi32): Ditto. (_mm512_mask_cvtusepi64_storeu_epi32): Ditto. (_mm512_mask_cvtepi64_storeu_epi16): Ditto. (_mm512_mask_cvtsepi64_storeu_epi16): Ditto. (_mm512_mask_cvtusepi64_storeu_epi16): Ditto. (_mm512_mask_cvtepi64_storeu_epi8): Ditto. (_mm512_mask_cvtsepi64_storeu_epi8): Ditto. (_mm512_mask_cvtusepi64_storeu_epi8): Ditto. (_mm512_storeu_epi64): Ditto. (_mm512_cmpge_epi32_mask): Ditto. (_mm512_cmpge_epu32_mask): Ditto. (_mm512_cmpge_epi64_mask): Ditto. (_mm512_cmpge_epu64_mask): Ditto. (_mm512_cmple_epi32_mask): Ditto. (_mm512_cmple_epu32_mask): Ditto. (_mm512_cmple_epi64_mask): Ditto. (_mm512_cmple_epu64_mask): Ditto. (_mm512_cmplt_epi32_mask): Ditto. (_mm512_cmplt_epu32_mask): Ditto. (_mm512_cmplt_epi64_mask): Ditto. (_mm512_cmplt_epu64_mask): Ditto. (_mm512_cmpneq_epi32_mask): Ditto. (_mm512_cmpneq_epu32_mask): Ditto. (_mm512_cmpneq_epi64_mask): Ditto. (_mm512_cmpneq_epu64_mask): Ditto. (_mm512_expand_pd): Ditto. (_mm512_expand_ps): Ditto. * config/i386/i386-builtin-types.def: Add PV16QI, PV16QI, PV16HI, VOID_PV8SI_V8DI_QI, VOID_PV8HI_V8DI_QI, VOID_PV16QI_V8DI_QI, VOID_PV16QI_V16SI_HI, VOID_PV16HI_V16SI_HI. * config/i386/i386.c (ix86_builtins): Add IX86_BUILTIN_EXPANDPD512_NOMASK, IX86_BUILTIN_EXPANDPS512_NOMASK, IX86_BUILTIN_PMOVDB512_MEM, IX86_BUILTIN_PMOVDW512_MEM, IX86_BUILTIN_PMOVQB512_MEM, IX86_BUILTIN_PMOVQD512_MEM, IX86_BUILTIN_PMOVQW512_MEM, IX86_BUILTIN_PMOVSDB512_MEM, IX86_BUILTIN_PMOVSDW512_MEM, IX86_BUILTIN_PMOVSQB512_MEM, IX86_BUILTIN_PMOVSQD512_MEM, IX86_BUILTIN_PMOVSQW512_MEM, IX86_BUILTIN_PMOVUSDB512_MEM, IX86_BUILTIN_PMOVUSDW512_MEM, IX86_BUILTIN_PMOVUSQB512_MEM, IX86_BUILTIN_PMOVUSQD512_MEM, IX86_BUILTIN_PMOVUSQW512_MEM. (bdesc_special_args): Add __builtin_ia32_pmovusqd512mem_mask, __builtin_ia32_pmovsqd512mem_mask, __builtin_ia32_pmovqd512mem_mask, __builtin_ia32_pmovusqw512mem_mask, __builtin_ia32_pmovsqw512mem_mask, __builtin_ia32_pmovqw512mem_mask, __builtin_ia32_pmovusdw512mem_mask, __builtin_ia32_pmovsdw512mem_mask, __builtin_ia32_pmovdw512mem_mask, __builtin_ia32_pmovqb512mem_mask, __builtin_ia32_pmovusqb512mem_mask, __builtin_ia32_pmovsqb512mem_mask, __builtin_ia32_pmovusdb512mem_mask, __builtin_ia32_pmovsdb512mem_mask, __builtin_ia32_pmovdb512mem_mask. (bdesc_args): Add __builtin_ia32_expanddf512, __builtin_ia32_expandsf512. (ix86_expand_special_args_builtin): Handle VOID_FTYPE_PV8SI_V8DI_QI, VOID_FTYPE_PV8HI_V8DI_QI, VOID_FTYPE_PV16HI_V16SI_HI, VOID_FTYPE_PV16QI_V8DI_QI, VOID_FTYPE_PV16QI_V16SI_HI. * config/i386/sse.md (unspec): Add UNSPEC_EXPAND_NOMASK. (avx512f_<code><pmov_src_lower><mode>2_mask_store): New. (*avx512f_<code>v8div16qi2_store_mask): Renamed to ... (avx512f_<code>v8div16qi2_mask_store): This. (avx512f_expand<mode>): New. testsuite/ * gcc.target/i386/avx512f-vexpandpd-1.c: Also test _mm512_expand_pd. * gcc.target/i386/avx512f-vexpandpd-2.c: Ditto. * gcc.target/i386/avx512f-vexpandps-1.c: Also test _mm512_expand_ps. * gcc.target/i386/avx512f-vexpandps-2.c: Ditto. * gcc.target/i386/avx512f-vmovdqu64-1.c: Also test _mm512_storeu_epi64. * gcc.target/i386/avx512f-vmovdqu64-2.c: Ditto. * gcc.target/i386/avx512f-vpcmpged-1.c: New. * gcc.target/i386/avx512f-vpcmpged-2.c: Ditto. * gcc.target/i386/avx512f-vpcmpgeq-1.c: Ditto. * gcc.target/i386/avx512f-vpcmpgeq-2.c: Ditto. * gcc.target/i386/avx512f-vpcmpgeud-1.c: Ditto. * gcc.target/i386/avx512f-vpcmpgeud-2.c: Ditto. * gcc.target/i386/avx512f-vpcmpgeuq-1.c: Ditto. * gcc.target/i386/avx512f-vpcmpgeuq-2.c: Ditto. * gcc.target/i386/avx512f-vpcmpled-1.c: Ditto. * gcc.target/i386/avx512f-vpcmpled-2.c: Ditto. * gcc.target/i386/avx512f-vpcmpleq-1.c: Ditto. * gcc.target/i386/avx512f-vpcmpleq-2.c: Ditto. * gcc.target/i386/avx512f-vpcmpleud-1.c: Ditto. * gcc.target/i386/avx512f-vpcmpleud-2.c: Ditto. * gcc.target/i386/avx512f-vpcmpleuq-1.c: Ditto. * gcc.target/i386/avx512f-vpcmpleuq-2.c: Ditto. * gcc.target/i386/avx512f-vpcmpltd-1.c: Ditto. * gcc.target/i386/avx512f-vpcmpltd-2.c: Ditto. * gcc.target/i386/avx512f-vpcmpltq-1.c: Ditto. * gcc.target/i386/avx512f-vpcmpltq-2.c: Ditto. * gcc.target/i386/avx512f-vpcmpltud-1.c: Ditto. * gcc.target/i386/avx512f-vpcmpltud-2.c: Ditto. * gcc.target/i386/avx512f-vpcmpltuq-1.c: Ditto. * gcc.target/i386/avx512f-vpcmpltuq-2.c: Ditto. * gcc.target/i386/avx512f-vpcmpneqd-1.c: Ditto. * gcc.target/i386/avx512f-vpcmpneqd-2.c: Ditto. * gcc.target/i386/avx512f-vpcmpneqq-1.c: Ditto. * gcc.target/i386/avx512f-vpcmpneqq-2.c: Ditto. * gcc.target/i386/avx512f-vpcmpnequd-1.c: Ditto. * gcc.target/i386/avx512f-vpcmpnequd-2.c: Ditto. * gcc.target/i386/avx512f-vpcmpnequq-1.c: Ditto. * gcc.target/i386/avx512f-vpcmpnequq-2.c: Ditto. * gcc.target/i386/avx512f-vpmovdb-1.c: Also test _mm512_mask_cvtepi32_storeu_epi8. * gcc.target/i386/avx512f-vpmovdb-2.c: Ditto. * gcc.target/i386/avx512f-vpmovdw-1.c: Also test _mm512_mask_cvtepi32_storeu_epi16. * gcc.target/i386/avx512f-vpmovdw-2.c: Ditto. * gcc.target/i386/avx512f-vpmovqb-1.c: Also test _mm512_mask_cvtepi64_storeu_epi8. * gcc.target/i386/avx512f-vpmovqb-2.c: Ditto. * gcc.target/i386/avx512f-vpmovqw-1.c: Also test _mm512_mask_cvtepi64_storeu_epi16. * gcc.target/i386/avx512f-vpmovqw-2.c: Ditto. * gcc.target/i386/avx512f-vpmovqd-1.c: Also test _mm512_mask_cvtepi64_storeu_epi32. * gcc.target/i386/avx512f-vpmovqd-2.c: Ditto. * gcc.target/i386/avx512f-vpmovsdb-1.c: Also test _mm512_mask_cvtsepi32_storeu_epi8. * gcc.target/i386/avx512f-vpmovsdb-2.c: Ditto. * gcc.target/i386/avx512f-vpmovsdw-1.c: Also test _mm512_mask_cvtsepi32_storeu_epi16. * gcc.target/i386/avx512f-vpmovsdw-2.c: Ditto. * gcc.target/i386/avx512f-vpmovsqb-1.c: Also test _mm512_mask_cvtsepi64_storeu_epi8. * gcc.target/i386/avx512f-vpmovsqb-2.c: Ditto. * gcc.target/i386/avx512f-vpmovsqw-1.c: Also test _mm512_mask_cvtsepi64_storeu_epi16. * gcc.target/i386/avx512f-vpmovsqw-2.c: Ditto. * gcc.target/i386/avx512f-vpmovsqd-1.c: Also test _mm512_mask_cvtsepi64_storeu_epi32. * gcc.target/i386/avx512f-vpmovsqd-2.c: Ditto. * gcc.target/i386/avx512f-vpmovusdb-1.c: Also test _mm512_mask_cvtusepi32_storeu_epi8. * gcc.target/i386/avx512f-vpmovusdb-2.c: Ditto. * gcc.target/i386/avx512f-vpmovusdw-1.c: Also test _mm512_mask_cvtusepi32_storeu_epi16. * gcc.target/i386/avx512f-vpmovusdw-2.c: Ditto. * gcc.target/i386/avx512f-vpmovusqb-1.c: Also test _mm512_mask_cvtusepi64_storeu_epi8. * gcc.target/i386/avx512f-vpmovusqb-2.c: Ditto. * gcc.target/i386/avx512f-vpmovusqw-1.c: Also test _mm512_mask_cvtusepi64_storeu_epi16. * gcc.target/i386/avx512f-vpmovusqw-2.c: Ditto. * gcc.target/i386/avx512f-vpmovusqd-1.c: Also test _mm512_mask_cvtusepi64_storeu_epi32. * gcc.target/i386/avx512f-vpmovusqd-2.c: Ditto. * gcc.target/i386/m128-check.h: Add checkVs, checkVb. From-SVN: r207150
Ilya Tocar committed -
gcc/ * config/i386/avx512pfintrin.h (_mm512_mask_prefetch_i32gather_pd): New. (_mm512_mask_prefetch_i64gather_pd): Ditto. (_mm512_prefetch_i32scatter_pd): Ditto. (_mm512_mask_prefetch_i32scatter_pd): Ditto. (_mm512_prefetch_i64scatter_pd): Ditto. (_mm512_mask_prefetch_i64scatter_pd): Ditto. (_mm512_mask_prefetch_i32gather_ps): Fix operand type. (_mm512_mask_prefetch_i64gather_ps): Ditto. (_mm512_prefetch_i32scatter_ps): Ditto. (_mm512_mask_prefetch_i32scatter_ps): Ditto. (_mm512_prefetch_i64scatter_ps): Ditto. (_mm512_mask_prefetch_i64scatter_ps): Ditto. * config/i386/i386-builtin-types.def: Define VOID_FTYPE_QI_V8SI_PCINT64_INT_INT and VOID_FTYPE_QI_V8DI_PCINT64_INT_INT. * config/i386/i386.c (ix86_builtins): Define IX86_BUILTIN_GATHERPFQPD, IX86_BUILTIN_GATHERPFDPD, IX86_BUILTIN_SCATTERPFDPD, IX86_BUILTIN_SCATTERPFQPD. (ix86_init_mmx_sse_builtins): Define __builtin_ia32_gatherpfdpd, __builtin_ia32_gatherpfdps, __builtin_ia32_gatherpfqpd, __builtin_ia32_gatherpfqps, __builtin_ia32_scatterpfdpd, __builtin_ia32_scatterpfdps, __builtin_ia32_scatterpfqpd, __builtin_ia32_scatterpfqps. (ix86_expand_builtin): Expand new built-ins. * config/i386/sse.md (avx512pf_gatherpf<mode>): Add SF suffix, fix memory access data type. (*avx512pf_gatherpf<mode>_mask): Ditto. (*avx512pf_gatherpf<mode>): Ditto. (avx512pf_scatterpf<mode>): Ditto. (*avx512pf_scatterpf<mode>_mask): Ditto. (*avx512pf_scatterpf<mode>): Ditto. (GATHER_SCATTER_SF_MEM_MODE): New. (avx512pf_gatherpf<mode>df): Ditto. (*avx512pf_gatherpf<mode>df_mask): Ditto. (*avx512pf_scatterpf<mode>df): Ditto. testsuite/ * gcc.target/i386/avx512pf-vgatherpf0dpd-1.c: New. * gcc.target/i386/avx512pf-vgatherpf0qpd-1.c: Ditto. * gcc.target/i386/avx512pf-vgatherpf1dpd-1.c: Ditto. * gcc.target/i386/avx512pf-vgatherpf1qpd-1.c: Ditto. * gcc.target/i386/avx512pf-vscatterpf0dpd-1.c: Ditto. * gcc.target/i386/avx512pf-vscatterpf0qpd-1.c: Ditto. * gcc.target/i386/avx512pf-vscatterpf1dpd-1.c: Ditto. * gcc.target/i386/avx512pf-vscatterpf1qpd-1.c: Ditto. * gcc.target/i386/sse-14.c: Add new built-ins, fix AVX-512ER built-ins roudning immediate. * gcc.target/i386/sse-22.c: Add new built-ins. * gcc.target/i386/sse-23.c: Ditto. * gcc.target/i386/avx-1.c: Ditto. From-SVN: r207149
Kirill Yukhin committed -
PR libstdc++/59215 * include/bits/shared_ptr_base.h (_Sp_counted_base<_S_atomic>::_M_add_ref_lock()): Use relaxed atomic load. From-SVN: r207147
Jonathan Wakely committed -
2014-01-27 Robert Dewar <dewar@adacore.com> * sem_res.adb (Resolve_Comparison_Op): Add type name/location to unordered msg. (Resolve_Range): Add type name/location to unordered msg. 2014-01-27 Claire Dross <dross@adacore.com> * a-cofove.adb/s (Copy): Add precondition so that Copy (Source, Capacity) is only called with Capacity >= Length (Source) and Capacity in Capacity_Range. * a-cfdlli.adb/s, a-cfhase.adb/s, a-cfhama.adb/s, a-cforse.adb/s, a-cforma.adb/s (Copy): Add precondition so that Copy (Source, Capacity) is only called with Capacity >= Source.Capacity. Raise Capacity_Error in the code is this is not the case. 2014-01-27 Thomas Quinot <quinot@adacore.com> * sem_ch4.adb (Analyze_Selected_Component): Fix handling of selected component in an instance where the component of the actual is not visibile at instantiation. From-SVN: r207146
Arnaud Charlet committed -
2014-01-27 Ed Schonberg <schonberg@adacore.com> * sem_ch6.adb: sem_ch6.adb (Set_Actual_Subtypes): If the type has a dynamic predicate, generate freeze node for Actual_Subtype at once, because the declaration of the corresponding predicate function will make reference to it. From-SVN: r207145
Ed Schonberg committed -
2014-01-27 Tristan Gingold <gingold@adacore.com> * exp_ch7.adb, exp_ch9.adb: Adjust comments. 2014-01-27 Robert Dewar <dewar@adacore.com> * exp_ch4.adb (Expand_N_Op_Expon): Remove unsigned type test for 2**X optimization. 2014-01-27 Ed Schonberg <schonberg@adacore.com> * a-suenst.adb: strings.utf_encoding.strings (Decode): Check explicitly whether value is in range of Character, because the library is typically compiled with range checks disabled, and we cannot rely on the implicit check on the argument of 'Val. 2014-01-27 Vincent Celier <celier@adacore.com> * a-ciorma.adb, a-cihama.adb (Assign): Copy the Source to the Target, not the Target to itself. 2014-01-27 Robert Dewar <dewar@adacore.com> * vms_conv.ads, ali.adb, sem_ch6.ads, opt.ads, vms_cmds.ads: Minor changes to avoid incorrect use of unordered enum types. 2014-01-27 Thomas Quinot <quinot@adacore.com> * sem_ch4.adb: Minor reformatting. From-SVN: r207144
Arnaud Charlet committed -
2014-01-27 Robert Dewar <dewar@adacore.com> * scn.adb (Check_End_Of_Line): Removed. (Error_Long_Line): Removed. (Determine_License): Use versions of above routines from Scanner. * scng.adb (Check_End_Of_Line): Moved to spec. (Error_Long_Line): Removed, no longer used. * scng.ads (Check_End_Of_Line): Moved here from body. 2014-01-27 Tristan Gingold <gingold@adacore.com> * exp_ch7.adb (Build_Cleanup_Statements): Call Build_Protected_Subprogram_Call_Cleanup to insert the cleanup for protected body. * exp_ch9.adb (Build_Protected_Subprogram_Body): Likewise. Remove Service_Name variable. (Build_Protected_SUbprogam_Call_Cleanup): New procedure that factorize code from the above subprograms. * exp_ch9.ads (Build_Protected_Subprogram_Call_Cleanup): New procedure. From-SVN: r207143
Arnaud Charlet committed -
2014-01-27 Hristian Kirtchev <kirtchev@adacore.com> * einfo.adb (Has_Option): Reimplemented. * sem_prag.adb (Analyze_Refinement_Clause): Add global variables AR_Constit, AW_Constit, ER_Constit, EW_Constit, External_Constit_Seen and State. Add local variables Body_Ref, Body_Ref_Elmt and Extra_State. Reimplement part of the logic to avoid a cumbersome while pool. Verify the legality of an external state and relevant properties. (Check_External_Property): New routine. (Check_Matching_State): Remove parameter profile and update comment on usage. (Collect_Constituent): Store the relevant external property of a constituent. * sem_util.adb (Async_Readers_Enabled): Update the call to Has_Enabled_Property. (Async_Writers_Enabled): Update the call to Has_Enabled_Property. (Effective_Reads_Enabled): Update the call to Has_Enabled_Property. (Effective_Writes_Enabled): Update the call to Has_Enabled_Property. (Has_Enabled_Property): Rename formal parameter Extern to State_Id. Update comment on usage. Reimplement the logic to recognize the various formats of properties. 2014-01-27 Ed Schonberg <schonberg@adacore.com> * par-ch5.adb: Minor reformatting. 2014-01-27 Tristan Gingold <gingold@adacore.com> * s-tposen.ads: Harmonize style and comments. 2014-01-27 Vincent Celier <celier@adacore.com> * projects.texi: Document that shared library projects, by default, cannot import projects that are not shared library projects. 2014-01-27 Robert Dewar <dewar@adacore.com> * sem_ch8.adb (Find_Selected_Component): Use Replace instead of Rewrite. 2014-01-27 Ed Schonberg <schonberg@adacore.com> * a-suenco.adb, a-suenst.adb (Decode): Raise encoding error if any other exception is raised. (Convert): If both Input_Scheme and Output_Scheme are UTF_8 it is still necessary to perform a conversion in order to remove overlong encodings. From-SVN: r207142
Arnaud Charlet committed
-