From: Simon Wright <simon@pushface.org>
Subject: Re: How do I resolve SPARK warning "procedure [...] has no effect for output procedure
Date: Thu, 26 Mar 2020 10:02:49 +0000
Date: 2020-03-26T10:02:49+00:00 [thread overview]
Message-ID: <lyr1xfl9h2.fsf@pushface.org> (raw)
In-Reply-To: f9bf574c-af41-4d66-8c22-d4e83ed8ab7a@googlegroups.com
digitig <digitig@gmail.com> writes:
> When I run SPARK examiner (from within GPS) I Get the warning I'd like
> to clear:
>
> warning: subprogram "Error_Header" has no effect.
Try
package Utils with Spark_Mode is
pragma Warnings (Off, "has no effect");
procedure Error_Header;
pragma Warnings (On, "has no effect");
end Utils;
next prev parent reply other threads:[~2020-03-26 10:02 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-03-25 20:48 How do I resolve SPARK warning "procedure [...] has no effect for output procedure digitig
2020-03-25 23:38 ` Anh Vo
2020-03-26 0:45 ` digitig
2020-03-26 10:02 ` Simon Wright [this message]
2020-03-26 11:56 ` digitig
2020-03-26 13:13 ` Egil H H
2020-03-27 0:05 ` digitig
2020-03-26 15:36 ` Simon Wright
2020-03-26 12:04 ` Stephen Leake
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox