[cfe-dev] Variable out of scope

[Anders Rönnholm]

Hi,

How do i see that a variable is out of scope in a checker? Like in the example below i'd like to see that p is dead when assigning 0 to it as x is out of scope.

void f() {
    int *p;
    {
        int x;
        p = &x;
    }
    *p = 0;  // <-- error! p is dead.
}

//Anders