It's gratifying when the compiler is right

I've been playing with clang because I'd like to use its static analyzer on the code at $DAY_JOB. Unfortunately, it frequently bombs while building our code. Fortunately, many of the bombs are due to our bugs, not theirs. Here's one example:

The following code builds with g++ 4.4.3 (Ubuntu 4.4.3-4ubuntu5) but not with clang version 3.1 (trunk 147292):

template<class Predicate>
void find_if(Predicate p) {
    void *x = 1;
}

g++ "mostly ignores" the body of find_if since it's never instantiated, while clang determines that you "cannot initialize a variable of type 'void *' with an rvalue of type 'int'".

It's gratifying when the compiler is right

Tags: