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 | e6b9d802fb7b16d93474c4f1c179ab36202e8a8b (patch) | |
| tree | 9a396d8d98d2ac759c7050a9838cd3439f6ba02a /lib/StaticAnalyzer/Core/ExprEngineC.cpp | |
| parent | b3ce35764adcc5749e8729709b1f3737227d90ec (diff) | |
Implement OpenCL event_t as Clang builtin type, including event_t related OpenCL restrictions (OpenCL 1.2 spec 6.9)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@172973 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/ExprEngineC.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Core/ExprEngineC.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/StaticAnalyzer/Core/ExprEngineC.cpp b/lib/StaticAnalyzer/Core/ExprEngineC.cpp index f1ef0f6601..ea2fc3c5b2 100644 --- a/lib/StaticAnalyzer/Core/ExprEngineC.cpp +++ b/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); |