diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-22 17:53:24 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-22 17:53:24 +0100 |
| commit | fba9ebfc51f21a9ba4848c721bb925078737b024 (patch) | |
| tree | c2a3fc941f046c66f8972beb7e9e0440daca362e /gcc/ada/checks.adb | |
| parent | b2834fbd22f71ce7678ddd538b0d5455d6e7caba (diff) | |
| download | gcc-fba9ebfc51f21a9ba4848c721bb925078737b024.zip gcc-fba9ebfc51f21a9ba4848c721bb925078737b024.tar.gz gcc-fba9ebfc51f21a9ba4848c721bb925078737b024.tar.bz2 | |
[multiple changes]
2014-01-22 Thomas Quinot <quinot@adacore.com>
* rtsfind.adb: Update comment.
2014-01-22 Hristian Kirtchev <kirtchev@adacore.com>
* sem_aux.ads, sem_aux.adb (Is_Body): New routine.
* sem_ch3.adb (Analyze_Declarations): Add local variable
Body_Seen. Generate the spec of a late controlled
primitive body that is about to freeze its related type.
(Handle_Late_Controlled_Primitive): New routine.
2014-01-22 Robert Dewar <dewar@adacore.com>
* a-stream.adb: Minor reformatting.
2014-01-22 Ed Schonberg <schonberg@adacore.com>
* sem_ch8.adb (From_Actual_Package): Introduce a recursive
sub-procedure Declared_In_Actual to handle properly the visibility
of actuals in actual packages, that are themselves actuals to a
actual package of the current instance. This mimics properly the
visibility of formals of formal packages declared with a box,
within the corresponding generic unit.
2014-01-22 Robert Dewar <dewar@adacore.com>
* checks.adb: Do not assume that a volatile variable is valid.
2014-01-22 Thomas Quinot <quinot@adacore.com>
* g-catiio.ads (Image, Value): Clarify that these functions
operate in the local time zone. Minor documentation update.
2014-01-22 Thomas Quinot <quinot@adacore.com>
* csets.adb, csets.ads, opt.ads: Minor documentation fixes.
From-SVN: r206930
Diffstat (limited to 'gcc/ada/checks.adb')
| -rw-r--r-- | gcc/ada/checks.adb | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/ada/checks.adb b/gcc/ada/checks.adb index ff015cc..cdbe34e 100644 --- a/gcc/ada/checks.adb +++ b/gcc/ada/checks.adb @@ -5257,6 +5257,10 @@ package body Checks is elsif Is_Entity_Name (Expr) and then Is_Known_Valid (Entity (Expr)) + + -- Exclude volatile variables + + and then not Treat_As_Volatile (Entity (Expr)) then return True; |