Svadev mailing list

[Thomas Sanchez <thomas.sanchz AT gmail.com>]

Hi,
I just read the mail on the clang mailing list talking about SAFE.
I'am pretty interested in this tool but the first test I did was not a
full success:

int main(int ac, char** av)
{

        char* ptr = new char;
        *ptr = 9;
        delete ptr;
        return *ptr;
}

$> ./bin/clang++ -g -fmemsafety test.cpp  -Llib -lsc_dbg_rt
-lpoolalloc_bitmap -lstdc++
$> ./a.out
$> echo $?
9

Should'nt this code trigger some errors during the execution ?

I'm on Mac OS X 10.7.


Thank you !

-- 
Thomas Sanchez