aboutsummaryrefslogtreecommitdiff
path: root/gcc
AgeCommit message (Collapse)AuthorFilesLines
2010-10-21s390.md (*xordi3_cc): Mark xgrk as z196 only.Andreas Krebbel2-0/+5
2010-10-21 Andreas Krebbel <Andreas.Krebbel@de.ibm.com> * config/s390/s390.md (*xordi3_cc): Mark xgrk as z196 only. From-SVN: r165754
2010-10-21vms-crtl.h (CRTL_NAMES): Add new translations.Tristan Gingold3-1/+16
2010-10-21 Tristan Gingold <gingold@adacore.com> * config/vms/vms-crtl.h (CRTL_NAMES): Add new translations. * config/vms/vms-crtl-64.h (CRTL_NAMES): Ditto. From-SVN: r165753
2010-10-21vms-unwind.h (alpha_vms_fallback_frame_state): Set signal_frame.Tristan Gingold3-1/+9
2010-10-21 Tristan Gingold <gingold@adacore.com> * config/alpha/vms-unwind.h (alpha_vms_fallback_frame_state): Set signal_frame. * config/alpha/alpha.c (alpha_function_arg): Adjust call. From-SVN: r165752
2010-10-21vms64.h (TARGET_DEFAULT): Add MASK_FUSED_MADD.Tristan Gingold3-2/+7
2010-10-21 Tristan Gingold <gingold@adacore.com> * config/ia64/vms64.h (TARGET_DEFAULT): Add MASK_FUSED_MADD. * config/ia64/vms.h (TARGET_DEFAULT): Ditto. From-SVN: r165751
2010-10-21re PR fortran/46100 ([Fortran 2008] Non-variable pointer expression as ↵Tobias Burnus5-1/+72
actual argument to INTENT(OUT) non-pointer dummy) 2010-10-21 Tobias Burnus <burnus@net-b.de> PR fortran/46100 * expr.c (gfc_check_vardef_context): Treat pointer functions as variables. 2010-10-21 Tobias Burnus <burnus@net-b.de> PR fortran/46100 * gfortran.dg/ptr-func-1.f90: New. * gfortran.dg/ptr-func-2.f90: New. From-SVN: r165749
2010-10-21basic-block.h (find_fallthru_edge): Define.Nathan Froyd16-103/+91
* basic-block.h (find_fallthru_edge): Define. * cfgcleanup.c (merge_blocks_move): Use it. (try_crossjump_bb): Likewise. * cfglayout.c (fixup_reorder_chains): Likewise. (fixup_fallthru_exit_predecessor): Likewise. * cfgrtl.c (rtl_split_edge): Likewise. (rtl_verify_flow_info): Likewise. * function.c (thread_prologue_and_epilogue_insns): Likewise. * gimple-pretty-print.c (dump_implicit_edges): Likewise. * ifcvt.c (block_fallthru): Likewise. * reload1.c (fixup_abnormal_edges): Likewise. * sched-ebb.c (being_schedule_ready): Likewise. (schedule_ebb): Likwise. * sched-rgn.c (find_single_block_region): Likewise. * sel-sched-ir.c (bb_ends_ebb_p): Likewise. * tree-complex.c (expand_complex_move): Likewise. * sched-int.h (find_fallthru_edge): Rename to... (find_fallthru_edge_from): ...this. * haifa-sched.c (find_fallthru_edge): Rename to... (find_fallthru_edge_from): ...this. Use new find_fallthru_edge. (init_before_recovery): Call find_fallthru_edge_from. * sel-sched-ir.c (merge_fences): Likewise. * sel-sched.c (in_fallthru_bb_p): Likewise. (move_cond_jump): Likewise. From-SVN: r165748
2010-10-20pdp11.md (various): Fix conditions on a number of insn to check for target ↵Paul Koning2-12/+17
11/40 or higher. * config/pdp11/pdp11.md (various): Fix conditions on a number of insn to check for target 11/40 or higher. From-SVN: r165747
2010-10-21re PR fortran/46079 (ABI for empty stop statement broken)Jerry DeLisle4-6/+23
2010-10-20 Jerry DeLisle <jvdelisle@gcc.gnu.org> PR libgfortran/46079 * runtime/stop.c (stop_numeric_f08): New function. (stop_numeric): Restore to previous behavior. * gfortran.map: Add symbol _gfortran_stop_numeric_f08. 2010-10-20 Jerry DeLisle <jvdelisle@gcc.gnu.org> PR fortran/46079 * trans_stmt.c (gfc_trans_stop): Fix whitespace. Build a call to new F08 numeric stop function. * trans.h: Add declaration for gfor_fndecl_stop_numeric_f08. * trans-decl.c (gfc_build_builtin_function_decls): Build declaration for stop_numeric_f08. From-SVN: r165746
2010-10-21Daily bump.GCC Administrator1-1/+1
From-SVN: r165745
2010-10-20In gcc/: 2010-10-20 Nicola Pero <nicola.pero@meta-innovation.com>Nicola Pero10-72/+125
In gcc/: 2010-10-20 Nicola Pero <nicola.pero@meta-innovation.com> * parser.c (c_parser_objc_method_type): Mark inline. Return a bool instead of a tree. (c_parser_objc_method_decl): Added bool argument. Updated call to objc_build_method_signature. (c_parser_objc_method_definition): Do not call objc_set_method_type. Updated calls to c_parser_objc_method_type, c_parser_objc_method_decl and objc_start_method_definition. (c_parser_objc_methodproto): Do not call objc_set_method_type. Updated calls to c_parser_objc_method_type, c_parser_objc_method_decl and objc_add_method_declaration. In gcc/c-family/: 2010-10-20 Nicola Pero <nicola.pero@meta-innovation.com> * c-common.h (objc_set_method_type): Removed. (objc_add_method_declaration): Added boolean argument. (objc_start_method_definition): Same change. (objc_build_method_signature): Same change. * stub-objc.c (objc_set_method_type): Removed. (objc_add_method_declaration): Added boolean argument. (objc_start_method_definition): Same change. (objc_build_method_signature): Same change. In gcc/cp/: 2010-10-20 Nicola Pero <nicola.pero@meta-innovation.com> * parser.c (cp_parser_objc_method_type): Mark inline. Return a bool instead of calling objc_set_method_type. (cp_parser_objc_method_signature): Updated calls to cp_parser_objc_method_type and to objc_build_method_signature. (cp_parser_objc_method_prototype_list): Updated calls to objc_add_method_declaration. Use token->type to determine if it is a class method or not. (cp_parser_objc_method_definition_list): Same change. In gcc/objc/: 2010-10-20 Nicola Pero <nicola.pero@meta-innovation.com> * objc-act.h (objc_inherit_code): Removed. * objc-act.c (objc_inherit_code): Removed. (objc_set_method_type): Removed. (objc_build_method_signature): Added is_class_method argument. Use it instead of the global objc_inherit_code variable. (objc_add_method_declaration): Same change. (objc_start_method_definition): Same change. (objc_generate_cxx_ctor_or_dtor): Updated call to objc_start_method_definition. Do not call objc_set_method_type. (adjust_type_for_id_default): Mark as inline. (objc_synthesize_getter): Updated call to objc_start_method_definition. Do not set objc_inherit_code. (objc_synthesize_setter): Updated call to objc_start_method_definition. Do not set objc_inherit_code. From-SVN: r165741
2010-10-20re PR tree-optimization/45919 (ICE: SIGSEGV in fold_ctor_reference ↵Jakub Jelinek4-6/+29
(tree-ssa-ccp.c:1527) at -O1) PR tree-optimization/45919 * tree-ssa-ccp.c (fold_nonarray_ctor_reference): Handle flexible array members. * gcc.c-torture/compile/pr45919.c: New test. From-SVN: r165740
2010-10-20re PR tree-optimization/46066 (ICE: in create_parallel_loop, at ↵Jakub Jelinek4-4/+33
tree-parloops.c:1455 with -ftree-parallelize-loops -g) PR tree-optimization/46066 * tree-parloops.c (create_parallel_loop): Use gsi_last_nondebug_bb instead of gsi_last_bb. * gcc.dg/autopar/pr46066.c: New test. From-SVN: r165739
2010-10-20m32c.c (m32c_option_override): Always disable function-cse in 16-bit mode.DJ Delorie2-0/+22
* config/m32c/m32c.c (m32c_option_override): Always disable function-cse in 16-bit mode. Indirect calls are always worse than direct calls as there is no 16-bit indirect call opcode. (m32c_override_options_after_change): New, likewise. From-SVN: r165737
2010-10-20ifcvt.c (noce_emit_cmove): If both of the values are SUBREGs...Nathan Froyd2-4/+64
* ifcvt.c (noce_emit_cmove): If both of the values are SUBREGs, try emitting the conditional move in the inner mode of the SUBREG. From-SVN: r165735
2010-10-20ia64.h (PREFERRED_RELOAD_CLASS): Remove macros.Anatoly Sokolov4-13/+17
* config/ia64/ia64.h (PREFERRED_RELOAD_CLASS): Remove macros. * config/ia64/ia64-protos.h (ia64_preferred_reload_class): Remove. * config/ia64/ia64.c (TARGET_PREFERRED_RELOAD_CLASS): Define. (ia64_preferred_reload_class): Make static. Change rclass argument and result types from enum reg_class to reg_class_t. From-SVN: r165734
2010-10-20tree-ssa-ter.c (find_replaceable_in_bb): Allow replacement over call for ↵Pat Haugen2-2/+9
single operand expression. * tree-ssa-ter.c (find_replaceable_in_bb): Allow replacement over call for single operand expression. From-SVN: r165733
2010-10-20[multiple changes]Nicola Pero3-15/+91
2010-10-20 Nicola Pero <nicola.pero@meta-innovation.com> Merge from 'apple/trunk' branch on FSF servers. Obvious updates to gcc_alloc_xxx calls in hash_init and hash_class_name_enter to get it to compile in the current trunk. 2006-01-27 Fariborz Jahanian <fjahanian@apple.com> Radar 4345837 * objc/objc-act.c (hash_class_name_enter): New. (hash_class_name_lookup): New. (objc_declare_alias): Enter alias name into hash table. (objc_declare_class): Enter class name into hash table. (objc_is_class_name): Do a hash look up of class name. (hash_init): Initialize the two new hash tables. * objc-act.h: Added cls_name_hash_list and als_name_hash_list declarations, removed class_chain and alias_chain. From-SVN: r165732
2010-10-20re PR c++/46024 (g++.dg/warn/miss-format-1.C FAILs on Solaris 8 and 9)Rainer Orth2-1/+6
fixincludes: PR c++/46024 * inclhack.def (solaris_sys_va_list): New fix. * fixincl.x: Regenerate. * tests/base/sys/va_list.h: New test. gcc/testsuite: PR c++/46024 * g++.dg/warn/miss-format-1.C: Enclose dg-error target list in braces. From-SVN: r165731
2010-10-20tree-optimize.c (execute_fixup_cfg): Purge dead abnormal call edges if there ↵Eric Botcazou2-1/+9
is a call statement to pure or const... * tree-optimize.c (execute_fixup_cfg): Purge dead abnormal call edges if there is a call statement to pure or const function in the block. From-SVN: r165730
2010-10-20Fix several build errors for pdp11 target.Paul Koning3-12/+21
* config/pdp11/pdp11.md (*cmpdf): Fix tstd operands. (cbranchdf4): Conditional on TARGET_FPU. (movdf): Ditto; correct alternatives check. (movmemhi): Fix predicate and constraint. * config/pdp11/pdp11.h (HARD_REGNO_MODE_OK): Handle 64 bit mode. From-SVN: r165729
2010-10-20re PR c++/46056 ([C++0x] range-based for loop does not destruct iterators)Rodrigo Rivas Costa4-7/+139
PR c++/46056 * parser.c (cp_convert_range_for): Call cp_finish_decl instead of finish_expr_stmt. From-SVN: r165726
2010-10-20re PR lto/45667 (ICE: verify_stmts failed: type mismatch in address ↵Richard Guenther7-4/+66
expression with -flto) 2010-10-20 Richard Guenther <rguenther@suse.de> PR lto/45667 * lto-streamer-out.c (output_gimple_stmt): Fix typo. * tree-cfg.c (verify_gimple_call): Properly get the call fndecl. (verify_gimple_assign_single): Disable ADDR_EXPR type check when in LTO. * g++.dg/lto/20101020-1_0.h: New testcase. * g++.dg/lto/20101020-1_0.C: Likewise. * g++.dg/lto/20101020-1_1.C: Likewise. From-SVN: r165725
2010-10-20re PR fortran/42169 (gfortran.dg/pr41928.f90:47: internal compiler error: in ↵Vladimir Makarov2-1/+8
store_can_be_removed_p, at ira-emit.c:371) 2010-10-20 Vladimir Makarov <vmakarov@redhat.com> PR fortran/42169 * ira-emit.c (store_can_be_removed_p): Return false instead of gcc_unreachable. From-SVN: r165722
2010-10-20Add LTO to boot language if it is enabled.H.J. Lu2-0/+8
2010-10-20 H.J. Lu <hongjiu.lu@intel.com> PR bootstrap/45954 * config-lang.in (boot_language): Set to $enable_lto. From-SVN: r165721
2010-10-20fold-const.c (fold_binary_loc): New transformation.Dmitry Melnik4-0/+44
2010-10-20 Dmitry Melnik <dm@ispras.ru> gcc/ * fold-const.c (fold_binary_loc): New transformation. gcc/testsuite/ * gcc.dg/20101013-1.c: New test. From-SVN: r165720
2010-10-20Correct reduc_splus_v8sf and reduc_splus_v4df.H.J. Lu5-3/+112
gcc/ 2010-10-20 H.J. Lu <hongjiu.lu@intel.com> PR target/46085 * config/i386/sse.md (reduc_splus_v8sf): Updated. (reduc_splus_v4df): Likewise. gcc/testsuite/ 2010-10-20 H.J. Lu <hongjiu.lu@intel.com> PR target/46085 * gcc.target/i386/pr46085-1.c: New. * gcc.target/i386/pr46085-2.c: Likewise. From-SVN: r165719
2010-10-20re PR tree-optimization/45860 (ICE: verify_ssa failed: virtual SSA name for ↵Richard Guenther4-5/+26
non-VOP decl at -O1) 2010-10-20 Richard Guenther <rguenther@suse.de> PR tree-optimization/45860 * tree-ssa-phiopt.c (cond_store_replacement): Do not do conditional store replacement for non-register type stores. * gcc.dg/torture/pr45860.c: New testcase. From-SVN: r165718
2010-10-20stor-layout.c (skip_simple_constant_arithmetic): New function.Eric Botcazou6-1/+87
* stor-layout.c (skip_simple_constant_arithmetic): New function. (self_referential_size): Use it instead of skip_simple_arithmetic. From-SVN: r165716
2010-10-20rs6000.c (rs6000_reg_live_or_pic_offset_p): If the current function calls ↵Olivier Hainque4-1/+31
eh_return... * config/rs6000/rs6000.c (rs6000_reg_live_or_pic_offset_p): If the current function calls eh_return, claim live all registers that we need to check for liveness otherwise. testsuite/ * gcc.target/powerpc (ehreturn.c): New test. From-SVN: r165715
2010-10-20In gcc/: 2010-10-20 Nicola Pero <nicola.pero@meta-innovation.com>Nicola Pero18-41/+118
In gcc/: 2010-10-20 Nicola Pero <nicola.pero@meta-innovation.com> * c-decl.c (c_write_global_declarations): Call objc_write_global_declarations when compiling Objective-C. * c-lang.c (finish_file): Removed. In gcc/c-family/: 2010-10-20 Nicola Pero <nicola.pero@meta-innovation.com> * c-common.h (finish_file): Removed. (objc_write_global_declarations): New. * c-opts.c (c_common_parse_file): Do not call finish_file. * stub-objc.c (objc_write_global_declarations): New. In gcc/cp/: 2010-10-20 Nicola Pero <nicola.pero@meta-innovation.com> * cp-lang.c (finish_file): Removed. * decl2.c (cp_write_global_declarations): Call objc_write_global_declarations when compiling Objective-C++. In gcc/objc/: 2010-10-20 Nicola Pero <nicola.pero@meta-innovation.com> * objc-lang.c (finish_file): Removed. * objc-act.c (objc_finish_file): Renamed to objc_write_global_declarations. Do not try to instantiate C++ templates when compiling Objective-C++ as this is now automatically done before this function is called. Do not check for syntax-only run or PCH generation as this is done by the callers. * objc-act.h (objc_finish_file): Removed. In gcc/objcp/: 2010-10-20 Nicola Pero <nicola.pero@meta-innovation.com> * objcp-lang.c (finish_file): Removed. In gcc/testsuite/: 2010-10-20 Nicola Pero <nicola.pero@meta-innovation.com> Merge from 'apple/trunk' branch on FSF servers. Test adapted to not require Foundation and run with the GNU runtime as well. 2006-03-13 Fariborz Jahanian <fjahanian@apple.com> Radar 4439126 * obj-c++.dg/template-8.mm: New. From-SVN: r165714
2010-10-20In gcc/testsuite/: 2010-10-20 Nicola Pero <nicola.pero@meta-innovation.com>Nicola Pero3-0/+30
In gcc/testsuite/: 2010-10-20 Nicola Pero <nicola.pero@meta-innovation.com> PR objc/23709 * objc.dg/pr23709.m: New. * obj-c++.dg/pr23709.m: New. From-SVN: r165713
2010-10-20Daily bump.GCC Administrator1-1/+1
From-SVN: r165712
2010-10-19re PR c++/46046 (internal compiler error with SFINAE expression in a ↵Paolo Carlini4-42/+83
template inside a template) /cp 2010-10-19 Paolo Carlini <paolo.carlini@oracle.com> PR c++/46046 * pt.c (add_to_template_args): Check extra_args for error_mark_node. (coerce_template_parms): Likewise for args. /testsuite 2010-10-19 Paolo Carlini <paolo.carlini@oracle.com> PR c++/46046 * g++.dg/template/crash104.C: New. From-SVN: r165708
2010-10-19tm.texi.in (TARGET_ASM_JUMP_ALIGN_MAX_SKIP): New.DJ Delorie7-44/+134
* doc/tm.texi.in (TARGET_ASM_JUMP_ALIGN_MAX_SKIP): New. (TARGET_ASM_LABEL_ALIGN_AFTER_BARRIER_MAX_SKIP): Change to hook. (TARGET_ASM_LOOP_ALIGN_MAX_SKIP): Likewise. (TARGET_ASM_LABEL_ALIGN_MAX_SKIP): Likewise. * doc/tm.texi: Regenerate. * targhooks.h (default_label_align_after_barrier_max_skip, default_loop_align_max_skip, default_label_align_max_skip, default_jump_align_max_skip): Declare. * target.def (label_align_after_barrier_max_skip): New. (loop_align_max_skip): New. (label_align_max_skip): New. (jump_align_max_skip): New. * system.h (poison): Add those macros to the list. * final.c (LABEL_ALIGN_MAX_SKIP): Remove. (LOOP_ALIGN_MAX_SKIP): Remove. (LABEL_ALIGN_AFTER_BARRIER_MAX_SKIP): Remove. (JUMP_ALIGN_MAX_SKIP): Remove. (default_label_align_after_barrier_max_skip): New. (default_loop_align_max_skip): New. (default_label_align_max_skip): New. (default_jump_align_max_skip): New. (compute_alignments): Use the new hooks. (shorten_branches): Likewise. From-SVN: r165707
2010-10-19Add patterns for FMA3.Richard Henderson7-72/+515
From-SVN: r165705
2010-10-19lower-subreg.c (resolve_shift_zext): Delete conditional code for ↵Paul Koning2-7/+5
WORDS_BIG_ENDIAN != BYTES_BIG_ENDIAN. * lower-subreg.c (resolve_shift_zext): Delete conditional code for WORDS_BIG_ENDIAN != BYTES_BIG_ENDIAN. From-SVN: r165703
2010-10-19Add FMA patterns for ia64.Richard Henderson4-0/+140
From-SVN: r165702
2010-10-19Use sjlj unwind.Michael Eager2-0/+8
From-SVN: r165701
2010-10-19re PR fortran/43414 (DWARF4: Use DW_AT_main_subprogram for MAIN__)Francois-Xavier Coudert2-6/+19
PR fortran/43414 * dwarf2out.c (add_calling_convention_attribute): Flag main Fortran subroutine with DW_AT_main_subprogram. From-SVN: r165699
2010-10-19[multiple changes]Arnaud Charlet23-23/+358
2010-10-19 Ed Schonberg <schonberg@adacore.com> * exp_ch4.adb, exp_ch4.ads (Expand_Quantified_Expression): New procedure * exp_util.adb (Insert_Actions): Include Quantified_Expression. * expander.adb: Call Expand_Qualified_Expression. * par.adb: New procedure P_Quantified_Expression. Make P_Loop_Parameter_Specification global for use in quantified expressions. * par-ch3.adb (P_Subtype_Mark_Resync): Allow "some" as an identifier if version < Ada2012. * par-ch4.adb: New procedure P_Quantified_Expression. * par-ch5.adb: P_Loop_Parameter_Specification is now global. * scans.adb, scans.ads: Introduce token Some. For now leave as unreserved. * scn.adb (Scan_Reserved_Identifier): For earlier versions of Ada, treat Some as a regular identifier. * sem.adb: Call Analyze_Quantified_Expression. * sem_ch4.adb, sem_ch4.ads: New procedure Analyze_Quantified_Expression. * sem_ch5.adb, sem_ch5.ads: Analyze_Iteration_Scheme is public, for use in quantified expressions. * sem_res.adb: New procedure Resolve_Qualified_Expression. * sinfo.adb, sinfo.ads: New node N_Quantified_Expression * snames.ads-tmpl: New name Some. * sprint.adb: Output quantified_expression. 2010-10-19 Robert Dewar <dewar@adacore.com> * a-exexda.adb: Minor reformatting Minor code reorganization. From-SVN: r165698
2010-10-19re PR tree-optimization/46081 (FAIL: gcc.dg/ipa/ipa-pta-10.c)Richard Guenther2-1/+6
2010-10-19 Richard Guenther <rguenther@suse.de> PR testsuite/46081 * gcc.dg/ipa/ipa-pta-10.c: Adjust. From-SVN: r165697
2010-10-19[multiple changes]Arnaud Charlet21-374/+778
2010-10-19 Robert Dewar <dewar@adacore.com> * sem_eval.adb: Minor reformatting. 2010-10-19 Tristan Gingold <gingold@adacore.com> * exp_ch4.adb (Expand_N_And_Op, Expand_N_Or_Op, Expand_N_Xor_Op): Call Expand_Intrinsic_Call if the function is intrinsic. * exp_intr_adb (Expand_Binary_Operator): Handle VMS case for logical binary operator on the unsigned_quadword record. * exp_intr.ads (Expand_Intrinsic_Call): Update comments. 2010-10-19 Geert Bosch <bosch@adacore.com> * gnat_rm.texi (pragma Float_Representation): Fix typo. 2010-10-19 Arnaud Charlet <charlet@adacore.com> * switch-c.adb (Scan_Front_End_Switches): Add handling of -gnateE. * fe.h (Exception_Extra_Info): Declare. * usage.adb (usage): Add -gnateE doc. * checks.adb (Install_Null_Excluding_Check): Use better sloc. * sem_util.adb (Insert_Explicit_Dereference): Ditto. * gnat_ugn.texi: Document -gnateE switch. * a-except.adb (Set_Exception_C_Msg): New parameter Column. * a-except-2005.adb (Set_Exception_C_Msg): New parameter Column. (Raise_Constraint_Error_Msg): Ditto. (Image): New helper function. (Rcheck_00_Ext, Rcheck_05_Ext, Rcheck_12_Ext): New procedure with more detailed exception information. Adjust calls to Set_Exception_C_Msg and Raise_Constraint_Error_Msg. * a-exexda.adb (Set_Exception_C_Msg): New parameter Column. * opt.ads (Exception_Extra_Info): New flag. * gcc-interface/utils.c (gnat_raise_decls_ext): New. * gcc-interface/utils2.c (build_call_raise_range, build_call_raise_column): New functions. * gcc-interface/gigi.h (exception_info_kind, gnat_raise_decls_ext, build_call_raise_range, build_call_raise_column): Declare. gcc-interface/trans.c (build_raise_check): New function. (gigi): Initialize gnat_raise_decls_ext. (gnat_to_gnu): Add initial support for -gnateE switch. * gcc-interface/Make-lang.in: Update dependencies. From-SVN: r165696
2010-10-19[multiple changes]Arnaud Charlet22-123/+986
2010-10-19 Geert Bosch <bosch@adacore.com> * ttypef.ads: Change VAXDF_Last to be -VAXDF_First, as type is symmetric. 2010-10-19 Robert Dewar <dewar@adacore.com> * atree.h (Field29): Fix incorrect definition. * einfo.adb (Invariant_Procedure): New attribute (Has_Invariants): New flag (Has_Inheritable_Invariants): New flag (OK_To_Reference): New flag Minor code reorganization (use Next_Rep_Item function) * einfo.ads (Invariant_Procedure): New attribute (Has_Invariants): New flag (Has_Inheritable_Invariants): New flag (OK_To_Reference): New flag * exp_ch3.adb (Expand_N_Object_Declaration): Add check for invariant * exp_ch4.adb (Expand_N_Type_Conversion): Check invariant on type conversion. Minor reformatting. * exp_util.ads, exp_util.adb (Make_Invariant_Call): New procedure. * opt.ads (List_Inherited_Aspects): New name for List_Inherited_Pre_Post * par-prag.adb: Add dummy entry for pragma Invariant. * sem_ch13.adb (Build_Invariant_Procedure): New procedure (Analyze_Aspect_Specification): Add support for Invariant aspect * sem_ch13.ads (Build_Invariant_Procedure): New procedure * sem_ch3.adb (Build_Derived_Type): Propagate invariant information (Process_Full_View): Deal with invariants, building invariant procedure Minor reformatting * sem_ch6.adb (Process_PPCs): Add processing of invariants * sem_ch7.adb (Analyze_Package_Specification): Build invariant procedures. * sem_prag.adb: Implement pragma Invariant. * sem_res.adb (Resolve_Entity_Name): Allow type reference if OK_To_Reference set. * sem_warn.adb (List_Inherited_Aspects): New name for List_Inherited_Pre_Post. * snames.ads-tmpl: Add entries for pragma Invariant. * treepr.adb (Print_Entity_Information): Add handling of Field29. * usage.adb: Warning .l/.L applies to invariant as well as pre/post. From-SVN: r165694
2010-10-19Minor reformatting.Arnaud Charlet4-53/+52
From-SVN: r165693
2010-10-19[multiple changes]Arnaud Charlet12-81/+151
2010-10-19 Javier Miranda <miranda@adacore.com> * par-ch4.adb: Update documentation of Ada 2012 syntax rules for membership test. 2010-10-19 Bob Duff <duff@adacore.com> * sem_attr.adb (Eval_Attribute): Implement Max_Alignment_For_Allocation attribute. * exp_attr.adb (Expand_N_Attribute_Reference): Add Attribute_Max_Alignment_For_Allocation to the case statement. * snames.ads-tmpl (Name_Max_Alignment_For_Allocation, Attribute_Max_Alignment_For_Allocation): New attribute name. 2010-10-19 Ed Schonberg <schonberg@adacore.com> * sem_ch3.adb (OK_For_Limited_Init_In_05): a call to an access to parameterless function appears syntactically as an explicit dereference. 2010-10-19 Thomas Quinot <quinot@adacore.com> * sem_ch8.adb, sem_ch12.adb, opt.ads, sem_ch6.adb, sem_res.adb, i-cexten.ads, exp_disp.adb, exp_ch4.adb, exp_ch9.adb: Minor reformatting 2010-10-19 Thomas Quinot <quinot@adacore.com> * sem_util.adb (Collect_Primitive_Operations): A function with an anonymous access result designating T is a primitive operation of T. From-SVN: r165692
2010-10-19rx.c (rx_function_value): Small integer types are promotes to SImode.Nick Clifton2-1/+36
* config/rx/rx.c (rx_function_value): Small integer types are promotes to SImode. (rx_promote_function_mode): New function. (TARGET_PROMOTE_FUNCTION_MODE): Define. From-SVN: r165690
2010-10-19[multiple changes]Arnaud Charlet13-84/+143
2010-10-19 Tristan Gingold <gingold@adacore.com> * init.c: On Alpha/VMS, only adjust PC for HPARITH. 2010-10-19 Tristan Gingold <gingold@adacore.com> * sem_attr.adb (Eval_Attribute): Handle Attribute_Ref, which can be evaluated on VMS. 2010-10-19 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb (Check_Generic_Child_Unit): Handle properly the case of an instantiation of a renaming of the implicit generic child that appears within an instance of its parent. 2010-10-19 Thomas Quinot <quinot@adacore.com> * exp_ch9.adb: Minor reformatting. * einfo.adb, einfo.ads, atree.adb, atree.ads, exp_dist.adb, atree.h: (Referenced_Object): Remove unused entity attribute. (Direct_Primitive_Operations): Move to Elist10, this is set for all tagged types, including synchronous ones, so can't use field15 which is used as Storage_Size_Variable for task types and Entry_Bodies_Array for protected types. (Add_RACW_Primitive_Declarations_And_Bodies): Remove bogus guard against Concurrent_Types (we must handle the case of a RACW designating a class-wide private synchronous type). Use Direct_Primitive_Operations, not Primitive_Operations, since we really want the former. 2010-10-19 Bob Duff <duff@adacore.com> * sem_ch8.adb (Pop_Scope): Change "return;" to "raise Program_Error;". 2010-10-19 Javier Miranda <miranda@adacore.com> * exp_ch4.adb (Expand_Set_Membership.Make_Cond): Add missing support for N_Range nodes. From-SVN: r165689
2010-10-19einfo.ads, atree.ads: Minor comment fixes.Thomas Quinot3-2/+7
2010-10-19 Thomas Quinot <quinot@adacore.com> * einfo.ads, atree.ads: Minor comment fixes. From-SVN: r165688
2010-10-19mep.c (mep_print_operand): Use targetm.strip_name_encoding.Nick Clifton2-2/+8
* config/mep/mep.c (mep_print_operand): Use targetm.strip_name_encoding. (mep_output_aligned_common): Likewise. From-SVN: r165682
2010-10-19gengtype.c (new_structure): Remove ad-hoc "location_s" processing.Basile Starynkevitch2-20/+4
2010-10-19 Basile Starynkevitch <basile@starynkevitch.net> * gengtype.c (new_structure): Remove ad-hoc "location_s" processing. From-SVN: r165679
generated by cgit v1.1 at 2025-09-20 21:47:46 +0000