1 files changed, 1 insertions, 0 deletions
diff --git a/sql/sp_cache.cc b/sql/sp_cache.cc
index f67ef421..2a777c14 100644
--- a/sql/sp_cache.cc
+++ b/sql/sp_cache.cc
@@ -235,6 +235,7 @@ void sp_cache_flush_obsolete(sp_cache **cp, sp_head **sp)
 {
   if ((*sp)->sp_cache_version() < Cversion && !(*sp)->is_invoked())
   {
+    DBUG_EXECUTE_IF("check_sp_cache_not_invalidated", DBUG_SUICIDE(););
     (*cp)->remove(*sp);
     *sp= NULL;
   }