summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* 2010-10-26 Robert Dewar <dewar@adacore.com>charlet2010-10-266-15/+47
| | | | | | | | | | | | | | | | | | | * exp_ch3.adb: Fix typo, comment updates. * namet.adb: Minor comment additions. * einfo.ads: Minor comment update. 2010-10-26 Javier Miranda <miranda@adacore.com> * einfo.adb (Set_Dispatch_Table_Wrappers): Complete the assertion. 2010-10-26 Robert Dewar <dewar@adacore.com> * par.adb, par-ch13.adb (Aspect_Specifications_Present): Add Strict parameter. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165955 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-26 Bob Duff <duff@adacore.com>charlet2010-10-263-160/+43
| | | | | | | | | | | | | * namet.adb: Improve hash function. Increase the size from 2**12 to 2**16 buckets. 2010-10-26 Thomas Quinot <quinot@adacore.com> * sem_disp.adb: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165954 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-26 Robert Dewar <dewar@adacore.com>charlet2010-10-266-9/+27
| | | | | | | | | | * sem_ch3.adb, sem_ch4.adb, sem_disp.adb, switch-c.adb: Minor reformatting. * gnat_ugn.texi: Document -gnateP switch. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165953 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-26 Robert Dewar <dewar@adacore.com>charlet2010-10-2611-9/+113
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * opt.ads (Treat_Categorization_Errors_As_Warnings): New flag * sem_cat.adb (Check_Categorization_Dependencies): Use Check_Categorization_Dependencies * switch-c.adb: GNAT Mode sets Treat_Categorization_Errors_As_Warnings -gnateP sets Treat_Categorization_Errors_As_Warnings * usage.adb: Add line for -gnateP switch 2010-10-26 Javier Miranda <miranda@adacore.com> * sem_ch3.adb (Add_Internal_Interface_Entities): Handle primitives inherited from the parent that cover interface primitives. (Derive_Progenitor_Subprograms): Handle primitives inherited from the parent that cover interface primitives. * sem_disp.adb (Find_Primitive_Covering_Interface): When searching in the list of primitives of the type extend the test to include inherited private primitives. * sem_ch6.ads (Is_Interface_Conformant): Add missing documentation. * sem_ch7.adb (Declare_Inherited_Private_Subprograms): Add missing barrier to the loop searching for explicit overriding primitives. * sem_ch4.adb (Analyze_Indexed_Component_Form): Add missing barrier before accessing attribute Entity. 2010-10-26 Bob Duff <duff@adacore.com> * make.adb: Call Namet.Finalize, so we can get statistics. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165952 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-26 Geert Bosch <bosch@adacore.com>charlet2010-10-263-27/+36
| | | | | | | | | | | | | | | * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Use the subprogram_body node to determine wether the subprogram is a rewritten parameterized expression. 2010-10-26 Robert Dewar <dewar@adacore.com> * opt.ads: Minor code reorganization Alphabetize Warning switches. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165951 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-26 Robert Dewar <dewar@adacore.com>charlet2010-10-263-3/+8
| | | | | | | | * sem_res.adb, xsinfo.adb: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165950 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-26 Bob Duff <duff@adacore.com>charlet2010-10-263-11/+22
| | | | | | | | | | | | * namet.adb (Finalize): More cleanup of statistics printouts. 2010-10-26 Robert Dewar <dewar@adacore.com> * ceinfo.adb: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165949 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-26 Javier Miranda <miranda@adacore.com>charlet2010-10-264-75/+151
| | | | | | | | | | | | | | | * sem_ch6.adb (Check_Overriding_Indicator, New_Overloaded_Entity): When setting attribute Overridden_Operation do not reference the entities generated by Derive_Subprograms but their aliased entity (which is the primitive inherited from the parent type). 2010-10-26 Bob Duff <duff@adacore.com> * namet.adb, namet.ads: Minor cleanup. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165948 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/Make-lang.in: Update dependencies.charlet2010-10-262-56/+60
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165947 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-26 Robert Dewar <dewar@adacore.com>charlet2010-10-2623-94/+217
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * einfo.ads, einfo.adb (Is_Base_Type): New function, use it where appropriate. * exp_ch6.adb, exp_dbug.adb, exp_disp.adb, freeze.adb, lib-xref.adb, sem_aux.adb, sem_ch3.adb, sem_ch7.adb, sem_ch8.adb (Is_Base_Type): Use this new abstraction where appropriate. 2010-10-26 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb: Code clean up. 2010-10-26 Paul Hilfinger <hilfinger@adacore.com> * exp_dbug.ads: Document effect of 'pragma Unchecked_Union' on debugging data. 2010-10-26 Ed Schonberg <schonberg@adacore.com> * sem_util.adb (Note_Possible_Modification): If the target of an assignment is the bound variable in an iterator, the domain of iteration, i.e. array or container, is modified as well. 2010-10-26 Bob Duff <duff@adacore.com> * Make-generated.in: Make the relevant make targets depend on ceinfo.adb and csinfo.adb. * csinfo.adb, ceinfo.adb: Make sure it raises an exception on failure, so when called from xeinfo, the failure will be noticed. * sinfo.ads: Update comments to reflect the fact that xsinfo runs csinfo * xsinfo.adb, xeinfo.adb: Run ceinfo to check for errors. Close files. 2010-10-26 Ed Schonberg <schonberg@adacore.com> * exp_ch4.adb: Set properly parent field of operands of concatenation. 2010-10-26 Ed Schonberg <schonberg@adacore.com> * sem_res.adb (Check_Infinite_Recursion): A recursive call within a conditional expression or a case expression should not generate an infinite recursion warning. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165946 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-26 Javier Miranda <miranda@adacore.com>charlet2010-10-2614-141/+187
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * einfo.ads, einfo.adb (Is_Overriding_Operation): Removed. (Set_Is_Overriding_Operation): Removed. * sem_ch3.adb (Check_Abstract_Overriding): Remove redundant call to Is_Overriding_Operation. * exp_ch7.adb (Check_Visibly_Controlled): Remove redundant call to Is_Overriding_Operation. * sem_ch7.adb (Declare_Inherited_Private_Subprograms): Remove redundant call to Set_Is_Overriding_Operation. * sem_util.adb (Collect_Primitive_Operations): Replace test on Is_Overriding_Operation by test on the presence of attribute Overridden_Operation. (Original_Corresponding_Operation): Remove redundant call to attribute Is_Overriding_Operation. * sem_ch6.adb (Analyze_Abstract_Subprogram_Declaration): Remove redundant call to Is_Overriding_Operation. (Verify_Overriding_Indicator): Replace several occurrences of test on Is_Overriding_Operation by test on the presence of attribute Overridden_Operation. (Check_Convention): Replace test on Is_Overriding_Operation by test on the presence of Overridden_Operation. (Check_Overriding_Indicator): Add missing decoration of attribute Overridden_Operation. Minor code cleanup. (New_Overloaded_Entity): Replace occurrence of test on Is_Overriding_Operation by test on the presence of attribute Overridden_Operation. Remove redundant setting of attribute Is_Overriding_Operation plus minor code reorganization. Add missing decoration of attribute Overridden_Operation. * sem_elim.adb (Set_Eliminated): Replace test on Is_Overriding_Operation by test on the presence of Overridden_Operation. * sem_ch8.adb (Analyze_Subprogram_Renaming): Replace test on Is_Overriding_Operation by test on the presence of Overridden_Operation. Remove a redundant test on attribute Is_Overriding_Operation. * lib-xref.adb (Generate_Reference): Replace test on Is_Overriding_Operation by test on the presence of Overridden_Operation. (Output_References): Replace test on Is_Overriding_Operation by test on the presence of Overridden_Operation. * sem_disp.adb (Override_Dispatching_Operation): Replace test on Is_Overriding_Operation by test on the presence of Overridden_Operation. Add missing decoration of attribute Overridden_Operation. 2010-10-26 Robert Dewar <dewar@adacore.com> * sem_ch13.adb (Adjust_Record_For_Reverse_Bit_Order): Properly check RM 13.4.1(10). 2010-10-26 Bob Duff <duff@adacore.com> * sem_res.adb (Resolve_Actuals): In case of certain internally-generated type conversions (created by OK_Convert_To, so the Conversion_OK flag is set), avoid fetching the component type when it's not really an array type, but a private type completed by an array type. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165945 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-26 Ed Schonberg <schonberg@adacore.com>charlet2010-10-269-195/+191
| | | | | | | | | | | | | | | | | | | * sem_ch5.adb: Adjust format of error message. 2010-10-26 Robert Dewar <dewar@adacore.com> * einfo.ads, einfo.adb (OK_To_Reference): Removed, no longer used. * exp_util.adb (Side_Effect_Free): Put in safety barrier in code to detect renamings to avoid problems with invariants. * sem_ch13.adb (Replace_Type_References_Generic): New procedure (Build_Invariant_Procedure): Use Replace_Type_Reference_Generic (Build_Predicate_Function): Use Replace_Type_Reference_Generic * sem_res.adb, sem_ch8.adb, sem_ch4.adb (OK_To_Reference): Remove references, flag is no longer set. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165944 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-26 Vincent Celier <celier@adacore.com>charlet2010-10-266-7/+33
| | | | | | | | | | | | | | * prj.ads (Source_Data): New Boolean component Initialized, defaulted to False, set to True when Source_Data is completely initialized. * prj-env.adb: Minor comment fix. 2010-10-26 Robert Dewar <dewar@adacore.com> * sem_case.adb, sem_ch6.adb, sem_util.adb: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165943 138bc75d-0d04-0410-961f-82ee72b054a4
* Update copyright notice.charlet2010-10-261-1/+1
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165942 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-26 Ed Schonberg <schonberg@adacore.com>charlet2010-10-2610-28/+117
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_ch5.adb (Analyze_Iteration_Scheme): Diagnose attempt to use thew form "for X in A" when A is an array object. This form is only intended for containers. * sem_eval.adb: Fix reference to non-existing field of type conversion node. * sem_case.adb (Check_Choices): Improve error reporting for overlapping choices in case statements. 2010-10-26 Gary Dismukes <dismukes@adacore.com> * exp_disp.adb (Expand_Interface_Actuals): When expanding an actual for a class-wide interface formal that involves applying a displacement conversion to the actual, check for the case of calling a build-in-place function and handle generation of the implicit BIP parameters (call Make_Build_In_Place_Call_In_Anonymous_Context). Add with and use of Exp_Ch6. 2010-10-26 Robert Dewar <dewar@adacore.com> * sem_prag.adb, sem_cat.ads: Minor reformatting. 2010-10-26 Sergey Rybin <rybin@adacore.com> * vms_data.ads: Define VMS qualifier for gnatelim '--ignore' option 2010-10-26 Thomas Quinot <quinot@adacore.com> * sem_util.adb (Has_Preelaborable_Initialization.Check_Components): For a discriminant, use Discriminant_Default_Value rather than Expression (Declaration_Node (D)). 2010-10-26 Geert Bosch <bosch@adacore.com> * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Parameterized expressions don't need a spec, even when style checks require subprograms to have one. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165941 138bc75d-0d04-0410-961f-82ee72b054a4
* * gnatvsn.ads: Update comments.charlet2010-10-262-9/+13
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165940 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-26 Matthew Heaney <heaney@adacore.com>charlet2010-10-2622-221/+4979
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * Makefile.rtl, impunit.adb: Add bounded hashed set and bounded hashed map containers. * a-cohata.ads: Add declaration of generic package for bounded hash table types. * a-chtgbo.ads, a-chtgbo.adb, a-chtgbk.ads, a-chtgbk.adb, a-cbhase.ads, a-cbhase.adb, a-cbhama.ads, a-cbhama.adb: New files. 2010-10-26 Ed Schonberg <schonberg@adacore.com> * sem_warn.adb: Improve warning message on overlapping actuals. 2010-10-26 Thomas Quinot <quinot@adacore.com> * sem_ch4.adb, exp_dist.adb: Minor reformatting. 2010-10-26 Vincent Celier <celier@adacore.com> * makeusg.adb (Makeusg): Add lines for switches -vl, -vm and -vh. 2010-10-26 Robert Dewar <dewar@adacore.com> * exp_ch3.adb (Expand_N_Object_Declaration): Move generation of predicate check to analyzer, since too much rewriting occurs in the analyzer. * sem_ch13.adb (Build_Predicate_Function): Change calling sequence, and change the order in which things are done to fix several errors in dealing with qualification of the type name. (Build_Static_Predicate): Built static predicate after full analysis of the body. This is necessary to fix several problems. * sem_ch3.adb (Analyze_Object_Declaration): Move predicate check here from expander, since too much expansion occurs in the analyzer to leave it that late. (Analyze_Object_Declaration): Change parameter Include_Null to new name Include_Implicit in Is_Partially_Initialized_Type call. (Analyze_Subtype_Declaration): Make sure predicates are proapagated in some strange cases of internal subtype generation. * sem_util.ads, sem_util.adb (Is_Partially_Initialized_Type): Change Include_Null to Include_Implicit, now includes the case of discriminants. 2010-10-26 Sergey Rybin <rybin@adacore.com> * gnat_rm.texi: Revise the documentation for pragma Eliminate. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165939 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-26 Matthew Heaney <heaney@adacore.com>charlet2010-10-265-0/+2282
| | | | | | | | | * Makefile.rtl, impunit.adb: Added bounded list container. * a-cbdlli.ads, a-cbdlli.adb: New file. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165938 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-26 Paolo Carlini <paolo.carlini@oracle.com>paolo2010-10-2610-14/+97
| | | | | | | | | | | | | | | | * testsuite/lib/libstdc++.exp ([check_v3_target_normal_mode]): Add. * testsuite/lib/dg-options.exp ([dg-require-normal-mode]): Likewise. * testsuite/23_containers/headers/forward_list/synopsis.cc: Use the latter. * testsuite/23_containers/headers/vector/synopsis.cc: Likewise. * testsuite/23_containers/headers/deque/synopsis.cc: Likewise. * testsuite/23_containers/headers/bitset/synopsis.cc: Likewise. * testsuite/23_containers/headers/list/synopsis.cc: Likewise. * testsuite/23_containers/headers/set/synopsis.cc: Likewise. * testsuite/23_containers/headers/map/synopsis.cc: Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165937 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-26 Tobias Burnus <burnus@net-b.de>burnus2010-10-265-2/+54
| | | | | | | | | | | | | | | | | | PR fortran/45451 * trans-stmt.c (gfc_trans_allocate): Do a deep-copy for SOURCE=. PR fortran/43018 * trans-array.c (duplicate_allocatable): Use size of type and not the size of the pointer to the type. 2010-10-26 Tobias Burnus <burnus@net-b.de> PR fortran/45451 * gfortran.dg/class_allocate_5.f90: New. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165936 138bc75d-0d04-0410-961f-82ee72b054a4
* Implement opaque-enum-specifiers for C++0x.jason2010-10-2623-153/+853
| | | | | | | | | | | | | | | | | | | | | | | | | | | | gcc/ * tree.h (ENUM_IS_OPAQUE): New. * dwarf2out.c (gen_enumeration_type_die): Use ENUM_IS_OPAQUE. gcc/cp/ * cp-tree.h (SET_OPAQUE_ENUM_P): New. (OPAQUE_ENUM_P): New. (ENUM_FIXED_UNDERLYING_TYPE_P): New. (start_enum): Update prototype. (finish_enum_value_list): New prototype. * parser.c (cp_parser_elaborated_type_specifier): Issue a pedwarn if "enum class" is used in an elaborated-type-specifier. (cp_parser_enum_specifier): Rewrite to parse opaque-enum-specifiers. * decl.c (copy_type_enum): New. (finish_enum_value_list): New, with code from finish_enum. (finish_enum): A lot of code removed. Added a gcc_assert. (start_enum): Add parameters enumtype and is_new. Rewrite to work with opaque-enum-specifiers. * pt.c (maybe_process_partial_specialization): Allow for template specialization of enumerations, with a pedwarn. (lookup_template_class): Update call to start_enum. Call to SET_OPAQUE_ENUM_P. (tsubst_enum): Call to begin_scope, finish_scope and finish_enum_value_list. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165935 138bc75d-0d04-0410-961f-82ee72b054a4
* * stor-layout.c (layout_decl): Use the field's type tojiez2010-10-267-3/+78
| | | | | | | | | | | | | | | determine the mode and keep DECL_BIT_FIELD for a volatile bit-field. * config/arm/arm.c (arm_override_options): Default to -fstrict-volatile-bitfields. testsuite/ * gcc.target/arm/volatile-bitfields-1.c: New test. * gcc.target/arm/volatile-bitfields-2.c: New test. * gcc.target/arm/volatile-bitfields-3.c: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165934 138bc75d-0d04-0410-961f-82ee72b054a4
* * config/pdp11/pdp11.md: Add define_constants for registerpkoning2010-10-264-59/+69
| | | | | | | | numbers, branch offset limits. * config/pdp11/pdp11.c: Use named constants instead of numbers. * config/pdp11.pdp11.h: Ditto. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165933 138bc75d-0d04-0410-961f-82ee72b054a4
* Daily bump.gccadmin2010-10-261-1/+1
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165932 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/utils2.c: Include flags.h and remove prototypes.ebotcazou2010-10-253-6/+14
| | | | | | | | | (build_unary_op) <TRUTH_NOT_EXPR>: When not optimizing, fold the result of the call to invert_truthvalue_loc. * gcc-interface/Make-lang.in (utils2.o): Add $(FLAGS_H). git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165928 138bc75d-0d04-0410-961f-82ee72b054a4
* Correct the Changelog entries.cfang2010-10-251-4/+8
| | | | | | | * Changelog (2010-10-22 Changpeng Fang): Correct the Changelog entries. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165927 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/utils.c (update_pointer_to): Clear TYPE_POINTER_TO andebotcazou2010-10-257-0/+56
| | | | | | | | TYPE_REFERENCE_TO of the old type after redirecting its pointer and reference types. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165926 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Do not setebotcazou2010-10-258-1/+105
| | | | | | | TREE_THIS_NOTRAP on the INDIRECT_REF node built for the template. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165925 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-25 Steven G. Kargl <kargl@gcc.gnu.org>kargl2010-10-252-1/+8
| | | | | | | | PR fortran/46140 * fortran/scanner.c (include_line): Check return value of load_file. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165922 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-25 Jose Ruiz <ruiz@adacore.com>charlet2010-10-252-21/+23
| | | | | | | | | * gcc-interface/Makefile.in (LIBGNAT_TARGET_PAIRS for powerpc-linux): Reorganize target pairs so that it works on linux and ElinOS. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165921 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-25 Pascal Obry <obry@adacore.com>charlet2010-10-2520-332/+6942
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * adaint.c (__gnat_file_time_name_attr): Use GetFileAttributesEx to get the timestamp. A bit faster than opening/closing the file. (__gnat_stat_to_attr): Remove kludge for Windows. (__gnat_file_exists_attr): Likewise. The timestamp is now retreived using GetFileAttributesEx as faster. 2010-10-25 Javier Miranda <miranda@adacore.com> * sem_ch3.adb (Derive_Interface_Subprogram): New subprogram. (Derive_Subprograms): For abstract private types transfer to the full view entities of uncovered interface primitives. Required because if the interface primitives are left in the private part of the package they will be decorated as hidden when the analysis of the enclosing package completes (and hence the interface primitive is not visible for dispatching calls). 2010-10-25 Matthew Heaney <heaney@adacore.com> * Makefile.rtl, impunit.adb: Added bounded set and bounded map containers. * a-crbltr.ads: Added declaration of generic package for bounded tree types. * a-rbtgbo.ads, a-rbtgbo.adb, a-rbtgbk.ads, a-rbtgbk.adb, a-btgbso.ads, a-btgbso.adb, a-cborse.ads, a-cborse.adb, a-cborma.ads, a-cborma.adb: New. 2010-10-25 Thomas Quinot <quinot@adacore.com> * sem_util.adb: Minor reformatting. * usage.adb: Fix usage line for -gnatwh. 2010-10-25 Thomas Quinot <quinot@adacore.com> * sem_ch12.adb (Analyze_Package_Instantiation): For an instantiation in an RCI spec, omit package body if instantiation comes from source, even as a nested package. * exp_dist.adb (Add_Calling_Stubs_To_Declarations, *_Support.Add_Receiving_Stubs_To_Declarations): Handle the case of nested packages, package instantiations and subprogram instantiations. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165920 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-25 Robert Dewar <dewar@adacore.com>charlet2010-10-257-217/+274
| | | | | | | | | | | | | | | | | | | | | | | | | * exp_ch5.adb (Expand_Predicated_Loop): Remove code for loop through non-static predicate, since we agree not to allow this. (Expand_Predicated_Loop): Properlay handle false predicate (null list in Static_Predicate field. * sem_ch13.adb (Build_Static_Predicate): Extensive changes to clean up handling of more general predicate forms. 2010-10-25 Robert Dewar <dewar@adacore.com> * sem_ch4.adb, sem_util.adb: Minor reformatting. * sem_ch8.adb (Find_Selected_Component): Allow selection from instance of type in predicate or invariant expression. 2010-10-25 Pascal Obry <obry@adacore.com> * adaint.c (__gnat_stat_to_attr): Can set the timestamp on Windows now. (f2t): New routine. (__gnat_stat): Rewrite Win32 version. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165919 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-25 Robert Dewar <dewar@adacore.com>charlet2010-10-257-26/+77
| | | | | | | | | | | | | | | | | | * sem_warn.adb, einfo.ads, exp_ch4.adb: Minor comment fix * sem_case.adb: Comment clarification for loops through false predicates. * sem_util.adb: Minor reformatting (Check_Order_Dependence): Fix bad double blank in error message 2010-10-25 Ed Schonberg <schonberg@adacore.com> * sem_ch4.adb (Analyze_Membership_Op): in Ada_2012 a membership operation can have a single alternative that is a value of the type. Rewrite operation as an equality test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165918 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-25 Matthew Heaney <heaney@adacore.com>charlet2010-10-2514-385/+3765
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * Makefile.rtl, impunit.adb: Added a-cobove (bounded vector container) to lists. * a-contai.ads: Added declaration of Capacity_Error exception. * a-cobove.ads, a-cobove.adb: New files. 2010-10-25 Thomas Quinot <quinot@adacore.com> * uname.adb: Revert previous change, no longer needed after change in par-ch10.adb. 2010-10-25 Thomas Quinot <quinot@adacore.com> * scos.ads: Minor comment fix. 2010-10-25 Ed Schonberg <schonberg@adacore.com> * sem_ch5.adb (Analyze_Assignment_Statement): Check dangerous order dependence. * sem_ch6.adb (Analyze_Procedure_Call_Statement): Ditto. * sem_res.adb (Analyze_Actuals): Add actual to list of actuals for current construct, for subsequent order dependence checking. (Resolve): Check order dependence on expressions that are not subexpressions. * sem_util.adb (Check_Order_Dependence): Code cleanup, to correspond to latest version of AI05-144-2. * sem_warn.adb (Warn_On_Overlapping_Actuals): Code cleanup. 2010-10-25 Robert Dewar <dewar@adacore.com> * sem_ch13.adb (Build_Static_Predicate): Moved out of Build_Predicate_Function. (Build_Static_Predicate): Complet rewrite for more general predicates git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165917 138bc75d-0d04-0410-961f-82ee72b054a4
* Fix a typo in my last ChangeLog entry.jiez2010-10-251-1/+1
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165916 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-25 Paolo Carlini <paolo.carlini@oracle.com>paolo2010-10-256-17/+36
| | | | | | | | | | | | | | | | | | | | | | | * include/bits/forward_list.h (_Fwd_list_node_base::swap): Remove. (_Fwd_list_base<>::_Fwd_list_base(_Fwd_list_base&&), _Fwd_list_base<>::_Fwd_list_base(_Fwd_list_base&&, const _Alloc&)): Don't use swap. (forward_list<>::swap): Just use std::swap. * include/bits/forward_list.h (_Fwd_list_base<>::_Fwd_list_base(), _Fwd_list_base(const _Alloc&)): Don't zero again _M_next. * testsuite/23_containers/forward_list/requirements/dr438/ assign_neg.cc: Adjust dg-error line number. * testsuite/23_containers/forward_list/requirements/dr438/ insert_neg.cc: Likewise. * testsuite/23_containers/forward_list/requirements/dr438/ constructor_1_neg.cc: Likewise. * testsuite/23_containers/forward_list/requirements/dr438/ constructor_2_neg.cc: Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165915 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/decl.c (gnat_to_gnu_entity, case E_Function): Allowebotcazou2010-10-256-118/+338
| | | | | | | | | | | | | | | | | In Out/Out parameters for functions. * gcc-interface/trans.c (gnu_return_var_stack): New variable. (create_init_temporary): New static function. (Subprogram_Body_to_gnu): Handle In Out/Out parameters for functions. (call_to_gnu): Likewise. Use create_init_temporary in order to create temporaries for unaligned parameters and return value. If there is an unaligned In Out or Out parameter passed by reference, push a binding level if not already done. If a binding level has been pushed and the call is returning a value, create the call statement. (gnat_to_gnu) <N_Return_Statement>: Handle In Out/Out parameters for functions. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165914 138bc75d-0d04-0410-961f-82ee72b054a4
* * configure.ac: Use $cpu_type instead of $target to define the nop.ebotcazou2010-10-253-16/+17
| | | | | | | * configure: Regenerate. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165913 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-25 Paolo Carlini <paolo.carlini@oracle.com>paolo2010-10-252-4/+5
| | | | | | | | * include/bits/hashtable.h (_Hashtable<>:_M_get_Value_allocator): Remove, unused. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165912 138bc75d-0d04-0410-961f-82ee72b054a4
* * combine.c (try_combine): If insns need to be kept around,jiez2010-10-254-0/+93
| | | | | | | | | | check that they can be copied in the merged instruction. testsuite/ g++.dg/opt/combine.c: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165911 138bc75d-0d04-0410-961f-82ee72b054a4
* Daily bump.gccadmin2010-10-251-1/+1
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165910 138bc75d-0d04-0410-961f-82ee72b054a4
* * reg-stack.c (convert_regs_1): Return boolean value, true if the CFGebotcazou2010-10-246-8/+94
| | | | | | | | | | has been modified. (convert_regs_2): Likewise. Adjust calls to convert_regs_1. (convert_regs): Adjust calls to convert_regs_2. Clean up the CFG if it has been modified. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165905 138bc75d-0d04-0410-961f-82ee72b054a4
* * config/sparc/sparc.c (sparc_type_code) <NULLPTR_TYPE>: New case.ebotcazou2010-10-242-1/+6
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165904 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-24 Nicola Pero <nicola.pero@meta-innovation.com>nicola2010-10-245-0/+330
| | | | | | | | | | | * Makefile.in (OBJC_SOURCE_FILES): Added accessors.m. * accessors.m: New. * init.c: Include objc-private/accessors.h. (__objc_exec_class): Call __objc_accessors_init. * objc-private/accessors.h: New. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165903 138bc75d-0d04-0410-961f-82ee72b054a4
* * config/pdp11/pdp11.md: Change length attribute to be in bytes.pkoning2010-10-243-93/+111
| | | | | | * config/pdp11/pdp11.c (output_jump): Ditto. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165902 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-24 Nicola Pero <nicola.pero@meta-innovation.com>nicola2010-10-243-0/+14
| | | | | | | | | PR objc/45735 * obj-c.dg/pr45735.mm: New. * obj-c++.dg/pr45735.mm: New. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165901 138bc75d-0d04-0410-961f-82ee72b054a4
* * config/i386/i386.c (ix86_va_start): Remove extraneous blankian2010-10-242-1/+5
| | | | | | | line. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165900 138bc75d-0d04-0410-961f-82ee72b054a4
* 2010-10-24 François Dumont <francois.cppdevs@free.fr>paolo2010-10-242-3/+9
| | | | | | | | | | | * src/debug.cc: Fix parameter indexes in __msg_valid_range2 message. Replace 'before begin' decription in 'before-begin' for consistency with 'paste-the-end'. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165899 138bc75d-0d04-0410-961f-82ee72b054a4
* In gcc/testsuite/:nicola2010-10-245-0/+36
| | | | | | | | | | | | | | | | | 2010-10-24 Nicola Pero <nicola.pero@meta-innovation.com> PR objc/24393 * objc.dg/pr24393.m: New. * obj-c++.dg/pr24393.mm: New. 2010-10-24 Nicola Pero <nicola.pero@meta-innovation.com> PR objc/28049 * objc.dg/pr28049.m: New. * obj-c++.dg/pr28049.mm: New. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165898 138bc75d-0d04-0410-961f-82ee72b054a4
* * cfglayout.c (fixup_reorder_chain): When ensuring that there is atebotcazou2010-10-242-4/+32
| | | | | | | | | least one insn with a locus corresponding to an edge's goto_locus, disregard non-fallthru edges to the exit block and merge the blocks created for the same goto_locus. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165897 138bc75d-0d04-0410-961f-82ee72b054a4
View Lorry Controller Status