aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2013-01-31re PR sanitizer/55561 (TSAN: provide a TSAN instrumented libgomp)Dmitry Vyukov4-5/+16
PR libgomp/55561 * config/linux/wait.h (do_spin): Use atomic load for addr. * config/linux/ptrlock.c (gomp_ptrlock_get_slow): Use atomic for intptr and ptrlock. * config/linux/ptrlock.h (gomp_ptrlock_get): Use atomic load for ptrlock. Co-Authored-By: Joost VandeVondele <Joost.VandeVondele@mat.ethz.ch> From-SVN: r195618
2013-01-31revert: neon-vfnms-1.c: New test.Ramana Radhakrishnan3-24/+8
2013-01-31 Ramana Radhakrishnan <ramana.radhakrishnan@arm.com> Revert. 2013-01-27 Amol Pise <amolpise15@gmail.com> * gcc.target/arm/neon-vfnms-1.c: New test. * gcc.target/arm/neon-vfnma-1.c: New test. From-SVN: r195617
2013-01-31re PR tree-optimization/56157 (ICE with -ftree-vectorize in in ↵Richard Biener4-21/+50
compute_live_loop_exits) 2013-01-31 Richard Biener <rguenther@suse.de> PR tree-optimization/56157 * tree-vect-slp.c (vect_get_slp_defs): More thoroughly try to match up operand with SLP child. * gcc.dg/torture/pr56157.c: New testcase. From-SVN: r195616
2013-01-31runtime: Don't allocate when doing a backtrace.Ian Lance Taylor1-2/+8
From-SVN: r195615
2013-01-31re PR regression/56162 (PASS->FAIL: g++.old-deja/g++.mike/pmf1.C -std=c++11 ↵Jason Merrill2-3/+8
execution test (occurs 2 times)) PR c++/56162 PR c++/56104 * typeck.c (get_member_function_from_ptrfunc): Fix ptrmemfunc_vbit_in_delta case. From-SVN: r195614
2013-01-31re PR debug/54410 (doubled DW_TAG_template_type_param)Jason Merrill3-6/+22
PR c++/54410 * dwarf2out.c (gen_struct_or_union_type_die): Always schedule template parameters the first time. (gen_scheduled_generic_parms_dies): Check completeness here. From-SVN: r195613
2013-01-31re PR middle-end/53073 (464.h264ref in SPEC CPU 2006 miscompiled)Richard Biener4-2/+27
2013-01-31 Richard Biener <rguenther@suse.de> PR middle-end/53073 * common.opt (faggressive-loop-optimizations): New flag, enabled by default. * doc/invoke.texi (faggressive-loop-optimizations): Document. * tree-ssa-loop-niter.c (estimate_numbers_of_iterations_loop): Guard infer_loop_bounds_from_undefined by it. From-SVN: r195610
2013-01-31re PR tree-optimization/56150 (ICE segfault in do_pre / tail_merge_optimize)Richard Biener2-4/+12
2013-01-31 Richard Biener <rguenther@suse.de> PR tree-optimization/56150 * tree-ssa-loop-manip.c (find_uses_to_rename_stmt): Do not visit virtual operands. (find_uses_to_rename_bb): Likewise. From-SVN: r195609
2013-01-31re PR tree-optimization/56150 (ICE segfault in do_pre / tail_merge_optimize)Richard Biener4-11/+36
2013-01-31 Richard Biener <rguenther@suse.de> PR tree-optimization/56150 * tree-ssa-tail-merge.c (gimple_equal_p): Properly handle mixed store non-store stmts. * gcc.dg/torture/pr56150.c: New testcase. From-SVN: r195608
2013-01-31Correct ChangeLog's mentioned PR-number.Kai Tietz1-1/+1
From-SVN: r195607
2013-01-31re PR other/54620 (sha1.c has incorrect math if sizeof(size_t) is 8)Kai Tietz1-2/+1
PR other/54620 * sha1.c (sha1_process_block): Handle case that size_t is a wider-integer-scalar as a 32-bit unsigned integer. From-SVN: r195604
2013-01-31re PR other/54620 (sha1.c has incorrect math if sizeof(size_t) is 8)Kai Tietz1-0/+4
PR other/54620 * sha1.c (sha1_process_block): Handle case that size_t is a wider-integer-scalar as a 32-bit unsigned integer. From-SVN: r195603
2013-01-312013-01-31 Kai Tietz <ktietz@redhat.com>Kai Tietz2-2/+7
PR other/543413 * md5.c (md5_process_block): Handle case that size_t is a wider-integer-scalar a 32-bit unsigned integer. From-SVN: r195600
2013-01-31Daily bump.GCC Administrator1-1/+1
From-SVN: r195598
2013-01-30runtime: In backtraces, get inline functions, skip split-stack fns.Ian Lance Taylor7-53/+143
From-SVN: r195591
2013-01-30re PR sanitizer/55374 ([asan] -static-libasan -static-libstdc++ doesn't work)Jakub Jelinek6-5/+36
PR sanitizer/55374 * gcc.c (LIBASAN_SPEC): Define just to ADD_STATIC_LIBASAN_LIBS if LIBASAN_EARLY_SPEC is defined. (LIBASAN_EARLY_SPEC): Define to empty string if not already defined. (LINK_COMMAND_SPEC): Add LIBASAN_EARLY_SPEC for -fsanitize=address, before %o. * config/gnu-user.h (LIBASAN_EARLY_SPEC): Define. * g++.dg/asan/large-func-test-1.C: Allow both _Zna[jm] in addition to _Znw[jm] in the backtrace. Allow _Zna[jm] to be the first frame printed in backtrace. * g++.dg/asan/deep-stack-uaf-1.C: Use malloc instead of operator new to avoid errors about mismatched allocation vs. deallocation. From-SVN: r195585
2013-01-30re PR c++/55742 (__attribute__ in class function declaration cause ↵Jakub Jelinek19-86/+240
"prototype does not match" errors.) PR c++/55742 * config/i386/i386.c (ix86_valid_target_attribute_inner_p): Diagnose invalid args instead of ICEing on it. (ix86_valid_target_attribute_tree): Return error_mark_node if ix86_valid_target_attribute_inner_p failed. (ix86_valid_target_attribute_p): Return false only if ix86_valid_target_attribute_tree returned error_mark_node. Allow target("default") attribute. (sorted_attr_string): Change argument from const char * to tree, merge in all target attribute arguments rather than just one. Formatting fix. Use XNEWVEC instead of xmalloc and XDELETEVEC instead of free. Avoid using strcat. (ix86_mangle_function_version_assembler_name): Mangle target("default") as if no target attribute is present. Adjust sorted_attr_string caller. Avoid leaking memory. Use XNEWVEC instead of xmalloc and XDELETEVEC instead of free. (ix86_function_versions): Don't return true if one of the decls doesn't have target attribute. If they don't and one of the decls is DECL_FUNCTION_VERSIONED, report an error. Adjust sorted_attr_string caller. Use XDELETEVEC instead of free. (ix86_supports_function_versions): Remove. (make_name): Fix up formatting. (make_dispatcher_decl): Remove resolver_name and its initialization. Avoid leaking memory. (is_function_default_version): Return true if there is target("default") attribute rather than no target attribute at all. (make_resolver_func): Avoid leaking memory. (ix86_generate_version_dispatcher_body): Likewise. (TARGET_OPTION_SUPPORTS_FUNCTION_VERSIONS): Remove. * target.def (supports_function_versions): Remove. * doc/tm.texi.in (SUPPORTS_FUNCTION_VERSIONS): Remove. * doc/tm.texi: Regenerated. * c-common.c (handle_target_attribute): Revert 2012-12-26 change. * g++.dg/mv1.C: Moved to... * g++.dg/ext/mv1.C: ... here. Adjust test. * g++.dg/mv2.C: Moved to... * g++.dg/ext/mv2.C: ... here. Adjust test. * g++.dg/mv3.C: Moved to... * g++.dg/ext/mv3.C: ... here. * g++.dg/mv4.C: Moved to... * g++.dg/ext/mv4.C: ... here. * g++.dg/mv5.C: Moved to... * g++.dg/ext/mv5.C: ... here. Adjust test. * g++.dg/mv6.C: Moved to... * g++.dg/ext/mv6.C: ... here. Adjust test. * g++.dg/ext/mv7.C: New test. * g++.dg/ext/mv8.C: New test. * g++.dg/ext/mv9.C: New test. * g++.dg/ext/mv10.C: New test. * g++.dg/ext/mv11.C: New test. From-SVN: r195584
2013-01-30re PR rtl-optimization/56144 (ICE in get_reload_reg, at lra-constraints.c:421)Vladimir Makarov4-19/+67
2013-01-30 Vladimir Makarov <vmakarov@redhat.com> PR rtl-optimization/56144 * lra-constraints.c (get_reload_reg): Don't reuse reload pseudo for values with side effects. 2013-01-30 Vladimir Makarov <vmakarov@redhat.com> PR rtl-optimization/56144 * gcc.dg/pr56144.c: New. From-SVN: r195582
2013-01-30re PR other/54620 (sha1.c has incorrect math if sizeof(size_t) is 8)Kai Tietz3-0/+18
PR other/54620 PR target/39064 * md5.h (md5_uintptr, md5_uint32): Define as uintptr_t/uint32_t if stdint.h and sys/types.h headers are present. * sha1.h (sha1_uintptr, sha1_uint32): Likewise. From-SVN: r195579
2013-01-30constexpr-53094-2.C: Ignore non-standard ABI message.David Edelsohn4-0/+13
* g++.dg/cpp0x/constexpr-53094-2.C: Ignore non-standard ABI message. * g++.dg/cpp0x/constexpr-53094-3.C: Same. * g++.dg/cpp0x/constexpr-55573.C: Same From-SVN: r195578
2013-01-30sparseset.h (sparseset_bit_p): Use gcc_checking_assert.Richard Biener3-8/+13
2013-01-30 Richard Biener <rguenther@suse.de> * sparseset.h (sparseset_bit_p): Use gcc_checking_assert. (sparseset_pop): Likewise. * cfganal.c (compute_idf): Likewise. Increase work-stack size to be able to use quick_push in the worker loop. From-SVN: r195577
2013-01-30Small cleanup in cleanup_cfg.Marek Polacek2-4/+5
From-SVN: r195576
2013-01-30re PR lto/56147 (ICE on invalid code in lto_symtab_merge_decls_1)Richard Biener2-1/+8
2013-01-30 Richard Biener <rguenther@suse.de> PR lto/56147 * lto-symtab.c (lto_symtab_merge_decls_1): Guard DECL_BUILT_IN check. From-SVN: r195575
2013-01-30re PR tree-optimization/56064 (Optimize VIEW_CONVERT_EXPR with FIXED_CST)Georg-Johann Lay8-31/+289
gcc/ PR tree-optimization/56064 * fixed-value.c (fixed_from_double_int): New function. * fixed-value.h (fixed_from_double_int): New prototype. (const_fixed_from_double_int): New static inline function. * fold-const.c (native_interpret_fixed): New static function. (native_interpret_expr) <FIXED_POINT_TYPE>: Use it. (can_native_interpret_type_p) <FIXED_POINT_TYPE>: Return true. (native_encode_fixed): New static function. (native_encode_expr) <FIXED_CST>: Use it. (native_interpret_int): Move double_int worker code to... * double-int.c (double_int::from_buffer): ...this new static method. * double-int.h (double_int::from_buffer): Prototype it. gcc/testsuite/ PR tree-optimization/56064 * gcc.dg/fixed-point/view-convert.c: New test. From-SVN: r195574
2013-01-30tree-ssa-structalias.c (final_solutions, [...]): New pointer-map and obstack.Richard Biener2-21/+50
2013-01-30 Richard Biener <rguenther@suse.de> * tree-ssa-structalias.c (final_solutions, final_solutions_obstack): New pointer-map and obstack. (init_alias_vars): Allocate pointer-map and obstack. (delete_points_to_sets): Free them. (find_what_var_points_to): Cache result. (find_what_p_points_to): Adjust for changed interface of find_what_var_points_to. (compute_points_to_sets): Likewise. (ipa_pta_execute): Likewise. From-SVN: r195573
2013-01-30Properly set progbits/nobits for Solaris/SPARC asRainer Orth5-14/+69
* configure.ac (HAVE_AS_SPARC_NOBITS): New test. * configure: Regenerate. * config.in: Regenerate. * config/sparc/sparc.c (sparc_solaris_elf_asm_named_section): Emit #nobits/#progbits if supported. From-SVN: r195572
2013-01-30target-supports-dg.exp (dg-process-target): Use expr to evaluate the end ↵Andreas Schwab2-1/+6
index in string range. * lib/target-supports-dg.exp (dg-process-target): Use expr to evaluate the end index in string range. From-SVN: r195571
2013-01-30re PR fortran/56138 (Deferred-length character RESULT: ICE in ↵Tobias Burnus4-1/+34
gfc_add_modify_loc) 2012-01-30 Tobias Burnus <burnus@net-b.de> PR fortran/56138 * trans-decl.c (gfc_trans_deferred_vars): Fix deferred-length results for functions without extra result variable. 2012-01-30 Tobias Burnus <burnus@net-b.de> PR fortran/56138 * gfortran.dg/allocatable_function_6.f90: New. From-SVN: r195570
2013-01-30libgo: Update Go library to master revision 15502/229081515358.Ian Lance Taylor17-98/+158
From-SVN: r195569
2013-01-30Daily bump.GCC Administrator1-1/+1
From-SVN: r195568
2013-01-29re PR fortran/54107 ([F03] Memory hog with abstract interface)Janus Weil16-316/+187
2013-01-29 Janus Weil <janus@gcc.gnu.org> Mikael Morin <mikael@gcc.gnu.org> PR fortran/54107 * gfortran.h (gfc_component): Delete members 'formal' and 'formal_ns'. (gfc_copy_formal_args,gfc_copy_formal_args_ppc,gfc_expr_replace_symbols, gfc_expr_replace_comp): Delete. (gfc_sym_get_dummy_args): New prototype. * dependency.c (gfc_check_fncall_dependency): Use 'gfc_sym_get_dummy_args'. * expr.c (gfc_is_constant_expr): Ditto. (replace_symbol,gfc_expr_replace_symbols,replace_comp, gfc_expr_replace_comp): Deleted. * frontend-passes.c (doloop_code,do_function): Use 'gfc_sym_get_dummy_args'. * interface.c (gfc_check_operator_interface,gfc_compare_interfaces, gfc_procedure_use,gfc_ppc_use,gfc_arglist_matches_symbol, gfc_check_typebound_override): Ditto. * module.c (MOD_VERSION): Bump module version. (mio_component): Do not read/write 'formal' and 'formal_ns'. * resolve.c (resolve_procedure_interface,resolve_fl_derived0): Do not copy formal args, but just keep a pointer to the interface. (resolve_function,resolve_call,resolve_typebound_generic_call, resolve_ppc_call,resolve_expr_ppc,generate_component_assignments, resolve_fl_procedure,gfc_resolve_finalizers,check_generic_tbp_ambiguity, resolve_typebound_procedure,check_uop_procedure): Use 'gfc_sym_get_dummy_args'. * symbol.c (free_components): Do not free 'formal' and 'formal_ns'. (gfc_copy_formal_args,gfc_copy_formal_args_ppc): Deleted. (gfc_sym_get_dummy_args): New function. * trans-array.c (get_array_charlen,gfc_walk_elemental_function_args): Use 'gfc_sym_get_dummy_args'. * trans-decl.c (build_function_decl,create_function_arglist, build_entry_thunks,init_intent_out_dt,gfc_trans_deferred_vars, add_argument_checking): Ditto. * trans-expr.c (gfc_map_fcn_formal_to_actual,gfc_conv_procedure_call, gfc_conv_statement_function): Ditto. * trans-stmt.c (gfc_conv_elemental_dependencies): Ditto. * trans-types.c (create_fn_spec,gfc_get_function_type): Ditto. 2013-01-29 Janus Weil <janus@gcc.gnu.org> Mikael Morin <mikael@gcc.gnu.org> PR fortran/54107 * gfortran.dg/proc_ptr_comp_36.f90: New. Co-Authored-By: Mikael Morin <mikael@gcc.gnu.org> From-SVN: r195562
2013-01-29libgo: Update Go library to master revision 15489/921e53d4863c.Ian Lance Taylor290-49301/+60967
From-SVN: r195560
2013-01-29Fix formatting in gcc/ChangeLog.Oleg Endo1-34/+34
From-SVN: r195559
2013-01-29re PR target/56121 ([SH] ICE in libgcc/unwind-dw2.c)Oleg Endo2-13/+22
PR target/56121 * config/sh/sh.md (bclr_m2a, bset_m2a, bst_m2a, bld_m2a, bldsign_m2a, bld_reg, *bld_regqi, band_m2a, bandreg_m2a, bor_m2a, borreg_m2a, bxor_m2a, bxorreg_m2a): Add satisfies_constraint_K03 condition. From-SVN: r195558
2013-01-29cortex-a7.md (cortex_a7_neon, [...]): Remove.Greta Yorsh2-10/+6
2013-01-29 Greta Yorsh <Greta.Yorsh@arm.com> * config/arm/cortex-a7.md (cortex_a7_neon, cortex_a7_all): Remove. (cortex_a7_idiv): Use cortex_a7_both instead of cortex_a7_all. From-SVN: r195555
2013-01-29arm.c (cortexa7_younger): Return true for TYPE_CALL.Greta Yorsh3-2/+11
2013-01-29 Greta Yorsh <Greta.Yorsh@arm.com> * config/arm/arm.c (cortexa7_younger): Return true for TYPE_CALL. * config/arm/cortex-a7.md (cortex_a7_call): Update required units. From-SVN: r195554
2013-01-29arm-protos.h (arm_mac_accumulator_is_result): New declaration.Greta Yorsh4-0/+79
2013-01-29 Greta Yorsh <Greta.Yorsh@arm.com> * config/arm/arm-protos.h (arm_mac_accumulator_is_result): New declaration. * config/arm/arm.c (arm_mac_accumulator_is_result): New function. * config/arm/cortex-a7.md: New bypasses using arm_mac_accumulator_is_result. From-SVN: r195553
2013-01-29cortex-a7.md (cortex_a7_neon_mul): New reservation.Greta Yorsh2-20/+78
2013-01-29 Greta Yorsh <Greta.Yorsh@arm.com> * config/arm/cortex-a7.md (cortex_a7_neon_mul): New reservation. (cortex_a7_neon_mla): Likewise. (cortex_a7_fpfmad): New reservation. (cortex_a7_fpmacs): Use ffmas and update required units. (cortex_a7_fpmuld): Update required units and latency. (cortex_a7_fpmacd): Likewise. (cortex_a7_fdivs, cortex_a7_fdivd): Likewise. (cortex_a7_neon). Likewise. (bypass) Update participating units. From-SVN: r195552
2013-01-29arm.md (type): Add ffmas and ffmad to "type" attribute.Greta Yorsh11-19/+43
2013-01-29 Greta Yorsh <Greta.Yorsh@arm.com> * config/arm/arm.md (type): Add ffmas and ffmad to "type" attribute. * config/arm/vfp.md (fma,fmsub,fnmsub,fnmadd): Change type from fmac to ffma. * config/arm/vfp11.md (vfp_farith): Use ffmas. (vfp_fmul): Use ffmad. * config/arm/cortex-r4f.md (cortex_r4_fmacs): Use ffmas. (cortex_r4_fmacd): Use ffmad. * config/arm/cortex-m4-fpu.md (cortex_m4_fmacs): Use ffmas. * config/arm/cortex-a9.md (cortex_a9_fmacs): Use ffmas. (cortex_a9_fmacd): Use ffmad. * config/arm/cortex-a8-neon.md (cortex_a8_vfp_macs): Use ffmas. (cortex_a8_vfp_macd): Use ffmad. * config/arm/cortex-a5.md (cortex_a5_fpmacs): Use ffmas. (cortex_a5_fpmacd): Use ffmad. * config/arm/cortex-a15-neon.md (cortex_a15_vfp_macs) Use ffmas. (cortex_a15_vfp_macd): Use ffmad. * config/arm/arm1020e.md (v10_fmul): Use ffmas and ffmad. From-SVN: r195551
2013-01-29re PR libstdc++/54314 (undefined references to 'construction vtable for ↵Jason Merrill7-8/+27
std::ostream-in-std::basic_ostringstream<char, std::char_traits<char>, std::allocator<char> >') PR libstdc++/54314 gcc/ * varasm.c (default_assemble_visibility): Don't warn about visibility on artificial decls. gcc/cp/ * class.c (build_ctor_vtbl_group): Give construction vtables hidden visibility. libstdc++-v3/ * config/abi/pre/gnu.ver: Don't export construction vtables. * config/abi/pre/gnu-versioned-namespace.ver: Likewise. From-SVN: r195550
2013-01-29[multiple changes]Arnaud Charlet5-29/+60
2013-01-29 Ben Brosgol <brosgol@adacore.com> * gnat_rm.texi: Fixed typos. Minor edits. 2013-01-29 Bob Duff <duff@adacore.com> * a-convec.adb: Minor reformatting. 2013-01-29 Pascal Obry <obry@adacore.com> * tempdir.adb, tempdir.ads (Use_Temp_Dir): Set wether to use the temp directory. From-SVN: r195548
2013-01-29Update dependencies.Arnaud Charlet1-4/+5
From-SVN: r195547
2013-01-29[multiple changes]Arnaud Charlet4-19/+55
2013-01-29 Ed Schonberg <schonberg@adacore.com> * exp_ch5.adb (Expand_Iterator_Loop_Over_Array): Preserve loop identifier only if it comes from source. (Expand_N_Loop_Statement): If the domain of iteration is an enumeration type with a representation clause, remove from visibility the loop identifier before rewriting the loop as a block with a declaration for said identifier. * sem_util.adb (Remove_Homonym): Handle properly the default case. 2013-01-29 Vincent Celier <celier@adacore.com> * prj-proc.adb: Minor comment spelling fix. From-SVN: r195546
2013-01-29prj-proc.adb (Process_Expression_Variable_Decl): Prepend Project_Path to ↵Pascal Obry3-11/+28
current environment. 2013-01-29 Pascal Obry <obry@adacore.com> * prj-proc.adb (Process_Expression_Variable_Decl): Prepend Project_Path to current environment. From-SVN: r195545
2013-01-29[multiple changes]Arnaud Charlet6-41/+73
2013-01-29 Thomas Quinot <quinot@adacore.com> * sprint.adb (Sprint_Node_Actual): Output freeze nodes for itypes even if Dump_Freeze_Null is not set. 2013-01-29 Robert Dewar <dewar@adacore.com> * sem_util.adb: Minor reformatting. * s-rident.ads: Minor comment fixes. 2013-01-29 Pascal Obry <obry@adacore.com> * prj-env.ads, prj-env.adb (Add_Directories): Add parameter to control if the path is prepended or appended. From-SVN: r195544
2013-01-29[multiple changes]Arnaud Charlet4-21/+67
2013-01-29 Ed Schonberg <schonberg@adacore.com> * sem_ch6.adb (Analyze_Expression_Function): An expression function declaration is not a subprogram declaration, and thus cannot appear in a protected definition. 2013-01-29 Hristian Kirtchev <kirtchev@adacore.com> * exp_util.adb (Insert_Actions): When new actions come from the expression of the expression with actions, then they must be added to the list of existing actions. 2013-01-29 Eric Botcazou <ebotcazou@adacore.com> * sem_ch3.adb (Analyze_Subtype_Declaration) <Private_Kind>: For the subtype of a constrained private type with discriminants that has got a full view, show that the completion is a clone of the full view. From-SVN: r195543
2013-01-29re PR c/56113 (out of memory when compiling a function with many goto labels ↵Richard Biener2-6/+30
(50k > )) 2013-01-29 Richard Biener <rguenther@suse.de> PR tree-optimization/56113 * tree-ssa-structalias.c (equiv_class_lookup): Also return the bitmap leader. (label_visit): Free duplicate bitmaps and record the leader instead. (perform_var_substitution): Adjust. From-SVN: r195541
2013-01-29errout.ads, errout.adb (Get_Ignore_Errors): New subprogram.Javier Miranda14-176/+667
2013-01-29 Javier Miranda <miranda@adacore.com> * errout.ads, errout.adb (Get_Ignore_Errors): New subprogram. * opt.ads (Warn_On_Overlap): Update documentation. * sem_aggr.adb (Resolve_Aggregate, Resolve_Extension_Aggregate): Check function writable actuals. * sem_ch3.adb (Build_Derived_Record_Type, Record_Type_Declaration): Check function writable actuals. * sem_ch4.adb (Analyze_Range): Check function writable actuals. * sem_ch5.adb (Analyze_Assignment): Remove code of the initial implementation of AI05-0144. * sem_ch6.adb (Analyze_Function_Return, (Analyze_Procedure_Call.Analyze_Call_And_Resolve): Remove code of the initial implementation of AI05-0144. * sem_res.adb (Resolve): Remove code of the initial implementation. (Resolve_Actuals): Call Check_Function_Writable_Actuals and remove call of the initial implementation. (Resolve_Arithmetic_Op, Resolve_Logical_Op, Resolve_Membership_Op): Check function writable actuals. * sem_util.ad[sb] (Actuals_In_Call): Removed (Check_Order_Dependence): Removed (Save_Actual): Removed (Check_Function_Writable_Actuals): New subprogram. * usage.adb (Usage): Update documentation. * warnsw.adb (Set_Warning_Switch): Enable warn_on_overlap when setting all warnings. From-SVN: r195540
2013-01-29[multiple changes]Arnaud Charlet11-34/+124
2013-01-29 Robert Dewar <dewar@adacore.com> * a-calend-vms.adb: Minor comment fix. 2013-01-29 Robert Dewar <dewar@adacore.com> * mlib-utl.adb, gnatlink.adb: Avoid reference to ASCII.Back_Slash because of casing issues. * sem_util.ads: Minor comment fix. * style.adb (Check_Identifier): Set proper casing for entities in ASCII. * styleg.adb: Minor comment improvement. * stylesw.ads (Style_Check_Standard): Fix bad comments. 2013-01-29 Hristian Kirtchev <kirtchev@adacore.com> * sem_prag.adb: Add the grammar for pragmas Abstract_State and Global. (Analyze_Pragma): Push the scope of the related subprogram and install its formals once before starting the analysis of the [moded] global list. 2013-01-29 Pascal Obry <obry@adacore.com> * prj-proc.adb (Process_Expression_Variable_Decl): Always handle relative paths in Project_Path as relative to the aggregate project location. Note that this was what was documented. 2013-01-29 Vincent Celier <celier@adacore.com> * gnatcmd.adb: For "gnat stub -P ...", do not check the naming scheme for Ada, when Ada is not a language for the project. From-SVN: r195539
2013-01-29sem_ch3.adb (Analyze_Subtype_Declaration): Inherit Is_Generic_Actual_Type ↵Ed Schonberg5-11/+111
flag in a nested instance. 2013-01-29 Ed Schonberg <schonberg@adacore.com> * sem_ch3.adb (Analyze_Subtype_Declaration): Inherit Is_Generic_Actual_Type flag in a nested instance. * sem_ch12.adb (Restore_Private_Views): Preserve Is_Generic_Actual_Type flag if actual is a Generic_Actual_Type of an enclosing instance. * sem_util.adb (Corresponding_Generic_Type): Handle generic actual which is an actual of an enclosing instance. * sem_type.adb (Real_Actual): If a generic_actual_type is the formal of an enclosing generic and thus renames the corresponding actual, use the actual of the enclosing instance to resolve spurious ambiguities in instantiations when two formals are instantiated with the same actual. From-SVN: r195538
generated by cgit v1.1 at 2025-09-20 06:11:44 +0000