diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-02 13:43:04 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-02 13:43:04 +0000 |
| commit | ca301e17cfa501ed042658e53818503248656b9f (patch) | |
| tree | d953455348b6692356e9d3505911569c6c09eb5a /gcc/ada/sinfo.ads | |
| parent | 52f5f0020b7235b7799e3cd58271786e1c67b6e1 (diff) | |
| download | gcc-ca301e17cfa501ed042658e53818503248656b9f.tar.gz | |
2011-08-02 Yannick Moy <moy@adacore.com>
* sem_res.adb (Resolve_Logical_Op): ensure N is a binary operator
before accessing operands.
* sem_util.adb (Is_SPARK_Initialization_Expr): follow original nodes to
decide whether an initialization expression respects SPARK rules, as
the plain node is the expanded one. This allows for more valid warnings
to be issued.
* gnat_rm.texi: Minor update.
2011-08-02 Arnaud Charlet <charlet@adacore.com>
* sem_ch13.adb (Analyze_Enumeration_Representation_Clause): Revert
previous change.
2011-08-02 Robert Dewar <dewar@adacore.com>
* sem_ch3.adb, sem_ch4.adb: Minor reformatting.
2011-08-02 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch5.adb (Expand_Iterator_Loop): Reformatting. Wrap the original
loop statements and the element renaming declaration with a block when
the element type is controlled.
2011-08-02 Yannick Moy <moy@adacore.com>
* sinfo.ads: Minor formatting.
2011-08-02 Ed Schonberg <schonberg@adacore.com>
* sem_aggr.adb (Add_Association): if the association has a box and no
expression, use the Sloc of the aggregate itself for the new
association.
* errout.adb (First_Node): Exclude nodes with no Sloc, and always use
the Original_Node.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177153 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/sinfo.ads')
| -rw-r--r-- | gcc/ada/sinfo.ads | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/gcc/ada/sinfo.ads b/gcc/ada/sinfo.ads index cdf71bc51ca..e5ca5aae247 100644 --- a/gcc/ada/sinfo.ads +++ b/gcc/ada/sinfo.ads @@ -2095,7 +2095,7 @@ package Sinfo is -- pragma has a local name argument (such as pragma Inline), it is -- resolved to point to the specific entity affected by the pragma. - -------------------------------------- + -------------------------------------- -- 2.8 Pragma Argument Association -- -------------------------------------- @@ -4203,9 +4203,9 @@ package Sinfo is -- True. So after semantic analysis, the Identifier is always set, -- referencing an identifier whose entity has an Ekind of E_Loop. - -------------------------- - -- 5.5 Iteration Scheme -- - -------------------------- + --------------------------- + -- 5.5 Iteration Scheme -- + --------------------------- -- ITERATION_SCHEME ::= -- while CONDITION @@ -4228,7 +4228,7 @@ package Sinfo is -- Loop_Parameter_Specification (Node4) (set to Empty if WHILE case) --------------------------------------- - -- 5.5 Loop parameter specification -- + -- 5.5 Loop Parameter Specification -- --------------------------------------- -- LOOP_PARAMETER_SPECIFICATION ::= @@ -4240,9 +4240,9 @@ package Sinfo is -- Reverse_Present (Flag15) -- Discrete_Subtype_Definition (Node4) - ---------------------------------- - -- 5.5.1 Iterator specification -- - ---------------------------------- + ----------------------------------- + -- 5.5.1 Iterator Specification -- + ----------------------------------- -- ITERATOR_SPECIFICATION ::= -- DEFINING_IDENTIFIER in [reverse] NAME @@ -4512,14 +4512,14 @@ package Sinfo is -- profile. Instead the information appears directly in the parent. ---------------------- - -- 6.1 Formal part -- + -- 6.1 Formal Part -- ---------------------- -- FORMAL_PART ::= -- (PARAMETER_SPECIFICATION {; PARAMETER_SPECIFICATION}) ---------------------------------- - -- 6.1 Parameter specification -- + -- 6.1 Parameter Specification -- ---------------------------------- -- PARAMETER_SPECIFICATION ::= |