[cfe-dev] Summer of Code idea -- detecting undefined behavior (fwd)

[me22]

On 24 March 2010 01:12, John Regehr <regehr at cs.utah.edu> wrote:
>
> The hard undefined behaviors will require a great deal of intimacy with
> the C standard and with Clang/LLVM.  My favorite example is that a program
> is undefined if "Between two sequence points, an object is modified more
> than once, or is modified and the prior value is read other than to
> determine the value to be stored."  Yuck.
>

Hopefully the new C++ standard's wording will be easier to apply, as
apparently "sequence points" are gone[1], which seems right since I
can't find a mention of them in n3000.

[1] http://blogs.msdn.com/vcblog/archive/2007/06/04/update-on-the-c-0x-language-standard.aspx