AdaCore's compilers are lawyerbombed; they're GPL'd without the library exception, so you can't use it for non-GPL'd software. (The binaries are unreleasable due to license conflict.)

It's actually freeer to download the FSF-distributed version, which is GPL'd with the library extension. See: http://www.getadanow.com/

The FSF version is usually a couple of minor releases behind the AdaCore version, but is otherwise much less hassle.

This book gives details on every advantage: http://www.adacore.com/uploads_gems/Ada_Safe_and_Secure_Book...

Show me where to get a full set of non-GPL ADA 2012 documentation, tools, libraries, compiler, IDE, etc. that doesn't lead back to AdaCore?

And pricing on AdaCore is "Get a Price Quote." Which means, "you can afford it."

To me, when pricing is "get a quote", that translates to "it's so exorbitant we are afraid to put it up publicly lest people immediately be turned away before we can deliver our sales pitch".