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

Author: Patricia Hill p.m.hill@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_@CLASS@_@LIMITEDBOUNDED@_@WIDENEXPN@_extrapolation_assign_with_tokens/5 +sim ppl_@CLASS@_@LIMITEDBOUNDED@_@WIDENEXPN@_extrapolation_assign/3 *nofail +simple, ppl_@CLASS@_@EXTRAPOLATION@_extrapolation_assign_with_tokens/4 +wr_shape, ppl_@CLASS@_@EXTRAPOLATION@_extrapolation_assign/2 *nofail +wr_shape, -ppl_@CLASS@_@EXTRAPOLATION@_narrowing_assign/2 +wr_shape, +ppl_@CLASS@_@EXTRAPOLATION@_narrowing_assign/2 +shape_group, dnl dnl NOTE: The next few schemas provide procedures specifically for dnl the pointset_powerset domains.