Re: [Boost-users] C++ guru required!

Subject: Re: [Boost-users] C++ guru required!
From: Christopher Jefferson (chris_at_[hidden])
Date: 2012-02-20 05:28:21

On 19 Feb 2012, at 23:28, Nathan Ridge wrote:
> 
> I'm not sure whether compilers are required by the standard to
> type-check branches known not to be taken at compile time, but in
> practice I think they do because type-checking is done at an
> earlier stage of compilation than optimizations like constant
> propagation.

Compilers are required to type-check such branches, and all compilers (well, everyone one I've ever used) does.

Chris