C++ code inspection issues

I'm considering purchasing AppCode, but code inspection shows me errors even when the code compiles successfully.

Errors are mostly related to templates: Cannot resolve, Duplicate declarations (while they are not because of SFINAE). Also, I had Array issues (Subscripted value is not an array, while it implements [] operator), Incompatible types (while they are convertible or even aliases for the same type).

I understand fixing the inspection isn't an easy task, so I'd like to know if there is a way to make AppCode highlight actual compilation errors at the moment?

I couldn't reproduce all the errors from the big project in a small example, the correct code below has 3:

#include <type_traits>

template <class T> typename std::enable_if<std::is_integral<T>::value, void>::type f(T& value) {}
template <class T> typename std::enable_if<!std::is_integral<T>::value, void>::type f(T& value) {}

struct A {
    A(int) {}
};

template <class T = A>
struct B : public T {
    using T::T;
};

int main() {
    B<> b(1);
    char c = 2["abc"];
    return 0;
}