Correct a function pre/postcondition [PR102403].

[thirdparty/gcc.git] / gcc / domwalk.h

diff --git a/gcc/domwalk.h b/gcc/domwalk.h
index c3bc80438a51c0e3cd670f6174192d1e50351f6b..125570ec13c9f1bb6498eb5c3f9cb787264dd763 100644 (file)
--- a/gcc/domwalk.h
+++ b/gcc/domwalk.h
@@ -1,5 +1,5 @@
 /* Generic dominator tree walker
-   Copyright (C) 2003-2019 Free Software Foundation, Inc.
+   Copyright (C) 2003-2021 Free Software Foundation, Inc.
    Contributed by Diego Novillo <dnovillo@redhat.com>
 
 This file is part of GCC.
@@ -60,13 +60,12 @@ public:
     REACHABLE_BLOCKS_PRESERVING_FLAGS
   };
 
-  dom_walker (cdi_direction direction, enum reachability = ALL_BLOCKS);
-
   /* You can provide a mapping of basic-block index to RPO if you
      have that readily available or you do multiple walks.  If you
      specify NULL as BB_INDEX_TO_RPO dominator children will not be
      walked in RPO order.  */
-  dom_walker (cdi_direction direction, enum reachability, int *bb_index_to_rpo);
+  dom_walker (cdi_direction direction, enum reachability = ALL_BLOCKS,
+             int *bb_index_to_rpo = NULL);
 
   ~dom_walker ();
 
@@ -94,7 +93,7 @@ private:
      if it is set to CDI_POST_DOMINATORS, then we walk the post
      dominator tree.  */
   const ENUM_BITFIELD (cdi_direction) m_dom_direction : 2;
-  bool m_skip_unreachable_blocks;
+  const ENUM_BITFIELD (reachability) m_reachability : 2;
   bool m_user_bb_to_rpo;
   basic_block m_unreachable_dom;
   int *m_bb_to_rpo;