Committed as r162523 after off-list review.

On Thu, Aug 23, 2012 at 10:56 AM, Richard Smith <
[email protected]> wrote:

> This patch teaches -fcatch-undefined-behavior to catch cases where a
> reference is bound to a glvalue which doesn't point to storage of the right
> size and alignment, and likewise for 'this' pointers. It also adds the
> alignment check to the existing checks for loads and stores.
>
> Clang and LLVM's tests are now clean under these new checks, except for
> TypeLoc alignment.
>
> http://llvm-reviews.chandlerc.com/D24
>
> Files:
>   test/CodeGenCXX/catch-undef-behavior.cpp
>   test/CodeGen/catch-undef-behavior.c
>   lib/CodeGen/CGExprScalar.cpp
>   lib/CodeGen/CGExpr.cpp
>   lib/CodeGen/CGExprAgg.cpp
>   lib/CodeGen/CGExprCXX.cpp
>   lib/CodeGen/CodeGenFunction.h
>
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits

Reply via email to