From 8da6a8179dc752f840e9fb9ab29c27b81995afea Mon Sep 17 00:00:00 2001
From: reuk <reuk@users.noreply.github.com>
Date: Tue, 14 Nov 2017 14:48:15 +0000
Subject: [PATCH] Replace try-catch with nullptr checks

---
 src/util/std_code.h | 18 ++++++------------
 1 file changed, 6 insertions(+), 12 deletions(-)

diff --git a/src/util/std_code.h b/src/util/std_code.h
index 4e3cc60d910..e5b1c1b9a49 100644
--- a/src/util/std_code.h
+++ b/src/util/std_code.h
@@ -53,14 +53,11 @@ namespace detail // NOLINT
 template<typename Tag>
 inline bool can_cast_code_impl(const exprt &expr, const Tag &tag)
 {
-  try
+  if(const auto ptr = expr_try_dynamic_cast<codet>(expr))
   {
-    return expr_dynamic_cast<codet>(expr).get_statement()==tag;
-  }
-  catch(const std::bad_cast &)
-  {
-    return false;
+    return ptr->get_statement() == tag;
   }
+  return false;
 }
 
 } // namespace detail
@@ -1244,14 +1241,11 @@ namespace detail // NOLINT
 template<typename Tag>
 inline bool can_cast_side_effect_expr_impl(const exprt &expr, const Tag &tag)
 {
-  try
-  {
-    return expr_dynamic_cast<side_effect_exprt>(expr).get_statement()==tag;
-  }
-  catch(const std::bad_cast &)
+  if(const auto ptr = expr_try_dynamic_cast<side_effect_exprt>(expr))
   {
-    return false;
+    return ptr->get_statement() == tag;
   }
+  return false;
 }
 
 } // namespace detail