Revision: 13826
Author:   [email protected]
Date:     Tue Mar  5 08:08:11 2013
Log:      Remove obsolete CodeFlusher debug code.

[email protected]

Review URL: https://codereview.chromium.org/12456002
http://code.google.com/p/v8/source/detail?r=13826

Modified:
 /branches/bleeding_edge/src/mark-compact.cc
 /branches/bleeding_edge/src/mark-compact.h

=======================================
--- /branches/bleeding_edge/src/mark-compact.cc Mon Mar  4 06:56:20 2013
+++ /branches/bleeding_edge/src/mark-compact.cc Tue Mar  5 08:08:11 2013
@@ -1059,16 +1059,6 @@

   shared_function_info_candidates_head_ = NULL;
 }
-
-
-bool CodeFlusher::ContainsCandidate(SharedFunctionInfo* shared_info) {
-  SharedFunctionInfo* candidate = shared_function_info_candidates_head_;
-  while (candidate != NULL) {
-    if (candidate == shared_info) return true;
-    candidate = GetNextCandidate(candidate);
-  }
-  return false;
-}


 void CodeFlusher::EvictCandidate(SharedFunctionInfo* shared_info) {
=======================================
--- /branches/bleeding_edge/src/mark-compact.h  Thu Feb 28 09:03:34 2013
+++ /branches/bleeding_edge/src/mark-compact.h  Tue Mar  5 08:08:11 2013
@@ -423,10 +423,6 @@
     if (GetNextCandidate(shared_info) == NULL) {
       SetNextCandidate(shared_info, shared_function_info_candidates_head_);
       shared_function_info_candidates_head_ = shared_info;
-    } else {
-      // TODO(mstarzinger): Active in release mode to flush out problems.
-      // Should be turned back into an ASSERT or removed completely.
-      CHECK(ContainsCandidate(shared_info));
     }
   }

@@ -437,8 +433,6 @@
       jsfunction_candidates_head_ = function;
     }
   }
-
-  bool ContainsCandidate(SharedFunctionInfo* shared_info);

   void EvictCandidate(SharedFunctionInfo* shared_info);
   void EvictCandidate(JSFunction* function);

--
--
v8-dev mailing list
[email protected]
http://groups.google.com/group/v8-dev
--- You received this message because you are subscribed to the Google Groups "v8-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to