https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107368
--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Jakub Jelinek <ja...@gcc.gnu.org>: https://gcc.gnu.org/g:44e18da4d9c5faf189fe876986927be12ae4e4c4 commit r13-3481-g44e18da4d9c5faf189fe876986927be12ae4e4c4 Author: Jakub Jelinek <ja...@redhat.com> Date: Tue Oct 25 10:42:59 2022 +0200 gimplify: Call gimple_boolify on IFN_ASSUME argument [PR107368] The following testcase ICEs in C, because assume attribute condition has int type rather than bool and the gimplification into GIMPLE_ASSUME assigns it into a bool variable. Fixed by calling gimple_boolify. 2022-10-25 Jakub Jelinek <ja...@redhat.com> PR tree-optimization/107368 * gimplify.cc (gimplify_call_expr): For complex IFN_ASSUME conditions call gimple_boolify on the condition. * gcc.dg/attr-assume-5.c: New test.
