fix crash occuring with a recent libc

src/plugins/e-acsl/doc/Changelog

@@ -15,6 +15,9 @@
 #   E-ACSL: the Whole E-ACSL plug-in
 ###############################################################################
 
+-* E-ACSL       [2015/11/06] Fix a crash occuring when using a recent libc
+	        while GMP headers provided by E-ACSL are used.
+
 ########################
 Plugin E-ACSL 0.5 Sodium
 ########################

src/plugins/e-acsl/dup_functions.ml

@@ -341,7 +341,8 @@ if there are memory-related annotations.@]"
     | Before_gmp -> before_memory_model <- Gmp
     | Gmp | Memory_model -> ()
     | After_gmp -> before_memory_model <- Memory_model
-    | Code -> assert false);
+    | Code -> () (* still processing the GMP and memory model headers,
+                    but reading some libc code *));
     Cil.JustCopy
   | GVarDecl(vi, _) | GFunDecl(_, vi, _) | GFun({ svar = vi }, _)
       when Cil.is_builtin vi ->