summaryrefslogtreecommitdiffstats
path: root/gcc/ada
Commit message (Collapse)AuthorAgeFilesLines
...
* 2013-01-02 Thomas Quinot <quinot@adacore.com>charlet2013-01-025-35/+103
| | | | | | | | | | | | | | | | | | | | | | | | | | | | * par_sco.adb (Traverse_Declarations_Or_Statement): Function form, returning value of Current_Dominant upon exit, for chaining purposes. (Traverse_Declarations_Or_Statement.Traverse_One, case N_Block_Statement): First statement is dominated by last declaration. (Traverse_Subprogram_Or_Task_Body): Ditto. (Traverse_Package_Declaration): First private declaration is dominated by last visible declaration. (Traverse_Sync_Definition): Ditto. 2013-01-02 Thomas Quinot <quinot@adacore.com> * gnat_rm.texi: Restrict the requirement for Scalar_Storage_Order matching Bit_Order to record types only, since array types do not have a Bit_Order. 2013-01-02 Vincent Celier <celier@adacore.com> * gnat_ugn.texi: Remove documentation of -gnateO, which is an internal switch. * usage.adb: Indicate that -gnateO is an internal switch. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194794 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-02 Thomas Quinot <quinot@adacore.com>charlet2013-01-028-60/+78
| | | | | | | | | | | | | | | | | | | * par_sco.adb: Add SCO generation for task types and single task declarations. 2013-01-02 Thomas Quinot <quinot@adacore.com> * fe.h, gnat1drv.adb: Revert previous change. 2013-01-02 Thomas Quinot <quinot@adacore.com> * get_scos.adb: When adding an instance table entry for a non-nested instantiation, make sure the Enclosing_Instance is correctly set to 0. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194793 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-02 Hristian Kirtchev <kirtchev@adacore.com>charlet2013-01-0214-112/+230
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_attr.adb (Analyze_Attribute): Skip the special _Parent scope generated for subprogram inlining purposes while trying to locate the enclosing function. * sem_prag.adb (Analyze_Pragma): Preanalyze the boolean expression of pragma Postcondition when the pragma comes from source and appears inside a subprogram body. 2013-01-02 Thomas Quinot <quinot@adacore.com> * switch-c.adb, fe.h, back_end.adb: Enable generation of instantiation information in debug info unconditionally when using -fdump-scos, instead of relying on a separate command line switch -fdebug-instances. 2013-01-02 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb: Additional refinement of predicate. 2013-01-02 Vincent Celier <celier@adacore.com> * vms_data.ads: Remove incorrect spaces at end of descriptions of qualifiers for single switch. 2013-01-02 Ben Brosgol <brosgol@adacore.com> * gnat_rm.texi: Minor edits / wordsmithing in section on pragma Check_Float_Overflow. 2013-01-02 Thomas Quinot <quinot@adacore.com> * sprint.adb (Sprint_Node_Actual): Do not add extra parens for a conditional expression (CASE or IF expression) that already has parens. Also omit ELSE keyword for an IF expression without an ELSE part. 2013-01-02 Thomas Quinot <quinot@adacore.com> * gnat1drv.adb (Adjust_Global_Switches): Adjust back-end flag_debug_instances here, after front-end switches have been processed. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194792 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-02 Vincent Celier <celier@adacore.com>charlet2013-01-024-8/+24
| | | | | | | | | | | | | | | | | * usage.adb: Minor reformatting. 2013-01-02 Arnaud Charlet <charlet@adacore.com> * opt.ads: Fix typo. 2013-01-02 Thomas Quinot <quinot@adacore.com> * par_sco.adb: Generate P decision SCOs for SPARK pragmas Assume and Loop_Invariant. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194791 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-02 Robert Dewar <dewar@adacore.com>charlet2013-01-025-20/+39
| | | | | | | | | | | * vms_data.ads: Add entry for Float_Check_Valid (-gnateF). * ug_words: Add entry for Float_Check_Overflow. * usage.adb: Minor reformatting. * gnat_ugn.texi: Add documentation for -gnateF (Check_Float_Overflow). git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194790 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-02 Vincent Celier <celier@adacore.com>charlet2013-01-025-3/+91
| | | | | | | | | | | | | | | | * gnat_ugn.texi: Add documentation for switches -gnateA, -gnated, -gnateO=, -gnatet and -gnateV. * ug_words: Add qualifiers equivalent to -gnateA, -gnated, -gnatet and -gnateV. * usage.adb: Add lines for -gnatea, -gnateO and -gnatez. * vms_data.ads: Add new compiler qualifiers /ALIASING_CHECK (-gnateA), /DISABLE_ATOMIC_SYNCHRONIZATION (-gnated), /PARAMETER_VALIDITY_CHECK (-gnateV) and /TARGET_DEPENDENT_INFO (-gnatet). git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194789 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-02 Robert Dewar <dewar@adacore.com>charlet2013-01-0210-32/+154
| | | | | | | | | | | | | | | * checks.adb (Apply_Scalar_Range_Check): Implement Check_Float_Overflow. * opt.ads, opt.adb: Handle flags Check_Float_Overflow[_Config]. * par-prag.adb: Add dummy entry for pragma Check_Float_Overflow. * sem_prag.adb: Implement pragma Check_Float_Overflow. * snames.ads-tmpl: Add entries for pragma Check_Float_Overflow. * switch-c.adb: Recognize -gnateF switch. * tree_io.ads: Update ASIS version number. * gnat_rm.texi: Add documentation of pragma Check_Float_Overflow. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194788 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-02 Robert Dewar <dewar@adacore.com>charlet2013-01-0234-278/+326
| | | | | | | | | | | | | | | | | | | | | | * checks.adb, exp_ch4.adb, exp_ch6.adb, exp_ch7.adb, exp_ch9.adb, exp_disp.adb, exp_dist.adb, exp_intr.adb, exp_prag.adb, exp_util.adb, freeze.adb, gnat1drv.adb, inline.adb, layout.adb, lib-xref.adb, par-ch10.adb, par-labl.adb, par-load.adb, par-util.adb, restrict.adb, sem_ch13.adb, sem_ch4.adb, sem_ch6.adb, sem_dim.adb, sem_elab.adb, sem_res.adb, sem_warn.adb, sinput-l.adb: Add tags to warning messages. * sem_ch6.ads, warnsw.ads, opt.ads: Minor comment updates. 2013-01-02 Robert Dewar <dewar@adacore.com> * err_vars.ads: Minor comment fix. 2013-01-02 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb: Refine predicate. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194787 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-02 Robert Dewar <dewar@adacore.com>charlet2013-01-0227-351/+423
| | | | | | | | | | | | | | | | | | | | | | | * errout.ads: Minor comment fixes. * opt.ads: Minor comment additions. * exp_aggr.adb: Add tags to warning messages * exp_ch11.adb, exp_ch3.adb, exp_ch4.adb, exp_util.adb, sem_aggr.adb, sem_attr.adb, sem_case.adb, sem_cat.adb, sem_ch3.adb, sem_ch4.adb, sem_ch5.adb, sem_disp.adb, sem_dist.adb, sem_elab.adb, sem_eval.adb, sem_intr.adb, sem_mech.adb, sem_prag.adb, sem_res.adb, sem_util.adb, sem_warn.adb: Add tags to warning messages 2013-01-02 Doug Rupp <rupp@adacore.com> * init.c [VMS] Remove subtest on reason mask for ACCVIO that is a C_E. 2013-01-02 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb: Recover source name for renamed packagea. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194786 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-02 Robert Dewar <dewar@adacore.com>charlet2013-01-0212-220/+226
| | | | | | | | | | | | | | * errout.adb (Set_Msg_Insertion_Warning): Correct typo causing tests to fail if insertion sequence is at end of message string. * opt.ads: Minor comment fixes and additions. * sem_ch7.adb, sem_ch8.adb, sem_ch9.adb, sem_ch10.adb, sem_ch11.adb, sem_ch12.adb, sem_ch13.adb: Add tags to warning messages. * sem_ch6.ads, sem_ch6.adb (Cannot_Inline): Deal with warning message tags. Add tags to warning messages. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194785 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-02 Robert Dewar <dewar@adacore.com>charlet2013-01-0214-229/+434
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * err_vars.ads (Warning_Doc_Switch): New flag. * errout.adb (Error_Msg_Internal): Implement new warning flag doc tag stuff (Set_Msg_Insertion_Warning): New procedure. * errout.ads: Document new insertion sequences ?? ?x? ?.x? * erroutc.adb (Output_Msg_Text): Handle ?? and ?x? warning doc tag stuff. * erroutc.ads (Warning_Msg_Char): New variable. (Warn_Chr): New field in error message object. * errutil.adb (Error_Msg): Set Warn_Chr in error message object. * sem_ch13.adb: Minor reformatting. * warnsw.adb: Add handling for -gnatw.d and -gnatw.D (Warning_Doc_Switch). * warnsw.ads: Add handling of -gnatw.d/.D switches (warning doc tag). 2013-01-02 Robert Dewar <dewar@adacore.com> * opt.ads: Minor reformatting. 2013-01-02 Doug Rupp <rupp@adacore.com> * init.c: Reorganize VMS section. (scan_condtions): New function for scanning condition tables. (__gnat_handle_vms_condtion): Use actual exception name for imported exceptions vice IMPORTED_EXCEPTION. Move condition table scanning into separate function. Move formerly special handled conditions to system condition table. Use SYS$PUTMSG output to fill exception message field for formally special handled condtions, in particular HPARITH to provide more clues about cause and location then raised from the translated image. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194784 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-02 Thomas Quinot <quinot@adacore.com>charlet2013-01-022-3/+21
| | | | | | | | | | | * sem_ch13.adb (Analyze_Aspect_Specifications): For a Pre/Post aspect that applies to a library subprogram, prepend corresponding pragma to the Pragmas_After list, in order for split AND THEN sections to be processed in the expected order. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194783 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-02 Thomas Quinot <quinot@adacore.com>charlet2013-01-026-19/+71
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * exp_prag.adb (Expand_Pragma_Check): The statements generated for the pragma must have the sloc of the pragma, not the sloc of the condition, otherwise this creates anomalies in the generated debug information that confuse coverage analysis tools. 2013-01-02 Thomas Quinot <quinot@adacore.com> * sem_ch13.adb: Minor reformatting. 2013-01-02 Arnaud Charlet <charlet@adacore.com> * g-excact.ads (Core_Dump): Clarify that this subprogram does not dump cores under Windows. 2013-01-02 Ed Schonberg <schonberg@adacore.com> * sem_ch8.adb (Analyze_Primitive_Renamed_Operation): The prefixed view of a subprogram has convention Intrnnsic, and a renaming of a prefixed view cannot be the prefix of an Access attribute. 2013-01-02 Robert Dewar <dewar@adacore.com> * restrict.adb: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194782 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-02 Thomas Quinot <quinot@adacore.com>charlet2013-01-026-28/+68
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * exp_prag.adb: Minor reformatting. 2013-01-02 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb (Get_Associated_Node): If the node is an identifier that denotes an unconstrained array in an object declaration, it is rewritten as the name of an anonymous subtype whose bounds are given by the initial expression in the declaration. When checking whether that identifier is global reference, use the original node, not the local generated subtype. 2013-01-02 Olivier Hainque <hainque@adacore.com> * tracebak.c: Revert previous change, incomplete. 2013-01-02 Ed Schonberg <schonberg@adacore.com> * sem_ch13.adb (Analyze_Aspect_Specifications): If the aspect appears on a subprogram body that acts as a spec, place the corresponding pragma in the declarations of the body, so that e.g. pre/postcondition checks can be generated appropriately. 2013-01-02 Robert Dewar <dewar@adacore.com> * sem_ch3.adb: Minor reformatting and code reorganization. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194781 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-02 Vincent Celier <celier@adacore.com>charlet2013-01-024-24/+64
| | | | | | | | | | | | | | | | | | | | | * switch-m.adb (Normalize_Compiler_Switches): Record the complete switch -fstack-check=specific instead of its shorter alias -fstack-check. 2013-01-02 Ed Schonberg <schonberg@adacore.com> * sem_ch3.adb (Derive_Subprogram): Enforce RM 6.3.1 (8): if the derived type is a tagged generic formal type with unknown discriminants, the inherited operation has convention Intrinsic. As such, the 'Access attribute cannot be applied to it. 2013-01-02 Thomas Quinot <quinot@adacore.com> * sem_attr.adb: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194780 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-02 Thomas Quinot <quinot@adacore.com>charlet2013-01-024-13/+68
| | | | | | | | | | | | | * par_sco.adb: Add SCO generation for S of protected types and single protected object declarations. 2013-01-02 Robert Dewar <dewar@adacore.com> * sem_eval.adb, osint.ads: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194779 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-02 Hristian Kirtchev <kirtchev@adacore.com>charlet2013-01-024-72/+84
| | | | | | | | | | | | | | | | | | | * sem_prag.adb (Analyze_Pragma): Check the legality of pragma Assume. 2013-01-02 Thomas Quinot <quinot@adacore.com> * sem_eval.adb (Compile_Time_Compare): For static operands, we can perform a compile time comparison even if in preanalysis mode. 2013-01-02 Thomas Quinot <quinot@adacore.com> * par_sco.adb (SCO_Record): Always use Traverse_Declarations_Or_Statements to process the library level declaration, so that SCOs are properly generated for its aspects. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194778 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-02 Thomas Quinot <quinot@adacore.com>charlet2013-01-024-13/+34
| | | | | | | | | | | * scos.ads (In_Decision): Add missing entry for 'a'. * sem_prag.adb (Analyze_Pragma, case pragma Check): Omit call to Set_SCO_Pragma_Enabled for Invariant and Predicate. * sem_ch13.adb: Minor comment update. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194777 138bc75d-0d04-0410-961f-82ee72b054a4
* PR ada/53737ebotcazou2012-12-212-0/+12
| | | | | | | | | * sem_ch12.adb (Analyze_Associations): Do not check the legality of actuals for RACW types if this is an internal instantiation for a formal package with defaulted parameters. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194687 138bc75d-0d04-0410-961f-82ee72b054a4
* Fix copyright notices.ebotcazou2012-12-215-5/+5
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194683 138bc75d-0d04-0410-961f-82ee72b054a4
* * adaint.c: Move directive around.ebotcazou2012-12-2112-44/+58
| | | | | | | | | | | | | | | | * argv.c: Likewise. * cio.c: Likewise. * cstreams.c: Likewise. * env.c: Likewise. * exit.c: Likewise. * init.c: Likewise. * initialize.c: Likewise. * raise.c: Likewise. * seh_init.c: Likewise. * targext.c: Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194660 138bc75d-0d04-0410-961f-82ee72b054a4
* Adjustebotcazou2012-12-161-2/+3
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194533 138bc75d-0d04-0410-961f-82ee72b054a4
* PR ada/53996ebotcazou2012-12-152-1/+7
| | | | | | | * gcc-interface/utils.c (gnat_type_for_size): Use %u in lieu of %d. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194520 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/Make-lang.in (RTS_DIR): Define only if Ada is enabled.ebotcazou2012-12-112-2/+10
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194384 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/trans.c (gnat_to_gnu) <N_Indexed_Component>: Assertebotcazou2012-12-082-0/+9
| | | | | | | that the type of the prefix is ultimately an array. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194323 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/trans.c (Subprogram_Body_to_gnu): Be prepared for aebotcazou2012-12-082-2/+13
| | | | | | | by-ref VAR_DECL in the case of an Out parameter passed by copy. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194321 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-12-05 Robert Dewar <dewar@adacore.com>charlet2012-12-056-13/+40
| | | | | | | | | | | | | * par_sco.adb, sem_prag.adb, put_scos.adb, get_scos.adb: Minor reformatting. 2012-12-05 Ed Schonberg <schonberg@adacore.com> * sem_ch3.adb: Code clean up. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194217 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/Make-lang.in: Update dependencies.charlet2012-12-054-282/+287
| | | | | | | | * gcc-interface/lang.opt: New language AdaSCIL. * gcc-interface/lang-specs.h: Add specs for adascil language. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194216 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-12-05 Thomas Quinot <quinot@adacore.com>charlet2012-12-056-32/+90
| | | | | | | | | | | | | | | | | | | | | | | | * par_sco.adb (Traverse_Aspects): Ensure we always have an entry in the sloc -> SCO map for invariants, since Set_SCO_Pragma_Enabled is called with that sloc when checks are enabled. 2012-12-05 Thomas Quinot <quinot@adacore.com> * exp_ch4.adb: Minor reformatting. 2012-12-05 Hristian Kirtchev <kirtchev@adacore.com> * par-prag.adb: Checks and processing of pragma Assume are carried out by Sem_Prag. * sem_prag.adb (Analyze_Pragma): Check the legality of pragma Assume. * snames.ads-tmpl: Add new name Assume. Add a pragma identifier for Assume. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194215 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-12-05 Ed Schonberg <schonberg@adacore.com>charlet2012-12-054-1/+63
| | | | | | | | | | | | | * aspects.ads, aspects.adb: Add aspect Relative_Deadline. * sem_ch13.adb (Analyze_Aspect_Specifications): Process aspect Relative_Deadline, and introduce the corresponding pragma within the task definition of the task type to which it applies. (Check_Aspect_At_Freeze_Point): Expression in a Relative_Deadline aspect is of type Time_Span. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194214 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-12-05 Hristian Kirtchev <kirtchev@adacore.com>charlet2012-12-053-27/+89
| | | | | | | | | | | | | | | * sem_prag.adb (Check_Loop_Invariant_Variant_Placement): When pragma Loop_[In]variant does not appear immediately within the statements of a loop, it must appear in a chain of nested blocks. 2012-12-05 Thomas Quinot <quinot@adacore.com> * sem_ch13.adb: Minor reformatting. Remove redundant assertion. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194213 138bc75d-0d04-0410-961f-82ee72b054a4
* Minor reformatting.charlet2012-12-052-11/+13
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194212 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-12-05 Thomas Quinot <quinot@adacore.com>charlet2012-12-0510-169/+375
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * par_sco.adb, scos.ads, put_scos.adb, put_scos.ads, get_scos.adb: Generation of SCOs for aspects. 2012-12-05 Thomas Quinot <quinot@adacore.com> * sem_prag.adb (Check_Precondition_Postcondition): Remove redundant call to Set_SCO_Pragma_Enabled (the pragma will be rewritten into a pragma Check later on, and the call will be made when processing the rewritten pragma). (Analyze_Pragma, case Pragma_Check): Omit call to Set_SCO_Pragma_Enabled if Split_PPC is set. 2012-12-05 Olivier Hainque <hainque@adacore.com> * tracebak.c: Add partial support for Lynx178. 2012-12-05 Hristian Kirtchev <kirtchev@adacore.com> * sem_attr.adb (Analyze_Attribute): Improve the error message related to loop assertions. 2012-12-05 Gary Dismukes <dismukes@adacore.com> * atree.ads: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194211 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-12-05 Robert Dewar <dewar@adacore.com>charlet2012-12-057-76/+134
| | | | | | | | | | | | | | | | | | | * atree.ads, par-ch4.adb, sem_attr.adb, sem_ch13.adb: Minor reformatting. 2012-12-05 Eric Botcazou <ebotcazou@adacore.com> * gnat_ugn.texi (Switches for gcc): Document -flto and reorder. 2012-12-05 Ed Schonberg <schonberg@adacore.com> * par-ch5.adb (P_Condition): Handle properly Ada 2012 expressions that must be parenthesized before checking for redundant parentheses when that check is enabled. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194210 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-12-05 Ed Schonberg <schonberg@adacore.com>charlet2012-12-055-24/+76
| | | | | | | | | | | | | | | | | | | | | | | | | * par-ch4.adb (P_Allocator): In Ada 2012 (AI05-0104) an uninitialized allocator cannot carry an explicit not null indicator. * sem_ch4.adb (Analyze_Allocator): Remove code that implements the check for AI05-0104, the check is syntactic and performed in the parser. 2012-12-05 Geert Bosch <bosch@adacore.com> * sem_attr.adb (Analyze_Attribute): Use base type for floating point attributes. 2012-12-05 Ed Schonberg <schonberg@adacore.com> * sem_ch13.adb (Analyze_Aspect_Specifications, Ahalyze_Aspect_Default_Value): For a scalar type attach default value to base type as well, because it is a type-specific aspect even though it can be specified on a first subtype. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194209 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-12-05 Yannick Moy <moy@adacore.com>charlet2012-12-0510-118/+556
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * urealp.ads: Minor rewording. 2012-12-05 Yannick Moy <moy@adacore.com> * aspects.ads (No_Duplicates_Allowed): Forbid use of duplicate Contract_Cases aspects. * sem_prag.adb (Analyze_Pragma/Pragma_Contract_Case): Rename POST_CASE into CONTRACT_CASE in both grammar and code, to be consistent with current language definition. Issue a more precise error message when the pragma duplicates another pragma or aspect. 2012-12-05 Hristian Kirtchev <kirtchev@adacore.com> * exp_attr.adb (Expand_N_Attribute_Reference): Add processing for attribute Update. (Expand_Update_Attribute): New routine. * par-ch4.adb (P_Name): The sole expression of attribute Update is an aggregate, parse it accordingly. * sem_attr.adb (Analyze_Attribute): Verify the legality of attribute Update. (Eval_Attribute): Attribute Update does not need evaluation because it is never static. * snames.ads-tmpl: Add Name_Update to the list of special names recognized by the compiler. Add an Attribute_Id for Update. 2012-12-05 Ed Schonberg <schonberg@adacore.com> * exp_util.adb (Remove_Side_Effects): For purposes of removing side effects, qualified expressions do not receive a special treatment, even though in Ada 2012 they are defined as object references. 2012-12-05 Thomas Quinot <quinot@adacore.com> * par-ch3.adb: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194207 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-12-05 Thomas Quinot <quinot@adacore.com>charlet2012-12-052-4/+32
| | | | | | | | | | * exp_dist.adb (Build_From_Any_Call, Build_To_Any_Call, Build_TypeCode_Call): For a used-defined subtype, always go to the first subtype of the base type. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194206 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-12-05 Thomas Quinot <quinot@adacore.com>charlet2012-12-058-27/+52
| | | | | | | | | | | | | | | | | | | | | | | | * exp_dist.adb: Minor reformatting. 2012-12-05 Tristan Gingold <gingold@adacore.com> * Make-generated.in: Remove the VMS host specific part, as VMS compilers aren't built anymore on VMS. 2012-12-05 Thomas Quinot <quinot@adacore.com> * sem.adb, errout.ads, atree.adb, atree.ads (Check_Error_Detected): Only return quietly if a serious error of configurable run time violation has been found. 2012-12-05 Yannick Moy <moy@adacore.com> * sem_res.adb (Resolve_Type_Conversion): In Alfa_Mode, do not apply conversion checks. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194205 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-12-05 Ed Schonberg <schonberg@adacore.com>charlet2012-12-0514-36/+128
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * exp_ch5.adb (Expand_N_Assignment_Statement): Handle properly the generation of discriminant checks when the left-hand side has a type with hidden discriminants. * sem_ch3.ads (Is_Visible_Component): Add defaulted parameter to specify the node on which component visibility is being checked. * sem_ch3.adb (Is_Visible_Component): Use new parameter to determine whether the reference comes from a type conversion to a full view of a private type with unknown discriminants. * sem_ch4.adb (Analyze_Selected_Component): Call Is_Visible_Component with added parameter. 2012-12-05 Arnaud Charlet <charlet@adacore.com> * make.adb: Minor comment update. 2012-12-05 Arnaud Charlet <charlet@adacore.com> * gnatlink.adb: Also use -x adascil in CodePeer mode when calling gcc. * exp_ch5.adb: Minor reformatting. 2012-12-05 Bob Duff <duff@adacore.com> * exp_ch4.adb: Minor comment. 2012-12-05 Bob Duff <duff@adacore.com> * par-ch4.adb: Set Paren_Count correctly for a parenthesized expression containing a conditional expression or quantified expression. * sprint.adb: Update comment. 2012-12-05 Bob Duff <duff@adacore.com> * style.adb, scans.ads, styleg.adb: Update comments. 2012-12-05 Ed Schonberg <schonberg@adacore.com> * sem_ch8.adb (Find_Selected_Component): Handle properly an expanded name whose prefix is the expanded name of an enclosing entry, that is to say a construct such as T.E.X, where T is an enclosing concurrent type and E is an enclosing entry. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194204 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-12-05 Robert Dewar <dewar@adacore.com>charlet2012-12-0512-259/+381
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * lib-writ.adb (Write_ALI): Output T lines. * lib-writ.ads: Minor reformatting. Add documentation of T lines. * opt.ads (Generate_Target_Dependent_Info): New flag. * switch-c.adb (Scan_Switches): Recognize -gnatet switch (target dependent info). * ttypes.ads: Add four letter codes to declarations (for target dependent info). * usage.adb: Add line for -gnatet switch. 2012-12-05 Hristian Kirtchev <kirtchev@adacore.com> * exp_prag.adb (Expand_N_Pragma): Add a call to expand pragma Loop_Variant. (Expand_Pragma_Loop_Assertion): Removed. (Expand_Pragma_Loop_Variant): New routine. * par-prag.adb: Remove Pragma_Loop_Assertion and add two new Pragma_Loop_Invariant and Pragma_Loop_Variant entries. * sem_attr.adb (Analyze_Attribute): Update the code which locates the enclosing pragma. * sem_prag.adb (Analyze_Pragma): Remove the code which analyzes pragma Loop_Assertion as the pragma is now obsolete. Add the machinery to checks the semantics of pragmas Loop_Invariant and Loop_Variant. (Check_Loop_Invariant_Variant_Placement): New routine. * snames.ads-tmpl: Remove name Loop_Assertion. Add new names Loop_Invariant and Loop_Variant. Rename Name_Decreasing to Name_Decreases and Name_Increasing to Name_Increases. Remove the pragma Id for Loop_Assertion and add two new Ids for Loop_Invariant and Loop_Variant. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194203 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-12-05 Robert Dewar <dewar@adacore.com>charlet2012-12-0512-46/+90
| | | | | | | | | | | | | | | | | | | | | | | | | | | * gnatchop.adb, sem_attr.ads, sem_ch4.adb, sem_ch6.adb, exp_disp.adb, atree.adb, sem_eval.adb: Minor reformatting. 2012-12-05 Yannick Moy <moy@adacore.com> * uintp.adb (UI_Div_Rem): Correct algorithm D to remove potential overflow. 2012-12-05 Robert Dewar <dewar@adacore.com> * exp_ch4.adb (Expand_N_Op_Mod): Minor comment additions. (Expand_N_Op_Rem): Ditto. 2012-12-05 Robert Dewar <dewar@adacore.com> * sem_attr.adb: Minor reformatting. 2012-12-05 Robert Dewar <dewar@adacore.com> * usage.adb: Update lines for -gnato? switch. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194202 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-12-05 Ed Schonberg <schonberg@adacore.com>charlet2012-12-054-13/+35
| | | | | | | | | | | | | | | | | | | * par-ch6.adb (P_Return_Object_Declaration): Do not check for legality of Aliased keyword. * sem_ch6.adb (Analyze_Function_Return): The keyword aliased is legal in an extended return statement only if the return type is immutably limited. 2012-12-05 Javier Miranda <miranda@adacore.com> * exp_disp.adb (Expand_Interface_Thunk): Simplify management of controlling formals. Required to avoid problems with primitives of internally generated base types associated with constrained tagged types. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194201 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-12-05 Ed Schonberg <schonberg@adacore.com>charlet2012-12-0513-18/+815
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_eval.adb: Remove spurious warnings. 2012-12-05 Ed Schonberg <schonberg@adacore.com> * sem_util.adb (Build_Explicit_Dereference): Set properly the type of the prefix prior to rewriting, because subsequent legality checks examine the original node. 2012-12-05 Hristian Kirtchev <kirtchev@adacore.com> * aspects.adb: Add Contract_Cases to the canonical aspects map. * aspects.ads: Add aspect Contract_Cases in the various aspect tables. * par-prag.adb: The parser does not need to perform special actions for pragma Contract_Cases. * sem_ch6.adb (Expand_Contract_Cases): New routine. (Process_Contract_Cases): Convert pragma Contract_Cases into pre- and post- condition checks that verify the runtime state of all case guards and their corresponding consequences. * sem_ch13.adb (Analyze_Aspect_Specifications): Perform various legality checks on aspect Contract_Cases. The aspect is transformed into a pragma. * sem_prag.adb: Add an entry in table Sig_Flags for pragma Contract_Cases. (Analyze_Pragma): Perform various legality checks on pragma Contract_Cases. The pragma is associated with the contract of the related subprogram. (Chain_CTC): Omit pragma Contract_Cases because it does not introduce a unique case name and does not follow the syntax of Contract_Case and Test_Case. * snames.ads-tmpl: Add new name Name_Contract_Cases. Add a Pragma_Id for Contract_Cases. 2012-12-05 Thomas Quinot <quinot@adacore.com> * sem_ch5.adb: Minor reformatting. 2012-12-05 Hristian Kirtchev <kirtchev@adacore.com> * sem_attr.ads: Add an entry for attribute Loop_Entry in the Attribute_Impl_Def table. 2012-12-05 Bob Duff <duff@adacore.com> * gnatchop.adb (Read_File): Avoid storage leak, and in most cases avoid an extra copy of the string. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194199 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-12-05 Ed Schonberg <schonberg@adacore.com>charlet2012-12-054-3/+64
| | | | | | | | | | | | | | | | | | | | * sem_ch5.adb (Preanalyze_Range): If the expression, which denotes some domain of iteration, has a type with implicit dereference, and does not have any iterable aspects, insert dereference to obtain proper container type. 2012-12-05 Bob Duff <duff@adacore.com> * par-ch8.adb (P_Use_Type_Clause): Fix the Sloc for "use all type ..." to point to "use". 2012-12-05 Arnaud Charlet <charlet@adacore.com> * make.adb (Compile): Always pass -x adascil in CodePeer mode. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194198 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-12-05 Ed Schonberg <schonberg@adacore.com>charlet2012-12-0512-11/+166
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * s-rident.ads, restrict.ads: Remove discrepancies between the documentation on implementation-defined restrictions, and the internal data structure used for warnings and errors on implementation-defined restriction violations. 2012-12-05 Ed Schonberg <schonberg@adacore.com> * sem_prag.adb (Chain_PPC): Pre- and postcondition aspects are legal on a subprogram body that acts as a spec. 2012-12-05 Ed Schonberg <schonberg@adacore.com> * sem_ch8.adb (Find_Selected_Component): If the selector name is an overloadable entity but the name is not overloaded, generate reference to it rather than delaying this until resolution. 2012-12-05 Robert Dewar <dewar@adacore.com> * checks.ads, checks.adb (Activate_Overflow_Check): No effect for MOD/REM/unary + * exp_ch4.adb (Expand_N_Op_Mod): Remove call to set Do_Overflow_Check. 2012-12-05 Ed Schonberg <schonberg@adacore.com> * sem_ch4.adb (Find_Non_Universal_Interpretation): Use the types of the right operand if the left operand is null. 2012-12-05 Sergey Rybin <rybin@adacore.com frybin> * gnat_ugn.texi, vms_data.ads: document gnatpp -nn option. 2012-12-05 Jose Ruiz <ruiz@adacore.com> * init.c (__gnat_install_handler): For the LEON VxWorks kernel run-time library we need to install a trap handler directly in the trap table (no support by the OS) for the software trap 0. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194196 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-12-05 Eric Botcazou <ebotcazou@adacore.com>charlet2012-12-054-9/+23
| | | | | | | | | | | | | | | | * gnat_rm.texi (Interfacing to C++): Document new restrictions. 2012-12-05 Ben Brosgol <brosgol@adacore.com> * gnat_ugn.texi: Fix typo. 2012-12-05 Robert Dewar <dewar@adacore.com> * gnatbind.adb: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194195 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-12-05 Arnaud Charlet <charlet@adacore.com>charlet2012-12-054-4/+23
| | | | | | | | | | | | | | | | | * gnat_ugn.texi: Fix typo. 2012-12-05 Tristan Gingold <gingold@adacore.com> * gnatbind.adb: Minor comment update. 2012-12-05 Yannick Moy <moy@adacore.com> * gnat1drv.adb (Adjust_Global_Switches): Set flags to indicate that CodePeer backend deals with divide and overflow checks. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194194 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-12-05 Robert Dewar <dewar@adacore.com>charlet2012-12-0511-115/+115
| | | | | | | | | | | | | | | | | | * gnat_rm.texi: Update overflow description. Pragma Overflow_Checks changed to Overflow_Mode. 2012-12-05 Robert Dewar <dewar@adacore.com> * checks.ads, exp_ch4.adb, gnat1drv.adb, par-prag.adb, sem_prag.adb, snames.ads-tmpl, switch-c.adb, types.ads, checks.adb: Change pragma Overflow_Checks to Overflow_Mode. Separate overflow checking from overflow mode. Several name changes to reflect this separation. CHECKED mode is renamed STRICT mode. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194193 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-12-05 Yannick Moy <moy@adacore.com>charlet2012-12-056-232/+258
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * gnat1drv.adb (Adjust_Global_Switches): Move setting of flags for Alfa mode before general treatment of flags, so that overflow checks settings are set appropriately in Alfa mode. Also set the mode to STRICT in Alfa mode if not already set by the user. 2012-12-05 Robert Dewar <dewar@adacore.com> * sem_ch3.adb: Minor reformatting. 2012-12-05 Steve Baird <baird@adacore.com> * sinfo.ads: Improve comments about SCIL-related node kinds and selector functions. 2012-12-05 Ed Schonberg <schonberg@adacore.com> * sem_ch10.adb (Build_Limited_Views): Even though the unit is not analyzed, place its entity on the name in the with clause, so that warnings on unused with-clause are properly supported for limited withs. 2012-12-05 Robert Dewar <dewar@adacore.com> * gnat_ugn.texi: Update overflow description. Pragma Overflow_Checks changed to Overflow_Mode. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194191 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-12-05 Ed Schonberg <schonberg@adacore.com>charlet2012-12-056-18/+62
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_ch3.adb (Build_Derived_Private_Type): Handle properly a completion in a grand-child unit when the parent type is itself a private type in a child unit whose full view is itself a derivation from a private type. 2012-12-05 Gary Dismukes <dismukes@adacore.com> * exp_attr.adb (Expand_N_Attribute_Reference, case Attribute_Valid): Remove code for issuing warning on Valid within a predicate. Moved to Sem_Attr. Remove with and use of Errout. * sem_attr.adb (Analyze_Attribute, case Attribute_Valid): Test for prefix's subtype having a predicate and issue warning about infinite recursion if Valid occurs within the subtype's predicate. Warning moved here from Exp_Attr. 2012-12-05 Yannick Moy <moy@adacore.com> * debug.adb: Minor comment addition. 2012-12-05 Yannick Moy <moy@adacore.com> * gnat1drv.adb (Adjust_Global_Switches): In CodePeer mode, check overflows by default, even when the user suppresses overflow checks. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194190 138bc75d-0d04-0410-961f-82ee72b054a4
OpenPOWER on IntegriCloud