Verification of C++ compilers

[Dag Gunnar Asperud]

Hello!

I need to test some C++ compilers to verify its characteristics.
Are there any "compiler testbed" that can be used for this purpose?

Dag Gunnar Asperud

 

[Victor Bazarov]

I need to test some C++ compilers to verify its characteristics.
Are there any "compiler testbed" that can be used for this purpose?

I don't know of any (although just like you, I think there might be
some), but I have a question: if you know what characteristics you
want to verify (or do you?), why don't you just write a few programs
that would exercise those parts of the compiler you need to test?

In my experience the choice of the compiler is defined not by its
abilities, primarily, but by the clients' requirements or by other
market considerations.

V

 

[Dag Gunnar Asperud]

I don't know of any (although just like you, I think there might be

some), but I have a question: if you know what characteristics you
want to verify (or do you?), why don't you just write a few programs
that would exercise those parts of the compiler you need to test?

I need to be able to know if a compiler can be used in "Safety Critical
Computing System", which means that I need to know a lot of its
characteristics for specific platforms, such as the correctness of the
standard library bundled, the characteristics of simple numeric types,
whether or not it handles exceptions and so on. There are probably a lot of
questions I should ask, but am not aware of. Therefore a lot of thoughts
"bundled with a testbed" would be very helpful . Other references to this
issue would also be highly appreciated.



Dag Gunnar

 

[Victor Bazarov]

I need to be able to know if a compiler can be used in "Safety Critical
Computing System", which means that I need to know a lot of its
characteristics for specific platforms, such as the correctness of the
standard library bundled, the characteristics of simple numeric types,
whether or not it handles exceptions and so on. There are probably a lot of
questions I should ask, but am not aware of. Therefore a lot of thoughts
"bundled with a testbed" would be very helpful . Other references to this
issue would also be highly appreciated.

For other references, check out the newsgroup archives on Google. Your
question has been already asked. I don't know if it was answered to your
satisfaction, that's for you to decide. http://groups.google.com/

V

 

[bjarne]

I need to be able to know if a compiler can be used in "Safety Critical
Computing System", which means that I need to know a lot of its
characteristics for specific platforms, such as the correctness of the
standard library bundled, the characteristics of simple numeric types,
whether or not it handles exceptions and so on. There are probably a lot of
questions I should ask, but am not aware of. Therefore a lot of thoughts
"bundled with a testbed" would be very helpful . Other references to this
issue would also be highly appreciated.

perennial and plumhall offer conformance suites. However, the vendors
of C++ compilers for embedded systems usually offer quite a lot of the
information you ask for so it may be a good idea to ask your compiler
supplier(s) first of all.

-- Bjarne Stroustrup; http://www.research.att.com/~bs

PS. If you haven't already, have a look at the C++ standards
committee's technical report on performance (link on my C++ page); that
TR addresses a lot of common questions related to embedded systems.