Re: [PATCH] PR c++/125904 Make contract assertions have side effects

[Jason Merrill]

On 7/5/26 2:26 PM, Ville Voutilainen wrote:

   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.

Tested on Linux/ppc64le (gcc112), ok for trunk and the 16 branch?

OK.

Jason