]> granicus.if.org Git - clang/commit
New -fcatch-undefined-behavior features:
authorRichard Smith <richard-llvm@metafoo.co.uk>
Fri, 24 Aug 2012 00:54:33 +0000 (00:54 +0000)
committerRichard Smith <richard-llvm@metafoo.co.uk>
Fri, 24 Aug 2012 00:54:33 +0000 (00:54 +0000)
commit2c9f87ca5cccbfdaad82762368af5b2323320653
treee22ac59c06b9a9e7149788fba3e590fea2ce1aab
parent6fbe982bb487931feb3f1ceb9eec8f7f1961393a
New -fcatch-undefined-behavior features:
 * when checking that a pointer or reference refers to appropriate storage for a type, also check the alignment and perform a null check
 * check that references are bound to appropriate storage
 * check that 'this' has appropriate storage in member accesses and member function calls

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@162523 91177308-0d34-0410-b5e6-96231b3b80d8
lib/CodeGen/CGExpr.cpp
lib/CodeGen/CGExprAgg.cpp
lib/CodeGen/CGExprCXX.cpp
lib/CodeGen/CGExprScalar.cpp
lib/CodeGen/CodeGenFunction.h
test/CodeGen/catch-undef-behavior.c
test/CodeGenCXX/catch-undef-behavior.cpp [new file with mode: 0644]