https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107369
--- 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:7d888535f7ab80e9b08a633bfd774a923b311cde commit r13-3478-g7d888535f7ab80e9b08a633bfd774a923b311cde Author: Jakub Jelinek <ja...@redhat.com> Date: Tue Oct 25 10:39:20 2022 +0200 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 <ja...@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.
