From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-0.0 required=3.0 tests=BAYES_20 autolearn=ham
	autolearn_force=no version=3.4.6
X-Received: by 2002:a05:6214:509e:: with SMTP id kk30mr21518162qvb.61.1642505097964;
        Tue, 18 Jan 2022 03:24:57 -0800 (PST)
X-Received: by 2002:a25:e64d:: with SMTP id d74mr3179291ybh.323.1642505097836;
 Tue, 18 Jan 2022 03:24:57 -0800 (PST)
Path: eternal-september.org!reader02.eternal-september.org!border1.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 18 Jan 2022 03:24:57 -0800 (PST)
In-Reply-To: <7dd99faa-6bb3-4224-baee-6795a67a6969n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=80.194.57.154; posting-account=xS3LTwoAAAB3aeXopC8a-M58TGE8K6go
NNTP-Posting-Host: 80.194.57.154
References: <09dcb07d-f7b8-432b-8338-840ff90faef1n@googlegroups.com>
 <044fecdb-18ad-40e8-a776-8da01573434dn@googlegroups.com> <7dd99faa-6bb3-4224-baee-6795a67a6969n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <6b60d6a6-f691-45ae-8c4f-8be5ef9fe086n@googlegroups.com>
Subject: Re: Odd Behaviour
From: Mark Wilson <markwilson@wilsonnet.technology>
Injection-Date: Tue, 18 Jan 2022 11:24:57 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader02.eternal-september.org comp.lang.ada:63384
List-Id: <comp.lang.ada>

On Tuesday, January 18, 2022 at 11:21:22 AM UTC, Mark Wilson wrote:
> On Tuesday, January 18, 2022 at 11:16:57 AM UTC, amado...@gmail.com wrote: 
> > To find the culprit I would: 
> > Test Pre vs. Post (Pre only vs. Post only). 
> > Unit test function SQL_OK for storage error just in case.
> It's not SQL_OK, 
> 
> function SQL_OK 
> (rc : in SQLRETURN) 
> return Boolean 
> is 
> (rc = SQL_SUCCESS or else rc = SQL_SUCCESS_WITH_INFO); 
> 
> And it fails with either Pre or Post, sadly - the only common factor seems to be the 'if' 

Does this look like a compiler bug? Or, hitherto, undocumented behaviour with Pre and Post conditions?