Module: ppl/ppl Branch: devel Commit: ad2b6ccc65b5ba760b4186ecbf41e3f376a672fc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ad2b6ccc65b5b...
Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Sun Aug 9 19:20:32 2020 +0200
Thread initialization and finalization functions are always needed.
---
src/Init.cc | 2 +- src/Init_defs.hh | 12 ++++++++++++ 2 files changed, 13 insertions(+), 1 deletion(-)
diff --git a/src/Init.cc b/src/Init.cc index e92315e36..99f54cd59 100644 --- a/src/Init.cc +++ b/src/Init.cc @@ -169,6 +169,7 @@ finalize_aux() { delete Parma_Polyhedra_Library_initializer_p; Parma_Polyhedra_Library_initializer_p = nullptr; } +#endif
void thread_initialize_aux() { @@ -183,7 +184,6 @@ thread_finalize_aux() { delete Parma_Polyhedra_Library_thread_initializer_p; Parma_Polyhedra_Library_thread_initializer_p = nullptr; } -#endif
} // namespace Implementation
diff --git a/src/Init_defs.hh b/src/Init_defs.hh index 6527d755f..b42265b2a 100644 --- a/src/Init_defs.hh +++ b/src/Init_defs.hh @@ -59,6 +59,18 @@ void set_rounding_for_PPL(); */ void restore_pre_PPL_rounding();
+namespace Implementation { + +#ifdef PPL_NO_AUTOMATIC_INITIALIZATION +void initialize_aux(); +void finalize_aux(); +#endif + +void thread_initialize_aux(); +void thread_finalize_aux(); + +} // namespace Implementation + } // namespace Parma_Polyhedra_Library
#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS