Construct if_exprt in a non-deprecated way

The default constructor is deprecated.

Author: tautschnig

src/ansi-c/c_typecheck_expr.cpp

@@ -1696,10 +1696,7 @@ void c_typecheck_baset::typecheck_side_effect_gcc_conditional_expression(
 
   // use typechecking code for "if"
 
-  if_exprt if_expr;
-  if_expr.cond()=operands[0];
-  if_expr.true_case()=operands[0];
-  if_expr.false_case()=operands[1];
+  if_exprt if_expr(operands[0], operands[0], operands[1]);
   if_expr.add_source_location()=expr.source_location();
 
   typecheck_expr_trinary(if_expr);

src/goto-programs/goto_clean_expr.cpp

@@ -504,12 +504,7 @@ void goto_convertt::remove_gcc_conditional_expression(
   clean_expr(expr.op0(), dest, mode);
 
   // now we can copy op0 safely
-  if_exprt if_expr;
-
-  if_expr.cond()=expr.op0();
-  if_expr.true_case()=expr.op0();
-  if_expr.false_case()=expr.op1();
-  if_expr.type()=expr.type();
+  if_exprt if_expr(expr.op0(), expr.op0(), expr.op1(), expr.type());
   if_expr.add_source_location()=expr.source_location();
 
   if(if_expr.cond().type()!=bool_typet())

src/goto-symex/symex_assign.cpp

@@ -223,11 +223,7 @@ void goto_symext::symex_assign_symbol(
   // put assignment guard into the rhs
   if(!guard.is_true())
   {
-    if_exprt tmp_ssa_rhs;
-    tmp_ssa_rhs.type()=ssa_rhs.type();
-    tmp_ssa_rhs.cond()=guard.as_expr();
-    tmp_ssa_rhs.true_case()=ssa_rhs;
-    tmp_ssa_rhs.false_case()=lhs;
+    if_exprt tmp_ssa_rhs(guard.as_expr(), ssa_rhs, lhs, ssa_rhs.type());
     tmp_ssa_rhs.swap(ssa_rhs);
   }
 

src/util/expr_util.cpp

@@ -205,12 +205,8 @@ if_exprt lift_if(const exprt &src, std::size_t operand_number)
   const exprt true_case=if_expr.true_case();
   const exprt false_case=if_expr.false_case();
 
-  if_exprt result;
-  result.cond()=if_expr.cond();
-  result.type()=src.type();
-  result.true_case()=src;
+  if_exprt result(if_expr.cond(), src, src);
   result.true_case().operands()[operand_number]=true_case;
-  result.false_case()=src;
   result.false_case().operands()[operand_number]=false_case;
 
   return result;