summaryrefslogtreecommitdiff
path: root/gcc/ada
Commit message (Collapse)AuthorAgeFilesLines
* Minor code fix to avoid warning.charlet2008-08-222-7/+4
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139491 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Robert Dewar <dewar@adacore.com>charlet2008-08-222-30/+30
| | | | | | | | | * s-wwdcha.adb: Minor code reorganization Remove dead code git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139490 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Robert Dewar <dewar@adacore.com>charlet2008-08-221-2/+2
| | | | | | | | * s-utf_32.adb (Get_Category): Fix obvious typo git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139489 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Robert Dewar <dewar@adacore.com>charlet2008-08-223-7/+7
| | | | | | | | | | | | * 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 git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139488 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Arnaud Charlet <charlet@adacore.com>charlet2008-08-221-1/+1
| | | | | | | * lib-xref.ads: Fix typo in subprogram reference definition. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139487 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Robert Dewar <dewar@adacore.com>charlet2008-08-221-2/+2
| | | | | | | | * s-sopco3.adb: Minor code fix to avoid warning git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139486 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Robert Dewar <dewar@adacore.com>charlet2008-08-2211-850/+935
| | | | | | | | | | | | | | | | | | | | | | * 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) git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139484 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Javier Miranda <miranda@adacore.com>charlet2008-08-221-0/+41
| | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139483 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Robert Dewar <dewar@adacore.com>charlet2008-08-222-10/+21
| | | | | | | | * opt.ads: Minor code reorganization (put entries in alpha order) git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139481 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Gary Dismukes <dismukes@adacore.com>charlet2008-08-221-8/+14
| | | | | | | | | | | * 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). git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139480 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Gary Dismukes <dismukes@adacore.com>charlet2008-08-221-5/+6
| | | | | | | | | | * exp_aggr.adb (Static_Array_Aggregate): Call Analyze_And_Resolve on the component expression copies rather than directly setting Etype and Is_Static_Expression. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139479 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Javier Miranda <miranda@adacore.com>charlet2008-08-221-39/+0
| | | | | | | * exp_ch3.adb: Revert previous patch. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139478 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Javier Miranda <miranda@adacore.com>charlet2008-08-222-6/+56
| | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139477 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Pascal Obry <obry@adacore.com>charlet2008-08-222-34/+30
| | | | | | | | | * initialize.c, adaint.c: Use Lock_Task and Unlock_Task for non-blocking spawn. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139476 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Geert Bosch <bosch@adacore.com>charlet2008-08-222-4/+21
| | | | | | | | | * gcc-interface/trans.c: Define FP_ARITH_MAY_WIDEN (convert_with_check): Only use longest_float_type if FP_ARITH_MAY_WIDEN is 0 git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139468 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Robert Dewar <dewar@adacore.com>charlet2008-08-226-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 git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139467 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Pascal Obry <obry@adacore.com>charlet2008-08-221-3/+6
| | | | | | | | * adaint.c: Fix possible race condition on win32_wait(). git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139466 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Ed Schonberg <schonberg@adacore.com>charlet2008-08-221-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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139465 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Robert Dewar <dewar@adacore.com>charlet2008-08-221-7/+42
| | | | | | | | * sem_ch5.adb (One_Bound): Fix latent bug involving secondary stack git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139464 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Vincent Celier <celier@adacore.com>charlet2008-08-221-1/+1
| | | | | | | | * prj.ads: Minor comment update git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139463 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Robert Dewar <dewar@adacore.com>charlet2008-08-221-0/+2
| | | | | | | | * exp_dist.adb: Minor reformatting git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139462 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Robert Dewar <dewar@adacore.com>charlet2008-08-221-12/+12
| | | | | | | | * exp_ch7.ads: Put routines in proper alpha order git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139461 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Robert Dewar <dewar@adacore.com>charlet2008-08-221-70/+70
| | | | | | | | * exp_ch7.adb: Minor reformatting git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139460 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Robert Dewar <dewar@adacore.com>charlet2008-08-221-1/+6
| | | | | | | * exp_ch6.adb: Minor reformatting git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139459 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Bob Duff <duff@adacore.com>charlet2008-08-221-1/+1
| | | | | | | | * exp_ch6.ads: Remove pragma Precondition, since it breaks some builds. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139458 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Ed Schonberg <schonberg@adacore.com>charlet2008-08-221-0/+4
| | | | | | | | | * sem_ch8.adb (Use_One_Type): Do not emit warning message about redundant use_type_clause in an instance. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139457 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Doug Rupp <rupp@adacore.com>charlet2008-08-222-3/+124
| | | | | | | | | | | | | | * 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 git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139456 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Bob Duff <duff@adacore.com>charlet2008-08-2213-100/+131
| | | | | | | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139452 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Bob Duff <duff@adacore.com>charlet2008-08-222-1/+35
| | | | | | | | * exp_ch6.ads: Minor comment fix git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139449 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Bob Duff <duff@adacore.com>charlet2008-08-221-1/+1
| | | | | | | | * exp_ch7.adb: Minor comment fix git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139448 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Ed Schonberg <schonberg@adacore.com>charlet2008-08-221-36/+34
| | | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139447 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Eric Botcazou <ebotcazou@adacore.com>charlet2008-08-222-29/+7
| | | | | | | | | | * init.c: adjust EH support code on Alpha/Tru64 as well. * raise-gcc.c: Add back a couple of comments. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139446 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Kevin Pouget <pouget@adacore.com>charlet2008-08-224-60/+40
| | | | | | | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139445 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Robert Dewar <dewar@adacore.com>charlet2008-08-221-2/+4
| | | | | | | * sem_ch8.adb: Minor reformatting git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139444 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Robert Dewar <dewar@adacore.com>charlet2008-08-222-1/+43
| | | | | | | | | | * exp_attr.adb: (Expand_N_Attribute_Reference): No validity checking on OUT parameter of Read or Input attribute. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139443 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Gary Dismukes <dismukes@adacore.com>charlet2008-08-222-8/+17
| | | | | | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139442 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Eric Botcazou <ebotcazou@adacore.com>charlet2008-08-222-138/+37
| | | | | | | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139441 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Sergey Rybin <rybin@adacore.com>charlet2008-08-221-6/+1
| | | | | | | | | * gnat_ugn.texi: Change the description of gnatcheck default rule settings. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139440 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Thomas Quinot <quinot@adacore.com>charlet2008-08-221-18/+26
| | | | | | | | | | * sem_ch8.adb: Minor reformatting Minor code reorganization (introduce subprogram to factor duplicated code). git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139439 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Javier Miranda <miranda@adacore.com>charlet2008-08-223-7/+45
| | | | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139432 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Sergey Rybin <rybin@adacore.com>charlet2008-08-222-0/+18
| | | | | | | | | | * vms_data.ads: Add entry for new gnatcheck -mNNN option * gnat_ugn.texi: Add description for gnatcheck option '-m' git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139431 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Ed Schonberg <schonberg@adacore.com>charlet2008-08-221-14/+55
| | | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139430 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Vincent Celier <celier@adacore.com>charlet2008-08-222-24/+88
| | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139429 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Robert Dewar <dewar@adacore.com>charlet2008-08-221-8/+9
| | | | | | | | * g-catiio.adb: Code cleanup. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139428 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-22 Sergey Rybin <rybin@adacore.com>charlet2008-08-221-13/+15
| | | | | | | | | * gnat_ugn.texi: Update the gnatcheck subsection for metric rules acoording to the latest changes in the metric rule interface git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139427 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-20 Eric Botcazou <ebotcazou@adacore.com>charlet2008-08-202-27/+44
| | | | | | | * raise-gcc.c: Fix formatting nits. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139334 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-20 Emmanuel Briot <briot@adacore.com>charlet2008-08-202-20/+18
| | | | | | | | | | | * g-catiio.ads, g-catiio.adb: (Value): Avoid an unnecessary system call to Clock in most cases. This call is only needed when only the time is provided in the string, and ignored in all other cases. This is more efficient. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139333 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-20 Jose Ruiz <ruiz@adacore.com>charlet2008-08-201-12/+7
| | | | | | | | | * errno.c (__get_errno, __set_errno for MaRTE): Transform then into weak symbols so we use the version provided by MaRTE when available. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139332 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-20 Vincent Celier <celier@adacore.com>charlet2008-08-201-2/+6
| | | | | | | | | | | * ali.adb: (Scan_ALI): Use Name_Find, not Name_Enter to get the name of a subunit, as the name may already have been entered in the table by the Project Manager. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139331 138bc75d-0d04-0410-961f-82ee72b054a4
* 2008-08-20 Vincent Celier <celier@adacore.com>charlet2008-08-201-1/+1
| | | | | | | | * make.adb (Gnatmake): Remove extra space in version line git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139330 138bc75d-0d04-0410-961f-82ee72b054a4
View Lorry Controller Status