|
From: Ivo R. <iv...@iv...> - 2015-05-13 12:46:07
|
Dear developers, Please could you shed some light on why it is not allowed to return Ity_I1 from a clean helper (CCall). There is an explicit check in ir_defs.c which barfs: "Iex.CCall.retty: cannot return :: Ity_I1" I would like to use the return value from a clean helper as the guard condition for IRStmt_Exit. This requires an IRExpr of type Ity_I1. Thank you for any insights, I. |