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

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit d914652168904a15e5e2cabee562b181ace43f54
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Tue Oct 5 18:49:57 2010 +0200

    Add 0011-Fix-some-minor-memory-leaks.patch

diff --git a/debian/changelog b/debian/changelog
index 9ee50b2..28698b5 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,12 @@
-frama-c (20100401+boron+dfsg-5) UNRELEASED; urgency=low
+frama-c (20100401+boron+dfsg-5) unstable; urgency=low
 
+  [ Stéphane Glondu ]
   * Fix versioned build-deps to ensure smoother backports
 
- -- Stéphane Glondu <glondu at debian.org>  Wed, 21 Jul 2010 10:55:50 +0200
+  [ Mehdi Dogguy ]
+  * Add 0011-Fix-some-minor-memory-leaks.patch
+
+ -- Mehdi Dogguy <mehdi at debian.org>  Tue, 05 Oct 2010 18:49:13 +0200
 
 frama-c (20100401+boron+dfsg-4) unstable; urgency=low
 
diff --git a/debian/patches/0011-Fix-some-minor-memory-leaks.patch b/debian/patches/0011-Fix-some-minor-memory-leaks.patch
new file mode 100644
index 0000000..58eb707
--- /dev/null
+++ b/debian/patches/0011-Fix-some-minor-memory-leaks.patch
@@ -0,0 +1,31 @@
+From: Mehdi Dogguy <mehdi at debian.org>
+Date: Tue, 5 Oct 2010 18:48:13 +0200
+Subject: [PATCH] Fix some minor memory leaks
+
+---
+ src/value/kf_state.ml |    4 ++--
+ 1 files changed, 2 insertions(+), 2 deletions(-)
+
+diff --git a/src/value/kf_state.ml b/src/value/kf_state.ml
+index 9cbf245..238ef2c 100644
+--- a/src/value/kf_state.ml
++++ b/src/value/kf_state.ml
+@@ -45,7 +45,7 @@ let is_called =
+        try Value.is_accessible (Kstmt (Kernel_function.find_first_stmt kf))
+        with Kernel_function.No_Statement -> false)
+ 
+-let mark_as_called kf = Is_Called.add kf true
++let mark_as_called kf = Is_Called.replace kf true
+ 
+ (* ************************************************************************* *)
+ (** {2 Callers} *)
+@@ -105,7 +105,7 @@ let never_terminates kf =
+     assert (not (is_called kf));
+     false
+ 
+-let mark_as_terminates kf = Never_Terminates.add kf false
++let mark_as_terminates kf = Never_Terminates.replace kf false
+ 
+ let mark_as_never_terminates kf =
+   let noreturn =
+-- 
diff --git a/debian/patches/series b/debian/patches/series
index dc99a17..353e36f 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -8,3 +8,4 @@
 0008-Fix-ai-ival.ml-filter_ge.patch
 0009-unrollType-in-handle_signed_overflow.patch
 0010-More-spelling-fixes.patch
+0011-Fix-some-minor-memory-leaks.patch

-- 
frama-c packaging