gimplify: Don't add GIMPLE_ASSUME if errors were seen [PR107369]

gimplify: Don't add GIMPLE_ASSUME if errors were seen [PR107369]

The FEs emit errors about jumps into assume attribute conditions,
but when we add GIMPLE_ASSUME for the condition which is reachable
through those jumps, we can run into cfg verification diagnostics.

Fixed by throwing the IFN_ASSUME away during gimplification if
seen_error () - like we already do for -O0.  GIMPLE_ASSUME in the middle-end
is a pure optimization thing and if errors were reported, the optimizations
will not be beneficial for anything.

2022-10-25  Jakub Jelinek  <jakub@redhat.com>

	PR tree-optimization/107369
	* gimplify.cc (gimplify_call_expr): If seen_error, handle complex
	IFN_ASSUME the same as for -O0.

	* gcc.dg/attr-assume-4.c: New test.
	* g++.dg/cpp23/attr-assume8.C: New test.