[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20100401+boron+dfsg-3-4-g500c384

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 97ff3373644df6111bb9bb87fae5ba5981231905
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Fri Jul 16 13:32:11 2010 +0200

    Add 0009-unrollType-in-handle_signed_overflow from upstream.

diff --git a/debian/changelog b/debian/changelog
index 2922c57..2fa8cc9 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+frama-c (20100401+boron+dfsg-4) unstable; urgency=low
+
+  * Add 0009-unrollType-in-handle_signed_overflow from upstream.
+
+ -- Mehdi Dogguy <mehdi at debian.org>  Fri, 16 Jul 2010 13:31:46 +0200
+
 frama-c (20100401+boron+dfsg-3) unstable; urgency=low
 
   * Add some patches
diff --git a/debian/patches/0009-unrollType-in-handle_signed_overflow.patch b/debian/patches/0009-unrollType-in-handle_signed_overflow.patch
new file mode 100644
index 0000000..c325555
--- /dev/null
+++ b/debian/patches/0009-unrollType-in-handle_signed_overflow.patch
@@ -0,0 +1,22 @@
+From: Mehdi Dogguy <mehdi at debian.org>
+Date: Fri, 16 Jul 2010 13:30:45 +0200
+Subject: [PATCH] unrollType in handle_signed_overflow
+
+---
+ src/value/eval.ml |    2 +-
+ 1 files changed, 1 insertions(+), 1 deletions(-)
+
+diff --git a/src/value/eval.ml b/src/value/eval.ml
+index f7b5d85..10fe5f9 100644
+--- a/src/value/eval.ml
++++ b/src/value/eval.ml
+@@ -359,7 +359,7 @@ let do_promotion ~with_alarms ~src_typ ~dest_type v =
+   | _, _ -> v
+ 
+ let handle_signed_overflow ~with_alarms syntactic_context typ e interpreted_e =
+-  match typ with
++  match unrollType typ with
+     TInt(kind, _)
+       when Value_parameters.SignedOverflow.get()
+ 	&& isSigned kind ->
+-- 
diff --git a/debian/patches/series b/debian/patches/series
index efb973d..bbaceba 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -6,3 +6,4 @@
 0006-OCamlgraph-1.5-is-compatible.patch
 0007-Fix-cpp-command-arguments.patch
 0008-Fix-ai-ival.ml-filter_ge.patch
+0009-unrollType-in-handle_signed_overflow.patch

-- 
frama-c packaging