gimplify: Call gimple_boolify on IFN_ASSUME argument [PR107368]

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  <jakub@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.