On 03/28/2016 06:04 PM, Martin Sebor wrote:
+ && compare_tree_int (arg1, 0) == 0)
This can be integer_zerop.
+ case GE_EXPR: + case EQ_EXPR: + case LE_EXPR: + return boolean_false_node; + case GT_EXPR: + case LT_EXPR: + case NE_EXPR: + return boolean_true_node;
EQ and NE make sense, but I would expect both > and >= to be true, < and <= to be false.
Are we confident that arr[0] won't make it here as POINTER_PLUS_EXPR or some such?
Jason
