About: “I know we have AdaCore and PLT.”
Instead of PLT, I presume you mean PTC, who distribute PTCObjectAda and PTCApexAda, Ada 2012 and Ada 95 compilers resp.
I haven’t done homework to verify what is still supported or not, but as a data point, awesome-ada has a list of compilers (and can be updated if out of date):
Lots of C++ programmers use MSVC. Intel’s C++ compiler also comes to mind. Usually when I’m writing C++ I like to set up GCC/Clang/MSVC since they’ll each catch things the others don’t.
Yes, Dirk. I meant PTC. What embedded platforms does PTC support. I recall one of the the platforms was the Boeing 777. The Green Hills Ada compiler used by my [now former] client is good for its run-time efficiency. However, they are also conservative in what feature they use beyond those that were in the original Ada 83 standard.