Boost logo

Boost Users :

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


Boost-users list run by williamkempf at hotmail.com, kalb at libertysoft.com, bjorn.karlsson at readsoft.com, gregod at cs.rpi.edu, wekempf at cox.net