https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119903
--- Comment #5 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The trunk branch has been updated by Andrew Pinski <pins...@gcc.gnu.org>: https://gcc.gnu.org/g:4c40e3d7b9152f40e5a3d35060b6822ddc743624 commit r16-241-g4c40e3d7b9152f40e5a3d35060b6822ddc743624 Author: Andrew Pinski <quic_apin...@quicinc.com> Date: Thu Apr 24 09:45:16 2025 -0700 gimple-verifier: Add check that comparison in GIMPLE_COND does not throw While working on PR 119903, I noticed that there is code in replace_stmt_with_simplification which makes sure that the comparison of a GIMPLE_COND does not throw (non-call exceptions and trapping math) but the gimple verifier does not verify this. So let's add it. Bootstrapped and tested on x86_64-linux-gnu. gcc/ChangeLog: * tree-cfg.cc (verify_gimple_cond): Error out if the comparison throws. Signed-off-by: Andrew Pinski <quic_apin...@quicinc.com>
