Re: [PATCH] gimple-verifier: Add check that comparison in GIMPLE_COND does not throw

On Fri, Apr 25, 2025 at 1:57 AM Andrew Pinski wrote: > > 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

[PATCH] 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_6