https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125904
--- Comment #2 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Ville Voutilainen <[email protected]>: https://gcc.gnu.org/g:f9d1e2285ac37051915437ba461ac4987588e7ab commit r17-2567-gf9d1e2285ac37051915437ba461ac4987588e7ab Author: Ville Voutilainen <[email protected]> Date: Sun Jul 5 18:07:07 2026 +0300 c++: Make contract assertions have side effects [PR125904] gcc/cp/ChangeLog: PR c++/125904 * contracts.cc (build_contract_check): Set TREE_SIDE_EFFECTS. gcc/testsuite/ChangeLog: PR c++/125904 * g++.dg/contracts/cpp26/pr125904.C: New test.
