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);
 }