From: Claire Dross <dross@adacore.com>
Date: Tue, 29 Jun 2021 08:38:31 +0000 (+0200)
Subject: [Ada] Add SPARK_Mode => Off to System.File_Control_Block
X-Git-Tag: upstream/12.2.0~4986
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=9613900aef1cdb5c5c3b867825b6295c0b00f4cc;p=platform%2Fupstream%2Fgcc.git

[Ada] Add SPARK_Mode => Off to System.File_Control_Block

gcc/ada/

	* libgnat/s-ficobl.ads: The entire package has a SPARK_Mode =>
	Off aspect.
---

diff --git a/gcc/ada/libgnat/s-ficobl.ads b/gcc/ada/libgnat/s-ficobl.ads
index 6fff2da..4e97079 100644
--- a/gcc/ada/libgnat/s-ficobl.ads
+++ b/gcc/ada/libgnat/s-ficobl.ads
@@ -39,7 +39,7 @@ with Ada.Streams;
 with Interfaces.C_Streams;
 with System.CRTL;
 
-package System.File_Control_Block is
+package System.File_Control_Block with SPARK_Mode => Off is
    pragma Preelaborate;
 
    ----------------------------