https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68542
--- Comment #5 from Ilya Enkovich <ienkovich at gcc dot gnu.org> --- Author: ienkovich Date: Mon Jan 18 14:14:35 2016 New Revision: 232518 URL: https://gcc.gnu.org/viewcvs?rev=232518&root=gcc&view=rev Log: gcc/ 2016-01-18 Yuri Rumyantsev <ysrum...@gmail.com> PR middle-end/68542 * fold-const.c (fold_binary_op_with_conditional_arg): Bail out for case of mixind vector and scalar types. (fold_relational_const): Add handling of vector comparison with boolean result. * tree-cfg.c (verify_gimple_comparison): Add argument CODE, allow comparison of vector operands with boolean result for EQ/NE only. (verify_gimple_assign_binary): Adjust call for verify_gimple_comparison. (verify_gimple_cond): Likewise. * tree-vrp.c (extract_code_and_val_from_cond_with_ops): Modify check on valid type of VAL. Modified: trunk/gcc/ChangeLog trunk/gcc/fold-const.c trunk/gcc/tree-cfg.c trunk/gcc/tree-vrp.c