diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-09-10 17:02:33 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-09-10 17:02:33 +0200 |
| commit | 3699edc41f1cc0acb60c6656baa3d08dddedc3e7 (patch) | |
| tree | 2c817b19f453cea2fbcdaf67c1d047c212e3dcae /gcc/ada/sinfo.ads | |
| parent | 860917b625a20ed2cc2d72bd86e89717966f6f92 (diff) | |
| download | gcc-3699edc41f1cc0acb60c6656baa3d08dddedc3e7.tar.gz | |
[multiple changes]
2013-09-10 Thomas Quinot <quinot@adacore.com>
* adaint.c (__gnat_is_executable_file_attr): Should be true
for an executable regular file only only (not for a directory
that has the executable permission).
2013-09-10 Ed Schonberg <schonberg@adacore.com>
* sem_res.adb: Further work on operator calls in ASIS.
2013-09-10 Yannick Moy <moy@adacore.com>
* sinfo.ads, sem_prag.ads, sem_ch13.adb: Minor correction and comment
update.
From-SVN: r202459
Diffstat (limited to 'gcc/ada/sinfo.ads')
| -rw-r--r-- | gcc/ada/sinfo.ads | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/sinfo.ads b/gcc/ada/sinfo.ads index 906077b9793..78ab2c19434 100644 --- a/gcc/ada/sinfo.ads +++ b/gcc/ada/sinfo.ads @@ -1272,7 +1272,7 @@ package Sinfo is -- Is_Checked (Flag11-Sem) -- Present in N_Aspect_Specification and N_Pragma nodes. Set for an -- assertion aspect or pragma, or check pragma for an assertion, that - -- is to be checked at run - time. If either Is_Checked or Is_Ignored + -- is to be checked at run time. If either Is_Checked or Is_Ignored -- is set (they cannot both be set), then this means that the status of -- the pragma has been checked at the appropriate point and should not -- be further modified (in some cases these flags are copied when a |