aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2014-01-27[multiple changes]Arnaud Charlet14-90/+223
2014-01-27 Thomas Quinot <quinot@adacore.com> * exp_ch7.adb: Minor reformatting. 2014-01-27 Robert Dewar <dewar@adacore.com> * opt.adb (SPARK_Mode): Default for library units is None rather than Off. * opt.ads: Remove AUTO from SPARK_Mode_Type SPARK_Mode_Type is no longer ordered. * sem_prag.adb (Analyze_Pragma, case SPARK_Mode): Remove AUTO possibility. * snames.ads-tmpl (Name_Auto): Removed, no longer used. 2014-01-27 Robert Dewar <dewar@adacore.com> * par-ch5.adb (P_Sequence_Of_Statements): Make entry in Suspicious_Labels table if we have identifier; followed by loop or block. * par-endh.adb (Evaluate_End_Entry): Search Suspicious_Labels table. * par.adb (Suspicious_Labels): New table. 2014-01-27 Robert Dewar <dewar@adacore.com> * exp_aggr.adb (Check_Bounds): Reason is range check, not length check. 2014-01-27 Yannick Moy <moy@adacore.com> * get_spark_xrefs.adb (Get_SPARK_Xrefs): Accept new type 'c' for reference. * lib-xref-spark_specific.adb (Is_Global_Constant): Remove useless function now. (Add_SPARK_Xrefs): Include references to constants. * spark_xrefs.ads Document new character 'c' for references to constants. 2014-01-27 Thomas Quinot <quinot@adacore.com> * exp_smem.adb (Add_Write_After): For a function call, insert write as an after action in a transient scope. From-SVN: r207140
2014-01-27[multiple changes]Arnaud Charlet3-63/+95
2014-01-27 Thomas Quinot <quinot@adacore.com> * exp_smem.adb (Expand_Shared_Passive_Variable): For a reference to a shared variable as an OUT formal in a call to an init proc, the 'Read call must be emitted after, not before, the call. 2014-01-27 Robert Dewar <dewar@adacore.com> * gnat_rm.texi: Remove mention of AUTO mode for SPARK_Mode pragma. From-SVN: r207139
2014-01-27[multiple changes]Arnaud Charlet16-500/+849
2014-01-27 Robert Dewar <dewar@adacore.com> * a-wichha.adb (Character_Set_Version): Change to output proper value. 2014-01-27 Hristian Kirtchev <kirtchev@adacore.com> * einfo.adb (Is_Input_Only_State): Removed. (Is_Non_Volatile_State): Removed. (Is_Output_State): Removed. * einfo.ads (Is_Input_Only_State): Remove attribute and subprogram. Update related entity. (Is_Non_Volatile_State): Remove attribute and subprogram. Update related entity. (Is_Output_State): Removed attribute and subprogram. Update related entity. * exp_ch6.adb (Expand_Subprogram_Contract): Update comment on generated code. * sem_ch3.adb (Analyze_Declarations): Analyze the contract of an object, not just variables. (Analyze_Object_Contract): New routine. (Analyze_Variable_Contract): Removed. (Process_Discriminants): Detect an illegal use of volatile discriminant in SPARK mode. * sem_ch5.adb (Analyze_Iterator_Specification): Detect an illegal use of volatile loop variable. (Analyze_Loop_Parameter_Specification): Detect an illegal use of volatile loop variable. * sem_ch6.adb (Process_Formals): Update the volatile object detection. Detect an illegal formal of mode IN OUT or OUT in SPARK mode. Enhance the error messages with references. * sem_ch12.adb (Instantiate_Object): Update the volatile object detection. Enhance the error messages with references. * sem_prag.adb (Analyze_Abstract_State): Enhance the error messages with references. (Analyze_Contract_Case): Enhance the error messages with references. (Analyze_External_Property): Call Check_Duplicate_Property to process an external property. (Analyze_External_Property_In_Decl_Part): New routine. (Analyze_External_State_In_Decl_Part): Removed. (Analyze_Global_Item): Detect an illegal use of a volatile constant. Detect an illegal use of a variable with enabled Effective_Reads. Enhance the error messages with references. Remove obsolete checks concerning Input_Only and Output_Only states. (Analyze_Initialization_Item): Enhance the error messages with references. (Analyze_Initializes_In_Decl_Part): Do not collect the states and variables when the initialization list is null. (Analyze_Input_Item): Enhance the error messages with references. (Analyze_Input_Output): Enhance the error messages with references. (Analyze_Pragma): Enhance the error messages with references. (Analyze_Refinement_Clause): Code reformatting. (Analyze_Refined_Depends_In_Decl_Part): Rename global variable Global to Reg_Global and update all occurrences. Add local variables D7 and D8. Update the error messages with references. Update the call to Collect_Global_Items. (Analyze_Refined_Global_In_Decl_Part): Add local variables Has_Proof_In_State, Proof_In_Constits and Proof_In_Items. Update the call to Collect_Global_Items. Account for a Proof_In state in null / useless refinement checks. Verify the coverage of Proof_In states. (Check_Dependency_Clause): Remove local variable Out_Constits. Remove the retrieval and removal of constituents for an Output_Only state. Remove the reporting of unused Output_Only state constituents. (Check_Duplicate_Mode): Enhance the error message with a reference. (Check_Duplicate_Property): New routine. (Check_Duplicate_Option): Enhance the error message with a reference. (Check_External_Properties): Enhance the error message with a reference. (Check_Function_Return): Enhance the error message with a reference. (Check_In_Out_States): Update comment on usage. Add a specialized error message for Proof_In constituents. Enhance the error message with a reference. (Check_Input_States): Update comment on usage. Account for possible Proof_In constituents. Enhance the error message with a areference. (Check_Matching_Constituent): Enhance the error message with a reference. (Check_Matching_State): Enchance the error message with a reference. (Check_Mode): Add local variable From_Global. Update the call to Find_Mode. Emit more precise error messages concerning extra items (Check_Mode_Restriction_In_Enclosing_Context): Consider pragma Refined_Global. Enhance the error message with a reference. (Check_Mode_Restriction_In_Function): Enhance the error message with a reference. (Check_Output_States): Update comment on usage. Add local variable Posted. Account for possible Proof_In constituents. Produce a detailed list of missing constituents. (Check_Proof_In_States): New routine. (Check_Refined_Global_Item): Handle Proof_In constituents. Enchance the error message with a reference. (Collect_Global_Items): Add formal parameters Proof_In_Items and Has_Proof_In_State. Update the comment on usage. Account for Proof_In items. (Create_Or_Modify_Clause): Enchance the error message with a reference. (Find_Mode): Add formal parameter From_Global. Update the comment on usage. Detect when the mode is governed by pragma [Refined_]Global. (Output_Constituents): Removed. (Report_Extra_Constituents): Report extra Proof_In constituents. (Report_Unused_Constituents): Removed. (Usage_Error): Code reformatting. Enhance the error messages with reference. * sem_prag.ads (Analyze_External_Property_In_Decl_Part): New routine. (Analyze_External_State_In_Decl_Part): Removed. * sem_res.adb (Resolve_Actuals): Update the volatile object detection. Enhance the error message with a reference. (Resolve_Entity_Name): Update the volatile object detection. Enhance the error message with a reference. * sem_util.adb (Is_Refined_State): Add a guard to avoid a crash. (Is_SPARK_Volatile_Object): New routine. (Has_Volatile_Component): New routine. * sem_util.ads (Is_Delegate): Alphabetized. (Is_SPARK_Volatile_Object): New routine. (Has_Volatile_Component): New routine. * snames.ads-tmpl: Remove names Name_Input_Only and Name_Output_Only. 2014-01-27 Ed Schonberg <schonberg@adacore.com> * sem_attr.adb: Resolve fully prefix of 'Update. From-SVN: r207138
2014-01-27re PR bootstrap/59934 (Bootstrap fail since r206941: expmed.h:252:33: error: ↵Jakub Jelinek2-3/+19
array subscript is above array bounds) PR bootstrap/59934 * expmed.h (expmed_mode_index): Rework so that analysis and optimziers know when the MODE_PARTIAL_INT and MODE_VECTOR_INT cases can never be reached. From-SVN: r207137
2014-01-27[multiple changes]Arnaud Charlet4-18/+61
2014-01-27 Ben Brosgol <brosgol@adacore.com> * gnat_rm.texi: Minor clarifications. 2014-01-27 Robert Dewar <dewar@adacore.com> * sem_elab.adb (Check_Internal_Call_Continue): Avoid complaining about call that is generated as part of an Initial_Condition check. * sem_prag.adb: Minor spelling correction. From-SVN: r207136
2014-01-27sem_prag.adb (Set_Convention_From_Pragma): Check that convention Ghost can ↵Robert Dewar4-6/+31
only apply to functions. 2014-01-27 Robert Dewar <dewar@adacore.com> * sem_prag.adb (Set_Convention_From_Pragma): Check that convention Ghost can only apply to functions. * einfo.ads, einfo.adb (Is_Ghost_Subprogram): Add clarifying comment. From-SVN: r207135
2014-01-27gnat_ugn.texi: Add Short_Enums to documentation of -gnatet/-gnateT.Robert Dewar5-2/+36
2014-01-27 Robert Dewar <dewar@adacore.com> * gnat_ugn.texi: Add Short_Enums to documentation of -gnatet/-gnateT. 2014-01-27 Robert Dewar <dewar@adacore.com> * sem_prag.adb (Analyze_Input_Item): Correct check for input item in same package. * sem_util.ads, sem_util.adb (Within_Scope): New function. From-SVN: r207134
2014-01-27[ARM] fix big.LITTLE spec rewritingJames Greenhalgh3-4/+13
gcc/ * common/config/arm/arm-common.c (arm_rewrite_mcpu): Handle multiple names. * config/arm/arm.h (BIG_LITTLE_SPEC): Do not discard mcpu switches. From-SVN: r207133
2014-01-27Core DR 475 PR c++/41174 PR c++/59224Jason Merrill5-13/+42
Core DR 475 PR c++/41174 PR c++/59224 * libsupc++/eh_throw.cc (__cxa_throw): Set uncaughtExceptions. * libsupc++/eh_alloc.cc (__cxa_allocate_dependent_exception) (__cxa_allocate_exception): Don't set it here. From-SVN: r207129
2014-01-27[PATCH - obvious] Remove unused create_gimple_tmp declarationJames Greenhalgh2-1/+4
gcc/ * gimple-builder.h (create_gimple_tmp): Delete. From-SVN: r207127
2014-01-27sh-mem.cc (sh_expand_cmpnstr): Fix remaining bytes after words comparisons.Christian Bruel4-14/+71
2014-01-27 Christian Bruel <christian.bruel@st.com> * config/sh/sh-mem.cc (sh_expand_cmpnstr): Fix remaining bytes after words comparisons. From-SVN: r207126
2014-01-27configure.ac (*-*-lynxos*): Delete.Eric Botcazou3-10/+5
* configure.ac (*-*-lynxos*): Delete. * configure: Regenerate. From-SVN: r207125
2014-01-27Daily bump.GCC Administrator1-1/+1
From-SVN: r207124
2014-01-26pa.md (call): Generate indirect long calls to non-local functions when ↵John David Anglin2-10/+37
outputing 32-bit code. * config/pa/pa.md (call): Generate indirect long calls to non-local functions when outputing 32-bit code. (call_value): Likewise except for special call to buggy powf function. From-SVN: r207121
2014-01-26pa.c (pa_attr_length_indirect_call): Adjust length of portable runtime and ↵John David Anglin2-9/+17
PIC indirect calls. * config/pa/pa.c (pa_attr_length_indirect_call): Adjust length of portable runtime and PIC indirect calls. (pa_output_indirect_call): Remove unnecessary nop from portable runtime and PIC call sequences. Use ldo instead of blr to set return register in PIC call sequence. From-SVN: r207120
2014-01-26re PR fortran/58007 ([OOP] ICE in free_pi_tree(): Unresolved fixup - ↵Mikael Morin2-0/+8
resolve_fixups does not fixup component of __class_bsr_Bsr_matrix) fortran/ PR fortran/58007 * module.c (read_module): Assert for component name correctness. From-SVN: r207118
2014-01-26acinclude.m4 (GLIBCXX_ENABLE_C99): Fix typo.Jonathan Wakely3-2/+5
* acinclude.m4 (GLIBCXX_ENABLE_C99): Fix typo. * configure: Regenerate. From-SVN: r207116
2014-01-26stl_map.h: Remove anachronistic comment.Jonathan Wakely8-7/+19
* include/bits/stl_map.h: Remove anachronistic comment. * include/bits/stl_multimap.h: Add whitespace. * testsuite/23_containers/map/modifiers/emplace/1.cc: Use -std=gnu++11 instead of -std=c++11. * testsuite/23_containers/map/operators/2.cc: Likewise. * testsuite/23_containers/multimap/modifiers/emplace/1.cc: Likewise. * testsuite/23_containers/multiset/modifiers/emplace/1.cc: Likewise. * testsuite/23_containers/set/modifiers/emplace/1.cc: Likewise. From-SVN: r207115
2014-01-26a-intnam-lynxos.ads, [...]: Removed, no longer maintained.Arnaud Charlet11-3988/+8
2014-01-26 Arnaud Charlet <charlet@adacore.com> * a-intnam-lynxos.ads, mlib-tgt-specific-lynxos.adb, s-osinte-lynxos-3.adb, s-osinte-lynxos-3.ads, s-osinte-lynxos.adb, s-osinte-lynxos.ads, s-taprop-lynxos.adb, s-tpopsp-lynxos.adb, system-lynxos-ppc.ads, system-lynxos-x86.ads: Removed, no longer maintained. From-SVN: r207114
2014-01-26Complete previous changes.Arnaud Charlet1-95/+0
From-SVN: r207113
2014-01-26Daily bump.GCC Administrator1-1/+1
From-SVN: r207110
2014-01-25Fix pilot error in previous checkinEric Botcazou1-18/+0
From-SVN: r207098
2014-01-25atomic.c: Include tconfig.h.Walter Lee2-2/+9
2014-01-25 Walter Lee <walt@tilera.com> * config/tilepro/atomic.c: Include tconfig.h. Don't include config.h or system.h. (bool) Define. From-SVN: r207088
2014-01-25atomic.c (pre_atomic_barrier): Mark inline.Walter Lee2-41/+274
2014-01-25 Walter Lee <walt@tilera.com> * config/tilepro/atomic.c (pre_atomic_barrier): Mark inline. (post_atomic_barrier): Ditto. (__fetch_and_do): New macro. (__atomic_fetch_and_do): Use __fetch_and_do. (__sync_fetch_and_do): New macro. (__sync_fetch_and_add_4): New function. (__sync_fetch_and_sub_4): New function. (__sync_fetch_and_or_4): New function. (__sync_fetch_and_and_4): New function. (__sync_fetch_and_xor_4): New function. (__sync_fetch_and_nand_4): New function. (__sync_fetch_and_add_8): New function. (__sync_fetch_and_sub_8): New function. (__sync_fetch_and_or_8): New function. (__sync_fetch_and_and_8): New function. (__sync_fetch_and_xor_8): New function. (__sync_fetch_and_nand_8): New function. (__do_and_fetch): New macro. (__atomic_do_and_fetch): Use __do_and_fetch. (__sync_do_and_fetch): New macro. (__sync_add_and_fetch_4): New function. (__sync_sub_and_fetch_4): New function. (__sync_or_and_fetch_4): New function. (__sync_and_and_fetch_4): New function. (__sync_xor_and_fetch_4): New function. (__sync_nand_and_fetch_4): New function. (__sync_add_and_fetch_8): New function. (__sync_sub_and_fetch_8): New function. (__sync_or_and_fetch_8): New function. (__sync_and_and_fetch_8): New function. (__sync_xor_and_fetch_8): New function. (__sync_nand_and_fetch_8): New function. (__sync_exchange_methods): New macro. (__sync_val_compare_and_swap_4): New function. (__sync_bool_compare_and_swap_4): New function. (__sync_lock_test_and_test_4): New function. (__sync_val_compare_and_swap_8): New function. (__sync_bool_compare_and_swap_8): New function. (__sync_lock_test_and_test_8): New function. (__subword_cmpxchg_body): New macro. (__atomic_compare_exchange_1): Use __subword_cmpxchg_body. (__atomic_compare_exchange_2): Ditto. (__sync_subword_cmpxchg): New macro. (__sync_val_compare_and_swap_1): New function. (__sync_bool_compare_and_swap_1): New function. (__sync_val_compare_and_swap_2): New function. (__sync_bool_compare_and_swap_2): New function. (__atomic_subword): Rename to ... (__subword): ... New name. (__atomic_subword_fetch): Use __subword. (__sync_subword_fetch): New macro. (__sync_fetch_and_add_1): New function. (__sync_fetch_and_sub_1): New function. (__sync_fetch_and_or_1): New function. (__sync_fetch_and_and_1): New function. (__sync_fetch_and_xor_1): New function. (__sync_fetch_and_nand_1): New function. (__sync_fetch_and_add_2): New function. (__sync_fetch_and_sub_2): New function. (__sync_fetch_and_or_2): New function. (__sync_fetch_and_and_2): New function. (__sync_fetch_and_xor_2): New function. (__sync_fetch_and_nand_2): New function. (__sync_add_and_fetch_1): New function. (__sync_sub_and_fetch_1): New function. (__sync_or_and_fetch_1): New function. (__sync_and_and_fetch_1): New function. (__sync_xor_and_fetch_1): New function. (__sync_nand_and_fetch_1): New function. (__sync_add_and_fetch_2): New function. (__sync_sub_and_fetch_2): New function. (__sync_or_and_fetch_2): New function. (__sync_and_and_fetch_2): New function. (__sync_xor_and_fetch_2): New function. (__sync_nand_and_fetch_2): New function. (__atomic_subword_lock): Use __subword. (__sync_subword_lock): New macro. (__sync_lock_test_and_set_1): New function. (__sync_lock_test_and_set_2): New function. From-SVN: r207087
2014-01-25atomic.c (BIT_OFFSET): Define.Walter Lee2-2/+14
2014-01-25 Walter Lee <walt@tilera.com> * config/tilepro/atomic.c (BIT_OFFSET): Define. (__atomic_subword_cmpxchg): Use BIT_OFFSET. (__atomic_subword): Ditto. From-SVN: r207086
2014-01-25atomic.c (__atomic_do_and_fetch): Add a prefix op argument.Walter Lee2-14/+34
2014-01-25 Walter Lee <walt@tilera.com> * config/tilepro/atomic.c (__atomic_do_and_fetch): Add a prefix op argument. (__atomic_nand_fetch_4): Add prefix op. (__atomic_nand_fetch_8): Ditto. From-SVN: r207085
2014-01-25sync.md (atomic_fetch_sub): Fix negation and avoid clobbering a live register.Walter Lee2-2/+14
2014-01-25 Walter Lee <walt@tilera.com> * config/tilegx/sync.md (atomic_fetch_sub): Fix negation and avoid clobbering a live register. From-SVN: r207084
2014-01-25tilegx-c.c (tilegx_cpu_cpp_builtins): Define ↵Walter Lee3-0/+15
__GCC_HAVE_SYNC_COMPARE_AND_SWAP_{1,2}. 2014-01-25 Walter Lee <walt@tilera.com> * config/tilegx/tilegx-c.c (tilegx_cpu_cpp_builtins): Define __GCC_HAVE_SYNC_COMPARE_AND_SWAP_{1,2}. * config/tilegx/tilepro-c.c (tilepro_cpu_cpp_builtins): Define __GCC_HAVE_SYNC_COMPARE_AND_SWAP_{1,2,4,8}. From-SVN: r207083
2014-01-25tilegx.c (tilegx_function_arg): Start 16-byte arguments on even registers.Walter Lee3-6/+46
2014-01-25 Walter Lee <walt@tilera.com> * config/tilegx/tilegx.c (tilegx_function_arg): Start 16-byte arguments on even registers. (tilegx_function_arg_advance): Ditto. (tilegx_gimplify_va_arg_expr): Align 16-byte var args to STACK_BOUNDARY. * config/tilegx/tilegx.h (STACK_BOUNDARY): Change to 16 bytes. (BIGGEST_ALIGNMENT): Ditto. (BIGGEST_FIELD_ALIGNMENT): Ditto. From-SVN: r207082
2014-01-25tilegx.c (tilegx_gen_bundles): Delete barrier insns after bundles have been ↵Walter Lee3-6/+25
formed. 2014-01-25 Walter Lee <walt@tilera.com> * config/tilegx/tilegx.c (tilegx_gen_bundles): Delete barrier insns after bundles have been formed. * config/tilegx/tilegx.md (tile_network_barrier): Update comment. From-SVN: r207081
2014-01-25tilegx.c (tilegx_expand_builtin): Set PREFETCH_SCHEDULE_BARRIER_P to true ↵Walter Lee3-1/+19
for prefetches. 2014-01-25 Walter Lee <walt@tilera.com> * config/tilegx/tilegx.c (tilegx_expand_builtin): Set PREFETCH_SCHEDULE_BARRIER_P to true for prefetches. * config/tilepro/tilepro.c (tilepro_expand_builtin): Ditto. From-SVN: r207080
2014-01-25constraints.md (kl): Delete.Richard Sandiford3-23/+100
gcc/ * config/mips/constraints.md (kl): Delete. * config/mips/mips.md (divmod<mode>4, udivmod<mode>4): Turn into define expands, using... (divmod<mode>4_mips16, udivmod<mode>4_mips16): ...these new instructions for MIPS16. (*divmod<mode>4, *udivmod<mode>4): New patterns, taken from the non-MIPS16 version of the old divmod<mode>4 and udivmod<mode>4. From-SVN: r207079
2014-01-25tilepro.md (ctzdi2): Use register_operand predicate.Walter Lee2-3/+10
2014-01-25 Walter Lee <walt@tilera.com> * config/tilepro/tilepro.md (ctzdi2): Use register_operand predicate. (clzdi2): Ditto. (ffsdi2): Ditto. From-SVN: r207078
2014-01-25tilegx.c (tilegx_expand_to_rtl_hook): New.Walter Lee2-0/+18
2014-01-25 Walter Lee <walt@tilera.com> * config/tilegx/tilegx.c (tilegx_expand_to_rtl_hook): New. (TARGET_EXPAND_TO_RTL_HOOK): Define. From-SVN: r207077
2014-01-25rtlanal.c (canonicalize_condition): Split out duplicated mode check.Richard Sandiford4-21/+41
gcc/ * rtlanal.c (canonicalize_condition): Split out duplicated mode check. Handle XOR. gcc/testsuite/ * gcc.dg/unroll_1.c: Add -fenable-rtl-loop2. From-SVN: r207076
2014-01-25vect-nop-move.c (main): Check for vect runtime.Bernd Edlinger2-4/+17
2014-01-25 Bernd Edlinger <bernd.edlinger@hotmail.de> * gcc.dg/vect/vect-nop-move.c (main): Check for vect runtime. From-SVN: r207075
2014-01-25* gcc-interface/Makefile.in: Fix oversight.Eric Botcazou2-1/+117
From-SVN: r207074
2014-01-25utils.c (convert_to_fat_pointer): Un-obfuscate the conversion from a thin ↵Eric Botcazou3-27/+48
pointer with a shifted value. * gcc-interface/utils.c (convert_to_fat_pointer): Un-obfuscate the conversion from a thin pointer with a shifted value. * gcc-interface/utils2.c (gnat_build_constructor): Propagate the read-only flag from the values onto the result. (gnat_invariant_expr): Accept read-only CONSTRUCTORs. From-SVN: r207073
2014-01-25decl.c (gnat_to_gnu_entity): Always build a variable for E_Variable with a ↵Tristan Gingold2-0/+9
pragma Linker_Section. * gcc-interface/decl.c (gnat_to_gnu_entity): Always build a variable for E_Variable with a pragma Linker_Section. From-SVN: r207072
2014-01-25decl.c (gnat_to_gnu_param): Make sure an Out parameter with Default_Value ↵Robert Dewar2-2/+9
aspect is passed in by copy. * gcc-interface/decl.c (gnat_to_gnu_param): Make sure an Out parameter with Default_Value aspect is passed in by copy. From-SVN: r207071
2014-01-25Daily bump.GCC Administrator1-1/+1
From-SVN: r207069
2014-01-25print-rtl.c (in_call_function_usage): New var.Jakub Jelinek2-2/+16
* print-rtl.c (in_call_function_usage): New var. (print_rtx): When in CALL_INSN_FUNCTION_USAGE, always print EXPR_LIST mode as mode and not as reg note name. From-SVN: r207066
2014-01-25re PR middle-end/59561 (warning: iteration 4 invokes undefined behavior)Jakub Jelinek2-0/+9
PR middle-end/59561 * cfgloopmanip.c (copy_loop_info): If loop->warned_aggressive_loop_optimizations, make sure the flag is set in target loop too. From-SVN: r207065
2014-01-24Replace flag_enable_cilkplus with flag_cilkplus.Balaji V. Iyer23-68/+141
gcc/ChangeLog +2014-01-24 Balaji V. Iyer <balaji.v.iyer@intel.com> + + * builtins.c (is_builtin_name): Renamed flag_enable_cilkplus to + flag_cilkplus. + * builtins.def: Likewise. + * cilk.h (fn_contains_cilk_spawn_p): Likewise. + * cppbuiltin.c (define_builtin_macros_for_compilation_flags): Likewise. + * ira.c (ira_setup_eliminable_regset): Likewise. + * omp-low.c (gate_expand_omp): Likewise. + (execute_lower_omp): Likewise. + (diagnose_sb_0): Likewise. + (gate_diagnose_omp_blocks): Likewise. + (simd_clone_clauses_extract): Likewise. + (gate): Likewise. + gcc/c-family/ChangeLog +2014-01-24 Balaji V. Iyer <balaji.v.iyer@intel.com> + + * c-common.c (c_define_builtins): Replaced flag_enable_cilkplus with + flag_cilkplus. + * c-pragma.c (init_pragma): Likewise. + * c.opt: Likewise. + gcc/c/ChangeLog +2014-01-24 Balaji V. Iyer <balaji.v.iyer@intel.com> + + * c-parser.c (c_parser_declaration_or_fndef): Replaced + flag_enable_cilkplus with flag_cilkplus. + (c_parser_direct_declarator_inner): Likewise. + (c_parser_attribute_any_word): Likewise. + (c_parser_attributes): Likewise. + (c_parser_compound_statement): Likewise. + (c_parser_statement_after_labels): Likewise. + (c_parser_if_statement): Likewise. + (c_parser_switch_statement): Likewise. + (c_parser_do_statement): Likewise. + (c_parser_for_statement): Likewise. + (c_parser_unary_expression): Likewise. + (c_parser_postfix_expression): Likewise. + (c_parser_postfix_expression_after_primary): Likewise. + (c_parser_postfix_expression_after_primary): Likewise. + (c_parser_omp_clause_name): Likewise. + (c_finish_omp_declare_simd): Likewise. + (c_parser_cilk_verify_simd): Likewise. + * c-typeck.c (build_array_ref): Likewise. + (build_function_call_vec): Likewise. + (convert_arguments): Likewise. + (build_compound_expr): Likewise. + (c_finish_return): Likewise. + (c_finish_if_stmt): Likewise. + (c_finish_loop): Likewise. + (build_binary_op): Likewise. + gcc/lto/ChangeLog +2014-01-24 Balaji V. Iyer <balaji.v.iyer@intel.com> + + * lto-lang.c (lto_init): Replaced flag_enable_cilkplus with + flag_cilkplus. + From-SVN: r207064
2014-01-24compiler: Use backend interface for unary expressions.Chris Manghane5-134/+246
* go-gcc.cc (Gcc_backend::unary_expression): New function. From-SVN: r207063
2014-01-24rs6000.c (rs6000_expand_vec_perm_const_1): Remove correction for little ↵Bill Schmidt3-18/+32
endian... 2014-01-24 Bill Schmidt <wschmidt@linux.vnet.ibm.com> * config/rs6000/rs6000.c (rs6000_expand_vec_perm_const_1): Remove correction for little endian... * config/rs6000/vsx.md (vsx_xxpermdi2_<mode>_1): ...and move it to here. From-SVN: r207062
2014-01-24re PR tree-optimization/59919 (ICE in process_assert_insertions_for, at ↵Jeff Law4-3/+41
tree-vrp.c:6096) PR tree-optimization/59919 * tree-vrp.c (find_assert_locations_1): Do not register asserts for non-returning calls. PR tree-optimization/59919 * gcc.c-torture/compile/pr59919.c: New test. From-SVN: r207061
2014-01-24re PR libstdc++/59531 (string_view overrun in copy operation)Ed Smith-Rowland8-21/+156
2014-01-24 Ed Smith-Rowland <3dw4rd@verizon.net> PR libstdc++/59531 * testsuite/experimental/string_view/operations/copy/char/1.cc: New. * testsuite/experimental/string_view/operations/copy/wchar_t/1.cc: New. 2014-01-24 Ed Smith-Rowland <3dw4rd@verizon.net> Peter A. Bigot <pab@pabigot.com> PR libstdc++/59531 * include/experimental/string_view (copy(_CharT*, size_type, size_type) const): Correct throw string. Correct copy start location. 2014-01-24 Ed Smith-Rowland <3dw4rd@verizon.net> Peter A. Bigot <pab@pabigot.com> PR libstdc++/59530 * include/experimental/string_view (operator[](size_type) const): Fix one-off index error in debug check. * testsuite/experimental/string_view/element_access/char/1.cc: Don't test basic_string_view at size(). * testsuite/experimental/string_view/element_access/wchar_t/1.cc: Ditto. 2014-01-24 Ed Smith-Rowland <3dw4rd@verizon.net> Peter A. Bigot <pab@pabigot.com> PR libstdc++/59529 * include/experimental/string_view (basic_string_view(const _CharT*, size_type)): Don't care if len == 0. * testsuite/experimental/string_view/operations/substr/char/1.cc: Comment out catch of out_of_range; No terminating null in basic_string_view. Check begin == end. * testsuite/experimental/string_view/operations/substr/wchar_t/1.cc: Ditto. Co-Authored-By: Peter A. Bigot <pab@pabigot.com> From-SVN: r207060
2014-01-24re PR libstdc++/59548 (Abort after copying std::unordered_map in debug mode)Jonathan Wakely4-1/+58
PR libstdc++/59548 * include/debug/safe_base.h (_Safe_sequence_base): Define copy constructor to prevent it being implicitly defined as deleted, but do not copy anything. * include/debug/safe_unordered_base.h (_Safe_unordered_container_base): Define copy and move constructors similar to _Safe_sequence_base's. * testsuite/23_containers/unordered_map/59548.cc: New. From-SVN: r207059
2014-01-24re PR c++/58550 (][c++11] ICE with auto in function return type and lto)Jason Merrill3-1/+15
PR c++/58550 * decl.c (grokdeclarator): Turn pedwarn about auto return type in c++11 into error. From-SVN: r207055