Fix use after free of label in wto_t::stack

Signed-off-by: Alan Jowett <alanjo@microsoft.com>
dthaler · Feb 21, 2022 · 3d10ac6 · 3d10ac6
1 parent d3facca
commit 3d10ac6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/crab/wto.cpp b/src/crab/wto.cpp
@@ -55,7 +55,7 @@ void wto_t::start_visit(const label_t& vertex, wto_partition_t& partition, std::
 
     if (head_dfn == vertex_data.dfn) {  
         vertex_data.dfn = INT_MAX;
-        label_t& element = _stack.top();
+        label_t element = _stack.top();
         _stack.pop();
         if (loop) {
             while (element != vertex) {