Re: Odd Behaviour

[Mark Wilson <markwilson@wilsonnet.technology>]

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?