Module: ppl/ppl Branch: pip Commit: 447775d2f2aab7c3203bd356ffb6c1420944ad8d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=447775d2f2aab...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Jan 9 14:23:58 2010 +0100
Generate nicer identifiers for the temporaries.
---
src/Temp.inlines.hh | 8 ++++---- 1 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/src/Temp.inlines.hh b/src/Temp.inlines.hh index 61cd25c..234db1e 100644 --- a/src/Temp.inlines.hh +++ b/src/Temp.inlines.hh @@ -91,12 +91,12 @@ Temp_Value_Holder<T>::item() {
#define PPL_DIRTY_TEMP(T, id) \ typename \ - Parma_Polyhedra_Library::Dirty_Temp<T>::holder_type holder ## id; \ + Parma_Polyhedra_Library::Dirty_Temp<T>::holder_type holder_ ## id; \ typename \ - Parma_Polyhedra_Library::Dirty_Temp<T>::type id = holder ## id.item() + Parma_Polyhedra_Library::Dirty_Temp<T>::type id = holder_ ## id.item()
#define PPL_DIRTY_TEMP0(T, id) \ - Parma_Polyhedra_Library::Dirty_Temp<T>::holder_type holder ## id; \ - Parma_Polyhedra_Library::Dirty_Temp<T>::type id = holder ## id.item() + Parma_Polyhedra_Library::Dirty_Temp<T>::holder_type holder_ ## id; \ + Parma_Polyhedra_Library::Dirty_Temp<T>::type id = holder_ ## id.item()
#endif // !defined(PPL_Temp_inlines_hh)