diff options
| author | Jordan Rose <jordan_rose@apple.com> | 2012-06-11 23:20:52 +0000 |
|---|---|---|
| committer | Jordan Rose <jordan_rose@apple.com> | 2012-06-11 23:20:52 +0000 |
| commit | 570d03c6831a8e19447dc863aa94ffff020077eb (patch) | |
| tree | b513219a733e1b553a92ad5cbc8928b3864d3966 /lib/StaticAnalyzer/Core/ExprEngine.cpp | |
| parent | dd895f056bff47d2d1a924b49e7b40d48749fcc0 (diff) | |
[analyzer] Treat LValueBitCasts like regular pointer bit casts.
These casts only appear in very well-defined circumstances, in which the
target of a reinterpret_cast or a function formal parameter is an lvalue
reference. According to the C++ standard, the following are equivalent:
reinterpret_cast<T&>( x)
*reinterpret_cast<T*>(&x)
[expr.reinterpret.cast]p11
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@158338 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/ExprEngine.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Core/ExprEngine.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/StaticAnalyzer/Core/ExprEngine.cpp b/lib/StaticAnalyzer/Core/ExprEngine.cpp index a95f565b6c..fb41a9384c 100644 --- a/lib/StaticAnalyzer/Core/ExprEngine.cpp +++ b/lib/StaticAnalyzer/Core/ExprEngine.cpp @@ -1641,7 +1641,7 @@ void ExprEngine::evalLoad(ExplodedNodeSet &Dst, assert(!isa<NonLoc>(location) && "location cannot be a NonLoc."); assert(!isa<loc::ObjCPropRef>(location)); - // Are we loading from a region? This actually results in two loads; one + // Are we loading from a reference? This actually results in two loads; one // to fetch the address of the referenced value and one to fetch the // referenced value. if (const TypedValueRegion *TR = |