[PPL-devel] [GIT] ppl/ppl(master): Enabled CC76_narrowing_assign for Boxes.

[Patricia Hill]

Module: ppl/ppl
Branch: master
Commit: b459380ce0ca5721c8dad52e72b4cb4e407450a9
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b459380ce0ca5721c8dad52e72b4cb4e407450a9

Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Mon Feb 13 15:19:25 2012 +0000

Enabled CC76_narrowing_assign for Boxes.

---

 interfaces/ppl_interface_generator_common_dat.m4   |    4 +++-
 ...erface_generator_common_procedure_generators.m4 |    2 +-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/interfaces/ppl_interface_generator_common_dat.m4 b/interfaces/ppl_interface_generator_common_dat.m4
index 8f37632..17b6a63 100644
--- a/interfaces/ppl_interface_generator_common_dat.m4
+++ b/interfaces/ppl_interface_generator_common_dat.m4
@@ -706,7 +706,9 @@ m4_define(`m4_extrapolation_replacements', `NONE')
 m4_define(`m4_BD_Shape_extrapolation_replacements',
   `CC76')
 m4_define(`m4_Octagonal_Shape_extrapolation_replacements',
-   `CC76')
+  `CC76')
+m4_define(`m4_box_extrapolation_replacements',
+  `CC76')
 
 dnl ---------------------------------------------------------------------
 dnl pattern == widenexp
diff --git a/interfaces/ppl_interface_generator_common_procedure_generators.m4 b/interfaces/ppl_interface_generator_common_procedure_generators.m4
index 7477af9..ead5e2c 100644
--- a/interfaces/ppl_interface_generator_common_procedure_generators.m4
+++ b/interfaces/ppl_interface_generator_common_procedure_generators.m4
@@ -111,7 +111,7 @@ ppl_ at CLASS@_ at LIMITEDBOUNDED@_ at WIDENEXPN@_extrapolation_assign_with_tokens/5 +sim
 ppl_ at CLASS@_ at LIMITEDBOUNDED@_ at WIDENEXPN@_extrapolation_assign/3 *nofail +simple,
 ppl_ at CLASS@_ at EXTRAPOLATION@_extrapolation_assign_with_tokens/4 +wr_shape,
 ppl_ at CLASS@_ at EXTRAPOLATION@_extrapolation_assign/2 *nofail +wr_shape,
-ppl_ at CLASS@_ at EXTRAPOLATION@_narrowing_assign/2 +wr_shape,
+ppl_ at CLASS@_ at EXTRAPOLATION@_narrowing_assign/2 +shape_group,
 dnl
 dnl NOTE: The next few schemas provide procedures specifically for
 dnl       the pointset_powerset domains.