From 3dcd6490c216875b0c1df0b0c1cee4501b4e010d Mon Sep 17 00:00:00 2001
From: Andrzej Kotulski <akotulski@fb.com>
Date: Fri, 29 Jan 2016 08:27:16 -0800
Subject: [PATCH] Translate reinterpret_cast and const_cast

Summary:
public
These casts are responsible for 100 crashes in the frontend on rocksdb.

Reviewed By: dulmarod

Differential Revision: D2879532

fb-gh-sync-id: c4594fb
---
 infer/src/clang/cTrans.ml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/infer/src/clang/cTrans.ml b/infer/src/clang/cTrans.ml
index 9da209758..504e52fd7 100644
--- a/infer/src/clang/cTrans.ml
+++ b/infer/src/clang/cTrans.ml
@@ -2053,6 +2053,8 @@ struct
         cast_exprs_trans trans_state stmt_info stmt_list expr_info cast_kind true
     | ImplicitCastExpr(stmt_info, stmt_list, expr_info, cast_kind)
     | CStyleCastExpr(stmt_info, stmt_list, expr_info, cast_kind, _)
+    | CXXReinterpretCastExpr(stmt_info, stmt_list, expr_info, cast_kind, _, _)
+    | CXXConstCastExpr(stmt_info, stmt_list, expr_info, cast_kind, _, _)
     | CXXStaticCastExpr(stmt_info, stmt_list, expr_info, cast_kind, _, _)
     | CXXFunctionalCastExpr(stmt_info, stmt_list, expr_info, cast_kind, _)->
         cast_exprs_trans trans_state stmt_info stmt_list expr_info cast_kind false