[llvm-commits] [compiler-rt] r170388 - /compiler-rt/trunk/lib/ubsan/lit_tests/TypeCheck/vptr.cpp

[Dmitri Gribenko]

On Tue, Dec 18, 2012 at 2:23 AM, Richard Smith
<richard-llvm at metafoo.co.uk> wrote:
> Author: rsmith
> Date: Mon Dec 17 18:23:12 2012
> New Revision: 170388
>
> URL: http://llvm.org/viewvc/llvm-project?rev=170388&view=rev
> Log:
> Rein ubsan's vptr sanitizer back a bit. Per core issue 453, binding a reference
> to an object outside its lifetime does not have undefined behavior.

Hello Richard,

Excuse me if I misunderstand it, but shouldn't the commit message say
something like "binding a reference to an object of a different type
is allowed if the underlying storage has suitable size and alignment"?

Dmitri

-- 
main(i,j){for(i=2;;i++){for(j=2;j<i;j++){if(!(i%j)){j=0;break;}}if
(j){printf("%d\n",i);}}} /*Dmitri Gribenko <gribozavr at gmail.com>*/