Add missing break statement.

gcc/
* omp-low.c (extract_omp_for_data): Add missing break statement.

From-SVN: r212971

tree-inline.h (estimate_move_cost): Add speed_p parameter.

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

* tree-inline.h (estimate_move_cost): Add speed_p parameter.
* tree-inline.c (estimate_move_cost): Add speed_p parameter
and adjust MOVE_RATIO query accordingly.
(estimate_num_insns): Adjust callers.
* ipa-prop.c (ipa_populate_param_decls): Likewise.
* ipa-cp.c (gather_context_independent_values,
estimate_local_effects): Likewise.
* ipa-split.c (consider_split): Likewise.

From-SVN: r212970

remove useless unused attributes in i386 code

gcc/

* config/i386/driver-i386.c: Remove names of unused arguments and
unnecessary unused attributes.
* config/i386/host-mingw32.c: Likewise.
* config/i386/i386.c: Likewise.
* config/i386/winnt-stubs.c: Likewise.
* config/i386/winnt.c: Likewise.

From-SVN: r212968

Daily bump.

From-SVN: r212967

Add a blank line

From-SVN: r212964

Update x32 baseline_symbols.txt

* config/abi/post/x86_64-linux-gnu/x32/baseline_symbols.txt: Update.

From-SVN: r212963

[AArch64] Prologue and epilogue test cases.

From-SVN: r212959

[AArch64] Simplify epilogue expansion using new helper functions.

From-SVN: r212958

[AArch64] Simplify prologue expand using new helper functions.

From-SVN: r212957

[AArch64] Split save restore path.

From-SVN: r212956

[AArch64] Unify vector and core register save/restore code.

From-SVN: r212955

[AArch64] Use helper functions to handle multiple modes.

From-SVN: r212954

[AArch64] Refactor code out into aarch64_next_callee_save

From-SVN: r212952

[AArch64] Hoist calculation of register rtx.

From-SVN: r212951

[AArch64] Remove useless variable 'increment'

From-SVN: r212950

[AArch64] Use register offset in cfun->machine->frame.reg_offset

From-SVN: r212949

Revert r212893:

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.

PR target/55701
* 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.

Revert r212892:
* config/arm/arm.c (output_move_neon): Handle REG explicitly.

From-SVN: r212948

[AArch64] Remove useless parameter base_rtx.

From-SVN: r212947

[AArch64] Remove useless local variable.

From-SVN: r212946

[AArch64] Consistent parameter types in prologue/epilogue generation.

From-SVN: r212945

[AArch64] GNU-Stylize some un-formatted code.

From-SVN: r212943

Remove redundant tests

PR libgcc/61685
* bid128_fma.c (rounding_correction): Remove redundant tests.

From-SVN: r212942

t-rtems-eabi: Add mthumb/march=armv7-r/mfpu=vfpv3-d16/mfloat-abi=hard...

2014-07-23  Sebastian Huber  <sebastian.huber@embedded-brains.de>

* config/arm/t-rtems-eabi: Add
mthumb/march=armv7-r/mfpu=vfpv3-d16/mfloat-abi=hard,
mthumb/march=armv7-m/mfpu=fpv4-sp-d16/mfloat-abi=hard,
mbig-endian/mthumb/march=armv7-r, and
mbig-endian/mthumb/march=armv7-r/mfpu=vfpv3-d16/mfloat-abi=hard
multilibs.

From-SVN: r212936

config.gcc: Add nios2-*-rtems*.

2014-07-23  Sebastian Huber  <sebastian.huber@embedded-brains.de>
    Chris Johns <chrisj@rtems.org>
    Joel Sherrill <joel.sherrill@oarcorp.com>

* config.gcc: Add nios2-*-rtems*.
* config/nios2/rtems.h: New file.
* gcc/config/nios2/t-rtems: New file.

Co-Authored-By: Chris Johns <chrisj@rtems.org>
Co-Authored-By: Joel Sherrill <joel.sherrill@oarcorp.com>
From-SVN: r212935

bounds-2.c (fn4): Adjust to check the array size in the structure.

* c-c++-common/ubsan/bounds-2.c (fn4): Adjust to check the array size
in the structure.

From-SVN: r212933

rs6000: fix for PR61396 (wide-int fallout)

CONSTANT_P is true for more than just all kinds of constant number.
This patch undoes that part of the wide-int patches.

From-SVN: r212932

gcov-tool.c (gcov_list): Declare here.

gcc/
* gcov-tool.c (gcov_list): Declare here.
(set_gcov_list): Remove.
(gcov_output_files): Set gcov_list directly.

libgcc/
* libgcov-driver.c (set_gcov_list): Remove.
(gcov_list): Make non-static in GCOV_TOOL.
* libgcov.h (GCOV_TOOL_LINKAGE): Remove unused #define.

From-SVN: r212931

printers.py (StdExpAnyPrinter): Convert type to string instead of using gdb.Type.name attribute.

* python/libstdcxx/v6/printers.py (StdExpAnyPrinter): Convert type
to string instead of using gdb.Type.name attribute.

From-SVN: r212929

invoke.texi: -O3 enables -ftree-loop-distribute-patterns.

2014-07-23  Host Schirmeier  <horst@schirmeier.com>

* doc/invoke.texi: -O3 enables -ftree-loop-distribute-patterns.

From-SVN: r212928

[ARM] Enable arm target in ira-shrinkwrap-prep* testcases.

[gcc/]

* config/arm/arm.c (arm_get_frame_offsets): If both r3 and other
callee-saved registers are available for padding purpose
and r3 is not mandatory, then prefer use those callee-saved
instead of r3.

[gcc/testsuite]

* gcc.dg/ira-shrinkwrap-prep-1.c (target): Add arm_nothumb.
* gcc.dg/ira-shrinkwrap-prep-2.c (target): Likewise.
* gcc.dg/pr10474.c (target): Likewise.

From-SVN: r212927

params.def (PARAM_MAX_COMBINE_INSNS): New.

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

* params.def (PARAM_MAX_COMBINE_INSNS): New.
* combine.c: Include statistics.h and params.h.
(combine_instructions): Guard three and four insn combines
with max-combine-insns value.  Record statistics for combines
performed.
* doc/invoke.texi (max-combine-insns): Document new param.

From-SVN: r212923

gcc/
* graphite-isl-ast-to-gimple.c:
(translate_isl_ast_node_block): New function.
(translate_isl_ast): Add calling of translate_isl_ast_node_block.

gcc/testsuite/gcc.dg/graphite/
* isl-ast-gen-blocks-1.c: New testcase.
* isl-ast-gen-blocks-2.c: New testcase.

From-SVN: r212922

gcc/
* graphite-isl-ast-to-gimple.c:
(get_max_schedule_dimensions): New function.
(extend_schedule): Likewise.
(generate_isl_schedule): Add calling of extend_schedule and
get_max_schedule_dimensions.

From-SVN: r212921

Daily bump.

From-SVN: r212919

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

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

[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

[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

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

[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

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

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

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

Daily bump.

From-SVN: r212903

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

arm.c (output_move_neon): Handle REG explicitly.

* config/arm/arm.c (output_move_neon): Handle REG explicitly.

From-SVN: r212892

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

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

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

ChangeLog: Correct PR number.

* ChangeLog: Correct PR number.
* testsuite/ChangeLog: Ditto.

From-SVN: r212887

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

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

contrib/
2014-07-21  Trevor Saunders  <tsaunders@mozilla.com>

mklog: Read name and email from git config when available.

From-SVN: r212883

Daily bump.

From-SVN: r212882

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

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

compiler: If a variable that is only set, give not used error.

From-SVN: r212876

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

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

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

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

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

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

configure.ac: Accept only CLooG 0.18.1.

* configure.ac: Accept only CLooG 0.18.1.
* configure: Regenerate.

From-SVN: r212869

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

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

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

runtime: also disable split stacks for runtime_snprintf function under Clang

From-SVN: r212862

Daily bump.

From-SVN: r212858

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

* toplev.c (output_stack_usage): Adjust the location of the warning.

From-SVN: r212850

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

* gnat_rm.texi: Clean up for makeinfo 5.2.

From-SVN: r212845

* gnat_rm.texi (Machine Code Insertions): Clean up.

From-SVN: r212844

sync.md (*membar_storeload_leon3): New insn.

* config/sparc/sync.md (*membar_storeload_leon3): New insn.
(*membar_storeload): Disable for LEON3.

From-SVN: r212841

libgo: Bump version number.

From-SVN: r212840

libgo: Update to Go 1.3 release.

From-SVN: r212837

Daily bump.

From-SVN: r212833

compiler: fix test for mismatch between function results and uses

Test is http://codereview.appspot.com/111360045 .

From-SVN: r212830

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

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

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

* doc/extend.texi (Template Instantiation): Remove stray parenthesis.

From-SVN: r212821

Update comments

From-SVN: r212819

[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

[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

[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

[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

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

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

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

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

[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

[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

[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

[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

[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

[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

[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

[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