Replace any_of check with a check on the expression type.

NlightNFotis · NlightNFotis · commit b75e06cf7a0e · 2022-05-20T10:41:58.000+01:00
diff --git a/src/solvers/smt2_incremental/convert_expr_to_smt.cpp b/src/solvers/smt2_incremental/convert_expr_to_smt.cpp
@@ -598,11 +598,7 @@ static smt_termt convert_expr_to_smt(
     return convert_multiary_operator_to_terms(
       plus, converted, smt_bit_vector_theoryt::add);
   }
-  else if(std::any_of(
-            plus.operands().cbegin(),
-            plus.operands().cend(),
-            [](exprt operand)
-            { return can_cast_type<pointer_typet>(operand.type()); }))
+  else if(can_cast_type<pointer_typet>(plus.type()))
   {
     INVARIANT(
       plus.operands().size() == 2,

Original file line number	Diff line number	Diff line change
`@@ -598,11 +598,7 @@ static smt_termt convert_expr_to_smt(`
`598`	`598`	`return convert_multiary_operator_to_terms(`
`599`	`599`	`plus, converted, smt_bit_vector_theoryt::add);`
`600`	`600`	`}`
`601`		`- else if(std::any_of(`
`602`		`- plus.operands().cbegin(),`
`603`		`- plus.operands().cend(),`
`604`		`- [](exprt operand)`
`605`		`- { return can_cast_type<pointer_typet>(operand.type()); }))`
	`601`	`+ else if(can_cast_type<pointer_typet>(plus.type()))`
`606`	`602`	`{`
`607`	`603`	`INVARIANT(`
`608`	`604`	`plus.operands().size() == 2,`