- 03 Jan, 2013 22 commits
-
-
2013-01-03 Pascal Obry <obry@adacore.com> * prj-attr.adb, projects.texi, snames.ads-tmpl: Add package remote and corresponding attibutes. 2013-01-03 Thomas Quinot <quinot@adacore.com> * exp_aggr.adb: Minor comment improvement. From-SVN: r194852
Arnaud Charlet committed -
2013-01-03 Hristian Kirtchev <kirtchev@adacore.com> * aspects.adb, aspects.ads: Add Aspect_Abstract_State to all the relevant tables. * einfo.ads, einfo.adb: Add Integrity_Level and Refined_State to the description of fields (Abstract_States): New routine. (Integrity_Level): New routine. (Has_Property): New routine. (Is_Input_State): New routine. (Is_Null_State): New routine. (Is_Output_State): New routine. (Is_Volatile_State): New routine. (Refined_State): New routine. (Set_Abstract_States): New routine. (Set_Integrity_Level): New routine. (Set_Refined_State): New routine. (Write_Field8_Name): Add proper output for E_Abstract_State. (Write_Field9_Name): Add proper output for E_Abstract_State. (Write_Field25_Name): Add proper output for E_Package. * lib-xref.ads: Add new letter for an abstract state. * par-prag.adb: Add pragma Abstract_State to the list of pragma that do not need special processing by the parser. * sem_ch13.adb (Analyze_Aspect_Specifications): Convert aspect Abstract_State into a pragma without any form of legality checks. The work is done by Analyze_Pragma. (Check_Aspect_At_Freeze_Point): Aspect Abstract_State does not require delayed analysis. * sem_prag.adb: Add a value for pragma Abstract_State in table Sig_Flags. (Analyze_Pragma): Add legality checks for pragma Abstract_State. Analysis of individual states introduces a state abstraction entity into the visibility chain. * snames.ads-tmpl: Add new names for abstract state and integrity. Add new pragma id for abstract state. 2013-01-03 Bob Duff <duff@adacore.com> * table.adb (Reallocate): Calculate new Length in Long_Integer to avoid overflow. 2013-01-03 Thomas Quinot <quinot@adacore.com> * sem_ch3.adb, sinfo.ads, freeze.adb, sem_ch4.adb, exp_aggr.adb (Sem_Ch3.Analyze_Object_Declaration): Set Ekind early so that it is set properly when expanding the initialization expression. (Freeze.Check_Address_Clause): Transfer initialization expression to an assignment in the freeze actions, so that the object is initialized only after being elaborated by GIGI. (Sinfo (comments), Sem_Ch4.Analyze_Expression_With_Actions): Allow a Null_Statement as the expression in an Expression_With_Actions. (Exp_Aggr.Collect_Initialization_Statements): New subprogram shared by expansion of record and array aggregates, used to capture statements for an aggregate used to initalize an object into an Expression_With_Actions (which acts as a container for a list of actions). (Exp_Aggr.Convert_Aggr_In_Obj_Decl): Use the above to capture initialization statements, instead of the previously existing loop which left freeze nodes out of the capturing construct (causing out of order elaboration crashes in GIGI). (Exp_Aggr.Expand_Array_Aggregate): Use the above to capture initialization statements (this was previously not done for arrays). Also do not unconditionally prevent in place expansion for an object with address clause. From-SVN: r194851
Arnaud Charlet committed -
2013-01-03 Richard Biener <rguenther@suse.de> PR tree-optimization/55857 * tree-vect-stmts.c (vectorizable_load): Do not setup re-alignment for invariant loads. * gcc.dg/vect/pr55857-1.c: New testcase. * gcc.dg/vect/pr55857-2.c: Likewise. From-SVN: r194850
Richard Biener committed -
2013-01-03 Thomas Quinot <quinot@adacore.com> * gnat_rm.texi, freeze.adb (Check_Component_Storage_Order): Check that a record extension has the same scalar storage order as the parent type. 2013-01-03 Thomas Quinot <quinot@adacore.com> * exp_ch4.adb: Add comment. 2013-01-03 Vincent Celier <celier@adacore.com> * prj.adb: Minor spelling error correction in comment. 2013-01-03 Vincent Celier <celier@adacore.com> * gnatcmd.adb (GNATCmd): If a single main has been specified as an absolute path, use its simple file name to find specific switches, instead of the absolute path. 2013-01-03 Javier Miranda <miranda@adacore.com> * sem_warn.adb (Warn_On_Overlapping_Actuals): For overlapping parameters that are record types or array types generate warnings only compiling under -gnatw.i * opt.ads (Extensions_Allowed): Restore previous documentation. 2013-01-03 Vincent Celier <celier@adacore.com> * prj-conf.adb (Do_Autoconf): If Target is specified in the main project, but not on the command line, use the Target in the project to invoke gprconfig in auto-configuration. * makeutl.ads (Default_Config_Name): New constant String. 2013-01-03 Arnaud Charlet <charlet@adacore.com> * usage.adb: Minor: fix typo in usage. 2013-01-03 Thomas Quinot <quinot@adacore.com> * sem_ch13.adb (Analyze_Record_Representation_Clause): Reject an illegal component clause for an inherited component in a record extension. From-SVN: r194849
Arnaud Charlet committed -
2013-01-03 Emmanuel Briot <briot@adacore.com> * xref_lib.adb (Parse_Identifier_Info): Fix handling of arrays, which have information in the ALI file for both the index and the component types. 2013-01-03 Emmanuel Briot <briot@adacore.com> * projects.texi: Fix error in documenting the project path computed for an aggregate project. 2013-01-03 Javier Miranda <miranda@adacore.com> * sem_warn.adb (Warn_On_Overlapping_Actuals): Adding documentation plus restricting the functionality of this routine to cover the cases described in the Ada 2012 reference manual. The previous extended support is now available under -gnatX. * s-tassta.adb (Finalize_Global_Tasks): Addition of a dummy variable to call Timed_Sleep. Required to avoid warning on overlapping out-mode actuals. * opt.ads (Extensions_Allowed): Update documentation. 2013-01-03 Tristan Gingold <gingold@adacore.com> * s-arit64.ads: Use Multiply_With_Ovflo_Check as __gnat_mulv64. * arit64.c: Removed * gcc-interface/Makefile.in: Remove reference to arit64.c. 2013-01-03 Thomas Quinot <quinot@adacore.com> * checks.adb, checks.ads (Apply_Address_Clause_Check): The check must be generated at the start of the freeze actions for the entity, not before (or after) the freeze node. 2013-01-03 Thomas Quinot <quinot@adacore.com> * exp_aggr.adb (Exp_Aggr.Convert_Aggregate_In_Obj_Decl): Reorganize code to capture initialization statements in a block, so that freeze nodes are excluded from the captured block. From-SVN: r194848
Arnaud Charlet committed -
2013-01-03 Thomas Quinot <quinot@adacore.com> * exp_ch11.adb: Minor reformatting. 2013-01-03 Thomas Quinot <quinot@adacore.com> * exp_util.adb, einfo.adb, einfo.ads, freeze.adb, exp_aggr.adb, sem_ch13.adb (Einfo.Initialization_Statements, Einfo.Set_Initialization_Statements): New entity attribute for objects. (Exp_Util.Find_Init_Call): Handle case of an object initialized by an aggregate converted to a block of assignment statements. (Freeze.Check_Address_Clause): Do not clear Has_Delayed_Freeze even for objects that require a constant address, because the address expression might involve entities that have yet to be elaborated at the point of the object declaration. (Exp_Aggr.Convert_Aggregate_In_Obj_Decl): For a type that does not require a transient scope, capture the assignment statements in a block so that they can be moved down after elaboration of an address clause if needed. (Sem_Ch13.Check_Constant_Address_Clause.Check_Expr_Constants, case N_Unchecked_Conversion): Do not replace operand subtype with its base type as this violates a GIGI invariant if the operand is an identifier (in which case the etype of the identifier is expected to be equal to that of the denoted entity). 2013-01-03 Javier Miranda <miranda@adacore.com> * sem_util.ads, sem_util.adb (Denotes_Same_Object): Extend the functionality of this routine to cover cases described in the Ada 2012 reference manual. 2013-01-03 Ed Schonberg <schonberg@adacore.com> * sem_elab.adb (Set_Elaboration_Constraint): Handle properly a 'Access attribute reference when the subprogram is called Initialize. 2013-01-03 Arnaud Charlet <charlet@adacore.com> * s-tpobop.adb (PO_Do_Or_Queue): Refine assertion, since a select statement may be called from a controlled (e.g. Initialize) operation and have abort always deferred. From-SVN: r194847
Arnaud Charlet committed -
2013-01-03 Robert Dewar <dewar@adacore.com> * sem_ch8.adb, einfo.ads, einfo.adb: Minor code reorganization. 2013-01-03 Javier Miranda <miranda@adacore.com> * exp_ch3.adb (Make_Controlling_Function_Wrappers): Exclude internal entities associated with interfaces and add minimum decoration to the defining entity of the generated wrapper to allow overriding interface primitives. * sem_disp.ads (Override_Dispatching_Operation): Addition of a new formal (Is_Wrapper). * sem_disp.adb (Override_Dispatching_Operation): When overriding interface primitives the new formal helps identifying that the new operation is not fully decorated. From-SVN: r194846
Arnaud Charlet committed -
2013-01-03 Thomas Quinot <quinot@adacore.com> * sem_ch7.adb, sem_ch10.adb, einfo.adb, einfo.ads, sem_ch12.adb, rtsfind.adb, sem_elab.adb, sem_ch4.adb, sem_ch8.adb (Einfo.Is_Visible_Child_Unit, Einfo.Set_Is_Visible_Child_Unit): Rename to Is_Visible_Lib_Unit, Set_Is_Visible_Lib_Unit, and update spec accordingly (now also applies to root library units). (Sem_Ch10.Analyze_Subunit.Analyze_Subunit_Context): Toggle above flag on root library units, not only child units. (Sem_Ch10.Install[_Limited]_Withed_Unit): Same. (Sem_Ch10.Remove_Unit_From_Visibility): Reset Is_Visible_Lib_Unit even for root library units. (Sem_Ch8.Find_Expanded_Name): A selected component form whose prefix is Standard is an expanded name for a root library unit. 2013-01-03 Thomas Quinot <quinot@adacore.com> * exp_ch3.adb: Minor reformatting. 2013-01-03 Olivier Hainque <hainque@adacore.com> * tracebak.c: Reinstate changes to support ppc-lynx178. 2013-01-03 Ed Schonberg <schonberg@adacore.com> * atree.ads: Minor reformatting and documentation enhancement. From-SVN: r194845
Arnaud Charlet committed -
From-SVN: r194844
Arnaud Charlet committed -
exp_ch3.adb (Expand_N_Object_Declaration): If the object has a class-wide type and a renaming declaration is created for it... 2013-01-03 Ed Schonberg <schonberg@adacore.com> * exp_ch3.adb (Expand_N_Object_Declaration): If the object has a class-wide type and a renaming declaration is created for it, preserve entity chain, which already contains generated internal types. This ensures that freezing actions are properly generated for all objects declared subsequently in the same scope, and that debugging information is generated for them. * sem_util.adb, sem_util.ads (we): New debugging routine, to display entity chain of a given scope. From-SVN: r194843
Ed Schonberg committed -
2013-01-03 Robert Dewar <dewar@adacore.com> * exp_intr.adb: Minor reformatting. 2013-01-03 Robert Dewar <dewar@adacore.com> * einfo.adb: Minor reformatting. 2013-01-03 Pascal Obry <obry@adacore.com> * adaint.c, adaint.h (__gnat_get_module_name): Removed. (__gnat_is_module_name_supported): Removed. * s-win32.ads: Add some needed definitions. * g-trasym.ads: Update comments. 2013-01-03 Robert Dewar <dewar@adacore.com> * layout.adb (Set_Composite_Alignment): Fix problems of interactions with Optimize_Alignment set to Space. 2013-01-03 Thomas Quinot <quinot@adacore.com> * exp_disp.adb: Minor reformatting. From-SVN: r194842
Arnaud Charlet committed -
From-SVN: r194840
Jakub Jelinek committed -
2013-01-03 Richard Biener <rguenther@suse.de> PR lto/55848 * lto-symtab.c (lto_symtab_merge_decls_1): As last resort, always prefer a built-in decl. From-SVN: r194839
Richard Biener committed -
* gcc.c (process_command): Update copyright notice dates. * gcov.c (print_version): Likewise. * gcov-dump.c (print_version): Likewise. * gfortranspec.c (lang_specific_driver): Update copyright notice dates. * jcf-dump.c (version): Update copyright notice dates. * mf-runtime.c (__mf_usage): Update copyright notice dates. * gnu/java/rmi/registry/RegistryImpl.java (version): Update copyright notice dates. * tools/gnu/classpath/tools/orbd/Main.java (run): Likewise. * gnu/gcj/convert/Convert.java (version): Update copyright notice dates. * gnu/gcj/tools/gcj_dbtool/Main.java (main): Likewise. From-SVN: r194838
Jakub Jelinek committed -
PR rtl-optimization/55838 * loop-iv.c (iv_number_of_iterations): Call lowpart_subreg on iv0.step, iv1.step and step. * gcc.dg/pr55838.c: New test. From-SVN: r194837
Jakub Jelinek committed -
PR tree-optimization/55832 * fold-const.c (fold_binary_loc): For ABS_EXPR<x> >= 0 and ABS_EXPR<x> < 0 folding use constant_boolean_node instead of integer_{one,zero}_node. * gcc.c-torture/compile/pr55832.c: New test. Co-Authored-By: Marc Glisse <marc.glisse@inria.fr> From-SVN: r194836
Jakub Jelinek committed -
PR debug/54402 * params.def (PARAM_MAX_VARTRACK_REVERSE_OP_SIZE): New param. * var-tracking.c (reverse_op): Don't add reverse ops to VALUEs that have already PARAM_VALUE (PARAM_MAX_VARTRACK_REVERSE_OP_SIZE) or longer locs list. From-SVN: r194834
Jakub Jelinek committed -
From-SVN: r194833
Gerald Pfeifer committed -
* gcc.dg/pr55430.c: Define MAP_FAILED if not defined. From-SVN: r194832
John David Anglin committed -
2013-01-02 Teresa Johnson <tejohnson@google.com> * dumpfile.c (dump_loc): Print filename with location. * tree-ssa-loop-ivcanon.c (try_unroll_loop_completely): Use new location_t parameter to emit complete unroll message with new dump framework. (canonicalize_loop_induction_variables): Compute loops location and pass to try_unroll_loop_completely. * loop-unroll.c (report_unroll_peel): New function. (peel_loops_completely): Use new dump format with location for main dumpfile message, and invoke report_unroll_peel on success. (decide_unrolling_and_peeling): Ditto. (decide_peel_once_rolling): Remove old dumpfile message subsumed by report_unroll_peel. (decide_peel_completely): Ditto. (decide_unroll_constant_iterations): Ditto. (decide_unroll_runtime_iterations): Ditto. (decide_peel_simple): Ditto. (decide_unroll_stupid): Ditto. * cfgloop.c (get_loop_location): New function. * cfgloop.h (get_loop_location): Declare. testsuite/ * gcc.dg/tree-ssa/loop-1.c: Update expected dump message. * gcc.dg/tree-ssa/loop-23.c: Ditto. * gcc.dg/tree-ssa/cunroll-1.c: Ditto. * gcc.dg/tree-ssa/cunroll-2.c: Ditto. * gcc.dg/tree-ssa/cunroll-3.c: Ditto. * gcc.dg/tree-ssa/cunroll-4.c: Ditto. * gcc.dg/tree-ssa/cunroll-5.c: Ditto. * gcc.dg/unroll_1.c: Ditto. * gcc.dg/unroll_2.c: Ditto. * gcc.dg/unroll_3.c: Ditto. * gcc.dg/unroll_4.c: Ditto. From-SVN: r194829
Teresa Johnson committed -
2013-01-02 Sriraman Tallam <tmsriram@google.com> * config/i386/i386.c (fold_builtin_cpu): Remove unnecessary checks for NULL. From-SVN: r194828
Sriraman Tallam committed -
From-SVN: r194827
GCC Administrator committed
-
- 02 Jan, 2013 18 commits
-
-
PR middle-end/55198 * expr.c (expand_expr_real_1): Don't use bitfield extraction for non BLKmode objects when EXPAND_MEMORY is specified. From-SVN: r194822
John David Anglin committed -
re PR c++/54325 (C++11 uniform initialization syntax for argument-less abstract base class constructor fails) PR c++/54325 * call.c (build_new_method_call_1): Don't use build_value_init for user-provided default constructors. From-SVN: r194820
Jason Merrill committed -
2013-01-02 Jerry DeLisle <jvdelisle@gcc.gnu.org> PR fortran/55818 * gfortran.dg/eof_4.f90: New test. From-SVN: r194819
Jerry DeLisle committed -
2013-01-02 Sriraman Tallam <tmsriram@google.com> * config/i386/i386.c (ix86_get_function_versions_dispatcher): Fix bug in loop predicate. (fold_builtin_cpu): Do not share cpu model decls across statements. From-SVN: r194818
Sriraman Tallam committed -
c-compat.exp (compat-use-alt-compiler): Remove -fno-diagnostics-show-caret from TEST_ALWAYS_FLAGS if needed. * lib/c-compat.exp (compat-use-alt-compiler): Remove -fno-diagnostics-show-caret from TEST_ALWAYS_FLAGS if needed. (compat-use-tst-compiler): Restore TEST_ALWAYS_FLAGS. (compat_setup_dfp): Initialize compat_alt_caret and compat_save_TEST_ALWAYS_FLAGS. From-SVN: r194817
Jakub Jelinek committed -
From-SVN: r194816
Jason Merrill committed -
gcc/testsuite/ * gcc.dg/torture/tls/tls-reload-1.c: New test. From-SVN: r194815
Richard Sandiford committed -
PR c++/55804 PR c++/55032 PR c++/55245 * tree.c (build_array_type_1): Revert earlier change. * cp/tree.c (build_cplus_array_type): Copy layout information to main variant if necessary. From-SVN: r194811
Jason Merrill committed -
2013-01-02 Jerry DeLisle <jvdelisle@gcc.gnu.org> PR libfortran/55818 * io/list_read.c (read_real): Do not call hit_eof when EOF can be treated as a value separator. (parse_real): Likewise. (read_logical): Likewise. (read_character): Likewise. (read_complex): Likewise. From-SVN: r194809
Jerry DeLisle committed -
gcc/ 2013-01-02 Yufeng Zhang <yufeng.zhang@arm.com> * config/aarch64/aarch64-cores.def: Add entries for "cortex-a53" and "cortex-a57". * config/aarch64/aarch64-tune.md: Re-generate. From-SVN: r194807
Yufeng Zhang committed -
tree-vect-stmts.c (vectorizable_load): When vectorizing an invariant load do not generate a vector load from the... 2013-01-02 Richard Biener <rguenther@suse.de> * tree-vect-stmts.c (vectorizable_load): When vectorizing an invariant load do not generate a vector load from the scalar location. From-SVN: r194806
Richard Biener committed -
From-SVN: r194805
Arnaud Charlet committed -
re PR bootstrap/55784 (declaration of C function 'const char* strsignal(int)' conflicts with /usr/include/string.h:112: error: previous declaration) 2013-01-02 Richard Biener <rguenther@suse.de> PR bootstrap/55784 * configure.ac: Add $GMPINC to CFLAGS/CXXFLAGS. * configure: Regenerate. ada/ * gcc-interface/Makefile.in: Add $(GMPINC) to includes. From-SVN: r194804
Richard Biener committed -
2013-01-02 Thomas Quinot <quinot@adacore.com> * exp_intr.adb (Expand_Dispatching_Constructor_Call): Remove side effects from Tag_Arg early, doing it too late may cause a crash due to inconsistent Parent link. * sem_ch8.adb, einfo.ads: Minor reformatting. From-SVN: r194803
Thomas Quinot committed -
2013-01-02 Robert Dewar <dewar@adacore.com> * einfo.ads, einfo.adb (Has_Independent_Components): New flag. * freeze.adb (Size_Known): We do not know the size of a packed record if it has atomic components, by reference type components, or independent components. * sem_prag.adb (Analyze_Pragma, case Independent_Components): Set new flag Has_Independent_Components. 2013-01-02 Yannick Moy <moy@adacore.com> * opt.ads (Warn_On_Suspicious_Contract): Set to True by default. * usage.adb (Usage): Update usage message. 2013-01-02 Pascal Obry <obry@adacore.com> * adaint.c (__gnat_is_module_name_supported): New constant. 2013-01-02 Ed Schonberg <schonberg@adacore.com> * sem_attr.adb (Check_Array_Type): Reject an attribute reference on an array whose component type does not have a completion. From-SVN: r194802
Arnaud Charlet committed -
* builtins.c (expand_builtin_mathfn, expand_builtin_mathfn_2) (expand_builtin_mathfn_ternary, expand_builtin_mathfn_3) (expand_builtin_int_roundingfn_2): Keep the original target around for the fallback case. From-SVN: r194801
Richard Sandiford committed -
gcc/ * tree-vrp.c (range_fits_type_p): Require the MSB of the double_int to be clear for sign changes. gcc/testsuite/ * gcc.dg/torture/fp-int-convert-2.c: New test. From-SVN: r194800
Richard Sandiford committed -
2013-01-02 Geert Bosch <bosch@adacore.com> * a-nllcef.ads, a-nlcefu.ads, a-nscefu.ads: Make Pure. 2013-01-02 Robert Dewar <dewar@adacore.com> * par_sco.adb: Minor reformatting. 2013-01-02 Javier Miranda <miranda@adacore.com> * sem_aggr.adb (Resolve_Array_Aggregate): Remove dead code. 2013-01-02 Olivier Hainque <hainque@adacore.com> * a-exctra.ads (Get_PC): New function. 2013-01-02 Thomas Quinot <quinot@adacore.com> * sem_ch8.adb: Minor reformatting. 2013-01-02 Thomas Quinot <quinot@adacore.com> * sem_ch7.adb: Minor reformatting. 2013-01-02 Thomas Quinot <quinot@adacore.com> * freeze.adb (Check_Component_Storage_Order): Do not crash on _Tag component. From-SVN: r194799
Arnaud Charlet committed
-