summaryrefslogtreecommitdiff
path: root/gcc/ada/scos.ads
diff options
context:
space:
mode:
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>2010-10-25 13:50:29 +0000
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>2010-10-25 13:50:29 +0000
commitd97beb2f1375f06a1397efe71e1ab2916e8bcc52 (patch)
treeb40bec5a75f1448c3dd1c6683682b9d8c1544311 /gcc/ada/scos.ads
parentbe8057f9c08b60f17212862f3d11578e0912a974 (diff)
downloadgcc-d97beb2f1375f06a1397efe71e1ab2916e8bcc52.tar.gz
2010-10-25 Matthew Heaney <heaney@adacore.com>
* Makefile.rtl, impunit.adb: Added a-cobove (bounded vector container) to lists. * a-contai.ads: Added declaration of Capacity_Error exception. * a-cobove.ads, a-cobove.adb: New files. 2010-10-25 Thomas Quinot <quinot@adacore.com> * uname.adb: Revert previous change, no longer needed after change in par-ch10.adb. 2010-10-25 Thomas Quinot <quinot@adacore.com> * scos.ads: Minor comment fix. 2010-10-25 Ed Schonberg <schonberg@adacore.com> * sem_ch5.adb (Analyze_Assignment_Statement): Check dangerous order dependence. * sem_ch6.adb (Analyze_Procedure_Call_Statement): Ditto. * sem_res.adb (Analyze_Actuals): Add actual to list of actuals for current construct, for subsequent order dependence checking. (Resolve): Check order dependence on expressions that are not subexpressions. * sem_util.adb (Check_Order_Dependence): Code cleanup, to correspond to latest version of AI05-144-2. * sem_warn.adb (Warn_On_Overlapping_Actuals): Code cleanup. 2010-10-25 Robert Dewar <dewar@adacore.com> * sem_ch13.adb (Build_Static_Predicate): Moved out of Build_Predicate_Function. (Build_Static_Predicate): Complet rewrite for more general predicates git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165917 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/scos.ads')
-rw-r--r--gcc/ada/scos.ads2
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/scos.ads b/gcc/ada/scos.ads
index 8163e62300d..ca5ffb4e694 100644
--- a/gcc/ada/scos.ads
+++ b/gcc/ada/scos.ads
@@ -240,7 +240,7 @@ package SCOs is
-- expression ::= |sloc term term (if expr is OR or OR ELSE)
-- expression ::= !sloc term (if expr is NOT)
- -- In the last four cases, sloc is the source location of the AND, OR,
+ -- In the last three cases, sloc is the source location of the AND, OR,
-- or NOT token, respectively.
-- term ::= element