diff options
| author | Guy Benyei <guy.benyei@intel.com> | 2013-01-20 12:31:11 +0000 |
|---|---|---|
| committer | Guy Benyei <guy.benyei@intel.com> | 2013-01-20 12:31:11 +0000 |
| commit | 1b4fb3e08b28f12d508aec0bbdcb6f41cfb0ee38 (patch) | |
| tree | 5cf8e9985a92136f34520167b6a007eb00fe1468 /clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp | |
| parent | 359e09d4f50f381dc85d64bc7ea4e06013d09779 (diff) | |
| download | bcm5719-llvm-1b4fb3e08b28f12d508aec0bbdcb6f41cfb0ee38.tar.gz bcm5719-llvm-1b4fb3e08b28f12d508aec0bbdcb6f41cfb0ee38.zip | |
Implement OpenCL event_t as Clang builtin type, including event_t related OpenCL restrictions (OpenCL 1.2 spec 6.9)
llvm-svn: 172973
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp b/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp index f1ef0f66011..ea2fc3c5b29 100644 --- a/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp +++ b/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp @@ -306,7 +306,8 @@ void ExprEngine::VisitCast(const CastExpr *CastE, const Expr *Ex, case CK_CPointerToObjCPointerCast: case CK_BlockPointerToObjCPointerCast: case CK_AnyPointerToBlockPointerCast: - case CK_ObjCObjectLValueCast: { + case CK_ObjCObjectLValueCast: + case CK_ZeroToOCLEvent: { // Delegate to SValBuilder to process. SVal V = state->getSVal(Ex, LCtx); V = svalBuilder.evalCast(V, T, ExTy); |
