GCC Administrator [Wed, 23 Jul 2014 00:16:29 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r212919
Martin Jambor [Tue, 22 Jul 2014 16:20:25 +0000 (18:20 +0200)]
re PR ipa/61160 (wrong code with -O3 (or ICE: verify_cgraph_node failed: edge points to wrong declaration))
2014-07-22 Martin Jambor <mjambor@suse.cz>
PR ipa/61160
* g++.dg/ipa/pr61160-3.C (main): Return zero.
From-SVN: r212915
Alan Lawrence [Tue, 22 Jul 2014 16:02:32 +0000 (16:02 +0000)]
Fix vext[us]64_1.c test on ARM by unsharing test body.
* gcc.target/arm/simd/vexts64_1.c: Remove #include, inline test body.
* gcc.target/arm/simd/vextu64_1.c: Likewise.
* gcc.target/aarch64/simd/ext_s64_1.c: Likewise.
* gcc.target/aarch64/simd/ext_u64_1.c: Likewise.
* gcc.target/aarch64/simd/ext_s64.x: Remove.
* gcc.target/aarch64/simd/ext_u64.x: Remove.
From-SVN: r212914
Kyrylo Tkachov [Tue, 22 Jul 2014 13:39:16 +0000 (13:39 +0000)]
[AArch64][2/2] Add rtx cost function handling of clz, clrsb, rbit.
* config/aarch64/aarch64.c (aarch64_rtx_costs): Handle CLRSB, CLZ.
(case UNSPEC): Handle UNSPEC_RBIT.
From-SVN: r212913
Kyrylo Tkachov [Tue, 22 Jul 2014 13:35:42 +0000 (13:35 +0000)]
[AArch64][1/2] Remove UNSPEC_CLS and use clrsb RTL code in its' place.
* config/aarch64/aarch64.md: Delete UNSPEC_CLS.
(clrsb<mode>2): Use clrsb RTL code instead of UNSPEC_CLS.
From-SVN: r212912
Yuri Rumyantsev [Tue, 22 Jul 2014 12:53:04 +0000 (12:53 +0000)]
re PR tree-optimization/61822 (gcc.dg/vect/vect-cond-reduc-1.c FAILs)
gcc/testsuite
PR tree-optimization/61822
* gcc.dg/vect/cond-reduc-1.c: Add missed dg directive.
From-SVN: r212911
Kyrylo Tkachov [Tue, 22 Jul 2014 12:33:51 +0000 (12:33 +0000)]
[AArch64] Implement vbsl_f64 arm_neon.h intrinsic.
[gcc/]
* config/aarch64/arm_neon.h (vbsl_f64): New intrinsic.
[testsuite/]
* gcc.target/aarch64/simd/vbsl_f64_1.c: New test.
From-SVN: r212910
Uros Bizjak [Tue, 22 Jul 2014 11:27:49 +0000 (13:27 +0200)]
fuse-caller-save-xmm.c (dg-options): Use -msse2 -mno-avx instead of -msse.
* gcc.target/i386/fuse-caller-save-xmm.c (dg-options): Use
-msse2 -mno-avx instead of -msse.
From-SVN: r212909
Uros Bizjak [Tue, 22 Jul 2014 07:23:56 +0000 (09:23 +0200)]
imm-devirt-2.C (dg-final): Improve einline dump string.
* g++.dg/ipa/imm-devirt-2.C (dg-final): Improve einline dump string.
* gcc.dg/pr44024.c (dg-options): Add -O1.
(dg-final): Check for the condition.
* gcc.dg/vect/pr61680.c (dg-final): Cleanup vect tree dump.
From-SVN: r212905
Roman Gareev [Tue, 22 Jul 2014 06:59:34 +0000 (06:59 +0000)]
graphite-isl-ast-to-gimple.c: Add inclusion of gimple-ssa.h, tree-into-ssa.h.
gcc/
* graphite-isl-ast-to-gimple.c:
Add inclusion of gimple-ssa.h, tree-into-ssa.h.
(ivs_params_clear):
(build_iv_mapping): New function.
(translate_isl_ast_node_user): Likewise.
(translate_isl_ast): Add calling of translate_isl_ast_node_user.
gcc/testsuite/gcc.dg/graphite/
* isl-ast-gen-single-loop-1.c: New testcase.
* isl-ast-gen-single-loop-2.c: New testcase.
* isl-ast-gen-single-loop-3.c: New testcase.
From-SVN: r212904
GCC Administrator [Tue, 22 Jul 2014 00:16:55 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r212903
Bin Cheng [Mon, 21 Jul 2014 12:24:06 +0000 (12:24 +0000)]
re PR target/55701 (Inline some instances of memset for ARM)
PR target/55701
* config/arm/arm.md (setmem): New pattern.
* config/arm/arm-protos.h (struct tune_params): New fields.
(arm_gen_setmem): New prototype.
* config/arm/arm.c (arm_slowmul_tune): Initialize new fields.
(arm_fastmul_tune, arm_strongarm_tune, arm_xscale_tune): Ditto.
(arm_9e_tune, arm_v6t2_tune, arm_cortex_tune): Ditto.
(arm_cortex_a8_tune, arm_cortex_a7_tune): Ditto.
(arm_cortex_a15_tune, arm_cortex_a53_tune): Ditto.
(arm_cortex_a57_tune, arm_cortex_a5_tune): Ditto.
(arm_cortex_a9_tune, arm_cortex_a12_tune): Ditto.
(arm_v7m_tune, arm_v6m_tune, arm_fa726te_tune): Ditto.
(arm_const_inline_cost): New function.
(arm_block_set_max_insns): New function.
(arm_block_set_non_vect_profit_p): New function.
(arm_block_set_vect_profit_p): New function.
(arm_block_set_unaligned_vect): New function.
(arm_block_set_aligned_vect): New function.
(arm_block_set_unaligned_non_vect): New function.
(arm_block_set_aligned_non_vect): New function.
(arm_block_set_vect, arm_gen_setmem): New functions.
* gcc.target/arm/memset-inline-1.c: New test.
* gcc.target/arm/memset-inline-2.c: New test.
* gcc.target/arm/memset-inline-3.c: New test.
* gcc.target/arm/memset-inline-4.c: New test.
* gcc.target/arm/memset-inline-5.c: New test.
* gcc.target/arm/memset-inline-6.c: New test.
* gcc.target/arm/memset-inline-7.c: New test.
* gcc.target/arm/memset-inline-8.c: New test.
* gcc.target/arm/memset-inline-9.c: New test.
From-SVN: r212893
Bin Cheng [Mon, 21 Jul 2014 12:10:34 +0000 (12:10 +0000)]
arm.c (output_move_neon): Handle REG explicitly.
* config/arm/arm.c (output_move_neon): Handle REG explicitly.
From-SVN: r212892
Tom de Vries [Mon, 21 Jul 2014 11:29:10 +0000 (11:29 +0000)]
Fix fuse-caller-save-rec.c
2014-07-21 Tom de Vries <tom@codesourcery.com>
PR target/61827
* gcc.target/i386/fuse-caller-save-rec.c: Allow underscore prefix to bar
symbol in scan-assembler-times call check.
From-SVN: r212891
Tom de Vries [Mon, 21 Jul 2014 10:54:47 +0000 (10:54 +0000)]
Fix fuse-caller-save test-cases
2014-07-21 Tom de Vries <tom@codesourcery.com>
PR target/61827
* gcc.target/i386/fuse-caller-save-xmm.c: Allow LC0 without dot prefix
for darwin in scan-assembler-times check.
* gcc.target/i386/fuse-caller-save.c: Remove cfi-related
scan-assembler-not checks. Add checks for insns.
(main): Remove.
* gcc.target/i386/fuse-caller-save-rec.c: Remove cfi-related
scan-assembler-not checks. Copy checks from i386/fuse-caller-save.c.
(main): Remove.
From-SVN: r212890
Tom de Vries [Mon, 21 Jul 2014 09:11:04 +0000 (09:11 +0000)]
Fix fuse-caller-save-xmm.c test-case
2014-07-21 Tom de Vries <tom@codesourcery.com>
PR target/61827
* gcc.target/i386/fuse-caller-save-xmm.c: Add -fomit-frame-pointer to
dg-options. Add checks for insns with xmm registers. Remove
cfi_def_cfa_offset checks. Generalize checks containing %rsp.
(main): Remove.
From-SVN: r212888
Uros Bizjak [Mon, 21 Jul 2014 08:53:03 +0000 (10:53 +0200)]
ChangeLog: Correct PR number.
* ChangeLog: Correct PR number.
* testsuite/ChangeLog: Ditto.
From-SVN: r212887
Uros Bizjak [Mon, 21 Jul 2014 08:47:48 +0000 (10:47 +0200)]
re PR ipa/61885 (ICE: in types_same_for_odr, at ipa-devirt.c:383 with LTO)
PR target/61885
* config/i386/avx512fintrin.h: Move constants for mantissa extraction
out of #ifdef __OPTIMIZE__.
testsuite/ChangeLog:
PR target/61885
* gcc.target/i386/pr61885.c: New test.
From-SVN: r212886
Trevor Saunders [Mon, 21 Jul 2014 07:45:45 +0000 (07:45 +0000)]
mklog: Run mklog as a filter.
contrib/
2014-07-21 Trevor Saunders <tsaunders@mozilla.com>
Yury Gribov <y.gribov@samsung.com>
* mklog: Run mklog as a filter.
Co-Authored-By: Yury Gribov <y.gribov@samsung.com>
From-SVN: r212884
Trevor Saunders [Mon, 21 Jul 2014 07:39:40 +0000 (07:39 +0000)]
contrib/
2014-07-21 Trevor Saunders <tsaunders@mozilla.com>
mklog: Read name and email from git config when available.
From-SVN: r212883
GCC Administrator [Mon, 21 Jul 2014 00:17:34 +0000 (00:17 +0000)]
Daily bump.
From-SVN: r212882
Eric Botcazou [Sun, 20 Jul 2014 21:00:51 +0000 (21:00 +0000)]
cse.c (exp_equiv_p): For GCSE...
* cse.c (exp_equiv_p) <MEM>: For GCSE, return 0 for expressions with
different trapping status if -fnon-call-exceptions is enabled.
From-SVN: r212879
Eric Botcazou [Sun, 20 Jul 2014 20:30:23 +0000 (20:30 +0000)]
expr.c (store_field): Handle VOIDmode for calls that return values in multiple locations.
* expr.c (store_field): Handle VOIDmode for calls that return values
in multiple locations.
From-SVN: r212877
Ian Lance Taylor [Sun, 20 Jul 2014 20:26:20 +0000 (20:26 +0000)]
compiler: If a variable that is only set, give not used error.
From-SVN: r212876
Jerry DeLisle [Sun, 20 Jul 2014 20:03:41 +0000 (20:03 +0000)]
re PR fortran/61632 (Improve error locus on large format strings)
2014-07-20 Jerry DeLisle <jvdelisle@gcc.gnu.org>
PR libgfortran/61632
* io/format.c (format_error): Avoid invalid string pointer by
using the fortran string length values to generate error string.
(parse_format): Allocate the null terminator for the format
string.
From-SVN: r212875
Bill Schmidt [Sun, 20 Jul 2014 19:34:11 +0000 (19:34 +0000)]
altivec.md (unspec enum): Fix typo in UNSPEC_VSLDOI.
2014-07-20 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
* config/rs6000/altivec.md (unspec enum): Fix typo in
UNSPEC_VSLDOI.
(altivec_vsldoi_<mode>): Likewise.
From-SVN: r212874
Ian Lance Taylor [Sun, 20 Jul 2014 19:20:12 +0000 (19:20 +0000)]
runtime: remove unused variable
This variable is unused apparently as a result of local changes.
gccgo accepts this variable declaration, but other frontends may not.
From-SVN: r212873
Ian Lance Taylor [Sun, 20 Jul 2014 15:21:57 +0000 (15:21 +0000)]
go-test.exp (go-gc-tests): Support multiple files in one package for compiledir tests.
* go.test/go-test.exp (go-gc-tests): Support multiple files in one
package for compiledir tests.
From-SVN: r212872
Ian Lance Taylor [Sun, 20 Jul 2014 15:13:50 +0000 (15:13 +0000)]
compiler: Don't let dot-import names match names from previous files.
The test case for this will be bug488.go in the main
repository: https://codereview.appspot.com/
118000043 .
From-SVN: r212871
Ian Lance Taylor [Sun, 20 Jul 2014 15:09:04 +0000 (15:09 +0000)]
runtime: add a missing import
This adds an import of the runtime package to fix compilation
of the TestStopCPUProfilingWithProfilerOff function.
The gccgo compiler should never have accepted this. The patch
for the comiler is http://codereview.appspot.com/
116960043 .
The test is https://codereview.appspot.com/
118000043 .
From-SVN: r212870
Roman Gareev [Sun, 20 Jul 2014 13:31:41 +0000 (13:31 +0000)]
configure.ac: Accept only CLooG 0.18.1.
* configure.ac: Accept only CLooG 0.18.1.
* configure: Regenerate.
From-SVN: r212869
Roman Gareev [Sun, 20 Jul 2014 13:24:37 +0000 (13:24 +0000)]
graphite-isl-ast-to-gimple.c: Fixes a formatting issue related to the number of characters in the line.
gcc/
* graphite-isl-ast-to-gimple.c:
Fixes a formatting issue related to the number of characters in the
line.
From-SVN: r212868
Marek Polacek [Sun, 20 Jul 2014 10:43:26 +0000 (10:43 +0000)]
re PR c/61852 (Incorrect column number for -Wimplicit-function-declaration)
PR c/61852
* c-decl.c (implicit_decl_warning): Add location_t parameter. Use it.
(implicitly_declare): Pass location to implicit_decl_warning.
* gcc.dg/pr61852.c: New test.
From-SVN: r212865
Roman Gareev [Sun, 20 Jul 2014 09:44:36 +0000 (09:44 +0000)]
graphite-isl-ast-to-gimple.c: Add using of build_nonstandard_integer_type instead of int128_integer_type_node.
gcc/
* graphite-isl-ast-to-gimple.c:
Add using of build_nonstandard_integer_type instead of
int128_integer_type_node.
From-SVN: r212863
Ian Lance Taylor [Sun, 20 Jul 2014 09:24:16 +0000 (09:24 +0000)]
runtime: also disable split stacks for runtime_snprintf function under Clang
From-SVN: r212862
GCC Administrator [Sun, 20 Jul 2014 00:17:10 +0000 (00:17 +0000)]
Daily bump.
From-SVN: r212858
Ian Lance Taylor [Sat, 19 Jul 2014 21:36:26 +0000 (21:36 +0000)]
reflect, runtime: Use libffi closures to implement reflect.MakeFunc.
Keep using the existing 386 and amd64 code on those archs,
since it is more efficient.
From-SVN: r212853
Eric Botcazou [Sat, 19 Jul 2014 19:30:11 +0000 (19:30 +0000)]
* toplev.c (output_stack_usage): Adjust the location of the warning.
From-SVN: r212850
Jonathan Wakely [Sat, 19 Jul 2014 17:56:09 +0000 (18:56 +0100)]
acinclude.m4 (GLIBCXX_CHECK_SDT_H): Replace AC_MSG_RESULT with AC_MSG_CHECKING.
* acinclude.m4 (GLIBCXX_CHECK_SDT_H): Replace AC_MSG_RESULT with
AC_MSG_CHECKING.
From-SVN: r212848
David Wohlferd [Sat, 19 Jul 2014 11:04:39 +0000 (11:04 +0000)]
* gnat_rm.texi: Clean up for makeinfo 5.2.
From-SVN: r212845
David Wohlferd [Sat, 19 Jul 2014 10:55:28 +0000 (10:55 +0000)]
* gnat_rm.texi (Machine Code Insertions): Clean up.
From-SVN: r212844
Daniel Cederman [Sat, 19 Jul 2014 10:41:03 +0000 (10:41 +0000)]
sync.md (*membar_storeload_leon3): New insn.
* config/sparc/sync.md (*membar_storeload_leon3): New insn.
(*membar_storeload): Disable for LEON3.
From-SVN: r212841
Ian Lance Taylor [Sat, 19 Jul 2014 10:12:01 +0000 (10:12 +0000)]
libgo: Bump version number.
From-SVN: r212840
Ian Lance Taylor [Sat, 19 Jul 2014 08:53:52 +0000 (08:53 +0000)]
libgo: Update to Go 1.3 release.
From-SVN: r212837
GCC Administrator [Sat, 19 Jul 2014 00:16:54 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r212833
Ian Lance Taylor [Fri, 18 Jul 2014 21:59:12 +0000 (21:59 +0000)]
compiler: fix test for mismatch between function results and uses
Test is http://codereview.appspot.com/
111360045 .
From-SVN: r212830
Bernd Edlinger [Fri, 18 Jul 2014 18:11:53 +0000 (18:11 +0000)]
re PR rtl-optimization/61461 (-fdump-rtl-all-slim causes ICE with fold-const.c)
2014-07-18 Bernd Edlinger <bernd.edlinger@hotmail.de>
PR rtl-optimization/61461
* sched-vis.c (print_pattern) <ADDR_VEC, ADDR_DIFF_VEC>: Fixed.
From-SVN: r212829
Uros Bizjak [Fri, 18 Jul 2014 16:13:45 +0000 (18:13 +0200)]
re PR target/61794 (internal error: unrecognizable insn, from avx512 extract instruction)
PR target/61794
* config/i386/sse.md (avx512f_vextract<shuffletype>32x4_1_maskm):
Fix instruction constraint.
(<mask_codefor>avx512f_vextract<shuffletype>32x4_1<mask_name>): Ditto.
testsuite/ChangeLog:
PR target/61794
* gcc.target/i386/pr61794.c: New test.
From-SVN: r212824
Jonathan Wakely [Fri, 18 Jul 2014 15:56:00 +0000 (16:56 +0100)]
re PR libstdc++/61835 (Invalid comment on pretty printers breaks gdb)
PR libstdc++/61835
* python/libstdcxx/v6/printers.py (TemplateTypePrinter): Use
raw string.
(SingleObjContainerPrinter): Check if type printers are in use.
From-SVN: r212822
Jonathan Wakely [Fri, 18 Jul 2014 15:52:01 +0000 (16:52 +0100)]
* doc/extend.texi (Template Instantiation): Remove stray parenthesis.
From-SVN: r212821
Arnaud Charlet [Fri, 18 Jul 2014 15:39:59 +0000 (17:39 +0200)]
Update comments
From-SVN: r212819
Arnaud Charlet [Fri, 18 Jul 2014 11:04:34 +0000 (13:04 +0200)]
[multiple changes]
2014-07-18 Robert Dewar <dewar@adacore.com>
* exp_ch7.adb: Minor reformatting.
2014-07-18 Claire Dross <dross@adacore.com>
* sem_aux.ads (Get_Binary_Nkind): New function that returns
the Node_Kind value of an entity defining a binary operator.
(Get_Unary_Nkind): New function that returns the Node_Kind value
of an entity defining a unary operator.
2014-07-18 Pascal Obry <obry@adacore.com>
* sysdep.c: comment update.
* adaint.c (__gnat_fputwc): Use wchar_t on a limited set of
platforms where it is known to be supported.
2014-07-18 Thomas Quinot <quinot@adacore.com>
* sem_dist.adb (Process_Remote_AST_Declaration): Need
to set Fat_Type's Ekind in order to be able to use its
Corresponding_Remote_Type attribute.
From-SVN: r212815
Arnaud Charlet [Fri, 18 Jul 2014 11:02:42 +0000 (13:02 +0200)]
[multiple changes]
2014-07-18 Hristian Kirtchev <kirtchev@adacore.com>
* einfo.adb Last_Aggregate_Assignment is now Node 30.
(Last_Aggregate_Assignment): Include
constants in the assertion. Update the underlying node.
(Set_Last_Aggregate_Assignment): Include constants in the
assertion. Update the underlying node. (Write_Field11_Name):
Remove the entry for Last_Aggregate_Assignment.
(Write_Field30_Name): Add an entry for Last_Aggregate_Assignment.
* einfo.ads Update the node designation and usage of attribute
Last_Aggregate_Assignment.
* exp_aggr.adb (Expand_Array_Aggregate): Store the last
assignment statement used to initialize a controlled object.
(Late_Expansion): Store the last assignment statement used to
initialize a controlled record or an array of controlled objects.
* exp_ch3.adb (Expand_N_Object_Declaration): Default
initialization of objects is now performed in a separate routine.
(Default_Initialize_Object): New routine.
* exp_ch7.adb (Build_BIP_Cleanup_Stmts): Add formal parameter
Obj_Id. Update the comment on usage.
(Find_Last_Init): Remove formal parameter Typ. Update comment on usage.
Reimplement the logic. (Find_Last_Init_In_Block): New routine.
(Is_Init_Call): Add formal parameter Init_Typ. Update the
comment on usage. Account for the type init proc when trying
to determine whether a statement is an initialization call.
(Make_Adjust_Call): Rename formal parameter For_Parent to
Skip_Self. Update all occurrences of For_Parent. Account for
non-tagged types. Update the call to Make_Call.
(Make_Call): Rename formal parameter For_Parent to Skip_Self. Update
comment on usage. Update all occurrences of For_Parent.
(Make_Final_Call): Rename formal parameter For_Parent to
Skip_Self. Update all occurrences of For_Parent. Account
for non-tagged types. Update the call to Make_Call.
(Process_Object_Declaration): Most variables and constants are
now local to the routine.
* exp_ch7.ads (Make_Adjust_Call): Rename formal parameter
For_Parent to Skip_Self. Update the comment on usage.
(Make_Final_Call): Rename formal parameter For_Parent to
Skip_Self. Update the comment on usage.
2014-07-18 Ed Schonberg <schonberg@adacore.com>
* sem_ch9.adb (Analyze_Requeue): The entry being referenced
can be a procedure that is implemented by entry, and have a
formal that is a synchronized interface. It does not have to
be declared as a protected operation.
From-SVN: r212814
Arnaud Charlet [Fri, 18 Jul 2014 11:00:59 +0000 (13:00 +0200)]
[multiple changes]
2014-07-18 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Remove mention of obsolete attributes
Max[_Interrupt]_Priority, which have never been implemented
(or at the very least were removed long ago if they ever were
implemented. Add documentation of Max[_Interrupt]_Priority
constants in package System.
* ttypes.ads: Document actual handling of package System,
rather than a historical fantasy version. Remove mention of
non-existent attributes Max[_Interrupt]_Priority.
2014-07-18 Pascal Obry <obry@adacore.com>
* a-witeio.adb (Put): No 16-bit character output when text
translation is disabled.
* i-cstrea.ads: Code clean up.
From-SVN: r212813
Arnaud Charlet [Fri, 18 Jul 2014 10:59:26 +0000 (12:59 +0200)]
[multiple changes]
2014-07-18 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Document that Wchar_T_Size and Word_Size are
static attributes.
2014-07-18 Arnaud Charlet <charlet@adacore.com>
* a-witeio.adb, initialize.c: Update comments. Minor clean ups.
2014-07-18 Pascal Obry <obry@adacore.com>
* adaint.c: Do not include wchar.h on VxWorks.
* mingw32.h: Remove obsolete definition.
From-SVN: r212812
Pascal Obry [Fri, 18 Jul 2014 10:57:47 +0000 (10:57 +0000)]
a-textio.adb, [...]: Use C_Streams Default_Text.
2014-07-18 Pascal Obry <obry@adacore.com>
* a-textio.adb, a-witeio.adb, a-ztexio.adb: Use C_Streams Default_Text.
* i-cstrea.ads (Content_Encoding): Moved here, add convention C.
* s-ficobl.ads (Content_Encoding): Moved to C_Streams.
* s-fileio.adb (Open): Adjust to use Content_Encoding from C_Streams.
From-SVN: r212811
Pascal Obry [Fri, 18 Jul 2014 10:56:54 +0000 (10:56 +0000)]
a-textio.adb: Rename Is_Text_File to Text_Encoding.
2014-07-18 Pascal Obry <obry@adacore.com>
* a-textio.adb: Rename Is_Text_File to Text_Encoding.
* a-ztexio.adb: Likewise.
* a-witeio.adb: Likewise.
(Open): Pass file's translation mode to set_text_mode.
* s-ficobl.ads (Content_Encoding): New type.
(Text_Content_Encoding): New subtype.
(AFCB): Rename Is_Text_File to Text_Encoding.
* s-fileio.adb (Open): Handles new text_translation
values. Remove Is_Text_File which is equivalent to Text_Encoding
in Text_Content_Encoding.
* adaint.h (__gnat_set_mode): New routine.
* sysdep.c (__gnat_set_wide_text_mode): Removed.
(__gnat_set_mode): New routine.
From-SVN: r212810
Chung-Ju Wu [Fri, 18 Jul 2014 10:50:04 +0000 (10:50 +0000)]
Follow the GNU coding standards.
* config/nds32/nds32.c (nds32_can_eliminate): Follow the
GNU coding standards.
(nds32_register_move_cost): Likewise.
(nds32_memory_move_cost): Likewise.
(nds32_address_cost): Likewise.
From-SVN: r212809
Arnaud Charlet [Fri, 18 Jul 2014 10:19:34 +0000 (10:19 +0000)]
decl.c, [...] (Is_Packed_Array_Type): Renamed Is_Packed_Array_Impl_Type.
* gcc-interface/decl.c, gcc-interface/trans.c,
gcc-interface/utils.c (Is_Packed_Array_Type): Renamed
Is_Packed_Array_Impl_Type.
From-SVN: r212808
Arnaud Charlet [Fri, 18 Jul 2014 10:15:56 +0000 (12:15 +0200)]
[multiple changes]
2014-07-18 Gary Dismukes <dismukes@adacore.com>
* sem_util.adb: Minor typo correction.
2014-07-18 Ben Brosgol <brosgol@adacore.com>
* gnat_rm.texi: Complete previous change.
2014-07-18 Pascal Obry <obry@adacore.com>
* s-fileio.adb: Minor style fix.
2014-07-18 Ed Schonberg <schonberg@adacore.com>
* sem_ch13.adb (Analyze_Aspect_Specifications): Detect improper
specification of stream attributes for subtypes that are not
first subtypes, to prevent malformed rep_item chains in the case
of such illegal specifications for discriminated private subtypes.
(Check_Overloaded_Name): Verify that the name is an entity name
before other checks.
2014-07-18 Pascal Obry <obry@adacore.com>
* adaint.c (__gnat_fputwc) Do not disable on cross-build.
From-SVN: r212807
Arnaud Charlet [Fri, 18 Jul 2014 10:12:41 +0000 (12:12 +0200)]
[multiple changes]
2014-07-18 Robert Dewar <dewar@adacore.com>
* sem_prag.adb, sem_attr.adb,
sem_aggr.adb, sinfo.ads, sem_eval.ads: Minor reformatting.
2014-07-18 Pascal Obry <obry@adacore.com>
* sysdep.c (__gnat_wide_text_translation_required): Removed from here.
* initialize.c (__gnat_wide_text_translation_required): Defined here.
2014-07-18 Pascal Obry <obry@adacore.com>
* adaint.c (__gnat_fputwc): New routine.
* s-crtl.ads (fputwc): Now imported as __gnat_fputwc.
2014-07-18 Hristian Kirtchev <kirtchev@adacore.com>
* einfo.adb: Flag 270 is now used as Stores_Attribute_Old_Prefix.
(Set_Stores_Attribute_Old_Prefix): New routine.
(Stores_Attribute_Old_Prefix): New routine.
(Write_Entity_Flags):
Output flag Stores_Attribute_Old_Prefix.
* einfo.ads Add new flag Stores_Attribute_Old_Prefix along with
comment on usage.
(Set_Stores_Attribute_Old_Prefix): New routine
along with pragma Inline.
(Stores_Attribute_Old_Prefix): New
routine along with pragma Inline.
* exp_attr.adb (Expand_N_Attribute_Reference): Mark the generated
constant which captures the result of attribute 'Old's prefix.
* sem_util.adb (In_Assertion_Expression_Pragma): Recognize a
relocated expression which acted as a prefix of attribute 'Old.
2014-07-18 Bob Duff <duff@adacore.com>
* s-spsufi.adb (Finalize_And_Deallocate): Set Subpool.Owner to
null before dispatching to Deallocate_Subpool.
* s-stposu.ads (Default_Subpool_For_Pool): Change mode of
parameter of Default_Subpool_For_Pool to 'in out'.
* s-stposu.adb (Set_Pool_Of_Subpool): Use raise expression. Add
a message to the raise.
* sem_util.adb: Minor reformatting.
From-SVN: r212806
Arnaud Charlet [Fri, 18 Jul 2014 10:09:31 +0000 (12:09 +0200)]
[multiple changes]
2014-07-18 Robert Dewar <dewar@adacore.com>
* sem_util.adb (Check_Expression_Against_Static_Predicate):
Mark expression as non-static if it fails static predicate check,
and issue additional warning.
2014-07-18 Pascal Obry <obry@adacore.com>
* a-witeio.adb (Put): Control translation based on
wide_text_translation_required.
* adaint.c (CurrentCCSEncoding): New variable.
* initialize.c (__gnat_initialize): On Windows initialize
CurrentCCSEncoding based on values in GNAT_CCS_ENCODING
environment variable.
* mingw32.h (CurrentCCSEncoding): New external.
(__gnat_wide_text_translation_required): Likewise.
* sysdep.c (wide_text_translation_required): New variable.
(__gnat_set_wide_text_mode): Set mode based on CurrentCCSEncoding.
2014-07-18 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Analyze_Refined_Depends_In_Decl_Part): Remove global
variable Refined_States. Add global variable Matched_Items.
(Check_Dependency_Clause): Account for dependency
clauses utilizing states with visible null refinements.
(Is_Null_Refined_State): New routine.
(Match_Items): Record each successfully matched item of pragma Depends.
(Record_Item): New routine.
2014-07-18 Ed Schonberg <schonberg@adacore.com>
* sem_attr.adb (Analyze_Attribute, case 'Update): Set
Do_Range_Check flag on a dynamic index expression used in a
component association in the argument of Update.
2014-07-18 Gary Dismukes <dismukes@adacore.com>
* einfo.ads, sem_eval.ads, sem_ch13.adb: Minor reformatting.
2014-07-18 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch6.adb (Expand_Simple_Function_Return): Redo the marking
of enclosing blocks, loops and the enclosing function using a
parent-based traversal.
* exp_util.adb (Wrap_Statements_In_Block): Suppress the secondary
stack reclamation if the iterator loop contains a return statement
that uses the stack.
* sem_ch5.adb (Analyze_Loop_Statement): There is no need to
patch up the scope stack as the secondary stack management now
takes into account the enclosing function of the iterator loop.
From-SVN: r212805
Arnaud Charlet [Fri, 18 Jul 2014 10:06:00 +0000 (12:06 +0200)]
[multiple changes]
2014-07-18 Robert Dewar <dewar@adacore.com>
* sem_ch3.adb, g-memdum.ads, i-cstrea.ads: Minor reformatting.
2014-07-18 Robert Dewar <dewar@adacore.com>
* einfo.adb (Has_Static_Predicate): New function.
(Set_Has_Static_Predicate): New procedure.
* einfo.ads (Has_Static_Predicate): New flag.
* sem_ch13.adb (Is_Predicate_Static): New function
(Build_Predicate_Functions): Use Is_Predicate_Static to reorganize
(Add_Call): Minor change in Sloc of generated expression
(Add_Predicates): Remove setting of Static_Pred, no longer used.
* sem_ch4.adb (Has_Static_Predicate): Removed this function,
replace by use of the entity flag Has_Static_Predicate_Aspect.
* sem_eval.adb (Eval_Static_Predicate_Check): Check real case
and issue warning that predicate is not checked for now.
* sem_eval.ads (Eval_Static_Predicate_Check): Fix comments in
spec.
* sem_util.adb (Check_Expression_Against_Static_Predicate):
Carry out check for any case where there is a static predicate,
and output appropriate message.
* sinfo.ads: Minor comment corrections.
2014-07-18 Ed Schonberg <schonberg@adacore.com>
* exp_ch3.adb (Expand_Freeze_Record_Type): If the type is derived
from an untagged private type whose full view is tagged, the type
is marked tagged for layout reasons, but it has no dispatch table,
so Set_All_DT_Position must not be called.
* exp_ch13.adb: If the freeze node is for a type internal to a
record declaration, as is the case for a class-wide subtype
of a parent component, the relevant scope is the scope of the
enclosing record.
From-SVN: r212804
Arnaud Charlet [Fri, 18 Jul 2014 10:03:34 +0000 (12:03 +0200)]
[multiple changes]
2014-07-18 Thomas Quinot <quinot@adacore.com>
* g-memdum.adb, g-memdum.ads: Code clean ups.
2014-07-18 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Check_Dependency_Clause):
Update the comment on usage. Reimplement the mechanism which
attempts to match a single clause of Depends against one or
more clauses of Refined_Depends.
(Input_Match): Removed.
(Inputs_Match): Removed.
(Is_Self_Referential): Removed.
(Normalize_Clause): Update the call to Split_Multiple_Outputs.
(Normalize_Outputs): Rename variable Split to New_Claue and update
all its occurrences.
(Report_Extra_Clauses): Update the comment on usage.
(Split_Multiple_Outputs): Renamed to Normalize_Outputs.
2014-07-18 Gary Dismukes <dismukes@adacore.com>
* i-cstrea.ads: Minor reformatting.
2014-07-18 Hristian Kirtchev <kirtchev@adacore.com>
* exp_util.adb (Wrap_Statements_In_Block): Propagate both
secondary stack-related flags to the generated block.
* sem_ch5.adb (Analyze_Loop_Statement): Update the scope chain
once the loop is relocated in a block.
From-SVN: r212803
Arnaud Charlet [Fri, 18 Jul 2014 10:01:26 +0000 (12:01 +0200)]
[multiple changes]
2014-07-18 Robert Dewar <dewar@adacore.com>
* repinfo.ads: Add documentation on handling of back annotation
for dynamic case.
2014-07-18 Ed Schonberg <schonberg@adacore.com>
* sinfo.ads, sinfo.adb (Incomplete_View): New semantic attribute
of full type declaration, denotes previous declaration for
incomplete view of the type.
* sem_ch3.adb (Analyze_Full_Type_Declaration): Set Incomplete_View
of declaration if one is present.
(Replace_Type): When constructing the signature of an inherited
operation, handle properly the case where the operation has a
formal whose type is an incomplete view.
* sem_util.adb (Collect_Primitive_Operations): Handle properly
the case of an operation declared after an incomplete declaration
for a type T and before the full declaration of T.
2014-07-18 Pascal Obry <obry@adacore.com>
* i-cstrea.ads: Add documentation for set_wide_text_mode.
From-SVN: r212802
Arnaud Charlet [Fri, 18 Jul 2014 09:59:53 +0000 (11:59 +0200)]
[multiple changes]
2014-07-18 Robert Dewar <dewar@adacore.com>
* a-witeio.adb: Minor code reorganization.
* i-cstrea.ads: Add comment.
2014-07-18 Thomas Quinot <quinot@adacore.com>
* s-oscons-tmplt.c (NAME_MAX): Minor cleaup and comment
clarifications.
From-SVN: r212801
Arnaud Charlet [Fri, 18 Jul 2014 09:58:14 +0000 (11:58 +0200)]
[multiple changes]
2014-07-18 Robert Dewar <dewar@adacore.com>
* g-memdum.adb, g-memdum.ads, exp_strm.adb: Minor reformatting.
2014-07-18 Pascal Obry <obry@adacore.com>
* s-crtl.ads, i-cstrea.ads (fputwc): New routine.
* a-witeio.adb (Put): On platforms where there is translation
done by the OS output the raw text.
(New_Line): Use Put above to properly handle the LM wide characters.
From-SVN: r212800
Arnaud Charlet [Fri, 18 Jul 2014 09:55:03 +0000 (11:55 +0200)]
[multiple changes]
2014-07-18 Thomas Quinot <quinot@adacore.com>
* g-memdum.adb, g-memdum.ads (Dump): New parameter Prefix, defaulted
to Absolute_Address.
2014-07-18 Eric Botcazou <ebotcazou@adacore.com>
* opt.ads (Suppress_Back_Annotation): Remove as unused.
* fe.h (Back_Annotate_Rep_Info): Likewise.
(Global_Discard_Names): Likewise.
From-SVN: r212799
Arnaud Charlet [Fri, 18 Jul 2014 09:51:43 +0000 (11:51 +0200)]
[multiple changes]
2014-07-18 Robert Dewar <dewar@adacore.com>
* sem_ch13.adb (Is_Type_Ref): Check that type name is not
parenthesized.
2014-07-18 Vincent Celier <celier@adacore.com>
* s-osinte-vms.ads: Fix style errors.
2014-07-18 Thomas Quinot <quinot@adacore.com>
* s-oscons-tmplt.c (_POSIX_SOURCE): Define in order to get
NAME_MAX and PATH_MAX.
2014-07-18 Bob Duff <duff@adacore.com>
* exp_strm.adb (Build_Record_Or_Elementary_Input_Function,
Build_Record_Or_Elementary_Output_Procedure): For Input and
Output attributes, do not read/write the discriminants if they
have default values; that will be done by Read/Write.
From-SVN: r212798
Robert Dewar [Fri, 18 Jul 2014 09:48:47 +0000 (09:48 +0000)]
sem_aggr.adb, [...]: Change name Packed_Array_Type to Packed_Array_Impl_Type.
2014-07-18 Robert Dewar <dewar@adacore.com>
* sem_aggr.adb, exp_ch5.adb, sem_ch3.adb, layout.adb, sem_type.adb,
exp_util.adb, exp_attr.adb, einfo.adb, einfo.ads, exp_pakd.adb,
checks.adb, exp_pakd.ads, freeze.adb, sem_util.adb, exp_dbug.adb,
exp_dbug.ads, exp_ch4.adb, sem_ch8.adb, exp_aggr.adb, sem_eval.adb,
sem_ch13.adb: Change name Packed_Array_Type to Packed_Array_Impl_Type.
From-SVN: r212797
Arnaud Charlet [Fri, 18 Jul 2014 09:46:49 +0000 (11:46 +0200)]
[multiple changes]
2014-07-18 Robert Dewar <dewar@adacore.com>
* lib-writ.adb, makeutl.adb, ali.ads: Minor reformatting.
2014-07-18 Vincent Celier <celier@adacore.com>
* lib-writ.ads: Update documentation about the D lines.
From-SVN: r212796
Arnaud Charlet [Fri, 18 Jul 2014 09:44:45 +0000 (11:44 +0200)]
[multiple changes]
2014-07-18 Ed Schonberg <schonberg@adacore.com>
* sem_ch13.adb (Replace_Type_References_Generic): Use type entity
as a parameter, rather than its Chars field, in order to locate
freeze node of type. If the predicate or invariant has references
to types other than the one to which the contract applies, these
types must be frozen, and the corresponding predicate functions
created, before that freeze node.
2014-07-18 Robert Dewar <dewar@adacore.com>
* freeze.adb, einfo.ads, einfo.adb: Minor code reorganization.
* par_sco.adb: Minor reformatting.
2014-07-18 Gary Dismukes <dismukes@adacore.com>
* exp_ch4.adb (Real_Range_Check): Turn off
the Do_Range_Check flag on the conversion's current Expression
argument rather than on the originally captured Operand node,
as Expression may reflect a rewriting (as in conversions to a
fixed-point type).
2014-07-18 Vincent Celier <celier@adacore.com>
* ali.adb (Scan_ALI): Set Sdep_Record.Unit_Name, when the unit
is not a subunit.
* ali.ads (Sdep_Record): New component Unit_Name.
* lib-writ.adb (Write_ALI): Write the unit name in D lines.
* makeutl.adb (Check_Source_Info_In_ALI): Return False if a
dependent unit is in a project and the source file name is not
one of its sources.
From-SVN: r212795
Bob Duff [Fri, 18 Jul 2014 09:40:33 +0000 (09:40 +0000)]
s-addima.ads: Minor: add comment.
2014-07-18 Bob Duff <duff@adacore.com>
* s-addima.ads: Minor: add comment.
From-SVN: r212794
Thomas Quinot [Fri, 18 Jul 2014 09:39:09 +0000 (09:39 +0000)]
freeze.adb (Check_Component_Storage_Order): Fix enforcement of nesting rules for composites with different SSOs.
2014-07-18 Thomas Quinot <quinot@adacore.com>
* freeze.adb (Check_Component_Storage_Order): Fix enforcement
of nesting rules for composites with different SSOs.
2014-07-18 Thomas Quinot <quinot@adacore.com>
* par_sco.adb (Is_Logical_Operator): An If_Expression is not
a proper logical operator.
(Has_Decision): An If_Expression indicates the presence of a decision
although it is not a logical operator.
From-SVN: r212793
Arnaud Charlet [Fri, 18 Jul 2014 09:37:41 +0000 (11:37 +0200)]
[multiple changes]
2014-07-18 Robert Dewar <dewar@adacore.com>
* gnat_ugn.texi: Remove note that -gnatR not allowed with -gnatc.
* switch-c.adb: Remove prohibition of -gnatR and -gnatc together.
2014-07-18 Eric Botcazou <ebotcazou@adacore.com>
* sem_ch13.adb (Kill_Rep_Clause): Clear Comes_From_Source flag
on the null statement.
2014-07-18 Thomas Quinot <quinot@adacore.com>
* adaint.c: Minor comment rewording.
* socket.c: Define macros _REENTRANT and _THREAD_SAFE so that
use of errno in this file is thread safe.
From-SVN: r212791
Arnaud Charlet [Fri, 18 Jul 2014 09:36:24 +0000 (11:36 +0200)]
[multiple changes]
2014-07-18 Arnaud Charlet <charlet@adacore.com>
* gnat_ugn.texi: Doc clarification.
* sem_ch13.adb (Kill_Rep_Clause): Use Replace not Rewrite.
* sem_ch13.ads: Minor comment update.
2014-07-18 Robert Dewar <dewar@adacore.com>
* repinfo.ads: Minor comment fix.
2014-07-18 Robert Dewar <dewar@adacore.com>
* par-prag.adb: Add dummy entry for Default_Scalar_Storage_Order.
* sem_prag.adb: Add dummy implementation of
Default_Scalar_Storage_Order.
* snames.ads-tmpl: Add dummy entry for
Default_Scalar_Storage_Order pragma.
2014-07-18 Robert Dewar <dewar@adacore.com>
* opt.adb (Tree_Read): Read Address_Is_Private,
Ignore_Rep_Clauses, Ignore_Style_Check_Pragmas, Multiple_Unit_Index.
(Tree_Write): Corresponding writes
* opt.ads: Minor comment reformatting and fixes.
* tree_io.ads: Increment ASIS_Version_Number.
From-SVN: r212790
Robert Dewar [Fri, 18 Jul 2014 09:34:17 +0000 (09:34 +0000)]
sem_attr.adb, [...]: Minor reformatting.
2014-07-18 Robert Dewar <dewar@adacore.com>
* sem_attr.adb, s-os_lib.ads, prj-tree.adb: Minor reformatting.
* types.h: Fix typo.
2014-07-18 Robert Dewar <dewar@adacore.com>
* freeze.adb (Check_Address_Clause): Use Kill_Rep_Clause (no
functional change).
* gnat_ugn.texi: Document that -gnatI removes rep clauses from
ASIS trees.
* sem_ch13.adb (Kill_Rep_Clause): New procedure
(Analyze_Attribute_Definition_Clause): Use
Kill_Rep_Clause. This is just a cleanup, no functional effect.
(Analyze_Enumeration_Representation_Clause):
Use Kill_Rep_Clause. This means that enum rep
clauses are now properly removed from -gnatct trees.
(Analyze_Record_Representation_Clause): Same change.
* sem_ch13.ads (Kill_Rep_Clause): New procedure.
From-SVN: r212789
Pascal Obry [Fri, 18 Jul 2014 09:31:36 +0000 (09:31 +0000)]
s-os_lib.ads, [...] (GM_Time_Of): New routine to create an OS_Time from time parts.
2014-07-18 Pascal Obry <obry@adacore.com>
* s-os_lib.ads, s-os_lib.adb (GM_Time_Of): New routine to create an
OS_Time from time parts.
* adaint.h, adaint.c (__gnat_to_os_time): New routine.
From-SVN: r212788
Arnaud Charlet [Fri, 18 Jul 2014 09:29:54 +0000 (11:29 +0200)]
[multiple changes]
2014-07-18 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb (Try_Container_Indexing): Refine previous patch for
indexing over containers that are derived types: check whether
signature of found operation has the correct first parameter
before retrieving directly a primitive operation.
2014-07-18 Ed Schonberg <schonberg@adacore.com>
* sem_attr.adb (Analyze_Attribute, case 'Update): Set
Do_Range_Check flag on dynamic bounds of a range used in a
component association in the argument of Update.
2014-07-18 Thomas Quinot <quinot@adacore.com>
* adaint.c: #define _REENTRANT and _THREAD_SAFE in order for
accesses to errno(3) to be thread safe.
2014-07-18 Vincent Celier <celier@adacore.com>
* prj-tree.adb (Imported_Or_Extended_Project_Of): For each non
limited imported project that is an extending project, return
a project being extended if it has the expected name.
2014-07-18 Pascal Obry <obry@adacore.com>
* s-os_lib.ads, s-os_lib.adb (Set_File_Last_Modify_Time_Stamp): New
routine to set the last modification time stamp for the given file.
* gnatchop.adb (File_Time_Stamp): Removed.
(Write_Unit): Use
Set_File_Last_Modify_Time_Stamp instead of ad-hoc implementation.
From-SVN: r212787
Ed Schonberg [Fri, 18 Jul 2014 09:27:00 +0000 (09:27 +0000)]
sem_aggr.adb (Aggregate_Constraint_Checks): Moved to sem_util.
2014-07-18 Ed Schonberg <schonberg@adacore.com>
* sem_aggr.adb (Aggregate_Constraint_Checks): Moved to sem_util.
* sem_util.ads, sem_util.adb (Aggregate_Constraint_Checks):
Moved here, so it can be shared with the resolution of 'Update,
whose argument shares some features with aggregates.
* sem_attr.adb (Resolve_Attribute, case 'Update): Apply
Aggregate_Constraint_Checks with the expression of each
association, so that the Do_Range_Check flag is set when needed.
2014-07-18 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb (Try_Container_Indexing): If the container
type is a derived type, the value of the inherited aspect is
the Reference operation declared for the parent type. However,
Reference is also a primitive operation of the new type, and
the inherited operation has a different signature. We retrieve
the right one from the list of primitive operations of the
derived type.
From-SVN: r212786
Arnaud Charlet [Fri, 18 Jul 2014 09:25:40 +0000 (11:25 +0200)]
[multiple changes]
2014-07-18 Vincent Celier <celier@adacore.com>
* debug.adb: Update comment.
2014-07-18 Hristian Kirtchev <kirtchev@adacore.com>
* exp_util.adb (Needs_Finalization): There is no reason why a
C type should not benefit from finalization actions.
2014-07-18 Thomas Quinot <quinot@adacore.com>
* s-oscons-tmplt.c (NAME_MAX): Fix definition for Solaris
(FILENAME_MAX): Remove unneeded definition.
From-SVN: r212785
Robert Dewar [Fri, 18 Jul 2014 09:24:26 +0000 (09:24 +0000)]
exp_attr.adb, debug.adb: Update comments.
2014-07-18 Robert Dewar <dewar@adacore.com>
* exp_attr.adb, debug.adb: Update comments.
From-SVN: r212784
Arnaud Charlet [Fri, 18 Jul 2014 09:23:28 +0000 (11:23 +0200)]
[multiple changes]
2014-07-18 Vincent Celier <celier@adacore.com>
* par-ch4.adb (Simple_Expression): Add missing style check
for binary adding operators.
(Term): Add missing style check for multiplying operators.
2014-07-18 Robert Dewar <dewar@adacore.com>
* impunit.adb: Minor comment correction.
* widechar.adb, s-wchcon.ads: Minor comment corrections.
From-SVN: r212783
Arnaud Charlet [Fri, 18 Jul 2014 09:20:28 +0000 (11:20 +0200)]
[multiple changes]
2014-07-18 Robert Dewar <dewar@adacore.com>
* sem_ch13.adb (Build_Discrete_Static_Predicate): New name
for Build_Static_Predicate (Build_Predicate_Functions):
Don't try to build discrete predicate for real type.
(Build_Predicate_Functions): Report attempt to use
Static_Predicate function on real type as unimplemented.
* sem_util.adb (Check_Expression_Against_Static_Predicate):
Add guard to prevent blow up on predicate for real type.
2014-07-18 Ed Schonberg <schonberg@adacore.com>
* einfo.adb (Set_Static_Predicate): Simplify assertion to handle
properly static predicate on enumeration types and modular types
(not subtypes).
2014-07-18 Pierre-Marie Derodat <derodat@adacore.com>
* scos.ads (SCO_Unit_Table_Entry): Add a field to keep track of
the corresponding source file index.
* get_scos.ads (Get_SCOs): Add a default value for it.
* par_sco.adb (SCO_Record): Fill the corresponding value.
* scos.h: New.
2014-07-18 Vincent Celier <celier@adacore.com>
* a-strunb-shared.adb, s-auxdec.ads, s-rannum.adb, atree.ads,
urealp.adb, vms_data.ads, lib.ads, s-auxdec-vms_64.ads: Minor
reformatting.
* gnat_ugn.texi: Add documentation for new gnatmem switch -t.
2014-07-18 Thomas Quinot <quinot@adacore.com>
* g-sercom.ads (Set): document possible data loss.
2014-07-18 Ed Schonberg <schonberg@adacore.com>
* exp_attr.adb (Expand_N_Attribute_Reference, cases Input,
Output, Read, Write): If the restriction No_Streams is active,
replace each occurrence of a stream attribute by an explicit
Raise statement.
From-SVN: r212782
Robert Dewar [Fri, 18 Jul 2014 09:14:14 +0000 (09:14 +0000)]
par_sco.adb, [...]: Minor reformatting.
2014-07-18 Robert Dewar <dewar@adacore.com>
* par_sco.adb, a-reatim.ads, exp_attr.adb, sem_util.adb: Minor
reformatting.
2014-07-18 Robert Dewar <dewar@adacore.com>
* einfo.ads, einfo.adb (Has_Out_Or_In_Out_Parameter): New flag and
function.
(Set_Has_Out_Or_In_Out_Parameter): New procedure.
* sem_ch6.adb (Set_Formal_Mode): Set Has_Out_Or_In_Out_Parameter flag.
* sem_res.adb (Resolve_Call): Error if call of Ada 2012 function
with OUT or IN OUT from earlier Ada mode (e.g. Ada 2005)
From-SVN: r212780
Arnaud Charlet [Fri, 18 Jul 2014 09:05:04 +0000 (11:05 +0200)]
[multiple changes]
2014-07-18 Robert Dewar <dewar@adacore.com>
* bcheck.adb (Check_Consistent_Restrictions):
Remove obsolete code checking for violation of
No_Standard_Allocators_After_Elaboration (main program)
* bindgen.adb (Gen_Adainit): Handle
No_Standard_Allocators_After_Elaboration
(Gen_Output_File_Ada): ditto.
* exp_ch4.adb (Expand_N_Allocator): Handle
No_Standard_Allocators_After_Elaboration.
* Makefile.rtl: Add entry for s-elaall
* rtsfind.ads: Add entry for Check_Standard_Allocator.
* s-elaall.ads, s-elaall.adb: New files.
* sem_ch4.adb (Analyze_Allocator): Handle
No_Standard_Allocators_After_Elaboration.
2014-07-18 Robert Dewar <dewar@adacore.com>
* lib.adb, lib.ads, lib-writ.adb, lib-writ.ads, ali.adb,
ali.ads, lib-load.adb: Remove Lib.Has_Allocator and all uses.
Remove AB parameter from ali files and all uses.
Remove Allocator_In_Body and all uses.
2014-07-18 Robert Dewar <dewar@adacore.com>
* g-expect-vms.adb: Add comment.
2014-07-18 Thomas Quinot <quinot@adacore.com>
* par_sco.adb (Is_Logical_Operation): return True for
N_If_Expression.
2014-07-18 Ed Schonberg <schonberg@adacore.com>
* sem_attr.adb (Resolve_Attribute, case 'Update): Do full
analysis and resolution of each choice in the associations within
the argument of Update, because they may be variable names.
2014-07-18 Hristian Kirtchev <kirtchev@adacore.com>
* exp_attr.adb (Expand_Loop_Entry_Attribute): Insert any condition
actions before the generated if statement.
2014-07-18 Hristian Kirtchev <kirtchev@adacore.com>
* gnat_ugn.texi Enhance the documentation of
switches -gnateA and -gnateV.
2014-07-18 Ed Schonberg <schonberg@adacore.com>
* sem_util.adb (Build_Default_Subtype): Add missing condition
so that code matches description: use the full view of the base
only if the base is private and the subtype is not.
From-SVN: r212779
Uros Bizjak [Fri, 18 Jul 2014 06:34:20 +0000 (08:34 +0200)]
configure.tgt (alpha*): Add -mfp-trap-mode=sui to XCFLAGS.
* configure.tgt (alpha*): Add -mfp-trap-mode=sui to XCFLAGS.
From-SVN: r212778
Jan-Benedict Glaw [Fri, 18 Jul 2014 01:59:03 +0000 (01:59 +0000)]
Move ChangeLog entry to the correct file
From-SVN: r212777
Jan-Benedict Glaw [Fri, 18 Jul 2014 01:57:18 +0000 (01:57 +0000)]
mmix.c (mmix_intval): Drop unused automatic variable.
2014-07-18 Jan-Benedict Glaw <jbglaw@lug-owl.de>
* config/mmix/mmix.c (mmix_intval): Drop unused automatic variable.
From-SVN: r212776
GCC Administrator [Fri, 18 Jul 2014 00:16:52 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r212774
John David Anglin [Thu, 17 Jul 2014 23:44:57 +0000 (23:44 +0000)]
pa-linux.h (TARGET_OS_CPP_BUILTINS): Remove defines for __GCC_HAVE_SYNC_COMPARE_AND_SWAP_1...
* config/pa/pa-linux.h (TARGET_OS_CPP_BUILTINS): Remove defines for
__GCC_HAVE_SYNC_COMPARE_AND_SWAP_1, __GCC_HAVE_SYNC_COMPARE_AND_SWAP_2
and __GCC_HAVE_SYNC_COMPARE_AND_SWAP_4.
(HAVE_sync_compare_and_swapqi): Define.
(HAVE_sync_compare_and_swaphi): Likewise.
(HAVE_sync_compare_and_swapsi): Likewise.
From-SVN: r212770
John David Anglin [Thu, 17 Jul 2014 23:18:50 +0000 (23:18 +0000)]
linux-atomic.c (__sync_lock_release_4): New.
* config/pa/linux-atomic.c (__sync_lock_release_4): New.
(SYNC_LOCK_RELEASE): Update to use __kernel_cmpxchg for release.
Don't use SYNC_LOCK_RELEASE for int type.
From-SVN: r212767
Richard Sandiford [Thu, 17 Jul 2014 20:17:21 +0000 (20:17 +0000)]
p5600.md: Add missing cpu tests.
gcc/
* config/mips/p5600.md: Add missing cpu tests.
From-SVN: r212765
Richard Sandiford [Thu, 17 Jul 2014 19:36:17 +0000 (19:36 +0000)]
umips-lwp-1.c (foo): Use a shift/add sequence involving both inputs rather than a multiplication...
gcc/testsuite/
* gcc.target/mips/umips-lwp-1.c (foo): Use a shift/add sequence
involving both inputs rather than a multiplication involving one.
* gcc.target/mips/umips-lwp-2.c (foo): Likewise.
* gcc.target/mips/umips-lwp-3.c (foo): Likewise.
* gcc.target/mips/umips-lwp-4.c (foo): Likewise.
From-SVN: r212763
Paolo Carlini [Thu, 17 Jul 2014 16:22:19 +0000 (16:22 +0000)]
re PR c++/50961 (Fails to decay template function properly(?))
/cp
2014-07-17 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/50961
* call.c (standard_conversion): Use resolve_nondeduced_context
for type_unknown_p (EXPR) && TREE_CODE (TO) == BOOLEAN_TYPE.
/testsuite
2014-07-17 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/50961
* g++.dg/template/operator13.C: New.
From-SVN: r212760
Roman Gareev [Thu, 17 Jul 2014 15:09:40 +0000 (15:09 +0000)]
configure.ac: Don't accept isl 0.11.
* configure.ac: Don't accept isl 0.11.
* configure: Regenerate.
From-SVN: r212758
Kyrylo Tkachov [Thu, 17 Jul 2014 10:56:53 +0000 (10:56 +0000)]
[AArch64] Implement vfma_f64, vmla_f64, vfms_f64, vmls_f64 intrinsics.
[gcc/]
* config/aarch64/arm_neon.h (vfma_f64): New intrinsic.
(vmla_f64): Likewise.
(vfms_f64): Likewise.
(vmls_f64): Likewise.
[testsuite/]
* gcc.target/aarch64/simd/vfma_f64.c: New test.
* gcc.target/aarch64/simd/vmla_f64.c: Likewise.
* gcc.target/aarch64/simd/vfms_f64.c: Likewise.
* gcc.target/aarch64/simd/vmls_f64.c: Likewise.
From-SVN: r212756
Max Ostapenko [Thu, 17 Jul 2014 10:50:25 +0000 (13:50 +0300)]
bounds-2.c: Change output pattern.
gcc/testsuite/
2014-07-17 Max Ostapenko <m.ostapenko@partner.samsung.com>
* c-c++-common/ubsan/bounds-2.c: Change output pattern.
* c-c++-common/ubsan/bounds-5.c: Likewise.
* c-c++-common/ubsan/bounds-6.c: Likewise.
* c-c++-common/ubsan/bounds-7.c: Likewise.
* c-c++-common/ubsan/float-cast-overflow-1.c: Likewise.
* c-c++-common/ubsan/float-cast-overflow-10.c: Likewise.
* c-c++-common/ubsan/float-cast-overflow-2.c: Likewise.
* c-c++-common/ubsan/float-cast-overflow-3.c: Likewise.
* c-c++-common/ubsan/float-cast-overflow-4.c: Likewise.
* c-c++-common/ubsan/float-cast-overflow-5.c: Likewise.
* c-c++-common/ubsan/float-cast-overflow-6.c: Likewise.
* c-c++-common/ubsan/float-cast-overflow-8.c: Likewise.
* gcc.dg/ubsan/float-cast-overflow-bf.c: Likewise.
* g++.dg/ubsan/float-cast-overflow-bf.C: Likewise.
From-SVN: r212755
Kyrylo Tkachov [Thu, 17 Jul 2014 10:40:06 +0000 (10:40 +0000)]
[AArch64][tests] Mark vca*_f* tests variable as volatile.
* gcc.target/aarch64/simd/vcaled_f64.c: Mark expected value volatile.
* gcc.target/aarch64/simd/vcales_f32.c: Likewise.
* gcc.target/aarch64/simd/vcaltd_f64.c: Likewise.
* gcc.target/aarch64/simd/vcalts_f32.c: Likewise.
From-SVN: r212754
Kyrylo Tkachov [Thu, 17 Jul 2014 10:37:48 +0000 (10:37 +0000)]
[AArch64] Handle fcvta[su] and frint in RTX cost function.
* config/aarch64/aarch64.c (aarch64_frint_unspec_p): New function.
(aarch64_rtx_costs): Handle FIX, UNSIGNED_FIX, UNSPEC.
From-SVN: r212753