commit a553fbfcd13777f23c563748ea803b2bcdc10ead
author Ted Kremenek <kremenek@apple.com> Mon Oct 14 18:55:27 2013 +0000
committer Ted Kremenek <kremenek@apple.com> Mon Oct 14 18:55:27 2013 +0000
tree 4a3f3a98e1774469b47cff147258a8f1f1c80a27
parent 1f39e343ef84f6c506a5053d06394266661280bd

GetExprRange() (used by -Wconversion checking) should look through OpaqueValueExprs.

Fixes a false positive with -Wconversion involving Objective-C properties.

Fixes <rdar://problem/14415662>.

llvm-svn: 192611

clang/lib/Sema/SemaChecking.cpp

diff --git a/clang/lib/Sema/SemaChecking.cpp b/clang/lib/Sema/SemaChecking.cpp
index 426bf68..94a58cc 100644
--- a/clang/lib/Sema/SemaChecking.cpp
+++ b/clang/lib/Sema/SemaChecking.cpp
@@ -4665,6 +4665,9 @@
     }
   }
 
+  if (OpaqueValueExpr *OVE = dyn_cast<OpaqueValueExpr>(E))
+    return GetExprRange(C, OVE->getSourceExpr(), MaxWidth);
+
   if (FieldDecl *BitField = E->getSourceBitField())
     return IntRange(BitField->getBitWidthValue(C),
                     BitField->getType()->isUnsignedIntegerOrEnumerationType());