http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38174
--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-10-12 22:14:03 UTC --- So, for operator== for example, we reach the end of add_builtin_candidate, the conditional is true, and we proceed with two calls to build_builtin_candidate for pairs of const int* and pairs of volatile int*, I don't see the analysis required to figure out that we need also the version for pairs of const volatile int*. Should be open coded here?
