diff options
| author | Richard Smith <richard-llvm@metafoo.co.uk> | 2012-08-24 00:54:33 +0000 |
|---|---|---|
| committer | Richard Smith <richard-llvm@metafoo.co.uk> | 2012-08-24 00:54:33 +0000 |
| commit | 2c9f87ca5cccbfdaad82762368af5b2323320653 (patch) | |
| tree | e22ac59c06b9a9e7149788fba3e590fea2ce1aab /include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h | |
| parent | 6fbe982bb487931feb3f1ceb9eec8f7f1961393a (diff) | |
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
Diffstat (limited to 'include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h')
0 files changed, 0 insertions, 0 deletions