Boost logo

Boost :

Subject: Re: [boost] [array] compile-time checked access
From: Tobias Loew (Tobias.Loew_at_[hidden])
Date: 2012-11-05 09:27:22


That's right, there are a lot of tools to do static analysis. But why use a
tool if you can do it within the language?

Jens Auer-5 wrote
> The MS compiler also has some static analysis facilities and there exists
> a free static analyzer based on clang: http://clang-analyzer.llvm.org/.

I'm using MSVC 9 and

#include <boost/array.hpp>
void foo()
{
    boost::array<int,2> test;
    test[2] = 1;
}

is compiled without any warning even though /W4 is enabled.

Tobias

--
View this message in context: http://boost.2283326.n4.nabble.com/array-compile-time-checked-access-tp4638135p4638164.html
Sent from the Boost - Dev mailing list archive at Nabble.com.

Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk