This is the mail archive of the
libc-alpha@sourceware.org
mailing list for the glibc project.
What is C in practice? (Cerberus survey)
- From: Peter Sewell <Peter dot Sewell at cl dot cam dot ac dot uk>
- To: libc-alpha at sourceware dot org
- Date: Tue, 26 May 2015 14:37:18 +0100
- Subject: What is C in practice? (Cerberus survey)
- Authentication-results: sourceware.org; auth=none
- Reply-to: Peter dot Sewell at cl dot cam dot ac dot uk
Dear libc developers,
We're trying to explore, with a short survey, some aspects of what C
is in current mainstream practice: the behaviour that programmers
assume they can rely on, the behaviour provided by mainstream
compilers such as GCC, Clang, ICC, and MSVC, and the idioms used in
existing code, especially systems code. These often differ in
important ways, from each other and from the ISO standard.
We're *not* asking what the standard permits (it's often more
restrictive and sometimes just unclear), or about obsolete hardware or
compilers. And if you can point to examples (e.g. of real code that
depends on the feature in question) that would be great.
If you have a few minutes, the survey is here:
https://goo.gl/2TY0H5
Don't forget to click "SUBMIT" when you're done.
Many thanks - the Cerberus team (www.cl.cam.ac.uk/~pes20/cerberus).