Tools for testing C compilers for the correct handling of volatile objects.