aboutsummaryrefslogtreecommitdiff
path: root/gcc
AgeCommit message (Collapse)AuthorFilesLines
2010-06-14re PR debug/43656 ("-fcompare-debug failure" with "-O2 -fschedule-insns ↵Alexandre Oliva2-2/+15
-fsched-pressure -funroll-loops -fgraphite-identity") PR debug/43656 * haifa-sched.c (setup_insn_reg_pressure_info, update_register_pressure): Reject debug insns. (ready_sort): Don't setup reg pressure for debug insns. (schedule_insn): Don't update reg pressure for debug insns. From-SVN: r160761
2010-06-14lto-streamer.c (cached_bp): Remove.Richard Guenther9-406/+328
2010-06-14 Richard Guenther <rguenther@suse.de> * lto-streamer.c (cached_bp): Remove. (bitpack_delete): Likewise. (bitpack_create): Likewise. (bp_get_next_word): Likewise. (bp_pack_value, bp_unpack_value): Move ... * lto-streamer.h (bp_pack_value, bp_unpack_value): ... here. Re-implement. (struct bitpack_d): Likewise. (bitpack_create, lto_output_bitpack, lto_input_bitpack): New inline functions. * lto-streamer-out.c (lto_output_bitpack): Remove. (pack_ts_base_value_fields): Adjust. Avoid conditional bitpacking. (pack_value_fields): Adjust. (lto_write_tree): Likewise. (output_gimple_stmt): Likewise. (output_function): Likewise. * lto-streamer-in.c (input_gimple_stmt): Adjust. (input_function): Likewise. (unpack_ts_base_value_fields): Adjust. Avoid conditional bitpacking. (lto_input_bitpack): Remove. (lto_materialize_tree): Adjust. * Makefile.in (ipa-prop.o): Add $(LTO_STREAMER_H) dependency. * lto-cgraph.c (lto_output_edge): Adjust. (lto_output_node): Likewise. (lto_output_varpool_node): Likewise. (lto_output_ref): Likewise. (input_node): Likewise. (input_varpool_node): Likewise. (input_ref): Likewise. (input_edge): Likewise. (output_node_opt_summary): Likewise. (input_node_opt_summary): Likewise. * ipa-pure-const.c (pure_const_write_summary): Likewise. (pure_const_read_summary): Likewise. * ipa-prop.c (ipa_write_indirect_edge_info): Likewise. (ipa_read_indirect_edge_info): Likewise. (ipa_write_node_info): Likewise. (ipa_read_node_info): Likewise. From-SVN: r160760
2010-06-14Replace 0x1 with 0x0 in AVX vec_extract_lo_* patterns.H.J. Lu5-3/+31
gcc/ 2010-06-14 H.J. Lu <hongjiu.lu@intel.com> PR target/44534 * config/i386/sse.md (vec_extract_lo_<mode>): Replace 0x1 with 0x0. (vec_extract_lo_v16hi): Likewise. (vec_extract_lo_v32qi): Likewise. gcc/testsuite/ 2010-06-14 H.J. Lu <hongjiu.lu@intel.com> PR target/44534 * gcc.target/i386/avx-vextractf128-256-3.c: New. * gcc.target/i386/avx-vextractf128-256-4.c: Likewise. From-SVN: r160756
2010-06-14re PR bootstrap/44426 (gcc 4.5.0 requires c9x compiler to build)Jakub Jelinek3-15/+50
PR bootstrap/44426 * tree.h (build_call_expr): Don't define as vararg macro, instead add a prototype. * builtins.c (build_call_nofold): Remove. (expand_builtin_int_roundingfn, expand_builtin_pow, expand_builtin_mempcpy_args, expand_builtin_stpcpy, expand_builtin_memset_args, expand_builtin_strcmp, expand_builtin_strncmp, expand_builtin_memory_chk): Use build_call_nofold_loc instead of build_call_nofold. (build_call_expr): New function. From-SVN: r160754
2010-06-14re PR tree-optimization/44508 (libgomp.fortran/vla1.f90 ICE on s390)Jakub Jelinek8-12/+34
PR tree-optimization/44508 * tree-ssa-propagate.h (substitute_and_fold): Add DO_DCE argument. * tree-ssa-propagate.c (substitute_and_fold): If !DO_DCE, don't eliminate trivially dead stmts. * tree-vrp.c (vrp_finalize): Pass false as last argument to substitute_and_fold. * tree-ssa-copy.c (fini_copy_prop): Pass true as last argument to substitute_and_fold. * tree-ssa-ccp.c (ccp_finalize): Likewise. * gcc.dg/tree-ssa/pr21086.c: Adjust. From-SVN: r160749
2010-06-14sem_ch3.adb (Build_Derived_Record_Type): if derived type is an anonymous ↵Ed Schonberg3-4/+41
base generated when... 2010-06-14 Ed Schonberg <schonberg@adacore.com> * sem_ch3.adb (Build_Derived_Record_Type): if derived type is an anonymous base generated when the parent is a constrained discriminated type, propagate interface list to first subtype because it may appear in a current instance within the extension part of the derived type declaration, and its own subtype declaration has not been elaborated yet. * exp_disp.adb (Build_Interface_Thunk): Use base type of formal to determine whether it has the controlling type. From-SVN: r160748
2010-06-14exp_ch11.adb (Expand_N_Raise_Statement): Make sure that the explicit raise ↵Jerome Lambourg2-9/+15
of CE... 2010-06-14 Jerome Lambourg <lambourg@adacore.com> * exp_ch11.adb (Expand_N_Raise_Statement): Make sure that the explicit raise of CE, SE and PE have the reason correctly set and are properly expanded before stopping the expansions of .NET/JVM exceptions. From-SVN: r160747
2010-06-14Revert change introduced by mistake in previous change.Arnaud Charlet1-15/+0
From-SVN: r160745
2010-06-14[multiple changes]Arnaud Charlet18-92/+507
2010-06-14 Robert Dewar <dewar@adacore.com> * opt.ads (Check_Policy_List): Add some clarifying comments * sem_prag.adb (Analyze_Pragma, case Check): Set Pragma_Enabled flag on rewritten Assert pragma. 2010-06-14 Gary Dismukes <dismukes@adacore.com> * sem_ch6.adb (Check_Overriding_Indicator): Add a special check for controlled operations, so that they will be treated as overriding even if the overridden subprogram is marked Is_Hidden, as long as the overridden subprogram's parent subprogram is not hidden. 2010-06-14 Robert Dewar <dewar@adacore.com> * debug.adb: Entry for gnatw.d no longer specific for while loops * einfo.adb (First_Exit_Statement): New attribute for E_Loop * einfo.ads (First_Exit_Statement): New attribute for E_Loop * sem_ch5.adb (Analyze_Loop_Statement): Check_Infinite_Loop_Warning has new calling sequence to include test for EXIT WHEN. (Analyze_Exit_Statement): Chain EXIT statement into exit statement chain * sem_warn.ads, sem_warn.adb (Check_Infinite_Loop_Warning): Now handles EXIT WHEN case. * sinfo.adb (Next_Exit_Statement): New attribute of N_Exit_Statement node. * sinfo.ads (N_Pragma): Correct comment on Sloc field (points to PRAGMA, not to pragma identifier). (Next_Exit_Statement): New attribute of N_Exit_Statement node 2010-06-14 Robert Dewar <dewar@adacore.com> * sem_res.adb (Resolve_Short_Circuit): Fix sloc of "assertion/check would fail" msg. 2010-06-14 Robert Dewar <dewar@adacore.com> * par-ch2.adb (Scan_Pragma_Argument_Association): Clarify message for missing pragma argument identifier. 2010-06-14 Robert Dewar <dewar@adacore.com> * atree.ads, atree.adb (Ekind_In): New functions 2010-06-14 Robert Dewar <dewar@adacore.com> * exp_ch4.adb (Expand_N_Op_Expon): Optimize 2**N in stand alone context 2010-06-14 Robert Dewar <dewar@adacore.com> * usage.adb (Usage): Redo documentation of -gnatwa. From-SVN: r160743
2010-06-14sem_ch8.adb (Find_Type): The attribute 'class cannot be applied to an ↵Ed Schonberg2-9/+25
untagged incomplete type that is a... 2010-06-14 Ed Schonberg <schonberg@adacore.com> * sem_ch8.adb (Find_Type): The attribute 'class cannot be applied to an untagged incomplete type that is a limited view. From-SVN: r160741
2010-06-14[multiple changes]Arnaud Charlet11-248/+250
2010-06-14 Sergey Rybin <rybin@adacore.com> * gnat_ugn.texi: Add description of '-cargs gcc_switches' to gnatstub and gnatppa. 2010-06-14 Thomas Quinot <quinot@adacore.com> * exp_ch4.adb (Expand_Short_Circuit_Operator): New subprogram, factoring duplicated code between... (Expand_N_And_Than, Expand_N_Or_Else): Remove duplicated code. * a-envvar.ads: Minor reformatting 2010-06-14 Arnaud Charlet <charlet@adacore.com> * ali.adb, ali.ads, lib-xref.ads: Document new '+' letter for C/C++ static entities. (Scan_ALI): Take into account new Visibility field. (Visibility_Kind): New type. (Xref_Entity_Record): Replace Lib field by Visibility. * gcc-interface/Make-lang.in: Update dependencies. 2010-06-14 Pascal Obry <obry@adacore.com> * raise.h: Remove unused defintions. 2010-06-14 Bob Duff <duff@adacore.com> * par-ch10.adb (P_Subunit): If the next token after "separate(X)" is Tok_Not or Tok_Overriding, call P_Subprogram. We had previously given the incorrect error "proper body expected". * par-ch6.adb (P_Subprogram): Suppress "overriding indicator not allowed here" error in case of subunits, which was triggered by the above change to P_Subunit. From-SVN: r160740
2010-06-14gnat_ugn.texi, [...]: Update gnatelim doc.Sergey Rybin3-138/+176
2010-06-14 Sergey Rybin <rybin@adacore.com> * gnat_ugn.texi, vms_data.ads: Update gnatelim doc. From-SVN: r160739
2010-06-14lib-util.adb: Minor code reorganization.Thomas Quinot2-26/+25
2010-06-14 Thomas Quinot <quinot@adacore.com> * lib-util.adb: Minor code reorganization. From-SVN: r160738
2010-06-14ali.adb (Scan_ALI): Implement reading and storing of N linesRobert Dewar11-85/+327
2010-06-14 Robert Dewar <dewar@adacore.com> * ali.adb (Scan_ALI): Implement reading and storing of N lines (Known_ALI_Lines): Add entry for 'N' (notes) * ali.ads (Notes): New table to store Notes information * alloc.ads: Add entries for Notes table * lib-util.adb (Write_Info_Int): New procedure (Write_Info_Slit): New procedure (Write_Info_Uint): New procedure * lib-util.ads (Write_Info_Int): New procedure (Write_Info_Slit): New procedure (Write_Info_Uint): New procedure * lib-writ.adb (Write_Unit_Information): Output N (notes) lines * lib-writ.ads: Update documentation for N (Notes) lines * lib.adb (Store_Note): New procedure * lib.ads (Notes): New table (Store_Note): New procedure * sem_prag.adb: Call Store_Note for affected pragmas From-SVN: r160736
2010-06-14socket.c: Fix wrong condition in #ifdefThomas Quinot4-32/+50
2010-06-14 Thomas Quinot <quinot@adacore.com> * socket.c: Fix wrong condition in #ifdef * g-socket.adb, g-sothco.ads: Functions imported from socket.c that take or return char* values can't use Interfaces.C.Strings.chars_ptr, because on VMS this type is a 32-bit pointer which is not compatible with the default for C pointers for code compiled with gcc on that platform. From-SVN: r160735
2010-06-14[multiple changes]Arnaud Charlet7-5/+53
2010-06-14 Ed Schonberg <schonberg@adacore.com> * sem_util (Is_VMS_Operator): New predicate to determine whether an operator is an intrinsic operator declared in the DEC system extension. * sem_res.adb (Resolve_Logical_Op): operation is legal on signed types if the operator is a VMS intrinsic. * sem_eval.adb (Eval_Logical_Op): Operation is legal and be constant-folded if the operands are signed and the operator is a VMS intrinsic. 2010-06-14 Robert Dewar <dewar@adacore.com> * g-socket.adb, gnatcmd.adb: Minor reformatting From-SVN: r160734
2010-06-14[multiple changes]Arnaud Charlet5-10/+85
2010-06-14 Pascal Obry <obry@adacore.com> * s-finimp.adb: Fix typo. * raise.h: Remove duplicate blank line. 2010-06-14 Vincent Celier <celier@adacore.com> * prj-nmsc.adb (Add_Sources): Always set the object file and the switches file names, as the configuration of the language may change in an extending project. (Process_Naming_Scheme): For sources of projects that are extended, set the configuration of the language from the highest extending project where the language is declared. 2010-06-14 Gary Dismukes <dismukes@adacore.com> * sem_res.adb (Resolve_Call): For infinite recursion check, test whether the called subprogram is inherited from a containing subprogram. (Same_Or_Aliased_Subprograms): New function From-SVN: r160733
2010-06-14Minor reformatting.Arnaud Charlet1-117/+144
From-SVN: r160732
2010-06-14[multiple changes]Arnaud Charlet17-1195/+587
2010-06-14 Ed Schonberg <schonberg@adacore.com> * sem_ch8.adb (End_Use_Type): Before indicating that an operator is not use-visible, check whether it is a primitive for more than one type. 2010-06-14 Robert Dewar <dewar@adacore.com> * sem_ch3.adb (Copy_And_Swap): Copy Has_Pragma_Unmodified flag. * sem_ch7.adb (Preserve_Full_Attributes): Preserve Has_Pragma_Unmodified flag. 2010-06-14 Thomas Quinot <quinot@adacore.com> * g-sttsne-locking.adb, g-sttsne-locking.ads, g-sttsne.ads, g-sttsne-vxworks.adb, g-sttsne-dummy.ads: Removed. Mutual exclusion is now done in GNAT.Sockets if necessary. * gsocket.h, g-socket.adb, g-sothco.ads (GNAT.Sockets.Get_XXX_By_YYY): Ensure mutual exclusion for netdb operations if the target platform requires it. (GNAT.Sockets.Thin_Common): New binding for getXXXbyYYY, treating struct hostent as an opaque type to improve portability. * s-oscons-tmplt.c, socket.c: For the case of Vxworks, emulate gethostbyYYY using proprietary VxWorks API so that a uniform interface is available for the Ada side. * gcc-interface/Makefile.in: Remove g-sttsne-* * gcc-interface/Make-lang.in: Update dependencies. 2010-06-14 Vincent Celier <celier@adacore.com> * gnatcmd.adb (Mapping_File): New function. From-SVN: r160731
2010-06-14re PR bootstrap/44509 (Revision 160626 breaks bootstrap on *-apple-darwin*)Jakub Jelinek5-6/+33
PR bootstrap/44509 * c-config-lang.in (gtfiles): Add c-family/c-cppbuiltin.c. * c-family/c-cppbuiltin.c: Include gt-c-family-c-cppbuiltin.h. (lazy_hex_fp_values, lazy_hex_fp_value_count): Add GTY(()) markers. (lazy_hex_fp_value, builtin_define_with_hex_fp_value): Use ggc_strdup instead of xstrdup. * gcc.dg/pr44509.c: New test. From-SVN: r160729
2010-06-14[multiple changes]Arnaud Charlet6-7/+52
2010-06-14 Javier Miranda <miranda@adacore.com> * sem_ch3.adb (Derive_Subprograms): Remove over-restrictive assertion. 2010-06-14 Arnaud Charlet <charlet@adacore.com> * ali.adb: Fix typo. * s-auxdec-vms-alpha.adb, scng.ads: Minor reformatting 2010-06-14 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb: Make Mark_Context transitive, and apply to subprogram instances. * sem_ch8.adb (Find_Expanded_Name): If a candidate compilation unit in the context does not have a homonym of the selector, emit default error message. From-SVN: r160728
2010-06-14re PR tree-optimization/44507 (vectorization ANDs array elements together ↵Ira Rosen5-2/+75
incorrectly) PR tree-optimization/44507 * tree-vect-loop.c (get_initial_def_for_reduction): Use -1 to build initial vector for BIT_AND_EXPR. * tree-vect-slp.c (vect_get_constant_vectors): Likewise. From-SVN: r160727
2010-06-14[multiple changes]Arnaud Charlet5-4/+21
2010-06-14 Robert Dewar <dewar@adacore.com> * sem.adb, sem_ch12.adb, sem_util.adb: Minor reformatting and comment addition. 2010-06-14 Arnaud Charlet <charlet@adacore.com> * lib-xref.ads: Doc updates: - Allocate 'Q' for #include entity kind - Free 'Z' - Allocate 'g' for regular macros - Allocate 'G' for function-like macros From-SVN: r160726
2010-06-14[multiple changes]Arnaud Charlet6-2/+85
2010-06-14 Ed Schonberg <schonberg@adacore.com> * sinfo.ads, sinfo,adb (Withed_Body): New attribute of a with_clause. Indicates that there is an instantiation in the current unit that loaded the body of the unit denoted by the with_clause. * sem_ch12.adb (Mark_Context): When instanting a generic body, check whether a with_clause in the current context denotes the unit that holds the generic declaration, and mark the with_clause accordingly. (Instantiate_Package_Body): call Mark_Context. * sem.adb (Process_Bodies_In_Context): Use Withed_Body to determine whether a given body should be traversed before the spec of the main unit. 2010-06-14 Ed Falis <falis@adacore.com> * sysdep.c: Fix 653 build against vThreads headers From-SVN: r160725
2010-06-14sinfo.ads: Minor reformatting.Robert Dewar2-1/+5
2010-06-14 Robert Dewar <dewar@adacore.com> * sinfo.ads: Minor reformatting. From-SVN: r160724
2010-06-14[multiple changes]Arnaud Charlet3-1/+21
2010-06-14 Ed Schonberg <schonberg@adacore.com> * sem_ch6.adb (Analyze_Subprogram_Body): Do not check conformance when the spec has been generated for a body without spec that carries an Inline_Always pragma. 2010-06-14 Arnaud Charlet <charlet@adacore.com> * lib-xref.ads: Documentation change: allocate 'Z' letter to C/C++ macro. From-SVN: r160723
2010-06-14exp_dbug.adb (Debug_Renaming_Declaration): Do not output any debug ↵Jerome Lambourg3-8/+25
declaration for VMs... 2010-06-14 Jerome Lambourg <lambourg@adacore.com> * exp_dbug.adb (Debug_Renaming_Declaration): Do not output any debug declaration for VMs, as those are useless and might lead to duplicated local variable names in the generated code. * gcc-interface/Make-lang.in: Update dependdencies. From-SVN: r160721
2010-06-14[multiple changes]Arnaud Charlet13-51/+119
2010-06-14 Robert Dewar <dewar@adacore.com> * opt.ads, sem.adb, sem_elab.adb: Minor reformatting 2010-06-14 Robert Dewar <dewar@adacore.com> * exp_aggr.adb (Has_Address_Clause): Moved to Exp_Util, and there it is renamed as Has_Following_Address_Clause. * exp_ch3.adb (Needs_Simple_Initialization): Add Consider_IS argument to allow the caller to avoid Initialize_Scalars having an effect. (Expand_N_Object_Declaration): Do not do Initialize_Scalars stuff for scalars with an address clause specified. * exp_ch3.ads (Needs_Simple_Initialization): Add Consider_IS argument to allow the caller to avoid Initialize_Scalars having an effect. * exp_util.adb (Has_Following_Address_Clause): Moved here from Exp_Aggr (where it was called Has_Address_Clause). * exp_util.ads (Has_Following_Address_Clause): Moved here from Exp_Aggr (where it was called Has_Address_Clause). * freeze.adb (Warn_Overlay): Suppress message about overlaying causing problems for Initialize_Scalars (since we no longer initialize objects with an address clause. 2010-06-14 Robert Dewar <dewar@adacore.com> * exp_prag.adb (Expand_Pragma_Check): Set Loc of generated code from condition. 2010-06-14 Gary Dismukes <dismukes@adacore.com> * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Set Debug_Info_Needed on the entity of an implicitly generated postcondition procedure. 2010-06-14 Thomas Quinot <quinot@adacore.com> * sem_ch7.adb (Preserve_Full_Attributes): Propagate Discriminant_Constraint elist from full view to private view. From-SVN: r160720
2010-06-14Minor reformatting.Arnaud Charlet1-1/+1
From-SVN: r160719
2010-06-14[multiple changes]Arnaud Charlet4-111/+186
2010-06-14 Robert Dewar <dewar@adacore.com> * sem_res.adb: Minor reformatting 2010-06-14 Ed Schonberg <schonberg@adacore.com> * sem.adb: New version of unit traversal. * sem_elab.adb (Check_Internal_Call): Do not place a call appearing within a generic unit in the table of delayed calls. From-SVN: r160718
2010-06-14Fix typo.Arnaud Charlet1-3/+3
From-SVN: r160717
2010-06-14[multiple changes]Arnaud Charlet6-24/+58
2010-06-14 Robert Dewar <dewar@adacore.com> * gnatcmd.adb, sem_util.adb, exp_ch3.adb: Minor reformatting 2010-06-14 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb (Save_References): If an identifier has been rewritten during analysis as an explicit dereference, keep the reference implicit in the generic, but preserve the entity if global. This prevents malformed generic trees in the presence of some nested generics. 2010-06-14 Sergey Rybin <rybin@adacore.com> * gnat_ugn.texi: For the GNAT driver, clarify the effect of calling the tool with '-files=' option. Also fix some small errors (wrong brackets) From-SVN: r160716
2010-06-14gnatbind.adb: Call Scan_ALI with Directly_Scanned set to True for all the ↵Vincent Celier5-91/+96
ALI files on the... 2010-06-14 Vincent Celier <celier@adacore.com> * gnatbind.adb: Call Scan_ALI with Directly_Scanned set to True for all the ALI files on the command line. * ali.adb (Scan_ALI): Set component Directly_Scanned of the unit(s) to the same value as the parameter of the same name. * ali.ads (Scan_ALI): New Boolean parameter Directly_Scanned, defaulted to False. * bindgen.adb (Gen_Versions_Ada): Never emit version symbols for Stand-Alone Library interfaces. When binding Stand-Alone Libraries, emit version symbols only for the units of the library. (Gen_Versions_C): Ditto. From-SVN: r160715
2010-06-14[multiple changes]Arnaud Charlet6-19/+60
2010-06-14 Gary Dismukes <dismukes@adacore.com> * sem_ch4.adb: Fix typo. 2010-06-14 Vasiliy Fofanov <fofanov@adacore.com> * s-oscons-tmplt.c (IOV_MAX): redefine on Tru64 and VMS since the vector IO doesn't work at default value properly. 2010-06-14 Doug Rupp <rupp@adacore.com> * s-stoele.adb: Remove unnecessary qualification of To_Address for VMS. 2010-06-14 Vincent Celier <celier@adacore.com> * gnatcmd.adb (Check_Files): Do not invoke the tool with all the sources of the project if a switch -files= is used. 2010-06-14 Thomas Quinot <quinot@adacore.com> * exp_attr.adb: Minor reformatting From-SVN: r160714
2010-06-14[multiple changes]Arnaud Charlet9-27/+1180
2010-06-14 Gary Dismukes <dismukes@adacore.com> * gnat_ugn.texi: Minor typo fixes and wording changes 2010-06-14 Ed Schonberg <schonberg@adacore.com> * sem_ch4.adb (Analyze_One_Call): If the call has been rewritten from a prefixed form, do not re-analyze first actual, which may need an implicit dereference. * sem_ch6.adb (Analyze_Procedure_Call): If the call is given in prefixed notation, the analysis will rewrite the node, and possible errors appear in the rewritten name of the node. * sem_res.adb: If a call is ambiguous because its first parameter is an overloaded call, report list of candidates, to clarify ambiguity of enclosing call. 2010-06-14 Doug Rupp <rupp@adacore.com> * s-auxdec-vms-alpha.adb: New package body implementing legacy VAX instructions with Asm insertions. * s-auxdec-vms_64.ads: Inline VAX queue functions * s-stoele.adb: Resolve some ambiguities in To_Addresss with s-suxdec that show up only on VMS. * gcc-interface/Makefile.in: Provide translation for s-auxdec-vms-alpha.adb. From-SVN: r160713
2010-06-14initialize.c (VxWorks section): Update comments.Olivier Hainque2-7/+8
2010-06-14 Olivier Hainque <hainque@adacore.com> * initialize.c (VxWorks section): Update comments. From-SVN: r160712
2010-06-14[multiple changes]Arnaud Charlet9-179/+216
2010-06-14 Robert Dewar <dewar@adacore.com> * a-convec.adb, sem_prag.adb, checks.adb: Minor reformatting 2010-06-14 Eric Botcazou <ebotcazou@adacore.com> * init.c: Code clean up. 2010-06-14 Ed Schonberg <schonberg@adacore.com> * sem_ch13.adb (Analyze_Attribute_Definition_Clause, case Address): Do not insert address clause in table for later validation if type of entity is generic, to prevent possible spurious errors. * sem_ch8.adb: Code clean up. 2010-06-14 Ben Brosgol <brosgol@adacore.com> * gnat_ugn.texi: Expanded @ovar macro inline to solve problem with texi2pdf and texi2html. Document how to change scheduling properties on HP-UX. 2010-06-14 Thomas Quinot <quinot@adacore.com> * g-socket.ads: Remove misleading comments. From-SVN: r160711
2010-06-14[multiple changes]Arnaud Charlet4-220/+427
2010-06-14 Jerome Lambourg <lambourg@adacore.com> * sem_prag.adb (Check_Duplicated_Export_Name): Remove check for CLI_Target as this prevents proper detection of exported names duplicates when the exported language is different to CIL. (Process_Interface_Name): Add check for CIL convention exports, replacing the old one from Check_Duplicated_Export_Name. 2010-06-14 Matthew Heaney <heaney@adacore.com> * a-coinve.adb, a-convec.adb (operator "&"): Check both that new length and new last satisfy constraints. (Delete_Last): prevent overflow for subtraction of index values (To_Vector): prevent overflow for addition of index values From-SVN: r160710
2010-06-14sem_ch4.adb (Complete_Object_Operation): After analyzing the rewritten call...Ed Schonberg3-2/+44
2010-06-14 Ed Schonberg <schonberg@adacore.com> * sem_ch4.adb (Complete_Object_Operation): After analyzing the rewritten call, preserve the resulting type to prevent spurious errors, when the call is implicitly dereferenced in the context of an in-out actual. * checks.adb (Apply_Discriminant_Check): If the target of the assignment is a renaming of a heap object, create constrained type for it to apply check. From-SVN: r160709
2010-06-14[multiple changes]Arnaud Charlet3-6/+16
2010-06-14 Pascal Obry <obry@adacore.com> * prj-proc.adb: Fix copy of object directory for extending projects. 2010-06-14 Jose Ruiz <ruiz@adacore.com> * init.c (__gnat_alternate_stack): Define this space for PowerPC linux (__gnat_install_handler, PowerPC linux): Activate the alternative signal stack. From-SVN: r160708
2010-06-14s390.md (*mov<mode>_64 DD_DF, mov<mode>): Properly adjust z10prop set_attr.Jakub Jelinek2-2/+7
* config/s390/s390.md (*mov<mode>_64 DD_DF, mov<mode>): Properly adjust z10prop set_attr. From-SVN: r160707
2010-06-14Fix long linesEric Botcazou1-10/+14
From-SVN: r160699
2010-06-14Daily bump.GCC Administrator1-1/+1
From-SVN: r160694
2010-06-13Add "c-family/" to c-common.h, c-pretty-print.h and c-pragma.h.H.J. Lu3-3/+10
2010-06-13 H.J. Lu <hongjiu.lu@intel.com> * g++.dg/plugin/header_plugin.c: Add "c-family/" to c-common.h and c-pretty-print.h. * g++.dg/plugin/pragma_plugin.c: Add "c-family/" to c-pragma.h. From-SVN: r160687
2010-06-13re PR fortran/31588 (gfortran should be able to output Makefile dependencies ↵Daniel Franke10-63/+214
with -M* options) 2010-06-13 Daniel Franke <franke.daniel@gmail.com> PR fortran/31588 PR fortran/43954 * gfortranspec.c (lang_specific_driver): Removed deprecation warning for -M. * lang.opt: Add options -M, -MM, -MD, -MMD, -MF, -MG, -MP, -MT, -MQ. * lang-specs.h (CPP_FORWARD_OPTIONS): Add -M* options. * cpp.h (gfc_cpp_makedep): New. (gfc_cpp_add_dep): New. (gfc_cpp_add_target): New. * cpp.c (gfc_cpp_option): Add deps* members. (gfc_cpp_makedep): New. (gfc_cpp_add_dep): New. (gfc_cpp_add_target): New. (gfc_cpp_init_options): Initialize new options. (gfc_cpp_handle_option): Handle new options. (gfc_cpp_post_options): Map new options to libcpp-options. (gfc_cpp_init): Handle deferred -MQ and -MT options. (gfc_cpp_done): If requested, write dependencies to file. * module.c (gfc_dump_module): Add a module filename as target. * scanner.c (open_included_file): New parameter system; add the included file as dependency. (gfc_open_included_file): Add the included file as dependency. (gfc_open_intrinsic_module): Likewise. * invoke.texi: Removed deprecation warning for -M. * gfortran.texi: Removed Makefile-dependencies project. From-SVN: r160684
2010-06-13bitmap.c (bitmap_and, [...]): Turn internal datastructure checks into ↵Jan Hubicka9-48/+66
checking asserts. * bitmap.c (bitmap_and, bitmap_and_into, bitmap_and_compl, bitmap_and_compl_into, bitmap_compl_and_into, bitmap_ior, bitmap_ior_into, bitmap_xor, bitmap_xor_into, bitmap_ior_and_compl, bitmap_ior_and_compl): Turn internal datastructure checks into checking asserts. * rtlanal.c (find_reg_note): Use gcc_checking_assert. * tree-ssa-sccvn.c (VN_INFO): Likewise. * df-scan.c (df_reorganize_refs_by_reg_by_reg, df_install_ref, df_ref_create_structure): Likewise. * alloc-pool.c (create_alloc_pool, empty_alloc_pool, pool_alloc, pool_free): Use gcc_checking_assert. * alias.c (get_alias_set): Likewise. * var-tracking.c (variable_htab_free, shared_hash_copy, canonicalize_values_mark, variable_merge_over_cur): Likewise. * lto-streamer.c (bp_unpack_value): Likewise. From-SVN: r160681
2010-06-13gnat_rm.texi: Move to GFDL version 1.3.Gerald Pfeifer4-3/+9
* gnat_rm.texi: Move to GFDL version 1.3. * gnat-style.texi: Ditto. * gnat_ugn.texi: Ditto. From-SVN: r160680
2010-06-13lto-streamer-in.c (lto_input_ts_type_tree_pointers): Do not stream but ↵Richard Guenther9-24/+63
initialize TYPE_CANONICAL to NULL. 2010-06-13 Richard Guenther <rguenther@suse.de> * lto-streamer-in.c (lto_input_ts_type_tree_pointers): Do not stream but initialize TYPE_CANONICAL to NULL. (lto_output_ts_type_tree_pointers): Do not stream TYPE_CANONICAL. * gimple.c (gimple_types_compatible_p): Disregard TYPE_STRUCTURAL_EQUALITY_P. (gimple_register_type): Use TYPE_CANONICAL as cache. * lto-streamer.c (lto_record_common_node): Zero TYPE_CANONICAL before registering common types. * config/i386/i386.c (ix86_function_arg_boundary): Do not use TYPE_CANONICAL, instead use TYPE_MAIN_VARIANT. * tree.h (TYPE_CANONICAL): Clarify documentation. lto/ * lto.c (lto_fixup_type): Do not register or fixup TYPE_CANONICAL. From-SVN: r160679
2010-06-13ia64.h (FUNCTION_VALUE_REGNO_P, [...]): Remove macros.Anatoly Sokolov4-28/+52
* config/ia64/ia64.h (FUNCTION_VALUE_REGNO_P, FUNCTION_VALUE, LIBCALL_VALUE): Remove macros. * config/ia64/ia64-protos.h (ia64_function_value): Remove. * config/ia64/ia64.c (TARGET_FUNCTION_VALUE, TARGET_LIBCALL_VALUE, TARGET_FUNCTION_VALUE_REGNO_P): Define. (ia64_libcall_value, ia64_function_value_regno_p): New functions. (ia64_function_value): Make static. Handle receiving the function type in 'fn_decl_or_type' argunent. Add 'outgoing' argument. From-SVN: r160678
2010-06-13whole_file_18.f90: Updated error message.Daniel Franke2-1/+5
2010-06-13 Daniel Franke <franke.daniel@gmail.com> * gfortran.dg/whole_file_18.f90: Updated error message. From-SVN: r160676
generated by cgit v1.1 at 2025-09-20 22:11:16 +0000