On 08/29/2015 06:14 AM, Markus Trippelsdorf wrote:
+ if (integer_nonzerop (IF_COND (t)) && !RECUR (THEN_CLAUSE (t), any)) + return false; + if (integer_zerop (IF_COND (t)) && !RECUR (ELSE_CLAUSE (t), any)) + return false;
Actually, I think we can remove the IF_STMT code entirely and move the case label to the COND_EXPR case.
Also, please add a comment explaining why we aren't checking SWITCH_STMT_BODY.
Jason