Tristan Gingold [Thu, 21 Oct 2010 08:46:51 +0000 (08:46 +0000)]
vms-crtl.h (CRTL_NAMES): Add new translations.
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
Tristan Gingold [Thu, 21 Oct 2010 08:25:41 +0000 (08:25 +0000)]
vms-unwind.h (alpha_vms_fallback_frame_state): Set signal_frame.
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
Tristan Gingold [Thu, 21 Oct 2010 08:01:22 +0000 (08:01 +0000)]
vms64.h (TARGET_DEFAULT): Add MASK_FUSED_MADD.
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
Tobias Burnus [Thu, 21 Oct 2010 06:15:30 +0000 (08:15 +0200)]
re PR fortran/46100 ([Fortran 2008] Non-variable pointer expression as 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
Nathan Froyd [Thu, 21 Oct 2010 02:33:33 +0000 (02:33 +0000)]
basic-block.h (find_fallthru_edge): Define.
* 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
Paul Koning [Thu, 21 Oct 2010 01:01:22 +0000 (21:01 -0400)]
pdp11.md (various): Fix conditions on a number of insn to check for target 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
Jerry DeLisle [Thu, 21 Oct 2010 00:45:15 +0000 (00:45 +0000)]
re PR fortran/46079 (ABI for empty stop statement broken)
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
GCC Administrator [Thu, 21 Oct 2010 00:17:58 +0000 (00:17 +0000)]
Daily bump.
From-SVN: r165745
Nicola Pero [Wed, 20 Oct 2010 22:41:53 +0000 (22:41 +0000)]
In gcc/: 2010-10-20 Nicola Pero <nicola.pero@meta-innovation.com>
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
Jakub Jelinek [Wed, 20 Oct 2010 21:17:30 +0000 (23:17 +0200)]
re PR tree-optimization/45919 (ICE: SIGSEGV in fold_ctor_reference (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
Jakub Jelinek [Wed, 20 Oct 2010 21:15:49 +0000 (23:15 +0200)]
re PR tree-optimization/46066 (ICE: in create_parallel_loop, at 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
DJ Delorie [Wed, 20 Oct 2010 20:37:54 +0000 (16:37 -0400)]
m32c.c (m32c_option_override): Always disable function-cse in 16-bit mode.
* 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
Nathan Froyd [Wed, 20 Oct 2010 20:15:07 +0000 (20:15 +0000)]
ifcvt.c (noce_emit_cmove): If both of the values are SUBREGs...
* 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
Anatoly Sokolov [Wed, 20 Oct 2010 19:56:58 +0000 (23:56 +0400)]
ia64.h (PREFERRED_RELOAD_CLASS): Remove macros.
* 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
Pat Haugen [Wed, 20 Oct 2010 18:57:15 +0000 (18:57 +0000)]
tree-ssa-ter.c (find_replaceable_in_bb): Allow replacement over call for single operand expression.
* tree-ssa-ter.c (find_replaceable_in_bb): Allow replacement over
call for single operand expression.
From-SVN: r165733
Nicola Pero [Wed, 20 Oct 2010 18:03:43 +0000 (18:03 +0000)]
[multiple changes]
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
Rainer Orth [Wed, 20 Oct 2010 17:36:15 +0000 (17:36 +0000)]
re PR c++/46024 (g++.dg/warn/miss-format-1.C FAILs on Solaris 8 and 9)
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
Eric Botcazou [Wed, 20 Oct 2010 17:30:10 +0000 (17:30 +0000)]
tree-optimize.c (execute_fixup_cfg): Purge dead abnormal call edges if there 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
Paul Koning [Wed, 20 Oct 2010 15:40:09 +0000 (15:40 +0000)]
Fix several build errors for pdp11 target.
* 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
Ian Lance Taylor [Wed, 20 Oct 2010 14:39:17 +0000 (14:39 +0000)]
Makefile.def (target_modules): Set lib_path to src/.libs for libstdc++-v3 module.
* Makefile.def (target_modules): Set lib_path to src/.libs for
libstdc++-v3 module.
* Makefile.tpl: Fix typo in TARGET_LIB_PATH comment.
* Makefile.in: Rebuild.
From-SVN: r165727
Rodrigo Rivas Costa [Wed, 20 Oct 2010 14:13:38 +0000 (14:13 +0000)]
re PR c++/46056 ([C++0x] range-based for loop does not destruct iterators)
PR c++/46056
* parser.c (cp_convert_range_for): Call cp_finish_decl
instead of finish_expr_stmt.
From-SVN: r165726
Richard Guenther [Wed, 20 Oct 2010 14:11:06 +0000 (14:11 +0000)]
re PR lto/45667 (ICE: verify_stmts failed: type mismatch in address 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
Vladimir Makarov [Wed, 20 Oct 2010 13:51:31 +0000 (13:51 +0000)]
re PR fortran/42169 (gfortran.dg/pr41928.f90:47: internal compiler error: in 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
H.J. Lu [Wed, 20 Oct 2010 12:38:22 +0000 (12:38 +0000)]
Add LTO to boot language if it is enabled.
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
Dmitry Melnik [Wed, 20 Oct 2010 12:26:10 +0000 (12:26 +0000)]
fold-const.c (fold_binary_loc): New transformation.
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
H.J. Lu [Wed, 20 Oct 2010 11:21:19 +0000 (11:21 +0000)]
Correct reduc_splus_v8sf and reduc_splus_v4df.
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
Richard Guenther [Wed, 20 Oct 2010 11:09:54 +0000 (11:09 +0000)]
re PR tree-optimization/45860 (ICE: verify_ssa failed: virtual SSA name for 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
Eric Botcazou [Wed, 20 Oct 2010 11:02:40 +0000 (11:02 +0000)]
stor-layout.c (skip_simple_constant_arithmetic): New function.
* stor-layout.c (skip_simple_constant_arithmetic): New function.
(self_referential_size): Use it instead of skip_simple_arithmetic.
From-SVN: r165716
Olivier Hainque [Wed, 20 Oct 2010 10:09:41 +0000 (10:09 +0000)]
rs6000.c (rs6000_reg_live_or_pic_offset_p): If the current function calls 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
Nicola Pero [Wed, 20 Oct 2010 09:08:57 +0000 (09:08 +0000)]
In gcc/: 2010-10-20 Nicola Pero <nicola.pero@meta-innovation.com>
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
Nicola Pero [Wed, 20 Oct 2010 09:03:06 +0000 (09:03 +0000)]
In gcc/testsuite/: 2010-10-20 Nicola Pero <nicola.pero@meta-innovation.com>
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
GCC Administrator [Wed, 20 Oct 2010 00:17:23 +0000 (00:17 +0000)]
Daily bump.
From-SVN: r165712
Paolo Carlini [Tue, 19 Oct 2010 22:58:11 +0000 (22:58 +0000)]
re PR c++/46046 (internal compiler error with SFINAE expression in a 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
DJ Delorie [Tue, 19 Oct 2010 21:07:50 +0000 (17:07 -0400)]
tm.texi.in (TARGET_ASM_JUMP_ALIGN_MAX_SKIP): New.
* 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
Richard Henderson [Tue, 19 Oct 2010 19:58:20 +0000 (12:58 -0700)]
Add patterns for FMA3.
From-SVN: r165705
Paul Koning [Tue, 19 Oct 2010 18:01:01 +0000 (18:01 +0000)]
lower-subreg.c (resolve_shift_zext): Delete conditional code for 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
Richard Henderson [Tue, 19 Oct 2010 17:40:58 +0000 (10:40 -0700)]
Add FMA patterns for ia64.
From-SVN: r165702
Michael Eager [Tue, 19 Oct 2010 17:08:24 +0000 (17:08 +0000)]
Use sjlj unwind.
From-SVN: r165701
Francois-Xavier Coudert [Tue, 19 Oct 2010 12:30:35 +0000 (12:30 +0000)]
re PR fortran/43414 (DWARF4: Use DW_AT_main_subprogram for MAIN__)
PR fortran/43414
* dwarf2out.c (add_calling_convention_attribute): Flag main
Fortran subroutine with DW_AT_main_subprogram.
From-SVN: r165699
Arnaud Charlet [Tue, 19 Oct 2010 12:29:25 +0000 (14:29 +0200)]
[multiple changes]
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
Richard Guenther [Tue, 19 Oct 2010 11:06:29 +0000 (11:06 +0000)]
re PR tree-optimization/46081 (FAIL: gcc.dg/ipa/ipa-pta-10.c)
2010-10-19 Richard Guenther <rguenther@suse.de>
PR testsuite/46081
* gcc.dg/ipa/ipa-pta-10.c:Â Adjust.
From-SVN: r165697
Arnaud Charlet [Tue, 19 Oct 2010 10:54:58 +0000 (12:54 +0200)]
[multiple changes]
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
Arnaud Charlet [Tue, 19 Oct 2010 10:37:41 +0000 (12:37 +0200)]
[multiple changes]
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
Arnaud Charlet [Tue, 19 Oct 2010 10:30:52 +0000 (12:30 +0200)]
Minor reformatting.
From-SVN: r165693
Arnaud Charlet [Tue, 19 Oct 2010 10:30:18 +0000 (12:30 +0200)]
[multiple changes]
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
Nick Clifton [Tue, 19 Oct 2010 10:26:31 +0000 (10:26 +0000)]
rx.c (rx_function_value): Small integer types are promotes to SImode.
* 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
Arnaud Charlet [Tue, 19 Oct 2010 10:23:10 +0000 (12:23 +0200)]
[multiple changes]
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
Thomas Quinot [Tue, 19 Oct 2010 10:06:43 +0000 (10:06 +0000)]
einfo.ads, atree.ads: Minor comment fixes.
2010-10-19 Thomas Quinot <quinot@adacore.com>
* einfo.ads, atree.ads: Minor comment fixes.
From-SVN: r165688
Nick Clifton [Tue, 19 Oct 2010 08:18:18 +0000 (08:18 +0000)]
mep.c (mep_print_operand): Use targetm.strip_name_encoding.
* config/mep/mep.c (mep_print_operand): Use
targetm.strip_name_encoding.
(mep_output_aligned_common): Likewise.
From-SVN: r165682
Basile Starynkevitch [Tue, 19 Oct 2010 06:57:24 +0000 (06:57 +0000)]
line-map.h (source_location): Remove obsolete comment mentioning location_s.
2010-10-19 Basile Starynkevitch <basile@starynkevitch.net>
* line-map.h (source_location): Remove obsolete comment
mentioning location_s.
From-SVN: r165680
Basile Starynkevitch [Tue, 19 Oct 2010 06:47:02 +0000 (06:47 +0000)]
gengtype.c (new_structure): Remove ad-hoc "location_s" processing.
2010-10-19 Basile Starynkevitch <basile@starynkevitch.net>
* gengtype.c (new_structure): Remove ad-hoc "location_s"
processing.
From-SVN: r165679
Richard Henderson [Tue, 19 Oct 2010 02:12:07 +0000 (19:12 -0700)]
simplify-rtx.c (simplify_ternary_operation): Simplify (fma (neg a) (neg b) c) and (fma a (neg b) c).
* simplify-rtx.c (simplify_ternary_operation) [FMA]: Simplify
(fma (neg a) (neg b) c) and (fma a (neg b) c).
From-SVN: r165677
Richard Henderson [Tue, 19 Oct 2010 02:12:00 +0000 (19:12 -0700)]
Simplify FMA4 patterns with FMA rtx code.
Also fix incorrect rtl generation for scalar instructions.
From-SVN: r165676
Jerry DeLisle [Tue, 19 Oct 2010 01:28:50 +0000 (01:28 +0000)]
io.h: Remove definition of the BT enumerator.
2010-10-18 Jerry DeLisle <jvdelisle@gcc.gnu.org>
* io/io.h: Remove definition of the BT enumerator.
* libgfortran.h: Replace GFC_DTYPE enumerator with BT.
* intrinsics/iso_c_generated_procs.c: Likewise
* intrinsics/date_and_time.c: Likewise.
* intrinsics/iso_c_binding.c: Likewise.
* io/list_read.c: Likewise.
* io/transfer.c: Likewise.
* io/write.c: Likewise.
2010-10-18 Jerry DeLisle <jvdelisle@gcc.gnu.org>
* gfortran.h: Remove definition of bt enumerator.
* libgfortran.h: Add bt enumerator type alighned with defintion.
Remove the dtype enumerator, no longer used.
previously given in libgfortran/io.h
* trans-types.c: Use new bt enumerator.
* trans-io.c: Likewise.
From-SVN: r165675
Bernd Schmidt [Tue, 19 Oct 2010 00:24:36 +0000 (00:24 +0000)]
re PR rtl-optimization/45966 (Incorrect combiner transformation.)
PR rtl-optimization/45966
* combine.c (try_combine): If added_sets_2, deal with the case
where i0 feeds i1 and i1 feeds i2.
From-SVN: r165674
GCC Administrator [Tue, 19 Oct 2010 00:18:46 +0000 (00:18 +0000)]
Daily bump.
From-SVN: r165673
Jan Hubicka [Tue, 19 Oct 2010 00:12:07 +0000 (02:12 +0200)]
ipa.c (cgraph_externally_visible_p): Handle externally visible and preserve flags before trying to guess on visibility.
* ipa.c (cgraph_externally_visible_p): Handle externally visible and
preserve flags before trying to guess on visibility.
(varpool_externally_visible_p): New function.
(function_and_variable_visibility): Use it.
From-SVN: r165669
Nicola Pero [Mon, 18 Oct 2010 23:32:10 +0000 (23:32 +0000)]
In gcc/testsuite/: 2010-10-18 Nicola Pero <nicola.pero@meta-innovation.com>
In gcc/testsuite/:
2010-10-18 Nicola Pero <nicola.pero@meta-innovation.com>
Merge from 'apple/trunk' branch on FSF servers.
2006-03-16 Fariborz Jahanian <fjahanian@apple.com>
Radar
4293709
* objc.dg/proto-init-mimatch-1.m: New.
* obj-c++.dg/proto-init-mimatch-1.mm: New.
From-SVN: r165668
Nicola Pero [Mon, 18 Oct 2010 23:28:20 +0000 (23:28 +0000)]
In gcc/: 2010-10-18 Nicola Pero <nicola.pero@meta-innovation.com>
In gcc/:
2010-10-18 Nicola Pero <nicola.pero@meta-innovation.com>
Implemented parsing @synthesize and @dynamic for Objective-C.
* c-parser.c (c_parser_external_declaration): Recognize
RID_AT_SYNTHESIZE and RID_AT_DYNAMIC.
(c_parser_objc_at_synthesize_declaration): New.
(c_parser_objc_at_dynamic_declaration): New.
2010-10-18 Nicola Pero <nicola.pero@meta-innovation.com>
* c-parser.c (c_parser_objc_class_declaration): After finding an
error, parse the whole declaration then reset parser->error.
In gcc/cp/:
2010-10-18 Nicola Pero <nicola.pero@meta-innovation.com>
Implemented parsing @synthesize and @dynamic for Objective-C++.
* parser.c (cp_parser_objc_method_definition_list): Recognize
RID_AT_SYNTHESIZE and RID_AT_DYNAMIC.
(cp_parser_objc_at_dynamic_declaration): New.
(cp_parser_objc_at_synthesize_declaration): New.
2010-10-18 Nicola Pero <nicola.pero@meta-innovation.com>
* parser.c (cp_parser_objc_identifier_list): Check the return
value of cp_parser_identifier and react if it is error_mark_node.
In gcc/objc/:
2010-10-18 Nicola Pero <nicola.pero@meta-innovation.com>
Implemented parsing @synthesize and @dynamic for
Objective-C/Objective-C++.
* objc-act.c (objc_add_synthesize_declaration): New.
(objc_add_dynamic_declaration): New.
2010-10-18 Nicola Pero <nicola.pero@meta-innovation.com>
* objc-act.c (lookup_and_install_protocols): Return NULL if passed
error_mark_node.
In gcc/testsuite/:
2010-10-18 Nicola Pero <nicola.pero@meta-innovation.com>
Implemented parsing @synthesize and @dynamic for
Objective-C/Objective-C++.
* objc.dg/property/dynamic-1.m: New.
* objc.dg/property/synthesize-1.m: New.
* obj-c++.dg/property/dynamic-1.mm: New.
* obj-c++.dg/property/synthesize-1.mm: New.
2010-10-18 Nicola Pero <nicola.pero@meta-innovation.com>
* objc.dg/at-class-1.m: New.
* objc.dg/at-class-1.mm: New.
From-SVN: r165667
Michael Meissner [Mon, 18 Oct 2010 22:37:32 +0000 (22:37 +0000)]
Fix PR 46041
From-SVN: r165666
Steve Ellcey [Mon, 18 Oct 2010 21:36:18 +0000 (21:36 +0000)]
920625-1.c: Remove dg-prune-output lines.
2010-10-18 Steve Ellcey <sje@cup.hp.com>
* gcc.c-torture/compile/920625-1.c: Remove dg-prune-output lines.
From-SVN: r165665
Steve Ellcey [Mon, 18 Oct 2010 21:34:46 +0000 (21:34 +0000)]
re PR target/36898 (Insufficient qp-mutex declarations)
2010-10-18 Steve Ellcey <sje@cup.hp.com>
PR target/36898
PR middle-end/43760
* config/ia64/ia64.c (rws_access_regno): Remove predicate check.
From-SVN: r165664
Joseph Myers [Mon, 18 Oct 2010 19:40:50 +0000 (20:40 +0100)]
i386.c (ix86_option_override_internal): Define and use USE_X86_64_FRAME_POINTER for 64-bit flag_omit_frame_pointer default.
* config/i386/i386.c (ix86_option_override_internal): Define and
use USE_X86_64_FRAME_POINTER for 64-bit flag_omit_frame_pointer
default.
* config/i386/sol2-10.h (SUBTARGET_OVERRIDE_OPTIONS): Remove.
(USE_IX86_FRAME_POINTER, USE_X86_64_FRAME_POINTER): Define.
From-SVN: r165660
Nicola Pero [Mon, 18 Oct 2010 18:54:01 +0000 (18:54 +0000)]
In gcc/objc/: 2010-10-18 Nicola Pero <nicola.pero@meta-innovation.com>
In gcc/objc/:
2010-10-18 Nicola Pero <nicola.pero@meta-innovation.com>
Merge from 'apple/trunk' branch on FSF servers.
2006-03-10 Fariborz Jahanian <fjahanian@apple.com>
Radar
4407151
* objc/objc-act.c (objc_is_class_name): template parameter is not
an objective class name.
(objc_generate_cxx_cdtors): Check for the null
objc_implementation_context.
In gcc/testsuite/:
2010-10-18 Nicola Pero <nicola.pero@meta-innovation.com>
Merge from 'apple/trunk' branch on FSF servers.
2006-01-17 Fariborz Jahanian <fjahanian@apple.com>
Radar
4407151
* obj-c++.dg/template-7.mm: New.
From-SVN: r165657
Nicola Pero [Mon, 18 Oct 2010 18:34:44 +0000 (18:34 +0000)]
In gcc/: 2010-10-18 Nicola Pero <nicola.pero@meta-innovation.com>
In gcc/:
2010-10-18 Nicola Pero <nicola.pero@meta-innovation.com>
Merge from 'apple/trunk' branch on FSF servers.
* c-parser.c (c_parser_objc_type_name): Adapted to new parser the
following Objective-C change:
2005-10-10 Fariborz Jahanian <fjahanian@apple.com>
Radar
4301047
* c-parse.in (objc_quals): Build objc qualifier list same way
as gcc-3.3
In gcc/testsuite/:
2010-10-18 Nicola Pero <nicola.pero@meta-innovation.com>
* objc.dg/proto-qual-1.m: Adjust test for GNU runtime to match
bugfix.
From-SVN: r165656
Jan Hubicka [Mon, 18 Oct 2010 18:23:26 +0000 (20:23 +0200)]
ipa.c (cgraph_externally_visible_p, [...]): Revert accidental commit.
* ipa.c (cgraph_externally_visible_p, varpool_externally_visible_p,
function_and_variable_visibility): Revert accidental commit.
From-SVN: r165655
Nicola Pero [Mon, 18 Oct 2010 18:06:03 +0000 (18:06 +0000)]
In gcc/: 2010-10-18 Nicola Pero <nicola.pero@meta-innovation.com>
In gcc/:
2010-10-18 Nicola Pero <nicola.pero@meta-innovation.com>
Merge from 'apple/trunk' branch on FSF servers.
* c-parser.c (c_parser_typeof_specifier): Adapted to new parser
the following Objective-C change:
2005-10-07 Fariborz Jahanian <fjahanian@apple.com>
Radar
4204796
* c-parse.in (typespec_nonreserved_nonattr): Remove volatile from
'volatilized' type used in a typeof operator.
In gcc/c-family/:
2010-10-18 Nicola Pero <nicola.pero@meta-innovation.com>
Merge from 'apple/trunk' branch on FSF servers.
2005-11-08 Fariborz Jahanian <fjahanian@apple.com>
Radar
4330422
* c-common.h (objc_non_volatilized_type): New declaration
* stub-objc.c (objc_non_volatilized_type): New stub.
In gcc/cp/:
2010-10-18 Nicola Pero <nicola.pero@meta-innovation.com>
Merge from apple/trunk branch on FSF servers.
2005-03-01 Fariborz Jahanian <fjahanian@apple.com>
Radar
4451818
* call.c (standard_conversion, implicit_conversion): Ignore
'volatile' attribute of artificially volatized type in objc when
evaluating various conversion weights.
2005-11-08 Fariborz Jahanian <fjahanian@apple.com>
Radar
4330422
* typeck.c (comp_ptr_ttypes_real): Remove the hack. un-volatize the
artiificially 'volatized' type before doing pointer comparison.
In gcc/objc/:
2010-10-17 Nicola Pero <nicola.pero@meta-innovation.com>
Merge from 'apple/trunk' branch on FSF servers.
2005-11-08 Fariborz Jahanian <fjahanian@apple.com>
Radar
4330422
* objc/objc-act.c (objc_non_volatilized_type): New
2005-10-07 Fariborz Jahanian <fjahanian@apple.com>
Radar
4204796
* objc-act.c (objc_build_volatilized_type): Build 'volatilzed'
types with proper attribute set and correctly.
(objc_volatilize_decl): Remove unneeded code.
(objc_type_quals_match): Use the new attribute to check on
'volatilzed' type.
(hash_init): removed unneeded code.
In gcc/testsuite/:
2010-10-18 Nicola Pero <nicola.pero@meta-innovation.com>
Merge from 'apple/trunk' branch on FSF servers.
2005-03-01 Fariborz Jahanian <fjahanian@apple.com>
Radar
4451818
* obj-c++.dg/try-catch-16.mm: New.
* obj-c++.dg/try-catch-17.mm: New.
2005-11-08 Fariborz Jahanian <fjahanian@apple.com>
Radar
4330422
* obj-c++.dg/try-catch-15.mm: New
2005-10-07 Fariborz Jahanian <fjahanian@apple.com>
Radar
4204796
* obj-c++.dg/try-catch-12.mm: New
* obj-c++.dg/try-catch-13.mm: New
* obj-c++.dg/try-catch-14.mm: New
* objc.dg/try-catch-11.m: New
* objc.dg/try-catch-12.m: New
* objc.dg/try-catch-13.m: New
From-SVN: r165654
Richard Henderson [Mon, 18 Oct 2010 17:52:47 +0000 (10:52 -0700)]
* gcc.target/ia64/
20101014.c: Fix double-paste of test case.
From-SVN: r165653
Paolo Carlini [Mon, 18 Oct 2010 17:28:15 +0000 (17:28 +0000)]
re PR libstdc++/45866 ([C++0x] std::ratio_add, ratio_sub, ratio_multiply, ratio_divide do not have num and den members.)
2010-10-18 Paolo Carlini <paolo.carlini@oracle.com>
PR libstdc++/45866
* include/std/ratio (ratio<>::type): Add.
(ratio_add<>::num, ratio_add<>::den,
ratio_subtract<>::num, ratio_subtract<>::den,
ratio_multiply<>::num, ratio_multiply<>::den,
ratio_divide<>::num, ratio_divide<>::den): Likewise.
* testsuite/20_util/ratio/operations/45866.cc: New.
From-SVN: r165649
Eric Botcazou [Mon, 18 Oct 2010 16:44:38 +0000 (16:44 +0000)]
tree-flow.h (gimple_purge_all_dead_abnormal_call_edges): Declare.
* tree-flow.h (gimple_purge_all_dead_abnormal_call_edges): Declare.
* tree-cfg.c (gimple_purge_dead_abnormal_call_edges): Move around and
rewrite modelled on gimple_purge_dead_eh_edges.
(gimple_purge_all_dead_abnormal_call_edges): New function.
* tree-inline.c (expand_call_inline): Call gimple_purge_dead_eh_edges
directly instead of through gimple_purge_dead_abnormal_call_edges.
* tree-ssa-pre.c (need_ab_cleanup): New static variable.
(eliminate): Set bit in need_ab_cleanup for the basic block if we have
removed AB side-effects from one of its statements.
(init_pre): Initialize need_ab_cleanup.
(fini_pre): Purge dead abnormal call edges and clean up the CFG if bits
are set in need_ab_cleanup. Free need_ab_cleanup afterward.
From-SVN: r165646
Jakub Jelinek [Mon, 18 Oct 2010 15:55:25 +0000 (17:55 +0200)]
re PR c/46015 (-Wunused-but-set-variable warns for arrays used in gotos)
PR c/46015
* c-parser.c (c_parser_statement_after_labels): Call mark_exp_read
on computed goto argument.
* semantics.c (finish_goto_stmt): Call mark_rvalue_use on computed
goto destination.
* c-c++-common/Wunused-var-13.c: New test.
From-SVN: r165643
Richard Guenther [Mon, 18 Oct 2010 15:32:00 +0000 (15:32 +0000)]
re PR tree-optimization/45967 (gcc-4.5.x optimizes code with side-effects away)
2010-10-18 Richard Guenther <rguenther@suse.de>
PR tree-optimization/45967
* tree-ssa-structalias.c (type_could_have_pointers): Remove.
(could_have_pointers): Likewise.
(handle_rhs_call, handle_const_call, handle_pure_call,
find_func_aliases, intra_create_variable_infos): Remove calls to them.
(struct fieldoff): Add must_have_pointers field.
(type_must_have_pointers): New function.
(field_must_have_pointers): Likewise.
(push_fields_onto_fieldstack): Remove must_have_pointers_p argument.
Adjust field merging.
(create_function_info_for): May-have-pointers of varinfo is
almost always true.
(create_variable_info_for_1): Likewise.
* gcc.dg/torture/pr45967.c: New testcase.
* gcc.dg/ipa/ipa-pta-10.c: Adjust.
* gcc.dg/ipa/ipa-pta-13.c: Likewise
* gcc.dg/torture/pr39074-2.c: Likewise
* gcc.dg/torture/pta-escape-1.c: Likewise
* gcc.dg/torture/pta-ptrarith-1.c: Likewise
* gcc.dg/tree-ssa/pta-callused.c: Likewise
* gcc.dg/tree-ssa/pta-escape-1.c: Likewise
* gcc.dg/tree-ssa/pta-escape-2.c: Likewise
* gcc.dg/tree-ssa/pta-escape-3.c: Likewise
* gcc.dg/tree-ssa/ssa-pre-21.c: Likewise
From-SVN: r165641
Jakub Jelinek [Mon, 18 Oct 2010 15:16:07 +0000 (17:16 +0200)]
re PR lto/45638 (No rule to make target `check-lto', needed by `check'. Stop.)
PR lto/45638
* Make-lang.in (check-lto): New dummy target.
From-SVN: r165638
Arnaud Charlet [Mon, 18 Oct 2010 14:05:56 +0000 (16:05 +0200)]
[multiple changes]
2010-10-18 Bob Duff <duff@adacore.com>
* sinfo.ads, sinfo.adb: Modify comment about adding fields to be more
correct, and to be in a more convenient order.
(Default_Storage_Pool): New field of N_Compilation_Unit_Aux, for
recording the Default_Storage_Pool for a parent library unit.
* einfo.ads (Etype): Document the case in which Etype can be Empty.
* sem_prag.adb (Pragma_Default_Storage_Pool): Analyze the new
Default_Storage_Pool pragma.
* sem.ads (Save_Default_Storage_Pool): Save area for push/pop scopes.
* gnat_ugn.texi: Document Default_Storage_Pool as a new configuration
pragma.
* freeze.adb (Freeze_Entity): When freezing an access type, take into
account any Default_Storage_Pool pragma that applies. We have to do
this at the freezing point, because up until that point, a Storage_Pool
or Storage_Size clause could occur, which should override the
Default_Storage_Pool.
* par-prag.adb: Add this pragma to the list of pragmas handled entirely
during semantics.
* sem_ch8.adb (Push_Scope, Pop_Scope): Save and restore the
Default_Storage_Pool information.
* opt.ads (Default_Pool, Default_Pool_Config): New globals for recording
currently-applicable Default_Storage_Pool pragmas.
* opt.adb: Save/restore the globals as appropriate.
* snames.ads-tmpl (Name_Default_Storage_Pool,
Pragma_Default_Storage_Pool): New pragma name.
2010-10-18 Vincent Celier <celier@adacore.com>
* make.adb (Switches_Of): Put the spec and body suffix in canonical
case.
From-SVN: r165637
Arnaud Charlet [Mon, 18 Oct 2010 13:58:25 +0000 (15:58 +0200)]
[multiple changes]
2010-10-18 Ed Schonberg <schonberg@adacore.com>
* sem_ch13.adb (Analyze_Aspect_Specifications): If subprogram is at the
library level, the pre/postconditions must be treated as global
declarations, i.e. placed on the Aux_Decl nodes of the compilation unit.
* freeze.adb (Freeze_Expression): If the expression is at library level
there is no enclosing record to check.
2010-10-18 Javier Miranda <miranda@adacore.com>
* sem_ch3.ads (Find_Type_Name): Add documentation.
* sem_ch3.adb (Analyze_Full_Type_Declaration): Code cleanup because the
propagation of the class-wide entity is now done by routine
Find_Type_Name to factorize this code.
(Analyze_Private_Extension_Declaration): Handle private type that
completes an incomplete type.
(Tag_Mismatch): Add error message for tag mismatch in a private type
declaration that completes an incomplete type.
(Find_Type_Name): Handle completion of incomplete type by means of
a private declaration. Generate an error if a tagged incomplete type
is completed by an untagged private type.
* sem_ch7.adb (New_Private_Type): Handle private type that completes an
incomplete type.
* einfo.ads (Full_View): Add documentation.
2010-10-18 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb (Analyze_Formal_Package_Declaration): If the package is
a renaming, generate a reference for it before analyzing the renamed
entity, to prevent spurious warnings.
From-SVN: r165636
Jose Ruiz [Mon, 18 Oct 2010 13:54:23 +0000 (13:54 +0000)]
adaint.c (__gnat_pthread_setaffinity_np, [...]): Remove wrappers, no longer needed.
2010-10-18 Jose Ruiz <ruiz@adacore.com>
* adaint.c (__gnat_pthread_setaffinity_np,
__gnat_pthread_attr_setaffinity_np): Remove wrappers, no longer needed.
* s-osinte-linux.ads (pthread_setaffinity_np,
pthread_attr_setaffinity_np): Remove use of wrappers.
* s-taprop-linux.adb (Create_Task, Initialize): Restore check to verify
whether the affinity functionality is available in the OS.
* gcc-interface/utils.c: Set TREE_STATIC on functions only when there
are defined.
From-SVN: r165635
Arnaud Charlet [Mon, 18 Oct 2010 13:45:54 +0000 (15:45 +0200)]
[multiple changes]
2010-10-18 Robert Dewar <dewar@adacore.com>
* einfo.ads, einfo.adb: Minor reformatting.
* gnat_ugn.texi, ug_words: Add missing entries, fix typos.
2010-10-18 Emmanuel Briot <briot@adacore.com>
* g-comlin.adb (Is_In_Config): When the switch accepts either a space
or equal, we output an equal every time.
2010-10-18 Ed Schonberg <schonberg@adacore.com>
* sem_res.adb (Resolve_Entry_Call): Handle call to an entry family
member when pre/post conditions are present.
* exp_ch9.adb (Build_PPC_Wrapper): The PPC_Wrapper for an entry family
includes an index parameter, and the name of the enclosed entry call is
an indexed component.
From-SVN: r165634
Kai Tietz [Mon, 18 Oct 2010 12:40:23 +0000 (12:40 +0000)]
bessel_7.f90: Set xfail for mingw targets.
2010-10-18 Kai Tietz <kai.tietz@onevision.com>
* gfortran.dg/bessel_7.f90: Set xfail for mingw targets.
From-SVN: r165633
Robert Dewar [Mon, 18 Oct 2010 12:24:32 +0000 (12:24 +0000)]
einfo.ads, einfo.adb: Minor reformatting.
2010-10-18 Robert Dewar <dewar@adacore.com>
* einfo.ads, einfo.adb: Minor reformatting.
From-SVN: r165631
Tejas Belagod [Mon, 18 Oct 2010 11:19:46 +0000 (12:19 +0100)]
neon.md (neon_move_hi_quad_<mode>): Fix the order of operands to vec_concat.
2010-10-18 Tejas Belagod <tejas.belagod@arm.com>
* config/arm/neon.md (neon_move_hi_quad_<mode>): Fix the order
of operands to vec_concat.
From-SVN: r165630
Richard Guenther [Mon, 18 Oct 2010 10:54:18 +0000 (10:54 +0000)]
re PR lto/44950 (ICE in dwarf2out_finish, at dwarf2out.c:22271)
2010-10-18 Richard Guenther <rguenther@suse.de>
PR lto/44950
* tree.c (free_lang_data_in_decl): As we clear TYPE_METHODS
also clear references to entries of it.
* g++.dg/lto/
20101015-2_0.C: New testcase.
From-SVN: r165629
Jose Ruiz [Mon, 18 Oct 2010 10:48:36 +0000 (10:48 +0000)]
adaint.c (__gnat_pthread_setaffinity_np, [...]): Add these wrappers which check the availability of the underlying OS...
2010-10-18 Jose Ruiz <ruiz@adacore.com>
* adaint.c (__gnat_pthread_setaffinity_np,
__gnat_pthread_attr_setaffinity_np): Add these wrappers which check the
availability of the underlying OS functionality before calling.
* s-osinte-linux.ads (pthread_setaffinity_np,
pthread_attr_setaffinity_np): Call a wrapper instead of the OS function
to perform a check of its availability.
* s-taprop-linux.adb (Create_Task): Remove the check to verify whether
the affinity functionality is available in the OS. Now done in a wrapper
* gcc-interface/Makefile.in: Remove vmshandler.asm, unused.
* gcc-interface/Make-lang.in: Update dependencies.
From-SVN: r165628
Basile Starynkevitch [Mon, 18 Oct 2010 10:37:05 +0000 (10:37 +0000)]
Updated changelog tense.
From-SVN: r165627
Robert Dewar [Mon, 18 Oct 2010 10:34:56 +0000 (10:34 +0000)]
sinfo.ads, sinfo.adb: Change Has_Pragma_CPU to Flag14 (Flag10 is standard field).
2010-10-18 Robert Dewar <dewar@adacore.com>
* sinfo.ads, sinfo.adb: Change Has_Pragma_CPU to Flag14 (Flag10 is
standard field).
2010-10-18 Robert Dewar <dewar@adacore.com>
* s-stausa.adb, s-taprop-linux.adb, s-taprop-mingw.adb, s-tassta.ads:
Minor reformatting.
2010-10-18 Robert Dewar <dewar@adacore.com>
* exp_strm.adb (Build_Elementary_Input_Call): Check
No_Default_Stream_Attributes.
(Build_Elementary_Write_Call): Check No_Default_Stream_Attributes
* s-rident.ads: Add restriction No_Default_Stream_Attributes
Put restriction No_Allocators_After_Elaboration in alpha order
From-SVN: r165626
Arnaud Charlet [Mon, 18 Oct 2010 10:27:48 +0000 (12:27 +0200)]
[multiple changes]
2010-10-18 Jose Ruiz <ruiz@adacore.com>
* exp_ch9.adb (Expand_N_Task_Type_Declaration): Add field corresponding
to the affinity when expanding the task declaration.
(Make_Task_Create_Call): Add the affinity parameter to the call to
create task.
* sem_prag.adb (Analyze_Pragma): Add the analysis for pragma CPU,
taking into account the case when it applies to a subprogram (only for
main and with static expression) or to a task.
* par_prag.adb:(Prag): Make pragma CPU a valid one.
* snames.ads-tmpl (Name_uCPU, Name_CPU): Add these new name identifiers
used by the expander for handling the affinity parameter when creating
a task.
(Pragma_Id): Add Pragma_CPU as a valid one.
* rtsfind.ads (RTU_Id): Make System_Multiprocessors accesible.
(RE_Id, RE_Unit_Table): Make the entities RE_CPU_Range and
RE_Unspecified_CPU visible.
* sinfo.ads, sinfo.adb (Has_Pragma_CPU, Set_Has_Pragma_CPU): Add these
two subprograms to set/get the flag indicating whether there is a
pragma CPU which applies to the entity.
* lib.ads, lib.adb (Unit_Record, Default_Main_CPU, Main_CPU,
Set_Main_CPU): Add the field Main_CPU to Unit_Record to store the value
of the affinity associated to the main subprogram (if any).
Default_Main_CPU is used when no affinity is set. Subprograms
Set_Main_CPU and Main_CPU are added to set/get the affinity of the main
subprogram.
* ali.ads, ali.adb (ALIs_Record): Add field Main_CPU to contain the
value of the affinity of the main subprogram.
(Scan_ALI): Get the affinity of the main subprogram (encoded as C=XX in
the M line).
* lib-writ.ads, lib-writ.adb (M_Parameters): Encode the affinity of the
main subprogram in the M (main) line using C=XX.
* lib-load.adb (Create_Dummy_Package_Unit, Load_Main_Source,
Load_Unit): Add new field Main_CPU.
* bindgen.adb (Gen_Adainit_Ada, Gen_Adainit_C): Add the code to pass
the affinity of the main subprogram to the run time.
* s-taskin.ads (Common_ATCB): Add the field Base_CPU to store the
affinity.
(Unspecified_CPU): Add this constant to identify the case when no
affinity is set for tasks.
* s-taskin.adb (Initialize_ATCB): Store the value coming from pragma
CPU in the common part of the ATCB.
(Initialize): Store the value coming from pragma CPU (for the
environment task) in the common part of the ATCB.
* s-tassta.ads, s-tassta.adb (Create_Task): Add the affinity specified
by pragma CPU to the ATCB.
* s-tarest.ads, s-tarest.adb (Create_Restricted_Task): Add the affinity
specified by pragma CPU to the ATCB.
* s-tporft.adb (Register_Foreign_Thread): Add the new affinity
parameter to the call to Initialize_ATCB.
* s-taprop-linux.adb (Create_Task): Change the attributes of the thread
to include the task affinity before creation. Additionally, the
affinity selected with Task_Info is also enforced changing the
attributes at task creation time, instead of changing it after creation.
(Initialize): Change the affinity of the environment task if required
by a pragma CPU.
* s-osinte-linux.ads (pthread_setaffinity_np): Instead of using a
wrapper to check whether the function is available or not, use a weak
symbol.
(pthread_attr_setaffinity_np): Add the import of this function which is
used to change the affinity in the attributes used to create a thread.
* adaint.c (__gnat_pthread_attr_setaffinity_np): Remove this wrapper.
It was used to check whether the pthread function was available or not,
but the use of a weak symbol handles this situation in a cleaner way.
* s-taprop-mingw.adb (Create_Task, Initialize): Change the affinity of
tasks (including the environment task) if required by a pragma CPU.
* s-taprop-solaris.adb (Enter_Task): Change the affinity of tasks
(including the environment task) if required by a pragma CPU.
* s-taprop-vxworks.adb (Create_Task, Initialize): Change the affinity
of tasks (including the environment task) if required by a pragma CPU.
* init.c (__gl_main_cpu): Make this value visible to the run time. It
will pass the affinity of the environment task.
2010-10-18 Javier Miranda <miranda@adacore.com>
* einfo.adb (Direct_Primitive_Operations): Complete assertion.
From-SVN: r165625
Arnaud Charlet [Mon, 18 Oct 2010 10:18:07 +0000 (12:18 +0200)]
[multiple changes]
2010-10-18 Vincent Celier <celier@adacore.com>
* prj.ads (Source_Data): New Boolean flag In_The_Queue.
2010-10-18 Tristan Gingold <gingold@adacore.com>
* s-stausa.ads: Add the Top parameter to Initialize_Analyzer.
* s-stausa.adb: Use the top parameter. In Fill_Stack, use the
stack top if known.
* s-tassta.adb (Task_Wrapper): Call Initialize_Analyzer after Enter_Task
so that Pri_Stack_Info.Limit can be set and used.
2010-10-18 Robert Dewar <dewar@adacore.com>
* einfo.ads: Minor reformatting.
* sem_res.adb (Resolve_Allocator): Add test for violating
No_Anonymous_Allocators.
From-SVN: r165624
Arnaud Charlet [Mon, 18 Oct 2010 10:14:23 +0000 (12:14 +0200)]
[multiple changes]
2010-10-18 Robert Dewar <dewar@adacore.com>
* prj-nmsc.adb, prj.adb, sem_res.adb: Minor reformatting.
2010-10-18 Ed Schonberg <schonberg@adacore.com>
* sem_util.adb (Insert_Explicit_Dereference): If operand is a selected
component, we generate a reference to the ultimate prefix when it is an
entity name. We must place the reference on the identifier for that
prefix, and not on the operand itself, to prevent spurious extra
references in the ali file.
2010-10-18 Vincent Celier <celier@adacore.com>
* projects.texi: Add documentation for attribute Ignore_Source_Sub_Dirs
From-SVN: r165623
Ed Schonberg [Mon, 18 Oct 2010 10:10:51 +0000 (10:10 +0000)]
einfo.ads, einfo.adb: New attribute PPC_Wrapper for entries and entry families.
2010-10-18 Ed Schonberg <schonberg@adacore.com>
* einfo.ads, einfo.adb: New attribute PPC_Wrapper for entries and entry
families. Denotes a procedure that performs pre/postcondition checks
and then performs the entry call.
* sem_res.adb (Resolve_Entry_Call): If the entry has
pre/postconditions, replace call with a call to the PPC_Wrapper of the
entry.
* exp_ch9.adb (Build_PPC_Wrapper): new procedure.
(Expand_N_Entry_Declaration, Expand_N_Protected_Type_Declaration): call
Build_PPC_Wrapper for all entries in task and protected definitions.
From-SVN: r165622
Arnaud Charlet [Mon, 18 Oct 2010 10:06:53 +0000 (12:06 +0200)]
[multiple changes]
2010-10-18 Tristan Gingold <gingold@adacore.com>
* init.c: Add __gnat_set_stack_guard_page and __gnat_set_stack_limit.
Implement stack limitation on VMS.
Minor reformatting.
2010-10-18 Vincent Celier <celier@adacore.com>
* prj.adb (Is_Compilable): Do not modify Source.Compilable until the
source record has been initialized.
2010-10-18 Robert Dewar <dewar@adacore.com>
* einfo.adb: Minor code reorganization (Primitive_Operations is a
synthesized attribute routine and was in the wrong place).
From-SVN: r165620
Arnaud Charlet [Mon, 18 Oct 2010 10:03:30 +0000 (12:03 +0200)]
[multiple changes]
2010-10-18 Tristan Gingold <gingold@adacore.com>
* init.c: Indentation, and minor changes to more closely follow GNU
style rules. Make more variable statics.
2010-10-18 Vincent Celier <celier@adacore.com>
* prj.adb (Is_Compilable): On first call for a source, cache value in
component Compilable.
* prj.ads (Source_Data): New component Compilable, to cache the value
returned by function Is_Compilable.
2010-10-18 Vincent Celier <celier@adacore.com>
* prj-attr.adb: New project level attribute Ignore_Source_Sub_Dirs.
* prj-nmsc.adb (Expand_Subdirectory_Pattern): New string list parameter
Ignore.
(Recursive_Find_Dirs): Do not consider subdirectories listed in Ignore.
(Get_Directories): Call Find_Source_Dirs with the string list
indicated by attribute Ignore_Source_Sub_Dirs.
* snames.ads-tmpl: New standard name Ignore_Source_Sub_Dirs.
From-SVN: r165619
Javier Miranda [Mon, 18 Oct 2010 09:59:45 +0000 (09:59 +0000)]
einfo.ads, einfo.adb (Primitive_Operations): New synthesized attribute.
2010-10-18 Javier Miranda <miranda@adacore.com>
* einfo.ads, einfo.adb (Primitive_Operations): New synthesized
attribute.
(Direct_Primitive_Operations): Renaming of old Primitive_Operations.
(Set_Direct_Primitive_Operations): Renaming of old
Set_Primitive_Operations. Update documentation
* sem_ch3.adb, exp_util.adb, sem_ch7.adb, sem_ch8.adb, exp_ch3.adb:
Replace occurrences of Set_Primitive_Operations by
Set_Direct_Primitive_Operations.
* sem_cat.adb (Validate_RACW_Primitives): No action needed for tagged
concurrent types.
* exp_dist.adb (Add_RACW_Primitive_Declarations_And_Bodies): Do not
process primitives of concurrent types.
* lib-xref.adb (Generate_Prim_Op_References): Minor code cleanup.
From-SVN: r165618
Eric Botcazou [Mon, 18 Oct 2010 09:55:41 +0000 (09:55 +0000)]
exp_ch6.adb (Expand_N_Subprogram_Declaration): Use Freeze_Before.
2010-10-18 Eric Botcazou <ebotcazou@adacore.com>
* exp_ch6.adb (Expand_N_Subprogram_Declaration): Use Freeze_Before.
(Expand_Protected_Object_Reference): Likewise.
* sem_attr.adb (Resolve_Attribute): Likewise.
* sem_ch3.adb (Analyze_Subtype_Declaration): Likewise.
* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Likewise.
From-SVN: r165616
Arnaud Charlet [Mon, 18 Oct 2010 09:53:00 +0000 (11:53 +0200)]
[multiple changes]
2010-10-18 Arnaud Charlet <charlet@adacore.com>
* g-comlin.adb (Get_Switches): Prevent dereferencing null Config.
2010-10-18 Robert Dewar <dewar@adacore.com>
* aspects.ads, aspects.adb: Add entries for aspects
Read/Write/Input/Output.
* sem_ch13.adb (Analyze_Aspect_Specifications): Add processing for
handling aspects Read/Write/Input/Output.
2010-10-18 Robert Dewar <dewar@adacore.com>
* sem_util.adb (Note_Possible_Modification): Do not give warning for
use of pragma Unmodified unless we are sure this is a modification.
2010-10-18 Tristan Gingold <gingold@adacore.com>
* sysdep.c: Add __gnat_get_stack_bounds.
* s-taprop-mingw.adb Call __gnat_get_stack_bounds to set Pri_Stack_Info.
2010-10-18 Robert Dewar <dewar@adacore.com>
* a-assert.ads: Fix bad name in header.
* sem_ch4.adb, sem_ch6.adb, sem_ch7.adb, sem_ch10.adb: Minor
reformatting.
* exp_aggr.adb: Fix typo in comment.
From-SVN: r165615
Arnaud Charlet [Mon, 18 Oct 2010 09:46:31 +0000 (11:46 +0200)]
[multiple changes]
2010-10-18 Javier Miranda <miranda@adacore.com>
* exp_util.adb (Side_Effect_Free): Code clean up.
2010-10-18 Ed Schonberg <schonberg@adacore.com>
* sem_ch8.adb (Is_Primitive_Operator_In_Use): Renamed from
Is_Primitive_Operator. When ending the scope of a use package scope, a
primitive operator remains in use if the base type has a current use
(type) clause.
2010-10-18 Javier Miranda <miranda@adacore.com>
* einfo.ads (Is_Dynamic_Support): Add missing support for limited
private types whose full-view is a task type.
* sem_util.adb (Enclosing_Subprogram): Add missing support for limited
private types whose full-view is a task type.
* exp_ch7.adb (Find_Final_List): Minor code cleanup replacing code by
function Nearest_Dynamic_Scope which provides the needed functionality.
2010-10-18 Arnaud Charlet <charlet@adacore.com>
* sem_prag.adb (Set_Exported): Do not generate error when exporting a
variable with an address clause in codepeer mode.
From-SVN: r165614
Andi Kleen [Mon, 18 Oct 2010 09:39:15 +0000 (09:39 +0000)]
Remove gccbug
gcc/
2010-10-18 Andi Kleen <ak@linux.intel.com>
PR other/43448
* gccbug.in: Remove.
* Makefile.in (GCCBUG_INSTALL_NAME, gccbug): Remove
(doc, distclean, install-common): Remove reference to gccbug.
* configure: Regenerate.
* configure.ac (all_outputs): Remove gccbug.
* doc/configfiles.texi: Remove references to gccbug.
* doc/sourcebuild.texi: Dito.
contrib/
2010-10-18 Andi Kleen <ak@linux.intel.com>
* gccbug.el: Remove.
From-SVN: r165613
Arnaud Charlet [Mon, 18 Oct 2010 09:37:14 +0000 (11:37 +0200)]
[multiple changes]
2010-10-18 Robert Dewar <dewar@adacore.com>
* g-trasym-vms-ia64.adb: Minor reformatting.
2010-10-18 Thomas Quinot <quinot@adacore.com>
* sem_type.adb (Covers): If either argument is Standard_Void_Type and
the other isn't, return False early.
2010-10-18 Ed Falis <falis@adacore.com>
* s-vxwext-rtp.ads, s-vxext-rtp.adb: Adapt for missing APIs for RTPs in
VxWorks Cert.
2010-10-18 Robert Dewar <dewar@adacore.com>
* sem_disp.ads: Minor comment update.
2010-10-18 Robert Dewar <dewar@adacore.com>
* einfo.ads, einfo.adb (Spec_PPC_List): Is now present in Entries
* sem_ch3.adb (Analyze_Declarations): Add processing for delaying
visibility analysis of precondition and postcondition pragmas (and
Pre/Post aspects).
* sem_ch6.adb (Process_PPCs): Add handling of inherited Pre'Class
aspects.
* sem_ch7.adb (Analyze_Package_Specification): Remove special handling
of pre/post conditions (no longer needed).
* sem_disp.adb (Inherit_Subprograms): Deal with interface case.
* sem_prag.adb (Analyze_PPC_In_Decl_Part): Remove analysis of message
argument, since this is now done in the main processing for
pre/postcondition pragmas when they are first seen.
(Chain_PPC): Pre'Class and Post'Class now handled properly
(Chain_PPC): Handle Pre/Post aspects for entries
(Check_Precondition_Postcondition): Handle entry declaration case
(Check_Precondition_Postcondition): Handle delay of visibility analysis
(Check_Precondition_Postcondition): Preanalyze message argument if
present.
From-SVN: r165612
Robert Dewar [Mon, 18 Oct 2010 09:18:59 +0000 (09:18 +0000)]
g-trasym-vms-ia64.adb, [...]: Minor reformatting.
2010-10-18 Robert Dewar <dewar@adacore.com>
* g-trasym-vms-ia64.adb, prj-nmsc.adb, prj.ads: Minor reformatting.
From-SVN: r165611
Jakub Jelinek [Mon, 18 Oct 2010 08:26:06 +0000 (10:26 +0200)]
re PR middle-end/46019 (x / (0x200000000ULL << y) miscompilation with 32-bit HWI)
PR middle-end/46019
* fold-const.c (fold_binary_loc): If integer_pow2p has
TREE_INT_CST_LOW zero, look at TREE_INT_CST_HIGH.
* gcc.c-torture/execute/pr46019.c: New test.
From-SVN: r165610
Basile Starynkevitch [Mon, 18 Oct 2010 06:05:28 +0000 (06:05 +0000)]
gengtype.c (verbosity_level): Added variable.
2010-10-18 Basile Starynkevitch <basile@starynkevitch.net>
Jeremie Salvucci <jeremie.salvucci@free.fr>
* gengtype.c (verbosity_level): Added variable.
(set_gc_used): Count variables for verbosity.
(close_output_files): Backing up files, counting written ones
verbosily.
(write_types): Count emitted functions for verbosity. Added
debug messages.
(write_enum_defn): Count structures for verbosity. Added debug
messages.
(gengtype_long_options): Added "verbose" & "backupdir".
(print_usage): Ditto.
(main): Verbose display of parsed files.
* gengtype.h (verbosity_level): Added declaration.
Co-Authored-By: Jeremie Salvucci <jeremie.salvucci@free.fr>
From-SVN: r165609
Basile Starynkevitch [Mon, 18 Oct 2010 05:41:48 +0000 (05:41 +0000)]
gengtype.c (parse_program_options): Added allocation of plugin_files, and corrected test on nb_plugin_files.
2010-10-18 Basile Starynkevitch <basile@starynkevitch.net>
* gengtype.c (parse_program_options): Added allocation of
plugin_files, and corrected test on nb_plugin_files.
From-SVN: r165608