From 38cc60dffcacbbeadd88e51b7d979a4feda4b66c Mon Sep 17 00:00:00 2001
From: Maxime Jacquemin <maxime.jacquemin@cea.fr>
Date: Fri, 22 Feb 2019 16:10:25 +0100
Subject: [PATCH] [Cabs2Cil] Cleaning of locals in dead empty blocks
See the issue #507
---
src/kernel_internals/typing/cabs2cil.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/kernel_internals/typing/cabs2cil.ml b/src/kernel_internals/typing/cabs2cil.ml
index cccda3a9169..5623a49326f 100644
--- a/src/kernel_internals/typing/cabs2cil.ml
+++ b/src/kernel_internals/typing/cabs2cil.ml
@@ -7597,11 +7597,11 @@ and compileCondExp ~ghost ce st sf =
match e.enode with
| Const(CInt64(i,_,_))
when (not (Integer.equal i Integer.zero)) && canDrop sf ->
- clean_up_chunk_locals sf;
+ full_clean_up_chunk_locals sf;
se @@ (st, ghost)
| Const(CInt64(z,_,_))
when (Integer.equal z Integer.zero) && canDrop st ->
- clean_up_chunk_locals st;
+ full_clean_up_chunk_locals st;
se @@ (sf, ghost)
| _ -> (empty @@ (se, ghost)) @@ (ifChunk ~ghost e e.eloc st sf, ghost)
end
--
GitLab