1. 03 Jan, 2005 25 commits
    • namet.adb (Get_Decoded_Name_With_Brackets): Fix case of not allowing upper case… · 8d75f39c
      namet.adb (Get_Decoded_Name_With_Brackets): Fix case of not allowing upper case letter or underscore after W...
      
      	* namet.adb (Get_Decoded_Name_With_Brackets): Fix case of not allowing
      	upper case letter or underscore after W, as allowed by spec.
      
      From-SVN: r92844
      Arnaud Charlet committed
    • make.adb (Collect_Arguments_And_Compile): Do not attempt to build libraries when… · fa0d3606
      make.adb (Collect_Arguments_And_Compile): Do not attempt to build libraries when Unique_Compile is True (-u switch).
      
      	* make.adb (Collect_Arguments_And_Compile): Do not attempt to build
      	libraries when Unique_Compile is True (-u switch).
      	(Gnatmake): ditto.
      
      From-SVN: r92843
      Arnaud Charlet committed
    • re PR ada/16949 (sinfo.ads refers to a SPITBOL program (creating sinfo.h) which is no longer there) · 8711f419
      	PR ada/16949
      	* sinfo.ads: Fix obsolete reference to xsinfo.spt (replaced by
      	xsinfo.adb).
      
      From-SVN: r92842
      Arnaud Charlet committed
    • re PR ada/17527 (Ada Bootstrap problem because of -Werror) · 02d06776
      	PR ada/17527
      	* init.c: Fix warnings on Free BSD section.
      
      From-SVN: r92841
      Arnaud Charlet committed
    • i-cstrin.adb (Update): Do not append a null in form called with a String. · 8bded583
      	* i-cstrin.adb (Update): Do not append a null in form called with a
      	String. This avoids unintended behavior.
      
      From-SVN: r92840
      Arnaud Charlet committed
    • exp_ch7.ads (Make_Final_Call): Rewrite comment (was incorrectly copied from Make_Init_Call). · d9246d2d
      	* exp_ch7.ads (Make_Final_Call): Rewrite comment (was incorrectly
      	copied from Make_Init_Call).
      
      	* exp_strm.adb (Build_Mutable_Record_Read_Procedure): Do component
      	reads and assignments on a temporary variable declared with appropriate
      	discriminants.
      
      From-SVN: r92838
      Arnaud Charlet committed
    • exp_dist.adb: Declare subprogram index in Build_RPC_Receiver_Body... · 16db96c5
      	* exp_dist.adb:
      	Declare subprogram index in Build_RPC_Receiver_Body, to reduce the
      	amount of PCS-specific code in RACW stubs generation.
      	(Copy_Specification): Set Etype on copied formal parameter entities, as
      	this information is needed for PolyORB stubs generation.
      	(PolyORB_Support.Build_Subprogram_Receiving_Stubs): Remove unused
      	variable Dynamic_Async.
      	(Build_Subprogram_Receiving_Stubs): Make PCS-specific
      	(Build_RPC_Receiver_Specification): Make generic again, as recent
      	changes have allowed RPC receivers to have the same profile for both
      	variants of the PCS.
      	Reorganise RPC receiver generation to reduce differences between the
      	structure of GARLIC and PolyORB RPC receivers.
      	(Add_Receiving_Stubs_To_Declarations): Make this subprogram
      	PCS-specific.
      	Simplify elaboration code for RCI packages.
      
      	* s-parint.ads, s-parint.adb, rtsfind.ads: Reorganise RPC receiver
      	generation to reduce differences between the structure of GARLIC and
      	PolyORB RPC receivers.
      
      	* s-stratt.adb: Fix typo in comment.
      
      From-SVN: r92837
      Arnaud Charlet committed
    • exp_ch3.adb (Stream_Operations_OK): Predicate to determine when the generation… · a778d033
      exp_ch3.adb (Stream_Operations_OK): Predicate to determine when the generation of predefined stream operations...
      
      	* exp_ch3.adb (Stream_Operations_OK): Predicate to determine when the
      	generation of predefined stream operations (specs and bodies) should
      	proceed. Under various restrictions these subprograms must not be
      	generated.
      
      From-SVN: r92836
      Arnaud Charlet committed
    • exp_aggr.adb (Packed_Array_Aggregate_Handled): The values of the bounds can be… · 42de0044
      exp_aggr.adb (Packed_Array_Aggregate_Handled): The values of the bounds can be negative, and must be declared Int, not Nat.
      
      	* exp_aggr.adb (Packed_Array_Aggregate_Handled): The values of the
      	bounds can be negative, and must be declared Int, not Nat.
      
      	* sem_elim.adb (Line_Num_Match): Correct wrong code when index in an
      	array is checked after using the index in the array.
      
      	* makegpr.adb (Add_Switches): Check if there is a package for the
      	processor. If there is no package, do not look for switches.
      
      From-SVN: r92835
      Arnaud Charlet committed
    • eval_fat.adb: (Eps_Model,Eps_Denorm): Remove, no longer used. · 050d31e8
      	* eval_fat.adb: (Eps_Model,Eps_Denorm): Remove, no longer used.
      	(Succ): Re-implement using Scaling, Exponent and Ceiling attributes.
      	(Pred): Implement in terms of Succ.
      
      	* trans.c (convert_with_check): Reimplement conversion of float to
      	integer.
      
      From-SVN: r92834
      Arnaud Charlet committed
    • decl.c (compatible_signatures_p): New function. · c5e12904
      	* decl.c (compatible_signatures_p): New function. The intended purpose
      	is to check if two function signatures for a call-site and a callee are
      	compatible enough for the call to be valid. The underlying purpose is
      	to check if a call to a mapped builtin is using the right interface.
      	The current code actually does not check antyhing - this a placeholder
      	for future refinements.
      	(gnat_to_gnu_entity) <E_Subprogram_Call>: Add preliminary bits to handle
      	builtin calls for convention Intrinsic.
      
      	* gigi.h (builtin_decl_for): Declare (new function).
      
      	* utils.c (gnat_install_builtins): Install the target specific builtins.
      	(builtin_decl_for): New function, provide a dummy body for now.
      
      From-SVN: r92833
      Arnaud Charlet committed
    • checks.adb (Apply_Alignment_Check): Generate a warning if an object address is… · ddda9d0f
      checks.adb (Apply_Alignment_Check): Generate a warning if an object address is incompatible with its base type...
      
      	* checks.adb (Apply_Alignment_Check): Generate a warning if an object
      	address is incompatible with its base type alignment constraints when
      	this can be decided statically.
      
      From-SVN: r92832
      Arnaud Charlet committed
    • bld.ads, [...]: Remove gpr2make, replaced by gprmake. · e6d50a9e
      	* bld.ads, bld.adb, bld-io.ads, bld-io.adb, gprcmd.adb,
      	gpr2make.ads, gpr2make.adb: Remove gpr2make, replaced by gprmake.
      
      	* Makefile.in: Add support to build shared Ada libraries on solaris x86
      	Remove gpr2make, replaced by gprmake.
      	Remove references to gnatmem and libaddr2line.
      	Add indepsw.adb<indepsw-linux.adb to TOOLS_TARGET_PAIRS for IA64 linux.
      	(gnatlib-shared-darwin): Add "-fno-common" to GNATLIBCFLAGS.
      	Add support for specialized version of Ada.Numerics.Aux for Darwin: use
      	a-numaux-darwin.ads and a-numaux-darwin.adb
      	Enable mlib-tgt-lynxos.adb on lynxos.
      
      	* Make-lang.in: Remove rules for gpr2make.
      	When generating sdefault.adb, do not call Relocate_Path
      	on S3 for function Target_Name, as it is not a path.
      	Remove references to gnatmem and libaddr2line.
      
      	* a-numaux-darwin.ads, a-numaux-darwin.adb, g-soccon-darwin.ads: New
      	files.
      
      From-SVN: r92831
      Arnaud Charlet committed
    • atree.adb: Add a fifth component to entities This allows us to add 32 flags and four new fields · 165eab5f
      	* atree.adb: Add a fifth component to entities
      	This allows us to add 32 flags and four new fields
      
      	* atree.ads: Add a fifth component to entities
      	This allows us to add 32 flags and four new fields
      
      	* einfo.ads, einfo.adb: Document new fields and new flags now available
      	Add routines for printing new fields
      
      	* treepr.adb: Call routines to print out additional fields if present
      
      From-SVN: r92830
      Arnaud Charlet committed
    • s-atacco.ads, [...]: Protect use of 'Constrained by warnings on/off... · 5f3ab6fb
      	* s-atacco.ads, a-direio.adb: Protect use of 'Constrained by warnings
      	on/off, since this is an obsolescent feature, for which we now generate
      	a warning.
      
      	* sem_attr.adb (Analyze_Attribute, case Constrained): Issue warning if
      	warning mode is set and obsolescent usage of this attribute occurs.
      	(Resolve_Access, case 'Access): Note that GNAT uses the context type to
      	disambiguate overloaded prefixes, in accordance with AI-235. GNAT code
      	predates, and partly motivates, the adoption of the AI.
      	Implement new Ada 2005 attribute Mod
      
      	* exp_attr.adb (Expand_N_Attribute_Reference): Implement Ada 2005
      	attribute Mod.
      
      	* par-ch4.adb (P_Name): In Ada 2005 mode, recognize new attribute Mod
      
      	* snames.h, snames.ads, snames.adb: Add entry for No_Dependence for
      	pragma restrictions.
      	New entry for Ada 2005 attribute Mod.
      
      	* par-prag.adb:
      	Add recognition of new pragma Restrictions No_Dependence
      	Recognize restriction No_Obsolescent_Features at parse time
      
      	* bcheck.adb: Add circuitry for checking for consistency of
      	No_Dependence restrictions.
      
      	* lib-writ.ads, lib-writ.adb: Output new R lines for No_Dependence
      	restrictions.
      
      	* restrict.ads, restrict.adb: Add subprograms to deal with
      	No_Dependence restrictions.
      
      	* rtsfind.adb: Check that implicit with's do not violate No_Dependence
      	restrictions.
      
      	* sem_ch3.adb, sem_ch11.adb, sem_ch13.adb, lib-xref.adb,
      	sem_attr.adb: Add check for new restriction No_Obsolescent_Features
      
      	* scn.ads, prj-err.ads, prj-err.adb, ali-util.adb, gprep.adb: Add new
      	dummy parameter to scng instantiation.
      	Needed for new restriction No_Obsolescent_Features
      
      	* scn.adb: (Obsolescent_Check): New procedure
      	Needed for new restriction No_Obsolescent_Features
      
      	* scng.ads, scng.adb: Always allow wide characters in Ada 2005 mode, as
      	specified by AI-285, needed for implementation of AI-388 (adding greek
      	pi to Ada.Numerics).
      	Add new generic formal to scng, needed for new restriction
      	No_Obsolescent_Features.
      
      	* s-rident.ads: Add new restriction No_Obsolescent_Features.
      
      	* ali.ads, ali.adb: Adjustments for reading new No_Dependence
      	restrictions lines.
      	(Scan_ALI): When finding an unexpected character on an R line, raise
      	exception Bad_R_Line, instead of calling Fatal_Error, so that, when
      	Ignore_Errors is True, default restrictions are set and scanning of the
      	ALI file continues with the next line. Also, when Bad_R_Line is raised
      	and Ignore_Errors is True, skip to the end of le line.
      
      	* sem_ch10.adb: Check that explicit with's do not violate
      	No_Dependence restrictions.
      	(Install_Withed_Unit): Add code to implement AI-377 and diagnose
      	illegal context clauses containing child units of instance.
      
      	* sem_prag.adb: Processing and checking for new No_Dependence
      	restrictions.
      	(Analyze_Pragma, case Psect_Object): Call Check_Arg_Is_External_Name to
      	analyze and check the External argument.
      
      	* a-numeri.ads: Add greek letter pi as alternative spelling of Pi
      
      From-SVN: r92829
      Arnaud Charlet committed
    • gen-soccon.c: New utility program to generate g-soccon.ads automatically. · b1c1e25c
      	* gen-soccon.c: New utility program to generate g-soccon.ads
      	automatically.
      
      	* socket.c, gsocket.h: Split inclusion of system header files into a
      	gsocket.h file separated from socket.c, to allow reuse in gen-soccon.c.
      
      	* g-soccon.ads, g-soccon-unixware.ads, g-soccon-tru64.ads,
      	g-soccon-aix.ads, g-soccon-irix.ads, g-soccon-hpux.ads,
      	g-soccon-interix.ads, g-soccon-solaris.ads, g-soccon-mingw.ads,
      	g-soccon-vxworks.ads, g-soccon-freebsd.ads: Note that these files
      	should not be edited by hand anymore, but should be regenerated using
      	gen-soccon.
      
      From-SVN: r92828
      Arnaud Charlet committed
    • istream.tcc (ignore(streamsize), [...]): Reset _M_gcount to numeric_limits<streamsize>::min(). · ab4af6a5
      2005-01-03  Paolo Carlini  <pcarlini@suse.de>
      
      	* include/bits/istream.tcc (ignore(streamsize), ignore(streamsize,
      	int_type)): Reset _M_gcount to numeric_limits<streamsize>::min().
      	* src/istream.cc (basic_istream<char>::ignore(streamsize, int_type),
      	basic_istream<wchar_t>::ignore(streamsize, int_type)): Likewise.
      	* src/istream.cc (basic_istream<char>::ignore(streamsize),
      	basic_istream<wchar_t>::ignore(streamsize)): Likewise; fix a typo.
      
      From-SVN: r92827
      Paolo Carlini committed
    • 2005-01-03 Paolo Bonzini <bonzini@gnu.org> · 86c7e0da
      	Revert 2004-12-28 Makefile changes, a better fix will be
      	applied to mainline and src after GCC 4.0 branches.
      
      From-SVN: r92826
      Paolo Bonzini committed
    • re PR target/19236 (ICE compiling logp(x) with -ffast-math) · 088df4c2
      	PR target/19236
      	* config/i386/i386.c (log1psf2): Change mode of operands[0,1]
      	to SFmode.
      	(log1pdf2): Change mode of operands[0,1] to DFmode.
      
      From-SVN: r92825
      Uros Bizjak committed
    • sparc.h (SPARC_RELAXED_ORDERING): Define to false. · 548a6c4f
      	* config/sparc/sparc.h (SPARC_RELAXED_ORDERING): Define to false.
      	* config/sparc/linux.h (SPARC_RELAXED_ORDERING): Define to true.
      	* config/sparc/linux64.h (SPARC_RELAXED_ORDERING): Likewise.
      	* config/sparc/sparc.c (TARGET_RELAXED_ORDERING): Define to
      	SPARC_RELAXED_ORDERING.
      
      From-SVN: r92824
      Eric Botcazou committed
    • re PR target/14631 (common subexpression elimilation error with sse2 instrinsic _mm_insert_epi16) · 0703dceb
      	PR target/14631
      	* config/i386/i386.c (ix86_expand_builtin): [IX86_BUILTIN_PINSRW,
      	IX86_BUILTIN_PINSRW128]: Fix wrong selector range in error message.
      	* config/i386/i386.md (mmx_pinsrw, sse2_pinsrw): Fix selector
      	handling.
      	(*mmx_pinsrw, *sse2_pinsrw): New patterns.
      	* config/i386/i386/predicates.md (const_pow2_1_to_8_operand,
      	const_pow2_1_to_128_operand): New predicates.
      
      Co-Authored-By: Uros Bizjak <uros@kss-loka.si>
      
      From-SVN: r92823
      Richard Henderson committed
    • re PR rtl-optimization/12092 (ICE: Floating point exception) · 1d7bed25
      	PR rtl-optimization/12092
      	* gcc.dg/pr12092-1.c: Fix typo in dg directive.
      
      From-SVN: r92822
      Hans-Peter Nilsson committed
    • Daily bump. · 75b5076e
      From-SVN: r92819
      GCC Administrator committed
    • istream.cc (basic_istream<char>::ignore(streamsize), [...]): Avoid _M_gcount overflows. · bea53dbf
      2005-01-02  Paolo Carlini  <pcarlini@suse.de>
      
      	* src/istream.cc (basic_istream<char>::ignore(streamsize),
      	basic_istream<char>::ignore(streamsize, int_type),
      	basic_istream<wchar_t>::ignore(streamsize),
      	basic_istream<wchar_t>::ignore(streamsize, int_type)): Avoid
      	_M_gcount overflows.
      	* include/bits/istream.tcc (ignore(streamsize), ignore(streamsize,
      	int_type)): Likewise; use snextc in the main loop, consistently
      	with the specializations above.
      
      From-SVN: r92816
      Paolo Carlini committed
  2. 02 Jan, 2005 13 commits
  3. 01 Jan, 2005 2 commits