'withing' problem

["David Crocker" <dcrocker@imsltd.com>]

Are there any commercial compilers with language extensions to work around
the infamous "withing" problem?

We have a tool that generates (currently) C++ or Java code from precise
specifications and we would very much like to generate Ada95 as well so we
can better target safety-critical applications. But because our tool
encourages an object-oriented style, any attempt at code geenration in Ada
usually falls foul of the withing-problem very quickly (we can't even
compile the runtime library without hitting the problem).

I am aware of the woraround described at
http://home.bluemarble.net/~jvolan/WithingProblem/FAQ.html but I doubt this
would be acceptable in a safety-critical application. I am also aware that
GNAT implements a workaround, but what we really need is a validated
compiler.

I heard that the next update to the Ada language circa 2005 will address the
problem, but this is too far away to be any consolation. Surely we can't be
the only company that needs the problem fixed urgently? How do the
developers of large military software systems manage?

Regards

David Crocker, Escher Technologies (www.eschertech.com)