alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Fix a bug seen with link-time optimizations enabled.

Browse source 
* 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.
This commit is contained in:
Alexandre Duret-Lutz 2015-03-01 11:20:35 +01:00
parent 9454584074
commit a530498fbd
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tgbaalgos/simulation.cc
View file

@ -720,7 +720,7 @@ namespace spot
std::unique_ptr<scc_info> scc_info_; std::unique_ptr<scc_info> scc_info_;
const const_tgba_digraph_ptr& original_; const const_tgba_digraph_ptr original_;
}; };
} // End namespace anonymous. } // End namespace anonymous.