H.J. Lu [Mon, 4 Aug 2008 12:29:08 +0000 (12:29 +0000)]
i386.c (ix86_compute_frame_layout): Fix a typo in comments.
2008-08-04 H.J. Lu <hongjiu.lu@intel.com>
* config/i386/i386.c (ix86_compute_frame_layout): Fix a typo
in comments.
From-SVN: r138611
Javier Miranda [Mon, 4 Aug 2008 12:14:25 +0000 (12:14 +0000)]
sem_ch3.adb (Access_Subprogram_Declaration): Adding missing support for N_Formal_Object_Declaration nodes.
2008-08-04 Javier Miranda <miranda@adacore.com>
* sem_ch3.adb (Access_Subprogram_Declaration): Adding missing support
for N_Formal_Object_Declaration nodes. Adding kludge required by
First_Formal to provide its functionality with access to functions.
(Replace_Anonymous_Access_To_Protected_Subprogram): Add missing support
for anonymous access types returned by functions.
* sem_ch5.adb (Analyze_Assignment): Code cleanup to avoid duplicate
conversion of null-excluding access types (required only once to force
the generation of the required runtime check).
* sem_type.adb (Covers): minor reformating
* checks.adb (Null_Exclusion_Static_Checks): Avoid reporting errors
with internally generated nodes. Avoid generating the error inside init
procs.
* sem_res.adb (Resolve_Membership_Test): Minor reformating.
(Resolve_Null): Generate the null-excluding check in case of assignment
to a null-excluding object.
(Valid_Conversion): Add missing support for anonymous access to
subprograms.
* sem_ch6.adb (Check_Return_Subtype_Indication): Add missing support for
anonymous access types whose designated type is an itype. This case
occurs with anonymous access to protected subprograms types.
(Analyze_Return_Type): Add missing support for anonymous access to
protected subprogram.
* sem_eval.adb (Subtypes_Statically_Match): In case of access to
subprograms addition of missing check on matching convention. Required
to properly handle access to protected subprogram types.
* exp_ch3 (Build_Assignment): Code cleanup removing duplicated check on
null excluding access types.
From-SVN: r138610
Arnaud Charlet [Mon, 4 Aug 2008 12:13:10 +0000 (12:13 +0000)]
* gnat.dg/test_ai254.adb: New test.
From-SVN: r138609
Paolo Carlini [Mon, 4 Aug 2008 12:05:41 +0000 (12:05 +0000)]
postypes.h: Reinstate inclusion of <stdint.h>; also define the __STDC_* macros.
2008-08-04 Paolo Carlini <paolo.carlini@oracle.com>
* include/bits/postypes.h: Reinstate inclusion of <stdint.h>;
also define the __STDC_* macros.
(streamoff): Adjust.
* include/tr1_impl/cstdint: Check that the __STDC_* macros are
not defined before defining.
From-SVN: r138608
Arnaud Charlet [Mon, 4 Aug 2008 10:28:30 +0000 (10:28 +0000)]
* gnat.dg/bip_aggregate_bug.adb: New test.
From-SVN: r138606
Arnaud Charlet [Mon, 4 Aug 2008 10:25:26 +0000 (12:25 +0200)]
g-soccon-mingw-64.ads, [...]: New files.
2008-08-04 Vasiliy Fofanov <fofanov@adacore.com>
* g-soccon-mingw-64.ads, system-mingw-x86_64.ads: New files.
* gcc-interface/Makefile.in: Use 64bit-specific system files when
compiling for 64bit windows.
From-SVN: r138605
Robert Dewar [Mon, 4 Aug 2008 10:23:25 +0000 (12:23 +0200)]
g-comlin.adb: Minor reformatting
2008-08-04 Robert Dewar <dewar@adacore.com>
* g-comlin.adb: Minor reformatting
From-SVN: r138604
Gary Dismukes [Mon, 4 Aug 2008 10:23:16 +0000 (12:23 +0200)]
exp_aggr.adb (Build_Record_Aggr_Code): Perform a conversion of the target to the type of the aggregate in the case...
2008-08-04 Gary Dismukes <dismukes@adacore.com>
* exp_aggr.adb (Build_Record_Aggr_Code): Perform a conversion of the
target to the type of the aggregate in the case where the target object
is class-wide.
* exp_ch5.adb (Expand_Simple_Function_Return): When the function's
result type is class-wide and inherently limited, and the expression
has a specific type, create a return object of the specific type, for
more efficient handling of returns of build-in-place aggregates (avoids
conversions of the class-wide return object to the specific type on
component assignments).
* sem_ch6.adb (Check_Return_Subtype_Indication): Suppress the error
about a type mismatch for a class-wide function with a return object
having a specific type when the object declaration doesn't come from
source. Such an object can result from the expansion of a simple return.
From-SVN: r138603
Robert Dewar [Mon, 4 Aug 2008 10:23:07 +0000 (12:23 +0200)]
exp_dist.adb: Minor reformatting
2008-08-04 Robert Dewar <dewar@adacore.com>
* exp_dist.adb: Minor reformatting
From-SVN: r138602
Robert Dewar [Mon, 4 Aug 2008 10:22:58 +0000 (12:22 +0200)]
exp_ch4.adb: Minor reformatting
2008-08-04 Robert Dewar <dewar@adacore.com>
* exp_ch4.adb: Minor reformatting
From-SVN: r138601
Ed Schonberg [Mon, 4 Aug 2008 10:22:48 +0000 (12:22 +0200)]
sem_ch4.adb (Analyze_Allocator): If the designated type is a non-null access type and the allocator is not...
2008-08-04 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb (Analyze_Allocator): If the designated type is a non-null
access type and the allocator is not initialized, warn rather than
reporting an error.
From-SVN: r138600
Ed Schonberg [Mon, 4 Aug 2008 10:22:39 +0000 (12:22 +0200)]
sem_ch12.adb: Add comments
2008-08-04 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb: Add comments
From-SVN: r138599
Arnaud Charlet [Mon, 4 Aug 2008 09:50:09 +0000 (11:50 +0200)]
snames.h, [...]: Add Attr_To_Any, Attr_From_Any and Attr_TypeCode defines.
2008-08-04 Kevin Pouget <pouget@adacore.com>
* snames.h, snames.adb, snames.ads:
Add Attr_To_Any, Attr_From_Any and Attr_TypeCode defines.
* exp_dist.ads, exp_dist.adb: Add Build_From_Any_Call,
Build_To_Any_Call and Build_TypeCode_Call procedures.
* exp_attr.adb, sem_attr.adb: Add corresponding cases.
* rtsfind.ads: Add corresponding names.
* tbuild.adb: Update prefix restrictions to allow '_' character.
From-SVN: r138598
Ed Schonberg [Mon, 4 Aug 2008 09:49:42 +0000 (11:49 +0200)]
exp_ch4.adb (Get_Allocator_Final_List): Freeze anonymous type for chain at once...
2008-08-04 Ed Schonberg <schonberg@adacore.com>
* exp_ch4.adb (Get_Allocator_Final_List): Freeze anonymous type for
chain at once, to ensure that type is properly decorated for back-end,
when allocator appears within a loop.
From-SVN: r138597
Jerome Lambourg [Mon, 4 Aug 2008 09:49:33 +0000 (11:49 +0200)]
g-comlin.adb (Group_Switches): Preserve the switch order when grouping and allow switch grouping of switches...
2008-08-04 Jerome Lambourg <lambourg@adacore.com>
* g-comlin.adb (Group_Switches): Preserve the switch order when
grouping and allow switch grouping of switches with more than one
character extension (e.g. gnatw.x).
(Args_From_Expanded): Remove this now obsolete method.
From-SVN: r138596
Arnaud Charlet [Mon, 4 Aug 2008 09:40:33 +0000 (11:40 +0200)]
Minor reformatting.
From-SVN: r138595
Arnaud Charlet [Mon, 4 Aug 2008 09:38:06 +0000 (11:38 +0200)]
gigi.h (fill_vms_descriptor): Add third parameter gnat_actual
2008-08-04 Doug Rupp <rupp@adacore.com>
* gigi.h (fill_vms_descriptor): Add third parameter gnat_actual
* trans.c (call_to_gnu): Call fill_vms_descriptor with new parameter.
* utils2.c (fill_vms_descriptor): Add third parameter for error sloc and
use it. Calculate pointer range overflow using 64bit types.
From-SVN: r138594
Vincent Celier [Mon, 4 Aug 2008 09:36:46 +0000 (11:36 +0200)]
mlib.adb (Create_Sym_Links): Create relative symbolic links when requested
2008-08-04 Vincent Celier <celier@adacore.com>
* mlib.adb (Create_Sym_Links): Create relative symbolic links when
requested
From-SVN: r138593
Arnaud Charlet [Mon, 4 Aug 2008 09:36:26 +0000 (11:36 +0200)]
usage.adb (Usage): Minor rewording of -gnatwz switch, to improve gnatcheck support in GPS.
2008-08-04 Arnaud Charlet <charlet@adacore.com>
* usage.adb (Usage): Minor rewording of -gnatwz switch, to improve
gnatcheck support in GPS.
From-SVN: r138592
Ed Schonberg [Mon, 4 Aug 2008 09:36:10 +0000 (11:36 +0200)]
sem_ch3.adb (Access_Definition): A formal object declaration is a legal context for an anonymous access to...
2008-08-04 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Access_Definition): A formal object declaration is a
legal context for an anonymous access to subprogram.
* sem_ch4.adb (Analyze_One_Call): If the call can be interpreted as an
indirect call, report success to the caller to include possible
interpretation.
* sem_ch6.adb (Check_Return_Type_Indication): Apply proper conformance
check when the type
of the extended return is an anonymous access_to_subprogram type.
* sem_res.adb:
(Resolve_Call): Insert a dereference if the type of the subprogram is an
access_to_subprogram and the context requires its return type, and a
dereference has not been introduced previously.
From-SVN: r138591
Vincent Celier [Mon, 4 Aug 2008 09:17:44 +0000 (09:17 +0000)]
gprep.adb (Process_One_File): Call Prep.Preprocess with a Boolean variable...
2008-08-04 Vincent Celier <celier@adacore.com>
* gprep.adb (Process_One_File): Call Prep.Preprocess with a Boolean
variable, but don't check the resulting value as it has no impact on
the processing.
* opt.ads:
(Generate_Processed_File): New Boolean flag, set to True in the compiler
when switch -gnateG is used.
* prep.adb:
(Preprocess): new Boolean out parameter Source_Modified. Set it to True
when the source is modified by the preprocessor and there is no
preprocessing errors.
* prep.ads (Preprocess): new Boolean out parameter Source_Modified
* sinput-l.adb:
(Load_File): Output the result of preprocessing if the source text was
modified.
* switch-c.adb (Scan_Front_End_Switches): Recognize switch -gnateG
* switch-m.adb (Normalize_Compiler_Switches): Normalize switch -gnateG
* ug_words: Add VMS equivalent for -gnateG
* vms_data.ads:
Add VMS option /GENERATE_PROCESSED_SOURCE, equivalent to switch -gnateG
From-SVN: r138590
Doug Rupp [Mon, 4 Aug 2008 09:16:54 +0000 (11:16 +0200)]
utils2.c (fill_vms_descriptor): Use long_integer for comparison.
2008-08-04 Doug Rupp <rupp@adacore.com>
* utils2.c (fill_vms_descriptor): Use long_integer for comparison.
Call add_stmt_with_node to set locus.
From-SVN: r138589
Arnaud Charlet [Mon, 4 Aug 2008 09:07:31 +0000 (11:07 +0200)]
2008-08-04 Doug Rupp <rupp@adacore.com>
* gcc-interface/utils2.c:
(fill_vms_descriptor): Raise CE if attempt made to pass 64bit pointer
in 32bit descriptor.
From-SVN: r138588
Thomas Quinot [Mon, 4 Aug 2008 09:06:45 +0000 (11:06 +0200)]
sem_ch10.adb: Minor comment fix.
2008-08-04 Thomas Quinot <quinot@adacore.com>
* sem_ch10.adb: Minor comment fix.
From-SVN: r138587
Arnaud Charlet [Mon, 4 Aug 2008 09:06:36 +0000 (11:06 +0200)]
sem_prag.adb (Check_Form_Of_Interface_Name): Fix handling for CLI target.
2008-08-04 Arnaud Charlet <charlet@adacore.com>
* sem_prag.adb (Check_Form_Of_Interface_Name): Fix handling for CLI
target.
From-SVN: r138586
Vincent Celier [Mon, 4 Aug 2008 09:06:16 +0000 (11:06 +0200)]
make.adb: Correct spelling error in comment
2008-08-04 Vincent Celier <celier@adacore.com>
* make.adb: Correct spelling error in comment
From-SVN: r138585
Vincent Celier [Mon, 4 Aug 2008 09:05:56 +0000 (11:05 +0200)]
prj-attr.adb: New Builder attribute Global_Compilation_Switches
2008-08-04 Vincent Celier <celier@adacore.com>
* prj-attr.adb: New Builder attribute Global_Compilation_Switches
* snames.adb: New standard name Global_Compilation_Switches
* snames.ads: New standard name Global_Compilation_Switches
From-SVN: r138584
Ed Schonberg [Mon, 4 Aug 2008 09:05:40 +0000 (11:05 +0200)]
sem_ch3.adb (Access_Definition): Create an itype reference for an anonymous access return type of a regular...
2008-08-04 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Access_Definition): Create an itype reference for an
anonymous access return type of a regular function that is not a
compilation unit.
From-SVN: r138583
Pascal Obry [Mon, 4 Aug 2008 09:05:29 +0000 (11:05 +0200)]
i-cobol.adb: Minor reformatting.
2008-08-04 Pascal Obry <obry@adacore.com>
* i-cobol.adb: Minor reformatting.
From-SVN: r138582
Robert Dewar [Mon, 4 Aug 2008 09:05:01 +0000 (11:05 +0200)]
par-ch10.adb: Minor reformatting
2008-08-04 Robert Dewar <dewar@adacore.com>
* par-ch10.adb: Minor reformatting
From-SVN: r138581
Arnaud Charlet [Mon, 4 Aug 2008 08:40:22 +0000 (10:40 +0200)]
Resync.
From-SVN: r138580
Ed Schonberg [Mon, 4 Aug 2008 08:38:06 +0000 (10:38 +0200)]
sem_prag.adb (Check_Precondition_Postcondition): When scanning the list of declaration to find previous subprogram...
2008-08-04 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb (Check_Precondition_Postcondition): When scanning the
list of declaration to find previous subprogram, do not go to the
original node of a generic unit.
From-SVN: r138579
Vincent Celier [Mon, 4 Aug 2008 08:37:57 +0000 (10:37 +0200)]
2008-08-04 Vincent Celier <celier@adacore.com>
* prj-proc.adb:
(Copy_Package_Declarations): When inheriting package Naming from a
project being extended, do not inherit source exception names.
From-SVN: r138578
Robert Dewar [Mon, 4 Aug 2008 08:37:47 +0000 (10:37 +0200)]
freeze.adb (Freeze_Entity): Check for size clause for boolean warning
2008-08-04 Robert Dewar <dewar@adacore.com>
* freeze.adb (Freeze_Entity): Check for size clause for boolean warning
From-SVN: r138577
Robert Dewar [Mon, 4 Aug 2008 08:37:40 +0000 (10:37 +0200)]
system-darwin-x86.ads: Correct bad definition of Max_Nonbinary_Modulus
2008-08-04 Robert Dewar <dewar@adacore.com>
* system-darwin-x86.ads: Correct bad definition of Max_Nonbinary_Modulus
From-SVN: r138576
Robert Dewar [Mon, 4 Aug 2008 08:37:31 +0000 (10:37 +0200)]
restrict.adb: Improved messages for restriction warnings
2008-08-04 Robert Dewar <dewar@adacore.com>
* restrict.adb: Improved messages for restriction warnings
* restrict.ads: Improved messages for restriction messages
* s-rident.ads (Profile_Name): Add No_Profile
From-SVN: r138575
GCC Administrator [Mon, 4 Aug 2008 00:16:36 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r138573
Jerry DeLisle [Sun, 3 Aug 2008 22:02:22 +0000 (22:02 +0000)]
fmt_t_7.f: Replace CR-LF with LF.
2008-08-03 Jerry DeLisle <jvdelisle@gcc.gnu.org>
* gfortran.dg/fmt_t_7.f: Replace CR-LF with LF.
From-SVN: r138568
Uros Bizjak [Sun, 3 Aug 2008 18:45:17 +0000 (20:45 +0200)]
mmx.md (*mov<mode>_internal_rex64): Use Yi instead of x to avoid inter-unit moves for !TARGET_INTER_UNIT_MOVES.
* config/i386/mmx.md (*mov<mode>_internal_rex64): Use Yi instead of x
to avoid inter-unit moves for !TARGET_INTER_UNIT_MOVES.
(*movv2sf_internal_rex64): Ditto.
From-SVN: r138566
Jan Hubicka [Sun, 3 Aug 2008 12:04:49 +0000 (14:04 +0200)]
optabs.c (expand_binop, [...]): Upse optimize_insn_for_speed predicate.
* optabs.c (expand_binop, expand_builtin_pow, expand_builtin_powi,
expand_builtin_strcat): Upse optimize_insn_for_speed predicate.
* expmed.c (expand_smod_pow2): Likewise.
From-SVN: r138565
Uros Bizjak [Sun, 3 Aug 2008 06:13:04 +0000 (08:13 +0200)]
re PR target/36992 (Very stange code for _mm_move_epi64)
PR target/36992
* config/i386/sse.md (vec_concatv2di): Add Y2 constraint to
alternative 0 of operand 1.
(*vec_concatv2di_rex64_sse): Ditto.
(*vec_concatv2di_rex64_sse4_1): Add x constraint to alternative 0
of operand 1.
(*sse2_storeq_rex64): Penalize allocation of "r" registers.
* config/i386/mmx.md (*mov<mode>_internal_rex64): Penalize allocation
of "Y2" registers to avoid SSE <-> MMX conversions for DImode moves.
(*movv2sf_internal_rex64): Ditto.
testsuite/ChangeLog:
PR target/36992
* gcc.target/i386/pr36992-1.c: New test.
* gcc.target/i386/pr36992-2.c: Ditto.
From-SVN: r138564
Alan Modra [Sun, 3 Aug 2008 03:37:55 +0000 (03:37 +0000)]
mt-spu (all-ld): Update for ld Makefile changes.
* mt-spu (all-ld): Update for ld Makefile changes.
From-SVN: r138562
GCC Administrator [Sun, 3 Aug 2008 00:16:39 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r138560
Keith Seitz [Sat, 2 Aug 2008 22:56:04 +0000 (22:56 +0000)]
tcl.m4 (SC_PATH_TCLCONFIG): Add some simple logic to deal with cygwin.
* tcl.m4 (SC_PATH_TCLCONFIG): Add some simple logic to deal
with cygwin.
(SC_PATH_TKCONFIG): Likewise.
From-SVN: r138555
Richard Guenther [Sat, 2 Aug 2008 12:05:47 +0000 (12:05 +0000)]
re PR tree-optimization/35252 (No vectorization for complex arrays)
2008-08-02 Richard Guenther <rguenther@suse.de>
PR target/35252
* config/i386/sse.md (SSEMODE4S, SSEMODE2D): New mode iterators.
(ssedoublesizemode): New mode attribute.
(sse_shufps): Call gen_sse_shufps_v4sf.
(sse_shufps_1): Macroize.
(sse2_shufpd): Call gen_Sse_shufpd_v2df.
(sse2_shufpd_1): Macroize.
(vec_extract_odd, vec_extract_even): New expanders.
(vec_interleave_highv4sf, vec_interleave_lowv4sf,
vec_interleave_highv2df, vec_interleave_lowv2df): Likewise.
* i386.c (ix86_expand_vector_init_one_nonzero): Call
gen_sse_shufps_v4sf instead of gen_sse_shufps_1.
(ix86_expand_vector_set): Likewise.
(ix86_expand_reduc_v4sf): Likewise.
* lib/target-supports.exp (vect_extract_even_odd_wide) Add.
(vect_strided_wide): Likewise.
* gcc.dg/vect/fast-math-pr35982.c: Enable for
vect_extract_even_odd_wide.
* gcc.dg/vect/fast-math-vect-complex-3.c: Likewise.
* gcc.dg/vect/vect-1.c: Likewise.
* gcc.dg/vect/vect-107.c: Likewise.
* gcc.dg/vect/vect-98.c: Likewise.
* gcc.dg/vect/vect-strided-float.c: Likewise.
* gcc.dg/vect/slp-11.c: Enable for vect_strided_wide.
* gcc.dg/vect/slp-12a.c: Likewise.
* gcc.dg/vect/slp-12b.c: Likewise.
* gcc.dg/vect/slp-19.c: Likewise.
* gcc.dg/vect/slp-23.c: Likewise.
* gcc.dg/vect/slp-5.c: Likewise.
From-SVN: r138553
Eric Botcazou [Sat, 2 Aug 2008 10:49:51 +0000 (10:49 +0000)]
utils2.c (build_binary_op): New case.
* gcc-interface/utils2.c (build_binary_op) <PLUS_EXPR, MINUS_EXPR>:
New case. Convert BOOLEAN_TYPE operation to the default integer type.
From-SVN: r138552
Doug Kwan [Sat, 2 Aug 2008 01:25:48 +0000 (01:25 +0000)]
matrix-reorg.c: Re-enable all code.
2008-08-01 Doug Kwan <dougkwan@google.com>
* matrix-reorg.c: Re-enable all code.
(struct malloc_call_data): Change CALL_STMT to gimple type.
(collect_data_for_malloc_call): Tuplify.
(struct access_site_info): Change STMT to gimple type.
(struct matrix_info): Change MIN_INDIRECT_LEVEL_ESCAPE_STMT,
and MALLOC_FOR_LEVEL to gimple and gimple pointer type.
(struct free_info): Change STMT to gimple type.
(struct matrix_access_phi_node): Change PHI to gimple type.
(get_inner_of_cast_expr): Remove.
(may_flatten_matrices_1): Tuplify.
(may_flatten_matrices): Ditto.
(mark_min_matrix_escape_level): Ditto.
(ssa_accessed_in_tree): Refactor statement RHS related code into ...
(ssa_accessed_in_call_rhs): New
(ssa_accessed_in_assign_rhs): New
(record_access_alloc_site_info): Tuplify.
(add_allocation_site): Ditto.
(analyze_matrix_allocation_site): Ditto.
(analyze_transpose): Ditto.
(get_index_from_offset): Ditto.
(update_type_size): Ditto.
(analyze_accesses_for_call_expr): Tuplify and renamed into ...
(analyze_accesses_for_call_stmt): New. Also handle LHS of a call.
(analyze_accesses_for_phi_node): Tuplify.
(analyze_accesses_for_modify_stmt): Tuplify and renamed into ...
(analyze_accesses_for_assign_stmt): Remove code for handling call LHS.
(analyze_matrix_accesses): Tuplify.
(check_var_data): New call-back type for check_var_notmodified_p.
(check_var_notmodified_p): Tuplify and use call-back struct to
return statement found.
(can_calculate_expr_before_stmt): Factor out statement related code
into ...
(can_calculate_stmt_before_stmt): New.
(check_allocation_function): Tuplify.
(find_sites_in_func): Ditto.
(record_all_accesses_in_func): Ditto.
(transform_access_sites): Ditto.
(transform_allocation_sites): Ditto.
(matrix_reorg): Re-enable.
(gate_matrix_reorg): Re-enable.
From-SVN: r138544
GCC Administrator [Sat, 2 Aug 2008 00:16:48 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r138541
Jakub Jelinek [Fri, 1 Aug 2008 20:30:09 +0000 (22:30 +0200)]
dwarf2out.c (compute_barrier_args_size): Set barrier_args_size for labels for which it hasn't been set yet.
* dwarf2out.c (compute_barrier_args_size): Set barrier_args_size
for labels for which it hasn't been set yet. If it has been set,
stop walking insns and continue with next worklist item.
(dwarf2out_stack_adjust): Don't call compute_barrier_args_size
if the only BARRIER is at the very end of a function.
From-SVN: r138537
Jakub Jelinek [Fri, 1 Aug 2008 19:01:33 +0000 (21:01 +0200)]
re PR tree-optimization/36991 (ICE in remove_useless_stmts_1, at tree-cfg.c:1882)
2008-08-01 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/36991
* gcc.dg/pr36991.c: New test.
From-SVN: r138530
H.J. Lu [Fri, 1 Aug 2008 16:10:28 +0000 (09:10 -0700)]
Add missing ChangeLog entry for revision 138517.
From-SVN: r138525
H.J. Lu [Fri, 1 Aug 2008 16:05:50 +0000 (16:05 +0000)]
cfgexpand.c (expand_stack_alignment): Assert that stack_realign_drap and drap_rtx must match.
2008-08-01 H.J. Lu <hongjiu.lu@intel.com>
* cfgexpand.c (expand_stack_alignment): Assert that
stack_realign_drap and drap_rtx must match.
* function.c (instantiate_new_reg): If DRAP is used to realign
stack, replace virtual_incoming_args_rtx with internal arg
pointer.
From-SVN: r138524
Richard Guenther [Fri, 1 Aug 2008 14:42:42 +0000 (14:42 +0000)]
tree-ssa-pre.c (fini_pre): Take in_fre parameter.
2008-08-01 Richard Guenther <rguenther@suse.de>
* tree-ssa-pre.c (fini_pre): Take in_fre parameter. Free
loop information only if we initialized it.
(execute_pre): Call fini_pre with in_fre.
* tree-ssa-loop-ivcanon (try_unroll_loop_completely): Dump
if we do not unroll because we hit max-completely-peeled-insns.
Use our estimation for consistency, do allow shrinking.
From-SVN: r138522
Eric Botcazou [Fri, 1 Aug 2008 14:10:10 +0000 (14:10 +0000)]
* gnat.dg/boolean_expr.ad[sb]: Rename to boolean_expr1.ad[sb].
From-SVN: r138520
Paolo Bonzini [Fri, 1 Aug 2008 14:06:38 +0000 (14:06 +0000)]
acinclude.m4 ([GLIBCXX_CHECK_CLOCK_GETTIME]): Reinstate clock_gettime search, but only in libposix4, never link librt.
2008-08-01 Paolo Bonzini <bonzini@gnu.org>
Chris Fairles <chris.fairles@gmail.com>
* acinclude.m4 ([GLIBCXX_CHECK_CLOCK_GETTIME]): Reinstate clock_gettime
search, but only in libposix4, never link librt.
* src/Makefile.am: Reinstate previous change to add GLIBCXX_LIBS.
* configure: Regenerate.
* configure.in: Likewise.
* Makefile.in: Likewise.
* src/Makefile.in: Likewise.
* libsup++/Makefile.in: Likewise.
* po/Makefile.in: Likewise.
* doc/Makefile.in: Likewise.
Co-Authored-By: Chris Fairles <chris.fairles@gmail.com>
From-SVN: r138519
Eric Botcazou [Fri, 1 Aug 2008 14:02:10 +0000 (14:02 +0000)]
ada-tree.h (DECL_PARM_ALT): Now DECL_PARM_ALT_TYPE.
* gcc-interface/ada-tree.h (DECL_PARM_ALT): Now DECL_PARM_ALT_TYPE.
* gcc-interface/decl.c (gnat_to_gnu_param): Fix formatting, simplify
and adjust for above renaming.
* gcc-interface/utils.c (convert_vms_descriptor): Likewise. Add new
gnu_expr_alt_type parameter. Convert the expression to it instead
of changing its type in place.
(build_function_stub): Adjust call to above function.
From-SVN: r138518
H.J. Lu [Fri, 1 Aug 2008 13:30:03 +0000 (06:30 -0700)]
i386.c (override_options): Replace ABI_STACK_BOUNDARY with MIN_STACK_BOUNDARY.
2008-08-01 H.J. Lu <hongjiu.lu@intel.com>
* config/i386/i386.c (override_options): Replace ABI_STACK_BOUNDARY
with MIN_STACK_BOUNDARY.
(ix86_update_stack_boundary): Likewise.
(ix86_expand_prologue): Assert MIN_STACK_BOUNDARY instead of
STACK_BOUNDARY.
* config/i386/i386.h (ABI_STACK_BOUNDARY): Renamed to ...
(MIN_STACK_BOUNDARY): This.
From-SVN: r138517
Andreas Schwab [Fri, 1 Aug 2008 13:14:39 +0000 (13:14 +0000)]
Remove conflict marker.
From-SVN: r138516
Richard Guenther [Fri, 1 Aug 2008 13:12:38 +0000 (13:12 +0000)]
re PR middle-end/36997 (ICE with incompatible arg to '__builtin_ia32_paddq)
2008-08-01 Richard Guenther <rguenther@suse.de>
PR middle-end/36997
* gimplify.c (gimplify_call_expr): Set error_mark_node on GS_ERROR.
* gcc.dg/pr36997.c: New testcase.
From-SVN: r138515
Eric Botcazou [Fri, 1 Aug 2008 13:11:51 +0000 (13:11 +0000)]
Revert incorrect patch.
From-SVN: r138514
Eric Botcazou [Fri, 1 Aug 2008 12:39:57 +0000 (12:39 +0000)]
decl.c (gnat_to_gnu_entity): Remove dead code.
2008-08-01 Eric Botcazou <ebotcazou@adacore.com>
* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Constant>: Remove dead
code. Do not get full definition of deferred constants with address
clause for a use. Do not ignore deferred constant definitions with
address clause. Ignore constant definitions already marked with the
error node.
<object>: Remove obsolete comment. For a deferred constant with
address clause, get the initializer from the full view.
* gcc-interface/trans.c (gnat_to_gnu) <N_Attribute_Definition_Clause>:
Rework and remove obsolete comment.
<N_Object_Declaration>: For a deferred constant with address clause,
mark the full view with the error node.
* gcc-interface/utils.c (convert_to_fat_pointer): Rework and fix
formatting nits.
From-SVN: r138513
Richard Guenther [Fri, 1 Aug 2008 11:18:36 +0000 (11:18 +0000)]
re PR middle-end/36988 (ICE in gimple_rhs_has_side_effects, at gimple.c:2369)
2008-08-01 Richard Guenther <rguenther@suse.de>
PR tree-optimization/36988
* tree-ssa-ccp.c (ccp_fold): Conversions of constants only
do not matter if that doesn't change volatile qualification.
* gcc.c-torture/compile/pr36988.c: New testcase.
From-SVN: r138512
Arnaud Charlet [Fri, 1 Aug 2008 10:47:27 +0000 (12:47 +0200)]
rtsfind.ads: Add block IO versions of stream routines for Strings.
2008-08-01 Hristian Kirtchev <kirtchev@adacore.com>
* rtsfind.ads: Add block IO versions of stream routines for Strings.
* bindgen.adb, gnat_rm.texi, gnat_ugn.texi, opt.ads,
sem_prag.adb, snames.adb, snames.ads, snames.h,
par-prag.adb: Undo Canonical_Streams related changes.
* s-rident.ads: Add new restriction No_Stream_Optimizations.
* s-ststop.ads, s-ststop.adb: Comment reformatting.
Define enumeration type to designate different IO mechanisms.
Enchance generic package Stream_Ops_Internal to include an
implementation of Input and Output.
* exp_attr.adb (Find_Stream_Subprogram): If restriction
No_Stream_Optimization is active, choose the default byte IO
implementations of stream attributes for Strings.
Otherwise use the corresponding block IO version.
From-SVN: r138511
Robert Dewar [Fri, 1 Aug 2008 10:44:17 +0000 (12:44 +0200)]
par-ch3.adb (P_Defining_Identifier): Avoid repeated attempt to convert plain identifier into defining identifier.
2008-08-01 Robert Dewar <dewar@adacore.com>
* par-ch3.adb (P_Defining_Identifier): Avoid repeated attempt to
convert plain identifier into defining identifier.
From-SVN: r138510
Olivier Hainque [Fri, 1 Aug 2008 10:36:01 +0000 (10:36 +0000)]
decl.c (gnat_to_gnu_entity): Do not turn Ada Pure into GCC const, now implicitely implying nothrow as well.
ada/
* decl.c (gnat_to_gnu_entity) <case E_Function>: Do not turn Ada
Pure into GCC const, now implicitely implying nothrow as well.
testsuite/
* gnat.dg/raise_from_pure.ad[bs],
* gnat.dg/wrap_raise_from_pure.ad[bs]: Support for ...
* gnat.dg/test_raise_from_pure.adb: New test.
From-SVN: r138509
Arnaud Charlet [Fri, 1 Aug 2008 10:33:45 +0000 (12:33 +0200)]
ioexcept.ads, [...]: Correct comment.
2008-08-01 Bob Duff <duff@adacore.com>
* ioexcept.ads, sequenio.ads, directio.ads: Correct comment.
From-SVN: r138508
Robert Dewar [Fri, 1 Aug 2008 10:33:29 +0000 (12:33 +0200)]
lib-xref.adb: Add error defense.
2008-08-01 Robert Dewar <dewar@adacore.com>
* lib-xref.adb: Add error defense.
From-SVN: r138507
Robert Dewar [Fri, 1 Aug 2008 10:33:21 +0000 (12:33 +0200)]
sem_prag.adb (Check_Form_Of_Interface_Name): Refine and improve warnings
2008-08-01 Robert Dewar <dewar@adacore.com>
* sem_prag.adb (Check_Form_Of_Interface_Name): Refine and improve
warnings
From-SVN: r138506
Arnaud Charlet [Fri, 1 Aug 2008 09:31:42 +0000 (11:31 +0200)]
par-ch3.adb (P_Type_Declaration): Properly handle missing type keyword
2008-08-01 Robert Dewar <dewar@adacore.com>
* par-ch3.adb (P_Type_Declaration): Properly handle missing type
keyword
From-SVN: r138503
Thomas Quinot [Fri, 1 Aug 2008 09:31:18 +0000 (11:31 +0200)]
sem_ch12.adb: Minor comment reformatting
2008-08-01 Thomas Quinot <quinot@adacore.com>
* sem_ch12.adb: Minor comment reformatting
From-SVN: r138502
Robert Dewar [Fri, 1 Aug 2008 09:31:06 +0000 (11:31 +0200)]
2008-08-01 Robert Dewar <dewar@adacore.com>
* sem_res.adb:
(Resolve_Call): Check violation of No_Specific_Termination_Handlers
From-SVN: r138501
Robert Dewar [Fri, 1 Aug 2008 09:30:53 +0000 (11:30 +0200)]
sem_prag.adb (Analyze_Pragma): Put entries in alpha order
2008-08-01 Robert Dewar <dewar@adacore.com>
* sem_prag.adb (Analyze_Pragma): Put entries in alpha order
(Analyze_Pragma): Make sure all GNAT pragmas call GNAT_Pragma
From-SVN: r138500
Robert Dewar [Fri, 1 Aug 2008 09:30:37 +0000 (11:30 +0200)]
scans.ads: Minor reformatting.
2008-08-01 Robert Dewar <dewar@adacore.com>
* scans.ads: Minor reformatting.
From-SVN: r138499
Robert Dewar [Fri, 1 Aug 2008 09:30:26 +0000 (11:30 +0200)]
par-prag.adb (Prag, [...]): Deal with upper half encodings
2008-08-01 Robert Dewar <dewar@adacore.com>
* par-prag.adb (Prag, case Wide_Character_Encoding): Deal with upper
half encodings
From-SVN: r138498
Robert Dewar [Fri, 1 Aug 2008 09:30:14 +0000 (11:30 +0200)]
s-os_lib.adb: Minor reformatting
2008-08-01 Robert Dewar <dewar@adacore.com>
* s-os_lib.adb: Minor reformatting
From-SVN: r138497
Robert Dewar [Fri, 1 Aug 2008 09:30:05 +0000 (11:30 +0200)]
prj.ads: Minor reformatting
2008-08-01 Robert Dewar <dewar@adacore.com>
* prj.ads: Minor reformatting
From-SVN: r138496
Robert Dewar [Fri, 1 Aug 2008 09:29:48 +0000 (11:29 +0200)]
sem_ch4.adb: Minor reformatting Minor code reorganization
2008-08-01 Robert Dewar <dewar@adacore.com>
* sem_ch4.adb: Minor reformatting
Minor code reorganization
From-SVN: r138495
Robert Dewar [Fri, 1 Aug 2008 09:29:39 +0000 (11:29 +0200)]
prj-nmsc.adb: Minor reformatting
2008-08-01 Robert Dewar <dewar@adacore.com>
* prj-nmsc.adb: Minor reformatting
From-SVN: r138494
Gary Dismukes [Fri, 1 Aug 2008 09:29:30 +0000 (11:29 +0200)]
exp_ch6.adb (Expand_Call): Adjustment to previous fix for passing correct accessibility levels.
2008-08-01 Gary Dismukes <dismukes@adacore.com>
* exp_ch6.adb (Expand_Call): Adjustment to previous fix for passing
correct accessibility levels. In the "when others" case, retrieve the
access level of the Etype of Prev rather than Prev_Orig, because the
original exression has not always been analyzed.
From-SVN: r138493
Eric Botcazou [Fri, 1 Aug 2008 09:10:16 +0000 (09:10 +0000)]
utils.c (convert_vms_descriptor): Add gnu_expr_alt_type parameter.
2008-08-01 Eric Botcazou <ebotcazou@adacore.com>
* gcc-interface/utils.c (convert_vms_descriptor): Add gnu_expr_alt_type
parameter.
Convert the expression to it instead of changing its type in place.
(build_function_stub): Adjust call to above function.
From-SVN: r138492
Arnaud Charlet [Fri, 1 Aug 2008 09:04:06 +0000 (11:04 +0200)]
sem_ch4.adb (Analyze_One_Call): Handle complex overloading of a procedure call whose prefix is a parameterless...
2008-08-01 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb (Analyze_One_Call): Handle complex overloading of a
procedure call whose prefix
is a parameterless function call that returns an access_to_procedure.
From-SVN: r138491
Gary Dismukes [Fri, 1 Aug 2008 09:03:35 +0000 (11:03 +0200)]
exp_ch6.adb (Expand_Call): Remove ugly special-case code that resets Orig_Prev to Prev in the case where...
2008-08-01 Gary Dismukes <dismukes@adacore.com>
* exp_ch6.adb (Expand_Call): Remove ugly special-case code that resets
Orig_Prev to Prev in the case where the actual is N_Function_Call or
N_Identifier. This was interfering with other cases that are rewritten
as N_Identifier, such as allocators, resulting in passing of the wrong
accessibility level, and based on testing this code is apparently no
longer needed at all.
From-SVN: r138490
Ed Schonberg [Fri, 1 Aug 2008 09:03:23 +0000 (11:03 +0200)]
2008-08-01 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb:
(Check_Precondition_Postcondition): If not generating code, analyze the
expression in a postcondition that appears in a subprogram body, so that
it is properly decorated for ASIS use.
From-SVN: r138489
Vincent Celier [Fri, 1 Aug 2008 09:03:11 +0000 (11:03 +0200)]
2008-08-01 Vincent Celier <celier@adacore.com>
* mlib-utl.adb:
(Adalib_Path): New variable to store the path of the adalib directory
when procedure Specify_Adalib_Dir is called.
(Lib_Directory): If Adalib_Path is not null, return its value
(Specify_Adalib_Dir): New procedure
* mlib-utl.ads (Specify_Adalib_Dir): New procedure
From-SVN: r138488
Vincent Celier [Fri, 1 Aug 2008 09:02:58 +0000 (11:02 +0200)]
prj-attr.adb: New attribute Compiler'Name_Syntax (<lang>)
2008-08-01 Vincent Celier <celier@adacore.com>
* prj-attr.adb: New attribute Compiler'Name_Syntax (<lang>)
* prj-nmsc.adb (Process_Compiler): Recognize attribute Name_Syntax
* prj.adb (Object_Exist_For): Use Object_Generated, not
Objects_Generated that is removed and was never modified anyway.
* prj.ads:
(Path_Syntax_Kind): New enumeration type
(Language_Config): New component Path_Syntax, defaulted to Host.
Components PIC_Option and Objects_Generated removed, as they are not
used.
* snames.adb: New standard name Path_Syntax
* snames.ads: New standard name Path_Syntax
From-SVN: r138487
Ed Schonberg [Fri, 1 Aug 2008 09:02:44 +0000 (11:02 +0200)]
checks.adb (Apply_Float_Conversion_Check): If the expression to be converted is a real literal and the target type has...
2008-08-01 Ed Schonberg <schonberg@adacore.com>
* checks.adb (Apply_Float_Conversion_Check): If the expression to be
converted is a real literal and the target type has static bounds,
perform the conversion exactly to prevent floating-point anomalies on
some targets.
From-SVN: r138486
Robert Dewar [Fri, 1 Aug 2008 09:02:34 +0000 (11:02 +0200)]
sem_ch6.adb (Process_PPCs): Don't copy spec PPC to body if not generating code
2008-08-01 Robert Dewar <dewar@adacore.com>
* sem_ch6.adb (Process_PPCs): Don't copy spec PPC to body if not
generating code
From-SVN: r138485
Arnaud Charlet [Fri, 1 Aug 2008 08:35:21 +0000 (10:35 +0200)]
s-os_lib.adb (Normalize_Pathname): Take care of double-quotes in paths...
2008-08-01 Jerome Lambourg <lambourg@adacore.com>
* s-os_lib.adb (Normalize_Pathname): Take care of double-quotes in
paths, which are authorized by Windows but can lead to errors when used
elsewhere.
From-SVN: r138484
Robert Dewar [Fri, 1 Aug 2008 08:35:04 +0000 (10:35 +0200)]
sem_ch6.adb (Analyze_Subprogram_Body): Remove special casing of Raise_Exception
2008-08-01 Robert Dewar <dewar@adacore.com>
* sem_ch6.adb (Analyze_Subprogram_Body): Remove special casing of
Raise_Exception
From-SVN: r138483
Jose Ruiz [Fri, 1 Aug 2008 08:34:50 +0000 (10:34 +0200)]
adaint.c (__gnat_tmp_name): Refine the generation of temporary names for RTX.
2008-08-01 Jose Ruiz <ruiz@adacore.com>
* adaint.c (__gnat_tmp_name): Refine the generation of temporary names
for RTX. Adding a suffix that is incremented at each iteration.
From-SVN: r138482
Jose Ruiz [Fri, 1 Aug 2008 08:19:29 +0000 (10:19 +0200)]
gnat_ugn.texi: Document the RTX run times (rts-rtx-rtss and rts-rtx-w32).
2008-08-01 Jose Ruiz <ruiz@adacore.com>
* gnat_ugn.texi: Document the RTX run times (rts-rtx-rtss and
rts-rtx-w32).
From-SVN: r138481
Arnaud Charlet [Fri, 1 Aug 2008 08:19:04 +0000 (10:19 +0200)]
sem_ch12.ads (Need_Subprogram_Instance_Body): new function...
2008-08-01 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.ads (Need_Subprogram_Instance_Body): new function, to create
a pending instantiation for the body of a subprogram that is to be
inlined.
* sem_ch12.adb:
(Analyze_Subprogram_Instantiation): use Need_Subprogram_Instance_Body.
* sem_prag.adb (Make_Inline): If the pragma applies to an instance,
create a pending instance for its body, so that calls to the subprogram
can be inlined by the back-end.
From-SVN: r138480
Paolo Bonzini [Fri, 1 Aug 2008 08:18:13 +0000 (08:18 +0000)]
configure.ac: Do not generate libada-mk.
gcc:
2008-08-01 Paolo Bonzini <bonzini@gnu.org>
* configure.ac: Do not generate libada-mk. Do not subst
host_cc_for_libada.
* libada-mk.in: Remove.
* Makefile.in: Pass TARGET_LIBGCC2_CFLAGS to libgcc.mvars.
* configure: Regenerate.
libada:
2008-08-01 Paolo Bonzini <bonzini@gnu.org>
* configure.ac (warn_cflags): Substitute.
* configure: Regenerate.
* Makefile.in (libdir, WARN_CFLAGS): Substitute.
(GCC_WARN_CFLAGS): Remove NOCOMMON_FLAG.
(ADA_CFLAGS, T_ADA_CFLAGS, X_ADA_CFLAGS, ALL_ADA_CFLAGS): Remove,
they were unused.
(libada-mk): Do not include. Include libgcc.mvars instead.
(tmake_file): Remove, do not include.
(FLAGS_TO_PASS): Pass dummy values for exeext and CC.
* configure: Regenerate.
gnattools:
2008-08-01 Paolo Bonzini <bonzini@gnu.org>
* configure.ac (warn_cflags): Substitute.
* configure: Regenerate.
* Makefile.in (libdir, exeext, WARN_CFLAGS): Substitute.
(GCC_WARN_CFLAGS): Remove NOCOMMON_FLAG.
(ADA_INCLUDE_DIR, ADA_RTL_OBJ_DIR): Remove as they were unused.
(libsubdir): Remove.
(libada-mk): Do not include. Include libgcc.mvars instead.
(xmake_file): Remove, do not include.
From-SVN: r138479
Arnaud Charlet [Fri, 1 Aug 2008 07:56:48 +0000 (09:56 +0200)]
Resync.
From-SVN: r138475
Jose Ruiz [Fri, 1 Aug 2008 07:56:32 +0000 (09:56 +0200)]
adaint.c (__gnat_tmp_name): RTSS applications do not support tempnam nor tmpnam...
2008-08-01 Jose Ruiz <ruiz@adacore.com>
* adaint.c (__gnat_tmp_name): RTSS applications do not support tempnam
nor tmpnam, so we always use c:\WINDOWS\Temp\gnat-XXXXXX as temporary
name.
From-SVN: r138474
Doug Rupp [Fri, 1 Aug 2008 07:56:20 +0000 (09:56 +0200)]
gnat_rm.texi: Document new mechanism Short_Descriptor.
2008-08-01 Doug Rupp <rupp@adacore.com>
* gnat_rm.texi: Document new mechanism Short_Descriptor.
* types.ads (Mechanism_Type): Modify range for new Short_Descriptor
mechanism values.
* sem_prag.adb (Set_Mechanism_Value): Enhance for Short_Descriptor
mechanism and Short_Descriptor mechanism values.
* snames.adb (preset_names): Add short_descriptor entry.
* snames.ads: Add Name_Short_Descriptor.
* types.h: Add new By_Short_Descriptor mechanism values.
* sem_mech.adb (Set_Mechanism_Value): Enhance for Short_Descriptor
mechanism and Short_Descriptor mechanism values.
* sem_mech.ads (Mechanism_Type): Add new By_Short_Descriptor mechanism
values.
(Descriptor_Codes): Modify range for new mechanism values.
* treepr.adb (Print_Entity_Enfo): Handle new By_Short_Descriptor
mechanism values.
* gcc-interface/decl.c (gnat_to_gnu_entity): Handle By_Short_Descriptor.
(gnat_to_gnu_param): Handle By_Short_Descriptor.
* gcc-interface/gigi.h (build_vms_descriptor64): Remove prototype.
(build_vms_descriptor32): New prototype.
(fill_vms_descriptor): Remove unneeded gnat_actual parameter.
* gcc-interface/trans.c (call_to_gnu): Removed unneeded gnat_actual
argument in call fill_vms_descriptor.
* gcc-interface/utils.c (build_vms_descriptor32): Renamed from
build_vms_descriptor and enhanced to hande Short_Descriptor mechanism.
(build_vms_descriptor): Renamed from build_vms_descriptor64.
(convert_vms_descriptor32): New function.
(convert_vms_descriptor64): New function.
(convert_vms_descriptor): Rewrite to handle both 32bit and 64bit
descriptors.
* gcc-interface/utils2.c (fill_vms_descriptor): Revert previous changes,
no longer needed.
From-SVN: r138473
Robert Dewar [Fri, 1 Aug 2008 07:56:07 +0000 (09:56 +0200)]
scng.adb (Error_Illegal_Wide_Character): Bump scan pointer
2008-08-01 Robert Dewar <dewar@adacore.com>
* scng.adb (Error_Illegal_Wide_Character): Bump scan pointer
From-SVN: r138472
Arnaud Charlet [Fri, 1 Aug 2008 07:43:16 +0000 (09:43 +0200)]
Resync.
From-SVN: r138470
Arnaud Charlet [Fri, 1 Aug 2008 07:41:55 +0000 (09:41 +0200)]
Update comments.
From-SVN: r138469
Robert Dewar [Fri, 1 Aug 2008 07:39:30 +0000 (09:39 +0200)]
scng.adb: Minor reformatting
2008-08-01 Robert Dewar <dewar@adacore.com>
* scng.adb: Minor reformatting
From-SVN: r138468
projects / platform / upstream / gcc.git / log