From f046e81b8609ffc8e1a4fcd34699cff6b3f2937d Mon Sep 17 00:00:00 2001
From: Richard Biener <rguenther@suse.de>
Date: Fri, 22 Mar 2013 13:01:42 +0000
Subject: [PATCH] is-a.h (as_a): Use gcc_checking_assert.

2013-03-22  Richard Biener  <rguenther@suse.de>

	* is-a.h (as_a): Use gcc_checking_assert.

From-SVN: r196959
---
 gcc/ChangeLog | 4 ++++
 gcc/is-a.h    | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 448db4f374a..618032b6dde 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2013-03-22  Richard Biener  <rguenther@suse.de>
+
+	* is-a.h (as_a): Use gcc_checking_assert.
+ 
 2013-03-22  Ian Bolton  <ian.bolton@arm.com>
 
 	* config/aarch64/aarch64.c (aarch64_print_operand): New
diff --git a/gcc/is-a.h b/gcc/is-a.h
index 8b7f9b34dde..b5ee8543abe 100644
--- a/gcc/is-a.h
+++ b/gcc/is-a.h
@@ -181,7 +181,7 @@ template <typename T, typename U>
 inline T *
 as_a (U *p)
 {
-  gcc_assert (is_a <T> (p));
+  gcc_checking_assert (is_a <T> (p));
   return is_a_helper <T>::cast (p);
 }