diff options
| author | Jordan Rose <jordan_rose@apple.com> | 2012-08-23 23:01:43 +0000 |
|---|---|---|
| committer | Jordan Rose <jordan_rose@apple.com> | 2012-08-23 23:01:43 +0000 |
| commit | 434f132060a3d3bbef8cee8ef0090ae0f0235451 (patch) | |
| tree | 20984b58341fafe47092813fbb889ba0b71cee48 /lldb/source/Plugins/OperatingSystem/Python/OperatingSystemPython.cpp | |
| parent | 081af085eb6ea6b2c6a0b7fdf7cbc04448a2ad8a (diff) | |
[analyzer] For now, treat pointers-to-members as non-null void * symbols.
Until we have full support for pointers-to-members, we can at least
approximate some of their use by tracking null and non-null values.
We thus treat &A::m_ptr as a non-null void * symbol, and MemberPointer(0)
as a pointer-sized null constant.
This enables support for what is sometimes called the "safe bool" idiom,
demonstrated in the test case.
llvm-svn: 162495
Diffstat (limited to 'lldb/source/Plugins/OperatingSystem/Python/OperatingSystemPython.cpp')
0 files changed, 0 insertions, 0 deletions