Re: Ada 2012 Constraints (WRT an Ada IR)

["Randy Brukardt" <randy@rrsoftware.com>]

"Niklas Holsti" <niklas.holsti@tidorum.invalid> wrote in message 
news:ebb502F17nuU1@mid.individual.net...
...
> Yes. Also the output from CodePeer can be rather voluminous and hard to 
> understand, or so I have been told by my colleagues who are actively using 
> it. I aim to start using it, as soon as other tasks permit :-)

Exactly. That's the problem with using optimizer technology as the basis of 
correctness checking.

In my case, I have the optimizer, and I know(*) how to use it to "prove" 
preconditions/postconditions, but how to give feedback to the programmer is 
elusive. That's especially true as one mostly wants to report the negatives: 
Pre/Post that could not be eliminated by the optimizer. For obvious reasons, 
the optimizer doesn't pay much attention to things it can't do.

(*) "Know" in the sense that I have a plan which should work based on the 
existing design of the optimizer. As with all things compiler, one doesn't 
really "know" until it's implemented and tested.

Of course, instead of working on a "fun" project like this, I'm trying to 
track down why Ada.Tags is visible in a package specification that doesn't 
"with" Ada.Tags. Ada visibility and resolution sadly take all of the fun out 
of compiler construction. :-)

                                             Randy.