Using clang to recognize illegal reference acceess

Project Infrastructure LLVM Dev List Archives
1

I was going through the the presentation by Herb Sutter presentation
(CppCoreGuidelines/Sutter - CppCon 2015 day 2 plenary .pdf at master · isocpp/CppCoreGuidelines · GitHub)

Slide No : 21.

The code:

class A
{
    public:
        void foo() const;
};

void A::foo() const {}

std::unique_ptr<A> foo2()
{
    std::unique_ptr<A> pa(new A());
    return pa;
}

void
foo()
{
    const A& ra = *foo2(); // Incorrect
    ra.foo();
}

clang does not report a error at the following line:
const A& ra = *foo2(); // Incorrect

I am using the following command line:
clang++ -std=c++11 --analyze -Xanalyzer -analyzer-output=text
-Xanalyzer -analyzer-checker=core.NullDereference test.cpp
clang version : 3.8

Could you please let me know if I need to pass any other parameters to
clang so that it can recognize this error.

Thanks