Keep empty ifs when wanted

goblint · Apr 13, 2023 · 87eb50c · 87eb50c
1 parent eb64242
commit 87eb50c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/frontc/cabs2cil.ml b/src/frontc/cabs2cil.ml
@@ -5164,7 +5164,7 @@ and doCondition (isconst: bool) (* If we are in constants, we do our best to
                 (e: A.expression)
                 (st: chunk)
                 (sf: chunk) : chunk =
-  if isEmpty st && isEmpty sf then
+  if (!Cil.removeBranchingOnConstants || isconst) && isEmpty st && isEmpty sf then
     let se,_,_ = doExp isconst e ADrop in se
   else
     compileCondExp isconst (doCondExp isconst e) st sf