From c16fa01e7ec8d1478e1f1f2e05fa15e9466add8a Mon Sep 17 00:00:00 2001
From: Arnaud Charlet <charlet@gcc.gnu.org>
Date: Tue, 25 Apr 2017 14:39:28 +0200
Subject: [PATCH] Code clean up.

From-SVN: r247213
---
 gcc/ada/contracts.adb | 6 ------
 1 file changed, 6 deletions(-)

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
-- 
2.30.2