aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2014-02-06[multiple changes]Arnaud Charlet9-19/+95
2014-02-06 Pascal Obry <obry@adacore.com> * prj-util.adb (For_Interface_Sources): Fix handling of required bodies for aggregate libs. 2014-02-06 Robert Dewar <dewar@adacore.com> * nlists.ads: Minor comment clarifications. 2014-02-06 Robert Dewar <dewar@adacore.com> * gnat1drv.adb (Adjust_Global_Switches): Set Modify_Tree_For_C if gnatd.V set. * opt.ads (Modify_Tree_For_C): New flag. * output.ads, output.adb (Last_Char): New function. 2014-02-06 Pascal Obry <obry@adacore.com> * projects.texi, prj-env.adb (Initialize_Default_Project_Path): Add share/gpr for cross-builds. From-SVN: r207542
2014-02-06Fix pr59597.c test to work with PIC variants tooIan Bolton2-2/+10
From-SVN: r207541
2014-02-06exp_util.ads, [...]: Minor reformatting and code clean ups.Robert Dewar6-6/+15
2014-02-06 Robert Dewar <dewar@adacore.com> * exp_util.ads, checks.adb, sem_prag.adb, prj-util.adb, sem_ch13.adb: Minor reformatting and code clean ups. From-SVN: r207540
2014-02-06aarch64-cores.def (cortex-a53): Specify CRC32 and crypto support.Kyrylo Tkachov2-3/+10
2014-02-06 Kyrylo Tkachov <kyrylo.tkachov@arm.com> * config/aarch64/aarch64-cores.def (cortex-a53): Specify CRC32 and crypto support. (cortex-a57): Likewise. (cortex-a57.cortex-a53): Likewise. From-SVN: r207539
2014-02-06prj-util.adb (For_Interface_Sources): Skip non compilable languages.Pascal Obry3-1/+7
2014-02-06 Pascal Obry <obry@adacore.com> * prj-util.adb (For_Interface_Sources): Skip non compilable languages. * prj.ads: Minor typo fix in comment. From-SVN: r207538
2014-02-06[multiple changes]Arnaud Charlet10-111/+261
2014-02-06 Hristian Kirtchev <kirtchev@adacore.com> * sem_prag.adb (Analyze_Depends_In_Decl_Part): Add local variable Expr. Flag clauses with extra parenthesis as this is not allowed by the syntax of the pragma. Code reformatting. 2014-02-06 Hristian Kirtchev <kirtchev@adacore.com> * exp_attr.adb (Expand_N_Attribute_Reference): Alphabetize variables. Rename variabme Tnn to Temp. Do not create a temporary if assertions are disabled. Find enclosing routine _Postconditions and insert the temporary that captures the value of the prefix before the routine. * exp_ch6.adb (Build_Postconditions_Procedure): Insert the generated _Postconditions routine before the first source declaration of the related subprogram. (Insert_After_Last_Declaration): Removed. (Insert_Before_First_Source_Declaration): New routine. 2014-02-06 Ed Schonberg <schonberg@adacore.com> * exp_util.adb, exp_util.ads (Within_Internal_Subprogram): Utility to determine whether current expansion is for the body of a predefined primitive operation. (Make_Predicate_Check): Use Within_Internal_Subpgram * checks.adb (Apply_Predicate_Check): Use Within_Internal_Subprogram * sem_ch13.adb (Freeze_Entity_Checks): Ditto. 2014-02-06 Pascal Obry <obry@adacore.com> * prj.ads, prj-util.adb: Minor reformatting. From-SVN: r207537
2014-02-06[multiple changes]Arnaud Charlet8-9/+83
2014-02-06 Ed Schonberg <schonberg@adacore.com> * exp_ch6.adb (Expand_Subprogram_Contract, Append_Enabled_Item): Take into account the Split_PPC flag to ensure that conjuncts in a composite postcondition aspect are tested in source order. 2014-02-06 Hristian Kirtchev <kirtchev@adacore.com> * sem_ch6.adb (Analyze_Generic_Subprogram_Body): Flag illegal use of SPARK_Mode. * sem_ch12.adb (Analyze_Generic_Subprogram_Declaration): Flag illegal use of SPARK_Mode. (Instantiate_Subprogram_Body): Flag illegal use of SPARK_Mode. * sem_prag.adb (Analyze_Pragma): Code reformatting. * sem_util.adb Add with and use clause for Aspects. (Check_SPARK_Mode_In_Generic): New routine. * sem_util.ads (Check_SPARK_Mode_In_Generic): New routine. 2014-02-06 Thomas Quinot <quinot@adacore.com> * a-calend.adb (Formatting_Operations.Split): Ensure that Time_Error is raised for invalid time values. From-SVN: r207536
2014-02-06[multiple changes]Arnaud Charlet7-21/+119
2014-02-06 Arnaud Charlet <charlet@adacore.com> * sem_prag.adb (Analyze_Pragma): Rewrite as a null statement in GNATprove_Mode. 2014-02-06 Robert Dewar <dewar@adacore.com> * einfo.ads, einfo.adb (Is_Discriminant_Check_Function): New flag. * exp_ch3.adb (Build_Dcheck_Function): Set Is_Discriminant_Check_Function. 2014-02-06 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch7.adb (Is_Subprogram_Call): Inspect the original tree in certain cases where a construct has been factored out and replaced by a reference to a temporary. 2014-02-06 Ed Schonberg <schonberg@adacore.com> * sem_ch3.adb (Process_Full_View): Fix typo in the order of parameters when propagating predicate function to full view. (Find_Type_Of_Object): Freeze base type of object type to catch premature use of discriminated private type without a full view. From-SVN: r207535
2014-02-06[multiple changes]Arnaud Charlet7-77/+281
2014-02-06 Robert Dewar <dewar@adacore.com> * sprint.adb: Minor reformatting. 2014-02-06 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch4.adb (Process_Transient_Object): Add local variable Temp_Ins. When the transient object is initialized by an aggregate, the hook must capture the object after the last component assignment takes place. * exp_ch7.adb (Detect_Subprogram_Call): Expose the subprogram to routine Is_Subprogram_Call. (Is_Subprogram_Call): Inspect an aggregate that has been heavily expanded for subprogram calls. (Process_Transient_Objects): Add local variables Expr, Ptr_Id and Temp_Ins. Remove the nested declare block and adjust the indentation. When the transient object is initialized by an aggregate, the hook must capture the object after the last component assignment takes place. 2014-02-06 Hristian Kirtchev <kirtchev@adacore.com> * sem_prag.adb (Analyze_Global_Item): Detect illegal uses of external states with enabled properties that do not match the global mode. (Property_Error): New routine. * sem_res.adb (Property_Error): New routine. (Resolve_Actuals): Detect illegal uses of external variables with enabled properties in procedure calls that do not match the mode of the corresponding formal parameter. 2014-02-06 Hristian Kirtchev <kirtchev@adacore.com> * sem_util.adb (Has_Enabled_Property): Rename formal parameter Prop_Nam to Property. Update the comment on usage and all occurrences in the body. Add local variable Prop_Nam. When inspecting a property with an expression, the property name appears as the first choice of the component association. From-SVN: r207534
2014-02-06arm.c (arm_vector_alignment_reachable): Check unaligned_access.Yury Gribov4-2/+34
2014-02-06 Yury Gribov <y.gribov@samsung.com> Kugan Vivekanandarajah <kuganv@linaro.org> gcc/ * config/arm/arm.c (arm_vector_alignment_reachable): Check unaligned_access. * config/arm/arm.c (arm_builtin_support_vector_misalignment): Likewise. testsuite/ * gcc.target/arm/vect-noalign.c: New file. Co-Authored-By: Kugan Vivekanandarajah <kuganv@linaro.org> From-SVN: r207533
2014-02-06tree-cfg.c (gimple_duplicate_sese_region): Fix ordering of set_loop_copy and ↵Richard Biener2-5/+12
initialize_original_copy_tables. 2014-02-06 Richard Biener <rguenther@suse.de> * tree-cfg.c (gimple_duplicate_sese_region): Fix ordering of set_loop_copy and initialize_original_copy_tables. From-SVN: r207532
2014-02-06[AArch64] Shift right pattern fixAlex Velenko2-1/+6
gcc/ * config/aarch64/aarch64-simd.md (aarch64_ashr_simddi): Change QI to SI. From-SVN: r207531
2014-02-06re PR middle-end/60013 (Build of 176.gcc from CPU2000 loops in cc1 starting ↵Jan Hubicka4-4/+71
with r207231) PR middle-end/60013 * ipa-inline-analysis.c (compute_bb_predicates): Ensure monotonicity of the dataflow. * gcc.dg/pr60013.c: New testcase. Co-Authored-By: Jakub Jelinek <jakub@redhat.com> From-SVN: r207529
2014-02-06Daily bump.GCC Administrator1-1/+1
From-SVN: r207528
2014-02-05rs6000.c (altivec_expand_vec_perm_const): Change CODE_FOR_altivec_vpku[hw]um ↵Bill Schmidt3-6/+16
to CODE_FOR_altivec_vpku[hw]um_direct. 2014-02-05 Bill Schmidt <wschmidt@linux.vnet.ibm.com> * config/rs6000/rs6000.c (altivec_expand_vec_perm_const): Change CODE_FOR_altivec_vpku[hw]um to CODE_FOR_altivec_vpku[hw]um_direct. * config/rs6000/altivec.md (vec_unpacks_hi_<VP_small_lc>): Change UNSPEC_VUNPACK_HI_SIGN to UNSPEC_VUNPACK_HI_SIGN_DIRECT. (vec_unpacks_lo_<VP_small_lc>): Change UNSPEC_VUNPACK_LO_SIGN to UNSPEC_VUNPACK_LO_SIGN_DIRECT. From-SVN: r207525
2014-02-05re PR c/53123 (Double return statement in c-omp.c source file)Marek Polacek2-1/+6
PR c/53123 c-family/ * c-omp.c (c_finish_omp_atomic): Remove unreachable return statement. From-SVN: r207524
2014-02-05* gimple-fold.c (can_refer_decl_in_current_unit_p): Default visibility is safe.Jan Hubicka1-0/+1
From-SVN: r207523
2014-02-05altivec.md (altivec_vsum2sws): Adjust code generation for -maltivec=be.Bill Schmidt5-5/+62
gcc: 2014-02-05 Bill Schmidt <wschmidt@linux.vnet.ibm.com> * config/rs6000/altivec.md (altivec_vsum2sws): Adjust code generation for -maltivec=be. (altivec_vsumsws): Simplify redundant test. gcc/testsuite: 2014-02-05 Bill Schmidt <wschmidt@linux.vnet.ibm.com> * gcc.dg/vmx/sum2s.c: New. * gcc.dg/vmx/sum2s-be-order.c: New. From-SVN: r207521
2014-02-05altivec.md (UNSPEC_VPACK_UNS_UNS_MOD_DIRECT): New unspec.Bill Schmidt7-8/+499
gcc: 2014-02-05 Bill Schmidt <wschmidt@linux.vnet.ibm.com> * altivec.md (UNSPEC_VPACK_UNS_UNS_MOD_DIRECT): New unspec. (UNSPEC_VUNPACK_HI_SIGN_DIRECT): Likewise. (UNSPEC_VUNPACK_LO_SIGN_DIRECT): Likewise. (mulv8hi3): Use gen_altivec_vpkuwum_direct instead of gen_altivec_vpkuwum. (altivec_vpkpx): Test for VECTOR_ELT_ORDER_BIG instead of for BYTES_BIG_ENDIAN. (altivec_vpks<VI_char>ss): Likewise. (altivec_vpks<VI_char>us): Likewise. (altivec_vpku<VI_char>us): Likewise. (altivec_vpku<VI_char>um): Likewise. (altivec_vpku<VI_char>um_direct): New (copy of altivec_vpku<VI_char>um that still relies on BYTES_BIG_ENDIAN, for internal use). (altivec_vupkhs<VU_char>): Emit vupkls* instead of vupkhs* when target is little endian and -maltivec=be is not specified. (*altivec_vupkhs<VU_char>_direct): New (copy of altivec_vupkhs<VU_char> that always emits vupkhs*, for internal use). (altivec_vupkls<VU_char>): Emit vupkhs* instead of vupkls* when target is little endian and -maltivec=be is not specified. (*altivec_vupkls<VU_char>_direct): New (copy of altivec_vupkls<VU_char> that always emits vupkls*, for internal use). (altivec_vupkhpx): Emit vupklpx instead of vupkhpx when target is little endian and -maltivec=be is not specified. (altivec_vupklpx): Emit vupkhpx instead of vupklpx when target is little endian and -maltivec=be is not specified. gcc/testsuite: 2014-02-05 Bill Schmidt <wschmidt@linux.vnet.ibm.com> * gcc.dg/vmx/pack.c: New. * gcc.dg/vmx/pack-be-order.c: New. * gcc.dg/vmx/unpack.c: New. * gcc.dg/vmx/unpack-be-order.c: New. From-SVN: r207520
2014-02-05catch_exc.cc: Disable test for -O1.Balaji V. Iyer3-0/+8
2014-02-05 Balaji V. Iyer <balaji.v.iyer@intel.com> * g++.dg/cilk-plus/CK/catch_exc.cc: Disable test for -O1. * c-c++-common/cilk-plus/CK/spawner_inline.c: Likewise. From-SVN: r207519
2014-02-05re PR debug/52727 (internal compiler error at dwarf2cfi.c2:685)Richard Henderson4-6/+22
PR debug/52727 * combine-stack-adj.c: Revert r206943. * sched-int.h (struct deps_desc): Add last_args_size. * sched-deps.c (init_deps): Initialize it. (sched_analyze_insn): Add OUTPUT dependencies between insns that contain REG_ARGS_SIZE notes. From-SVN: r207518
2014-02-05lto-cgraph.c (asm_nodes_output): Make global.Jan Hubicka1-0/+1
* lto-cgraph.c (asm_nodes_output): Make global. * lto-wrapper.c (run_gcc): Pass down paralelizm to WPA. * gcc.c (AS_NEEDS_DASH_FOR_PIPED_INPUT): Allow WPA parameter (driver_handle_option): Handle OPT_fwpa. From-SVN: r207516
2014-02-05lto-cgraph.c (asm_nodes_output): Make global.Jan Hubicka8-22/+168
* lto-cgraph.c (asm_nodes_output): Make global. * lto-wrapper.c (run_gcc): Pass down paralelizm to WPA. * gcc.c (AS_NEEDS_DASH_FOR_PIPED_INPUT): Allow WPA parameter (driver_handle_option): Handle OPT_fwpa. * lto.c (lto_parallelism): New static var. (do_stream_out, wait_for_child, stream_out): New static functions. (lto_wpa_write_files): Add support for parallel streaming. (do_whole_program_analysis): Set parallelism. * lang.opt (fwpa): Add parameter. * lto-lang.c (lto_handle_option): Handle flag_wpa. (lto_init): Update use of flag_wpa. * lto-streamer.h (asm_nodes_output): Declare. From-SVN: r207515
2014-02-05Fix gcc.target/i386/avx512f-vrndscaless-2.c on Solaris 9/x86Rainer Orth4-10/+15
* gcc.target/i386/avx512f-vrndscaless-2.c (compute_rndscaless): Use __builtin_floorf, __builtin_ceilf. * gcc.target/i386/sse4_1-floorf-sfix-vec.c (floorf): Remove declaration. (TEST): Use __builtin_floorf. * gcc.target/i386/sse4_1-floorf-vec.c: Likewise. From-SVN: r207514
2014-02-05re PR ipa/59947 (Segmentation fault with #pragma GCC optimize ("O2"), ICE in ↵Jakub Jelinek4-2/+51
get_odr_type) PR ipa/59947 * ipa-devirt.c (possible_polymorphic_call_targets): Fix a comment typo and formatting issue. If odr_hash hasn't been created, return vNULL and set *completep to false. * g++.dg/opt/pr59947.C: New test. From-SVN: r207512
2014-02-05re PR c++/58703 (ICE with invalid types in OpenMP declare reduction clause)Jakub Jelinek4-1/+26
PR c++/58703 * parser.c (cp_parser_omp_declare_reduction): Save and free declarator_obstack. * c-c++-common/gomp/pr58703.c: New test. From-SVN: r207511
2014-02-05lto.h (lto_global_var_decls): Remove.Richard Biener4-21/+23
2014-02-05 Richard Biener <rguenther@suse.de> lto/ * lto.h (lto_global_var_decls): Remove. * lto-lang.c (lto_init): Do not allocate lto_global_var_decls. (lto_write_globals): Do nothing in WPA stage, gather globals from the varpool here ... * lto.c (lto_main): ... not here. (materialize_cgraph): Do not call rest_of_decl_compilation on the empty lto_global_var_decls vector. (lto_global_var_decls): Remove. From-SVN: r207510
2014-02-05re PR target/60076 (gcc.dg/vect/pr60012.c FAILs on Solaris/SPARC)Richard Biener2-4/+10
2014-02-05 Richard Biener <rguenther@suse.de> PR testsuite/60076 * gcc.dg/vect/pr60012.c: Require vect_extract_even_odd and avoid using unsigned long long. From-SVN: r207509
2014-02-05config.host: Include t-floattodi also for s390x.Andreas Krebbel8-1/+30
2014-02-05 Andreas Krebbel <Andreas.Krebbel@de.ibm.com> * config.host: Include t-floattodi also for s390x. * config/s390/32/_fixdfdi.c: Omit in 64 bit mode. * config/s390/32/_fixsfdi.c: Likewise. * config/s390/32/_fixtfdi.c: Likewise. * config/s390/32/_fixunsdfdi.c: Likewise. * config/s390/32/_fixunssfdi.c: Likewise. * config/s390/32/_fixunstfdi.c: Likewise. From-SVN: r207507
2014-02-05re PR middle-end/57499 (ICE when noreturn destructor returns after throw ↵Jakub Jelinek4-3/+31
with -O) PR middle-end/57499 * tree-eh.c (cleanup_empty_eh): Bail out on totally empty bb with no successors. * g++.dg/torture/pr57499.C: New test. From-SVN: r207504
2014-02-05[ARM Documentation] Clarify -mcpu, -mtune, -marchJames Greenhalgh2-43/+53
gcc/ PR target/59718 * doc/invoke.texi (-march=): Clarify documentation for ARM. (-mtune=): Likewise. (-mcpu=): Likewise. From-SVN: r207501
2014-02-05tree-vect-loop.c (vect_analyze_loop_2): Be more informative when not ↵Richard Biener3-12/+33
vectorizing because of too many alias checks. 2014-02-05 Richard Biener <rguenther@suse.de> * tree-vect-loop.c (vect_analyze_loop_2): Be more informative when not vectorizing because of too many alias checks. * tree-vect-data-refs.c (vect_prune_runtime_alias_test_list): Add more verboseness, avoid duplicate MSG_MISSED_OPTIMIZATION. From-SVN: r207499
2014-02-05mn10300.c (mn10300_hard_regno_mode_ok): Do not accept extended registers in ↵Nick Clifton2-3/+10
any mode when compiling for the MN10300. * config/mn10300/mn10300.c (mn10300_hard_regno_mode_ok): Do not accept extended registers in any mode when compiling for the MN10300. From-SVN: r207498
2014-02-05re PR sanitizer/59600 (no_sanitize_address mishandled when function is inlined)Yury Gribov5-1/+98
PR sanitizer/59600 gcc/ * cif-code.def (ATTRIBUTE_MISMATCH): New CIF code. * ipa-inline.c (report_inline_failed_reason): Handle mismatched sanitization attributes. (can_inline_edge_p): Likewise. (sanitize_attrs_match_for_inline_p): New function. gcc/testsuite/ * gcc.dg/asan/nosanitize-and-inline.c: : New test. From-SVN: r207497
2014-02-05ipa-prop.c (detect_type_change): Shor circuit testing of type changes on ↵Jan Hubicka4-1/+23
THIS pointer. * ipa-prop.c (detect_type_change): Shor circuit testing of type changes on THIS pointer. * g++.dg/ipa/devirrt-22.C: Fix template. From-SVN: r207495
2014-02-05re PR target/59777 (Incorrect expansion of TLS arguments in a call)John David Anglin3-10/+27
PR target/59777 * config/pa/pa.c (legitimize_tls_address): Return original address if not passed a SYMBOL_REF rtx. (hppa_legitimize_address): Call legitimize_tls_address for all TLS addresses. (pa_emit_move_sequence): Simplify TLS source operands. (pa_legitimate_constant_p): Reject all TLS constants. * config/pa/pa.h (PA_SYMBOL_REF_TLS_P): Correct comment. (CONSTANT_ADDRESS_P): Reject TLS CONST addresses. From-SVN: r207493
2014-02-05Daily bump.GCC Administrator1-1/+1
From-SVN: r207492
2014-02-04ipa.c (function_and_variable_visibility): Decompose DECL_ONE_ONLY groups ↵Jan Hubicka5-5/+49
when we know they are controlled by LTO. * ipa.c (function_and_variable_visibility): Decompose DECL_ONE_ONLY groups when we know they are controlled by LTO. * varasm.c (default_binds_local_p_1): If object is in other partition, it will be resolved locally. * lto-partition.c (get_symbol_class): Only unforced DECL_ONE_ONLY needs duplicating, not generic COMDAT. From-SVN: r207489
2014-02-04host-linux.c (linux_gt_pch_use_address): Don't use SSIZE_MAX because it is ↵Bernd Edlinger2-1/+6
not always defined. 2014-02-04 Bernd Edlinger <bernd.edlinger@hotmail.de> * gcc/config/host-linux.c (linux_gt_pch_use_address): Don't use SSIZE_MAX because it is not always defined. From-SVN: r207488
2014-02-04re PR bootstrap/59913 ([4.9 Regresion] bootstrap failure on arm-linux-gnueabihf)Vladimir Makarov2-10/+45
2014-02-04 Vladimir Makarov <vmakarov@redhat.com> PR bootstrap/59913 * lra-constraints.c (need_for_split_p): Use more 3 reloads as threshold for pseudo splitting. (update_ebb_live_info): Process call argument hard registers and hard registers from insn definition too. (max_small_class_regs_num): New constant. (inherit_in_ebb): Update live hard regs through EBBs. Update reloads_num only for small register classes. Don't split for outputs of jumps. From-SVN: r207485
2014-02-04re PR c/60036 (Spurious signedness conversion warning with relational operator)Marek Polacek4-0/+47
PR c/60036 c-family/ * c-common.c (conversion_warning): Unwrap C_MAYBE_CONST_EXPR and/or SAVE_EXPR. testsuite/ * gcc.dg/pr60036.c: New test. From-SVN: r207481
2014-02-04re PR ipa/60058 (internal compiler error: Segmentation fault)Markus Trippelsdorf4-12/+56
PR ipa/60058 * ipa-cp.c (ipa_get_indirect_edge_target_1): Check that target is non-null. * g++.dg/torture/pr60058.C: New testcase. From-SVN: r207478
2014-02-04* gimple-fold.c (can_refer_decl_in_current_unit_p): Default visibility is safe.Jan Hubicka1-0/+4
From-SVN: r207477
2014-02-04* gdbinit.in (pel): Define.Marek Polacek2-0/+13
From-SVN: r207474
2014-02-04invoke.texi (fstrict-volatile-bitfields): Clarify current behavior.Bernd Edlinger2-0/+9
2014-02-04 Bernd Edlinger <bernd.edlinger@hotmail.de> * doc/invoke.texi (fstrict-volatile-bitfields): Clarify current behavior. From-SVN: r207473
2014-02-04* g++.dg/tsan/default_options.C: Invert check.Max Ostapenko2-2/+4
From-SVN: r207472
2014-02-04re PR lto/59723 (ICE: in lto_output_tree, at lto-streamer-out.c:1390 when ↵Richard Biener5-37/+30
compiling some Fortran tests with -flto) 2014-02-04 Richard Biener <rguenther@suse.de> PR lto/59723 * lto-streamer-out.c (tree_is_indexable): Force NAMELIST_DECLs in function context local. (lto_output_tree_ref): Do not write trees from lto_output_tree_ref. * lto-streamer-in.c (lto_input_tree_ref): Handle LTO_namelist_decl_ref similar to LTO_imported_decl_ref. lto/ * lto.c (mentions_vars_p): Handle NAMELIST_DECL. (lto_fixup_prevailing_decls): Handle fixing up CONSTRUCTOR values. From-SVN: r207471
2014-02-04exp_ch5.adb, [...]: Minor reformatting.Robert Dewar5-3/+13
2014-02-04 Robert Dewar <dewar@adacore.com> * exp_ch5.adb, einfo.ads, freeze.adb, sem_ch8.adb: Minor reformatting. From-SVN: r207470
2014-02-04[multiple changes]Arnaud Charlet7-16/+61
2014-02-04 Gary Dismukes <dismukes@adacore.com> * sem_aggr.adb: Change "runtime" to "run time" in warning message, for consistency with other messages. 2014-02-04 Ed Schonberg <schonberg@adacore.com> * exp_ch5.adb (Expand_Iterator_Loop): For a container element iterator, indicate that the element is a constant if the container type does not have a variable indexing aspect. * sem_ch8.adb (Analyze_Object_Renaming): If the entity is already marked as constant, do not reset its Ekind, to ensure that container elements in an element loop are not modified if the container (e.g. a hashed set) only has a constant indexing aspect. 2014-02-04 Arnaud Charlet <charlet@adacore.com> * g-souinf.ads: Subprograms in this unit are actually not pure. * freeze.adb (Freeze_Subprogram): Do not reset Is_Pure for Intrinsics. * einfo.ads (Is_Pure): Update doc to match implementation. From-SVN: r207469
2014-02-04[multiple changes]Arnaud Charlet5-13/+58
2014-02-04 Gary Dismukes <dismukes@adacore.com> * exp_ch13.adb: Minor spelling fix. 2014-02-04 Robert Dewar <dewar@adacore.com> * opt.ads: Minor comment update. 2014-02-04 Robert Dewar <dewar@adacore.com> * exp_ch4.adb (Expand_N_Expression_With_Actions): Use Rewrite instead of Replace. 2014-02-04 Ed Schonberg <schonberg@adacore.com> * sem_aggr.adb (Resolve_Array_Aggregate): Suppress warnings on null expressions if component type is non-null, when the corresponding association covers an empty range of index values. From-SVN: r207468
generated by cgit v1.1 at 2025-02-28 09:47:21 +0000