From: Arnaud Charlet <charlet@gcc.gnu.org>
Date: Tue, 25 Apr 2017 12:39:28 +0000 (+0200)
Subject: Code clean up.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c16fa01e7ec8d1478e1f1f2e05fa15e9466add8a;p=gcc.git

Code clean up.

From-SVN: r247213
---

diff --git a/gcc/ada/contracts.adb b/gcc/ada/contracts.adb
index eb6443b8d56..587a0b8513d 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