diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-25 14:39:28 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-25 14:39:28 +0200 |
| commit | c16fa01e7ec8d1478e1f1f2e05fa15e9466add8a (patch) | |
| tree | 6488311df9ce6db2ae739c0355750f551a367396 /gcc | |
| parent | 7738270b0ceda07f89c1dd2d75e31ae7bb4f2053 (diff) | |
| download | gcc-c16fa01e7ec8d1478e1f1f2e05fa15e9466add8a.zip gcc-c16fa01e7ec8d1478e1f1f2e05fa15e9466add8a.tar.gz gcc-c16fa01e7ec8d1478e1f1f2e05fa15e9466add8a.tar.bz2 | |
Code clean up.
From-SVN: r247213
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/contracts.adb | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/gcc/ada/contracts.adb b/gcc/ada/contracts.adb index eb6443b..587a0b8 100644 --- a/gcc/ada/contracts.adb +++ b/gcc/ada/contracts.adb @@ -878,12 +878,6 @@ package body Contracts is then Error_Msg_N ("discriminated object & cannot be volatile", Obj_Id); - - -- An object of a tagged type cannot be effectively volatile - -- (SPARK RM C.6(5)). - - elsif Is_Tagged_Type (Obj_Typ) then - Error_Msg_N ("tagged object & cannot be volatile", Obj_Id); end if; -- The object is not effectively volatile |