summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Make thread_prologue_and_epilogue_insns callable from backends.bernds2014-11-103-1/+6
| | | | | | | * function.c (thread_prologue_and_epilogue_insns): No longer static. * function.h (thread_prologue_and_epilogue_insns): Declare. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217294 138bc75d-0d04-0410-961f-82ee72b054a4
* Add a target hook for assembling undeclared decls.bernds2014-11-1010-11/+73
| | | | | | | | | | | | | | | | | * target.def (assemble_undefined_decl): New hooks. * hooks.c (hook_void_FILEptr_constcharptr_const_tree): New function. * hooks.h (hook_void_FILEptr_constcharptr_const_tree): Declare. * doc/tm.texi.in (TARGET_ASM_ASSEMBLE_UNDEFINED_DECL): Add. * doc/tm.texi: Regenerate. * output.h (assemble_undefined_decl): Declare. (get_fnname_from_decl): Declare. * varasm.c (assemble_undefined_decl): New function. (get_fnname_from_decl): New function. * final.c (rest_of_handle_final): Use it. * varpool.c (varpool_output_variables): Call assemble_undefined_decl for nodes without a definition. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217293 138bc75d-0d04-0410-961f-82ee72b054a4
* libcpp:emsr2014-11-1018-23/+424
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 2014-11-10 Edward Smith-Rowland <3dw4rd@verizon.net> * include/cpplib.h (cpp_callbacks): Add has_attribute. * internal.h (lexer_state): Add in__has_attribute__. * directives.c (lex_macro_node): Prevent use of __has_attribute__ as a macro. * expr.c (parse_has_attribute): New function; (eval_token): Look for __has_attribute__ and route to parse_has_attribute. * identifiers.c (_cpp_init_hashtable): Initialize n__has_attribute__. * pch.c (cpp_read_state): Initialize n__has_attribute__. * traditional.c (enum ls): Add ls_has_attribute, ls_has_attribute_close; (_cpp_scan_out_logical_line): Attend to __has_attribute__. gcc/c-family: 2014-11-10 Edward Smith-Rowland <3dw4rd@verizon.net> * c-cppbuiltin.c (__has_attribute, __has_cpp_attribute): New macros; (__cpp_rtti, __cpp_exceptions): New macros for C++98; (__cpp_range_based_for, __cpp_initializer_lists, __cpp_delegating_constructors, __cpp_nsdmi, __cpp_inheriting_constructors, __cpp_ref_qualifiers): New macros for C++11; (__cpp_attribute_deprecated): Remove in favor of __has_cpp_attribute. * c-lex.c (cb_has_attribute): New callback CPP function; (init_c_lex): Set has_attribute callback. gcc/testsuite: 2014-11-10 Edward Smith-Rowland <3dw4rd@verizon.net> * g++.dg/cpp1y/feat-cxx11.C: Test new feature macros for C++98 and C++11; Test existence of __has_cpp_attribute; Test C++11 attributes. * g++.dg/cpp1y/feat-cxx11-neg.C: Ditto. * g++.dg/cpp1y/feat-cxx14.C: Ditto and test for C++14 attributes. * g++.dg/cpp1y/feat-cxx98.C: Test new feature macros for C++98. * g++.dg/cpp1y/feat-cxx98-neg.C: Ditto. * g++.dg/cpp1y/feat-neg.C: Test that __cpp_rtti, _cpp_exceptions will be undefined for -fno-rtti -fno-exceptions. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217292 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-11-10 Richard Biener <rguenther@suse.de>rguenth2014-11-102-2/+8
| | | | | | | | * tree-ssa-operands.c (finalize_ssa_uses): Properly put released operands on the free list. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217291 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-11-10 Richard Biener <rguenther@suse.de>rguenth2014-11-103-55/+14
| | | | | | | | | * match.pd: Implement pattern from simplify_mult. * tree-ssa-forwprop.c (simplify_mult): Remove. (pass_forwprop::execute): Do not call simplify_mult. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217290 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-11-10 Richard Biener <rguenther@suse.de>rguenth2014-11-104-2/+48
| | | | | | | | | | | | | PR tree-optimization/63800 * tree-ssa-pre.c (eliminate_push_avail): Push in a way so we can restore the previous availability in after_dom_children. (eliminate_dom_walker::after_dom_children): Restore previous availability. * gcc.dg/torture/pr63800.c: New testcase. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217288 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-11-10 Richard Biener <rguenther@suse.de>rguenth2014-11-102-0/+20
| | | | | | | | | | PR middle-end/63798 * expr.c (expand_expr_real_2): When expanding FMA_EXPRs properly treat the embedded multiplication as commutative when looking for feeding negates. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217287 138bc75d-0d04-0410-961f-82ee72b054a4
* * config/avr/avr.h (CPLUSPLUS_CPP_SPEC): Define.amylaar2014-11-102-0/+8
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217286 138bc75d-0d04-0410-961f-82ee72b054a4
* ICF is disabled for the test because of default char signedness on powerpc64 ↵marxin2014-11-102-1/+7
| | | | | | target. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217285 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-11-10 Richard Biener <rguenther@suse.de>rguenth2014-11-103-90/+18
| | | | | | | | | * match.pd: Implement pattern from simplify_conversion_from_bitmask. * tree-ssa-forwprop.c (simplify_conversion_from_bitmask): Remove. (pass_forwprop::execute): Do not call simplify_conversion_from_bitmask. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217284 138bc75d-0d04-0410-961f-82ee72b054a4
* * c-c++-common/ubsan/align-7.c: Skip for -flto -fno-fat-lto-objects.mpolacek2014-11-105-1/+12
| | | | | | | | | * c-c++-common/ubsan/align-8.c: Likewise. * g++.dg/ubsan/null-4.C: Likewise. * g++.dg/ubsan/null-5.C: Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217282 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-11-10 Richard Biener <rguenther@suse.de>rguenth2014-11-103-126/+35
| | | | | | | | | | * match.pd: Move rest of the conversion combining patterns from tree-ssa-forwprop.c. * tree-ssa-forwprop.c (combine_conversions): Remove. (pass_forwprop::execute): Do not call it. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217279 138bc75d-0d04-0410-961f-82ee72b054a4
* * gimple-low.c (lower_function_body): Clear the location of the firstebotcazou2014-11-104-1/+44
| | | | | | | inserted representative return if it also fills in for the fallthru. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217278 138bc75d-0d04-0410-961f-82ee72b054a4
* gcc/ienkovich2014-11-104-8/+70
| | | | | | | | | | | | | | | | * tree-if-conv.c (add_to_predicate_list): Check unconditionally that bb is always executed to early exit. Use predicate of cd-equivalent block for join blocks if it exists. (if_convertible_loop_p_1): Recompute POST_DOMINATOR tree. (tree_if_conversion): Free post-dominance information. gcc/testsuite/ * gcc.dg/tree-ssa/ifc-cd.c: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217277 138bc75d-0d04-0410-961f-82ee72b054a4
* DR 799jason2014-11-103-2/+6
| | | | | | | * typeck.c (build_reinterpret_cast_1): reinterpret_cast to the same scalar type is an rvalue. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217276 138bc75d-0d04-0410-961f-82ee72b054a4
* DR 2007jason2014-11-103-4/+29
| | | | | | * call.c (build_new_op_1): Don't do non-class lookup for =, -> or []. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217275 138bc75d-0d04-0410-961f-82ee72b054a4
* * config/i386/avx512vldqintrin.h (_mm256_broadcast_f32x2): __mmask8.jason2014-11-103-4/+11
| | | | | | | | * config/i386/avx512vlintrin.h (_mm256_mask_cvtepi32_storeu_epi16) (_mm_mask_cvtusepi32_storeu_epi16) (_mm_mask_cvtsepi64_storeu_epi32): Return void. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217274 138bc75d-0d04-0410-961f-82ee72b054a4
* PR 47007 and 61847 Locale failures in libgfortran.jb2014-11-1010-22/+215
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 2014-11-10 Janne Blomqvist <jb@gcc.gnu.org> PR libfortran/47007 PR libfortran/61847 * config.h.in: Regenerated. * configure: Regenerated. * configure.ac (AC_CHECK_HEADERS_ONCE): Check for xlocale.h. (AC_CHECK_FUNCS_ONCE): Check for newlocale, freelocale, uselocale, strerror_l. * io/io.h (locale.h): Include. (xlocale.h): Include if present. (c_locale): New variable. (old_locale): New variable. (old_locale_ctr): New variable. (old_locale_lock): New variable. (st_parameter_dt): Add old_locale member. * io/transfer.c (data_transfer_init): Set locale to "C" if doing formatted transfer. (finalize_transfer): Reset locale to previous. * io/unit.c (c_locale): New variable. (old_locale): New variable. (old_locale_ctr): New variable. (old_locale_lock): New variable. (init_units): Init c_locale, init old_locale_lock. (close_units): Free c_locale. * runtime/error.c (locale.h): Include. (xlocale.h): Include if present. (gf_strerror): Use strerror_l if available. Reset locale to LC_GLOBAL_LOCALE for strerror_r branch. 2014-11-10 Janne Blomqvist <jb@gcc.gnu.org> PR libfortran/47007 PR libfortran/61847 * gfortran.texi: Add note about locale issues to thread-safety section. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217273 138bc75d-0d04-0410-961f-82ee72b054a4
* Daily bump.gccadmin2014-11-101-1/+1
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217272 138bc75d-0d04-0410-961f-82ee72b054a4
* Correct ChangeLoghjl2014-11-091-1/+1
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217268 138bc75d-0d04-0410-961f-82ee72b054a4
* Fix buffer overflow in avx256-unaligned-{load|store}-7.chjl2014-11-093-5/+12
| | | | | | | | | | * testsuite/63305 * gcc.target/i386/avx256-unaligned-load-7.c (avx_test): Fix buffer overflow. * gcc.target/i386/avx256-unaligned-store-7.c (avx_test): Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217267 138bc75d-0d04-0410-961f-82ee72b054a4
* * config/avr/predicates.md (low_io_address_operand): Fix typo.amylaar2014-11-092-1/+5
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217266 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-11-09 Vladimir Makarov <vmakarov@redhat.com>vmakarov2014-11-095-95/+421
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | PR rtl-optimization/63620 * lra-constraints.c (substitute_pseudo): Add prefix lra_ to the name. Move to lra.c. Make it external. (substitute_pseudo_within_insn): Ditto. (inherit_reload_reg, split_reg, remove_inheritance_pseudos): Use the new names. (undo_optional_reloads): Ditto. * lra-int.h (lra_dump_bitmap_with_title, lra_substitute_pseudo): New prototypes. (lra_substitute_pseudo_within_insn): Ditto. * lra-lives.c (bb_killed_pseudos, bb_gen_pseudos): New. (mark_regno_live): Add parameter. Update bb_gen_pseudos. (mark_regno_dead): Add parameter. Update bb_gen_pseudos and bb_killed_pseudos. (struct bb_data, bb_data_t, bb_data): New. (get_bb_data, get_bb_data_by_index): Ditto. (all_hard_regs_bitmap): New. (live_trans_fun, live_con_fun_0, live_con_fun_n, all_blocks): New. (initiate_live_solver, finish_live_solver): New. (process_bb_lives): Change return type. Add code updating local live data and removing dead insns. Pass new argument to mark_regno_live and mark_regno_dead. Check changing bb pseudo life info. Return the result. (lra_create_live_ranges): Add code to do global pseudo live analysis. (lra_live_ranges_init): Call initiate_live_solver. (lra_live_ranges_finish): Call finish_live_solver. * lra.c (lra_dump_bitmap_with_title): New. (lra_substitute_pseudo, lra_substitute_pseudo_within_insn): Move from lra-constraints.c. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217265 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc.target/powerpc/pr51623.c: Fix implicit declarations.schwab2014-11-092-0/+9
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217264 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-11-09 Richard Biener <rguenther@suse.de>rguenth2014-11-098-180/+111
| | | | | | | | | | | | | | | * match.pd: Add patterns convering two conversions in a row from fold-const.c. * fold-const.c (fold_unary_loc): Remove them here. * tree-ssa-forwprop.c (combine_conversions): Likewise. * genmatch.c (dt_node::gen_kids): Check whether we may follow SSA use-def chains. * g++.dg/cpp0x/constexpr-reinterpret1.C: XFAIL. * gcc.dg/tree-ssa/pr21031.c: XFAIL. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217260 138bc75d-0d04-0410-961f-82ee72b054a4
* Daily bump.gccadmin2014-11-091-1/+1
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217259 138bc75d-0d04-0410-961f-82ee72b054a4
* gcc/rsandifo2014-11-082-17/+18
| | | | | | | | | * config/aarch64/aarch64.c: Include rtl-iter.h. (aarch64_tls_operand_p_1): Delete. (aarch64_tls_operand_p): Use FOR_EACH_SUBRTX. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217256 138bc75d-0d04-0410-961f-82ee72b054a4
* gcc/rsandifo2014-11-082-11/+15
| | | | | | | | * config/arm/arm.c (arm_note_pic_base): Delete. (arm_cannot_copy_insn_p): Use FOR_EACH_SUBRTX. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217255 138bc75d-0d04-0410-961f-82ee72b054a4
* gcc/rsandifo2014-11-082-20/+20
| | | | | | | | | * config/arm/arm.c: Include rtl-iter.h. (arm_tls_referenced_p_1): Delete. (arm_tls_referenced_p): Use FOR_EACH_SUBRTX. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217254 138bc75d-0d04-0410-961f-82ee72b054a4
* gcc/rsandifo2014-11-082-70/+39
| | | | | | | | | | | | * config/arm/aarch-common.c: Include rtl-iter.h. (search_term, arm_find_sub_rtx_with_search_term): Delete. (arm_find_sub_rtx_with_code): Use FOR_EACH_SUBRTX_VAR. (arm_get_set_operands): Pass the insn pattern rather than the insn itself. (arm_no_early_store_addr_dep): Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217253 138bc75d-0d04-0410-961f-82ee72b054a4
* * config/arm/arm.c (arm_set_return_address): Mark the store as frameebotcazou2014-11-082-2/+16
| | | | | | | | related, if any. (thumb_set_return_address): Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217251 138bc75d-0d04-0410-961f-82ee72b054a4
* DR 1558jason2014-11-085-6/+63
| | | | | | | | | | | * pt.c (dependent_alias_template_spec_p): New. (dependent_type_p_r): Handle dependent alias template specialization. (template_args_equal): A dependent alias template specializations is not equal to its underlying type as a template argument. * tree.c (strip_typedefs): Don't strip a dependent alias template-id. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217250 138bc75d-0d04-0410-961f-82ee72b054a4
* Daily bump.gccadmin2014-11-081-1/+1
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217245 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-11-07 Andrew Pinski <apinski@cavium.com>pinskia2014-11-072-0/+31
| | | | | | | * gcc.c-torture/execute/20141107-1.c: New testcase. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217242 138bc75d-0d04-0410-961f-82ee72b054a4
* * parser.c (cp_parser_unqualified_id): Handle __func__ here.jason2014-11-074-37/+27
| | | | | | (cp_parser_primary_expression): Not here. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217241 138bc75d-0d04-0410-961f-82ee72b054a4
* Fix typo and line wrap in ChangeLoglaw2014-11-071-2/+2
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217240 138bc75d-0d04-0410-961f-82ee72b054a4
* PR tree-optimization/61515law2014-11-072-4/+35
| | | | | | | * tree-ssa-threadedge.c (invalidate_equivalences): Walk the unwinding stack rather than looking at ever SSA_NAME's value. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217239 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-11-07 Richard Biener <rguenther@suse.de>rguenth2014-11-074-1/+34
| | | | | | | | | | | PR tree-optimization/63605 * fold-const.c (fold_binary_loc): Properly use element_precision for types that may not be scalar. * gcc.dg/vect/pr63605.c: New testcase. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217238 138bc75d-0d04-0410-961f-82ee72b054a4
* PR target/63534kyukhin2014-11-072-32/+8
| | | | | | | | | | | gcc/ * config/i386/i386.md (builtin_setjmp_receiver): Use pic_offset_table_rtx for PIC register. (nonlocal_goto_receiver): Delete. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217237 138bc75d-0d04-0410-961f-82ee72b054a4
* * g++.dg/pr61289-2.C: Renamed from pr61289-2.c.law2014-11-072-0/+4
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217234 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-11-07 Daniel Hellstrom <daniel@gaisler.com>danielh2014-11-073-3/+17
| | | | | | | | * config.gcc (sparc-*-rtems*): Clean away unused t-elf. * config/sparc/t-rtems: Add leon3v7 and muser-mode multilibs. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217231 138bc75d-0d04-0410-961f-82ee72b054a4
* [PATCH] gnu11 cleanup for gcc.target/arm/lp1243022.cjiwang2014-11-072-0/+7
| | | | | | | | | | gcc/testsuite/ * gcc.target/arm/lp1243022.c (xhci_test_trb_in_td): Add return type. (xhci_check_trb_in_td_math): Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217230 138bc75d-0d04-0410-961f-82ee72b054a4
* PR c++/63366jason2014-11-073-11/+33
| | | | | | * decl.c (grokdeclarator): Fix __complex meaning __complex double. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217229 138bc75d-0d04-0410-961f-82ee72b054a4
* [PATCH] Add AArch64 to the target list for 20040204-1.cjiwang2014-11-072-1/+5
| | | | | | | | | gcc/testsuite/ * gcc.dg/tree-ssa/20040204-1.c: Add aarch64*-*-* to the list. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217228 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-11-07 Arnaud Charlet <charlet@adacore.com>charlet2014-11-0725-77/+186
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * debug.adb, snames.adb-tmpl (Is_Keyword_Name): Consider 'overriding' a keyword in Ada 95 mode when -gnatd.D is used. * gnat_ugn.texi: Document -gnatd.D. 2014-11-07 Vasiliy Fofanov <fofanov@adacore.com> * gnatls.adb: Lower severity of the program's return value in some common cases. 2014-11-07 Ed Schonberg <schonberg@adacore.com> * sem_ch10.adb (Decorate_Type): The limited view of a tagged type has an empty list of primitive operations. 2014-11-07 Hristian Kirtchev <kirtchev@adacore.com> * sem_ch3.adb (Analyze_Object_Declaration): Update references to SPARK RM. (Process_Full_View): Update references to SPARK RM. * sem_ch6.adb (Analyze_Generic_Subprogram_Body): Update references to SPARK RM. (Analyze_Subprogram_Body_Helper): Update references to SPARK RM. * sem_ch7.adb (Analyze_Package_Body_Helper): Update references to SPARK RM. * sem_prag.adb (Check_Ghost_Constituent): Update references to SPARK RM. * sem_res.adb (Check_Ghost_Policy): Update references to SPARK RM. (Resolve_Actuals): Ensure that the actual parameter of a Ghost subprogram whose formal is of mode IN OUT or OUT is Ghost. * sem_util.adb (Check_Ghost_Completion): Update references to SPARK RM. 2014-11-07 Ed Schonberg <schonberg@adacore.com> * exp_ch7.adb (Make_Final_Call): If type of designated object is derived from that of the formal of the Deep_Finalize procedure, add an unchecked conversion to prevent spurious type error. 2014-11-07 Robert Dewar <dewar@adacore.com> * table.adb, inline.adb, einfo.adb, gnat1drv.adb, exp_ch13.adb, exp_fixd.adb, prj-conf.adb, exp_strm.adb, a-cofove.adb, exp_ch3.ads: Minor reformatting. 2014-11-07 Robert Dewar <dewar@adacore.com> * sem_ch12.adb, sem_ch13.adb, prj-tree.adb: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217227 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-11-07 Hristian Kirtchev <kirtchev@adacore.com>charlet2014-11-076-33/+67
| | | | | | | | | | | | | | | | | | | | | | * einfo.adb (Set_Is_Checked_Ghost_Entity, Set_Is_Ignored_Ghost_Entity): Add exceptions to the assertion check. * sem_ch6.adb (Check_Conformance): Consider only source subprograms when checking for Ghost conformance. * sem_prag.adb (Analyze_Pragma): Handle the case where pragma Ghost applies to a stand alone subprogram body that acts as a compilation unit. * sem_res.adb: Minor reformatting (merge if statements). 2014-11-07 Ed Schonberg <schonberg@adacore.com> * exp_strm.adb (Build_Record_Or_Elementary_Input_Function): Check whether underlying type is constrained before generating the object declaration for the result object of the function. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217226 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-11-07 Robert Dewar <dewar@adacore.com>charlet2014-11-0710-25/+81
| | | | | | | | | | | | | | | | | | * freeze.adb: Code clean up. 2014-11-07 Yannick Moy <moy@adacore.com> * a-cfdlli.ads, a-cfhama.ads, a-cfhase.ads, a-cfinve.ads, * a-cforma.ads, a-cforse.ads, a-cofove.ads: Mark First_To_Previous, Current_To_Last and Strict_Equal as Ghost. 2014-11-07 Ed Schonberg <schonberg@adacore.com> * sem_ch3.adb: Code clean up. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217225 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-11-07 Hristian Kirtchev <kirtchev@adacore.com>charlet2014-11-079-76/+116
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * freeze.adb (Freeze_Entity): Issue an error regardless of the SPARK_Mode when a ghost type is effectively volatile. * sem_ch3.adb (Analyze_Object_Contract): Decouple the checks related to Ghost from SPARK_Mode. * sem_res.adb (Check_Ghost_Policy): Issue an error regardless of the SPARK_Mode when the Ghost policies do not match. * sem_util.adb (Check_Ghost_Completion): Issue an error regardless of the SPARK_Mode when the Ghost policies do not match. 2014-11-07 Ed Schonberg <schonberg@adacore.com> * sem_ch5.adb (Analyze_Iterator_Specification): return if name in iterator does not have any usable aspect for iteration. 2014-11-07 Ed Schonberg <schonberg@adacore.com> * sem_ch6.adb (Analyze_Null_Procedure): Reject a null procedure that there is a previous null procedure in scope with a matching profile. 2014-11-07 Hristian Kirtchev <kirtchev@adacore.com> * atree.adb (Copy_Separate_Tree): Copy the aspect specifications. * inline.adb (Has_Some_Contract): Do the check only when the related entity has been analyzed. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217224 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-11-07 Ed Schonberg <schonberg@adacore.com>charlet2014-11-073-26/+86
| | | | | | | | | | | | | | | | | | | * exp_fixd.adb (Expand_Multiply_Fixed_By_Fixed_Giving_Integer): If the restriction No_Floating_Point is in effect, and the operands have the same type, introduce a temporary to hold the fixed point result, to prevent the use of floating-point operations at run-time. 2014-11-07 Robert Dewar <dewar@adacore.com> * freeze.adb (Check_Address_Clause): Minor reformatting (Find_Constant): Minor reformatting. (Freeze_Array_Type): Modify check for packed declarations. (Freeze_Entity): Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217223 138bc75d-0d04-0410-961f-82ee72b054a4
* PR ipa/63580marxin2014-11-074-0/+45
| | | | | | | | | | * cgraphunit.c (cgraph_node::create_wrapper): TREE_ADDRESSABLE is set to false for a newly created thunk. * g++.dg/ipa/pr63580.C: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217222 138bc75d-0d04-0410-961f-82ee72b054a4
View Lorry Controller Status