runtime/gc/invariant.h

   1 /* Copyright (C) 2012 Matthew Fluet.
   2  * Copyright (C) 1999-2006 Henry Cejtin, Matthew Fluet, Suresh
   3  *    Jagannathan, and Stephen Weeks.
   4  * Copyright (C) 1997-2000 NEC Research Institute.
   5  *
   6  * MLton is released under a BSD-style license.
   7  * See the file MLton-LICENSE for details.
   8  */
   9
  10 #if (defined (MLTON_GC_INTERNAL_FUNCS))
  11
  12 #if ASSERT
  13 static inline void assertIsObjptrInFromSpace (GC_state s, objptr *opp);
  14 static bool invariantForGC (GC_state s);
  15 #endif
  16 static inline bool invariantForMutatorFrontier (GC_state s);
  17 static inline bool invariantForMutatorStack (GC_state s);
  18 #if ASSERT
  19 static bool invariantForMutator (GC_state s, bool frontier, bool stack);
  20 #endif
  21
  22 #endif /* (defined (MLTON_GC_INTERNAL_FUNCS)) */