From a530498fbdf8b47ef3f228b0954cf8b773c2f667 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sun, 1 Mar 2015 11:20:35 +0100
Subject: [PATCH] Fix a bug seen with link-time optimizations enabled.

* src/tgbaalgos/simulation.cc (direct_simulation): Do not store the
original_ automaton as a reference. Otherwise with LTO (+ probably NRVO)
we get a situation where the result automaton (that will be stored in
original_) copies the properties of itself.
---
 src/tgbaalgos/simulation.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tgbaalgos/simulation.cc b/src/tgbaalgos/simulation.cc
index e6dad7a47..eb62b1aa5 100644
--- a/src/tgbaalgos/simulation.cc
+++ b/src/tgbaalgos/simulation.cc
@@ -720,7 +720,7 @@ namespace spot
 
       std::unique_ptr<scc_info> scc_info_;
 
-      const const_tgba_digraph_ptr& original_;
+      const const_tgba_digraph_ptr original_;
     };
 
   } // End namespace anonymous.