aboutsummaryrefslogtreecommitdiff
path: root/gcc
AgeCommit message (Collapse)AuthorFilesLines
2008-08-22s-sopco4.adb: Minor code fix to avoid warningRobert Dewar3-7/+7
2008-08-22 Robert Dewar <dewar@adacore.com> * s-sopco4.adb: Minor code fix to avoid warning * s-sopco5.adb: Minor code fix to avoid warning * s-strops.adb: Minor code fix to avoid warning From-SVN: r139488
2008-08-22lib-xref.ads: Fix typo in subprogram reference definition.Arnaud Charlet1-1/+1
2008-08-22 Arnaud Charlet <charlet@adacore.com> * lib-xref.ads: Fix typo in subprogram reference definition. From-SVN: r139487
2008-08-22s-sopco3.adb: Minor code fix to avoid warningRobert Dewar1-2/+2
2008-08-22 Robert Dewar <dewar@adacore.com> * s-sopco3.adb: Minor code fix to avoid warning From-SVN: r139486
2008-08-22checks.adb (Determine_Range): Deal with values that might be invalidArnaud Charlet11-850/+935
2008-08-22 Robert Dewar <dewar@adacore.com> * checks.adb (Determine_Range): Deal with values that might be invalid * opt.adb, opt.ads (Assume_No_Invalid_Values[_Config]): New configuration switches. * par-prag.adb: Dummy entry for pragma Assume_No_Invalid_Values * sem_prag.adb: Implement pragma Assume_No_Default_Values * snames.adb, snames.ads, snames.h: Add entries for pragma Assume_No_Invalid_Values * switch-c.adb: Add processing for -gnatB switch * usage.adb: Add entry for flag -gnatB (no bad invalid values) From-SVN: r139484
2008-08-22exp_ch3.adb (Build_Init_Statements): Transfer to the body of the init ↵Javier Miranda1-0/+41
procedure all the expanded code associated... 2008-08-22 Javier Miranda <miranda@adacore.com> * exp_ch3.adb (Build_Init_Statements): Transfer to the body of the init procedure all the expanded code associated with the spec of task types and protected types. From-SVN: r139483
2008-08-22opt.ads: Minor code reorganization (put entries in alpha order)Arnaud Charlet2-10/+21
2008-08-22 Robert Dewar <dewar@adacore.com> * opt.ads: Minor code reorganization (put entries in alpha order) From-SVN: r139481
2008-08-22sem_util.adb (Has_Preelaborable_Initialization): Revise checking of private ↵Gary Dismukes1-8/+14
types to allow for types derived from a private type... 2008-08-22 Gary Dismukes <dismukes@adacore.com> * sem_util.adb (Has_Preelaborable_Initialization): Revise checking of private types to allow for types derived from a private type with preelaborable initialization, but return False for a private extension (unless it has the pragma). From-SVN: r139480
2008-08-22exp_aggr.adb (Static_Array_Aggregate): Call Analyze_And_Resolve on the ↵Gary Dismukes1-5/+6
component expression copies rather than... 2008-08-22 Gary Dismukes <dismukes@adacore.com> * exp_aggr.adb (Static_Array_Aggregate): Call Analyze_And_Resolve on the component expression copies rather than directly setting Etype and Is_Static_Expression. From-SVN: r139479
2008-08-22exp_ch3.adb: Revert previous patch.Javier Miranda1-39/+0
2008-08-22 Javier Miranda <miranda@adacore.com> * exp_ch3.adb: Revert previous patch. From-SVN: r139478
2008-08-22exp_ch3.adb (Build_Init_Statements): Transfer to the body of the init ↵Arnaud Charlet2-6/+56
procedure all the expanded code associated... 2008-08-22 Javier Miranda <miranda@adacore.com> * exp_ch3.adb (Build_Init_Statements): Transfer to the body of the init procedure all the expanded code associated with the spec of task types and protected types. From-SVN: r139477
2008-08-22initialize.c, adaint.c: Use Lock_Task and Unlock_Task for non-blocking spawn.Pascal Obry2-34/+30
2008-08-22 Pascal Obry <obry@adacore.com> * initialize.c, adaint.c: Use Lock_Task and Unlock_Task for non-blocking spawn. From-SVN: r139476
2008-08-22re PR target/37184 (ice in ix86_match_ccmode)Uros Bizjak9-44/+188
PR target/37184 * config/i386/i386.c (ix86_match_ccmode): Handle CCAmode, CCCmode, CCOmode and CCSmode destination modes. PR target/37191 * config/i386/mmx.md (*vec_extractv2sf_0): Avoid combining registers from different units in a single alternative. (*vec_extractv2sf_1): Ditto. (*vec_extractv2si_0): Ditto. (*vec_extractv2si_1): Ditto. * config/i386/sse.md (sse2_storehpd): Ditto. (sse2_storelpd): Ditto. (sse2_loadhpd): Ditto. (sse2_loadlpd): Ditto. PR target/37197 * config/i386/i386.md (clzsi2_abm): Fix operand 1 constraints. (popcountsi2): Ditto. (clzdi2_abm): Ditto. (popcountdi2): Ditto. (clzhi2_abm): Ditto. (popcounthi2): Ditto. testsuite/ChangeLog: PR target/37184 * gcc.target/i386/pr37184.c: New test. PR target/37191 * gcc.target/i386/pr37191.c: New test. PR target/37197 * gcc.target/i386/pr37197.c: New test. From-SVN: r139471
2008-08-22trans.c: Define FP_ARITH_MAY_WIDENGeert Bosch2-4/+21
2008-08-22 Geert Bosch <bosch@adacore.com> * gcc-interface/trans.c: Define FP_ARITH_MAY_WIDEN (convert_with_check): Only use longest_float_type if FP_ARITH_MAY_WIDEN is 0 From-SVN: r139468
2008-08-222008-08-22 Robert Dewar <dewar@adacore.com>Arnaud Charlet6-38/+167
* checks.adb: (In_Subrange_Of): New calling sequence (Determine_Range): Prepare for new processing using base type * exp_ch4.adb: (Compile_Time_Compare): Use new calling sequence * exp_ch5.adb: (Compile_Time_Compare): Use new calling sequence * sem_eval.adb: (Compile_Time_Compare): New calling sequence allows dealing with invalid values. (In_Subrange_Of): Ditto * sem_eval.ads: (Compile_Time_Compare): New calling sequence allows dealing with invalid values. (In_Subrange_Of): Ditto From-SVN: r139467
2008-08-22adaint.c: Fix possible race condition on win32_wait().Pascal Obry1-3/+6
2008-08-22 Pascal Obry <obry@adacore.com> * adaint.c: Fix possible race condition on win32_wait(). From-SVN: r139466
2008-08-222008-08-22 Ed Schonberg <schonberg@adacore.com>Ed Schonberg1-1/+6
* exp_tss.adb: (Base_Init_Proc): For a protected subtype, use the base type of the corresponding record to locate the propoer initialization procedure. From-SVN: r139465
2008-08-22sem_ch5.adb (One_Bound): Fix latent bug involving secondary stackRobert Dewar1-7/+42
2008-08-22 Robert Dewar <dewar@adacore.com> * sem_ch5.adb (One_Bound): Fix latent bug involving secondary stack From-SVN: r139464
2008-08-22prj.ads: Minor comment updateVincent Celier1-1/+1
2008-08-22 Vincent Celier <celier@adacore.com> * prj.ads: Minor comment update From-SVN: r139463
2008-08-22exp_dist.adb: Minor reformattingRobert Dewar1-0/+2
2008-08-22 Robert Dewar <dewar@adacore.com> * exp_dist.adb: Minor reformatting From-SVN: r139462
2008-08-22exp_ch7.ads: Put routines in proper alpha orderRobert Dewar1-12/+12
2008-08-22 Robert Dewar <dewar@adacore.com> * exp_ch7.ads: Put routines in proper alpha order From-SVN: r139461
2008-08-22exp_ch7.adb: Minor reformattingRobert Dewar1-70/+70
2008-08-22 Robert Dewar <dewar@adacore.com> * exp_ch7.adb: Minor reformatting From-SVN: r139460
2008-08-22exp_ch6.adb: Minor reformattingRobert Dewar1-1/+6
2008-08-22 Robert Dewar <dewar@adacore.com> * exp_ch6.adb: Minor reformatting From-SVN: r139459
2008-08-22exp_ch6.ads: Remove pragma Precondition, since it breaks some builds.Bob Duff1-1/+1
2008-08-22 Bob Duff <duff@adacore.com> * exp_ch6.ads: Remove pragma Precondition, since it breaks some builds. From-SVN: r139458
2008-08-22sem_ch8.adb (Use_One_Type): Do not emit warning message about redundant ↵Ed Schonberg1-0/+4
use_type_clause in an instance. 2008-08-22 Ed Schonberg <schonberg@adacore.com> * sem_ch8.adb (Use_One_Type): Do not emit warning message about redundant use_type_clause in an instance. From-SVN: r139457
2008-08-22bindgen.adb [VMS] (Gen_Adainit_Ada, [...]): Import and call __gnat_set_features.Doug Rupp2-3/+124
2008-08-22 Doug Rupp <rupp@adacore.com> * bindgen.adb [VMS] (Gen_Adainit_Ada, Gen_Adainit_C): Import and call __gnat_set_features. * init.c (__gnat_set_features): New function. (__gnat_features_set): New tracking variable. (__gl_no_malloc_64): New feature global variable From-SVN: r139456
2008-08-22exp_ch5.adb, [...]: Rename...Bob Duff13-100/+131
2008-08-22 Bob Duff <duff@adacore.com> * exp_ch5.adb, exp_ch7.adb, exp_ch7.ads, exp_util.adb, freeze.adb, exp_ch4.adb, exp_ch6.ads, exp_ch6.adb, sem_ch6.adb, exp_aggr.adb, exp_intr.adb, exp_ch3.adb: Rename: Exp_Ch7.Controlled_Type => Needs_Finalization Exp_Ch7.CW_Or_Controlled_Type => CW_Or_Has_Controlled_Part Exp_Ch5.Expand_N_Extended_Return_Statement.Controlled_Type => Has_Controlled_Parts (Has_Some_Controlled_Component): Fix bug in array case. From-SVN: r139452
2008-08-22re PR middle-end/36548 (remainder gives the wrong result for wrapping case ↵Richard Guenther4-1/+48
with unsigned types) 2008-08-22 Richard Guenther <rguenther@suse.de> PR middle-end/36548 PR middle-end/37125 * fold-const.c (extract_muldiv_1): Optimize (X * C1) % C2 only if the multiplication does not overflow. * gcc.c-torture/execute/pr37125.c: New testcase. From-SVN: r139450
2008-08-22exp_ch6.ads: Minor comment fixArnaud Charlet2-1/+35
2008-08-22 Bob Duff <duff@adacore.com> * exp_ch6.ads: Minor comment fix From-SVN: r139449
2008-08-22exp_ch7.adb: Minor comment fixBob Duff1-1/+1
2008-08-22 Bob Duff <duff@adacore.com> * exp_ch7.adb: Minor comment fix From-SVN: r139448
2008-08-22exp_ch5.adb (Expand_Simple_Function_Return): If secondary stack is involved ↵Ed Schonberg1-36/+34
and the return type is class-wide... 2008-08-22 Ed Schonberg <schonberg@adacore.com> * exp_ch5.adb (Expand_Simple_Function_Return): If secondary stack is involved and the return type is class-wide, use the type of the expression for the generated access type. Suppress useless discriminant checks on the allocator. From-SVN: r139447
2008-08-22init.c: adjust EH support code on Alpha/Tru64 as well.Eric Botcazou2-29/+7
2008-08-22 Eric Botcazou <ebotcazou@adacore.com> * init.c: adjust EH support code on Alpha/Tru64 as well. * raise-gcc.c: Add back a couple of comments. From-SVN: r139446
2008-08-22s-shasto.ads, [...]: Move Shared_Var_ROpen...Kevin Pouget4-60/+40
2008-08-22 Kevin Pouget <pouget@adacore.com> * s-shasto.ads, s-shasto.adb: Move Shared_Var_ROpen, Shared_Var_WOpen and Shared_Var_Close procedure specifications from package spec to package body. * rtsfind.ads: Remove RE_Shared_Var_Close, RE_Shared_Var_ROpen, RE_Shared_Var_WOpen entries. * exp_dist.adb: Update RE_Any_Content_Ptr to RE_Any_Container_Ptr in Build_To_Any_Call, Build_TypeCode_Call and Build_From_Any_Call procedures. From-SVN: r139445
2008-08-22sem_ch8.adb: Minor reformattingRobert Dewar1-2/+4
2008-08-22 Robert Dewar <dewar@adacore.com> * sem_ch8.adb: Minor reformatting From-SVN: r139444
2008-08-222008-08-22 Robert Dewar <dewar@adacore.com>Arnaud Charlet2-1/+43
* exp_attr.adb: (Expand_N_Attribute_Reference): No validity checking on OUT parameter of Read or Input attribute. From-SVN: r139443
2008-08-22exp_aggr.adb (Static_Array_Aggregate): When a static array aggregate with a ↵Gary Dismukes2-8/+17
range is transformed into a positional... 2008-08-22 Gary Dismukes <dismukes@adacore.com> * exp_aggr.adb (Static_Array_Aggregate): When a static array aggregate with a range is transformed into a positional aggregate, any copied component literals should be marked Is_Static_Expression. * sem_eval.adb (Compile_Time_Known_Value): Don't treat null literals as not being known at at compile time when Configurable_Run_Time_Mode is true. From-SVN: r139442
2008-08-22init.c (__gnat_adjust_context_for_raise): Delete for AIX, HP-UX, Solaris, ↵Eric Botcazou2-138/+37
FreeBSD, VxWorks and PowerPC/Linux. 2008-08-22 Eric Botcazou <ebotcazou@adacore.com> * init.c (__gnat_adjust_context_for_raise): Delete for AIX, HP-UX, Solaris, FreeBSD, VxWorks and PowerPC/Linux. For x86{-64}/Linux, do not adjust the PC anymore. (__gnat_error_handler): Do not call __gnat_adjust_context_for_raise on AIX, HP-UX, Solaris, FreeBSD and VxWorks. * raise-gcc.c (get_call_site_action_for): Use _Unwind_GetIPInfo instead of _Unwind_GetIP. From-SVN: r139441
2008-08-22gnat_ugn.texi: Change the description of gnatcheck default rule settings.Sergey Rybin1-6/+1
2008-08-22 Sergey Rybin <rybin@adacore.com> * gnat_ugn.texi: Change the description of gnatcheck default rule settings. From-SVN: r139440
2008-08-22sem_ch8.adb: Minor reformatting Minor code reorganization (introduce ↵Thomas Quinot1-18/+26
subprogram to factor... 2008-08-22 Thomas Quinot <quinot@adacore.com> * sem_ch8.adb: Minor reformatting Minor code reorganization (introduce subprogram to factor duplicated code). From-SVN: r139439
2008-08-22gfortran.h (in_prefix): Removed from this header.Daniel Kraft9-66/+76
2008-08-22 Daniel Kraft <d@domob.eu> * gfortran.h (in_prefix): Removed from this header. * match.h (gfc_matching_prefix): Moved and renamed from `in_prefix'. * decl.c (in_prefix): Removed from here. (gfc_match_prefix): Use new name of `gfc_matching_prefix'. * symbol.c (gfc_check_symbol_typed): Ditto. * expr.c (check_typed_ns): New helper variable. (expr_check_typed_help): New helper method. (gfc_expr_check_typed): Rewrote to use gfc_traverse_expr to do the work, fixing a minor problem. * match.c (gfc_matching_prefix): New variable. From-SVN: r139435
2008-08-22exp_attr.adb (Expand_N_Attribute_Reference): In case of access attributes ↵Arnaud Charlet3-7/+45
add missing support to handle designated types... 2008-08-22 Javier Miranda <miranda@adacore.com> * exp_attr.adb (Expand_N_Attribute_Reference): In case of access attributes add missing support to handle designated types that come from the limited view. * exp_disp.adb (Expand_Interface_Conversion): Remove wrong assertion. From-SVN: r139432
2008-08-22vms_data.ads: Add entry for new gnatcheck -mNNN optionSergey Rybin2-0/+18
2008-08-22 Sergey Rybin <rybin@adacore.com> * vms_data.ads: Add entry for new gnatcheck -mNNN option * gnat_ugn.texi: Add description for gnatcheck option '-m' From-SVN: r139431
2008-08-22sem_ch8.adb (Use_One_Type): when checking which of two use_type clauses in ↵Ed Schonberg1-14/+55
related units is redundant... 2008-08-22 Ed Schonberg <schonberg@adacore.com> * sem_ch8.adb (Use_One_Type): when checking which of two use_type clauses in related units is redundant, if one of the units is a package instantiation, use its instance_spec to determine which unit is the ancestor of the other. From-SVN: r139430
2008-08-22make.adb (Check.File_Not_A_Source_Of): New Boolean functionArnaud Charlet2-24/+88
2008-08-22 Vincent Celier <celier@adacore.com> * make.adb (Check.File_Not_A_Source_Of): New Boolean function (Check): Check if the file names registered in the ALI file for the spec, the body and each of the subunits are the ones expected. From-SVN: r139429
2008-08-22g-catiio.adb: Code cleanup.Robert Dewar1-8/+9
2008-08-22 Robert Dewar <dewar@adacore.com> * g-catiio.adb: Code cleanup. From-SVN: r139428
2008-08-22gnat_ugn.texi: Update the gnatcheck subsection for metric rules acoording to ↵Sergey Rybin1-13/+15
the latest... 2008-08-22 Sergey Rybin <rybin@adacore.com> * gnat_ugn.texi: Update the gnatcheck subsection for metric rules acoording to the latest changes in the metric rule interface From-SVN: r139427
2008-08-22* c-ppoutput.c (init_pp_output): Initialize src_line to 1.Nathan Sidwell2-4/+6
From-SVN: r139426
2008-08-22re PR fortran/32095 (Accepts invalid character(len(a)),dimension(1) :: a)Daniel Kraft17-23/+380
2008-08-22 Daniel Kraft <d@domob.eu> PR fortran/32095 PR fortran/34228 * gfortran.h (in_prefix): New global. (gfc_check_symbol_typed), (gfc_check_expr_typed): New methods. * array.c (match_array_element_spec): Check that bounds-expressions don't have symbols not-yet-typed in them. * decl.c (var_element): Check that variable used is already typed. (char_len_param_value): Check that expression does not contain not-yet-typed symbols. (in_prefix): New global. (gfc_match_prefix): Record using `in_prefix' if we're at the moment parsing a prefix or not. * expr.c (gfc_expr_check_typed): New method. * parse.c (verify_st_order): New argument to disable error output. (check_function_result_typed): New helper method. (parse_spec): Check that the function-result declaration, if given in a prefix, contains no not-yet-typed symbols when the IMPLICIT rules are parsed. * symbol.c (gfc_check_symbol_typed): Check that a symbol already has a type associated to it, otherwise use the IMPLICIT rules or signal an error. 2008-08-22 Daniel Kraft <d@domob.eu> PR fortran/32095 PR fortran/34228 * gfortran.dg/used_before_typed_1.f90: New test. * gfortran.dg/used_before_typed_2.f90: New test. * gfortran.dg/used_before_typed_3.f90: New test. * gfortran.dg/array_constructor_26.f03: Add -std=gnu to not enable legacy-behaviour for the new check. * gfortran.dg/array_constructor_27.f03: Ditto. * gfortran.dg/blockdata_4.f90: Ditto. * gfortran.dg/bound_2.f90: Reordered declarations to satisfy the check. * gfortran.dg/result_in_spec_1.f90: Ditto. * gfortran.dg/argument_checking_7.f90: Adapted expected error messages. From-SVN: r139425
2008-08-22Daily bump.GCC Administrator1-1/+1
From-SVN: r139421
2008-08-21configure.ac (HAVE_GAS_CFI_PERSONALITY_DIRECTIVE): Remove spurrious comma ↵Richard Henderson3-2/+8
from test. * configure.ac (HAVE_GAS_CFI_PERSONALITY_DIRECTIVE): Remove spurrious comma from test. * configure: Rebuild. From-SVN: r139408
2008-08-21re PR c/30457 (Please warn about va_start(ap, invalid))Manuel López-Ibáñez4-0/+48
2008-08-21 Manuel Lopez-Ibanez <manu@gcc.gnu.org> PR 30457 * builtins.c (fold_builtin_next_arg): Add warning about undefined behaviour. testsuite/ * gcc.dg/pr30457.c: New. From-SVN: r139406
generated by cgit v1.1 at 2025-09-19 05:15:03 +0000