[Bug c++/113968] ICE: in create_tmp_var, at gimple-expr.cc:488 with -fcontracts and invalid member in contract

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113968

--- Comment #4 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Iain D Sandoe <ia...@gcc.gnu.org>:

https://gcc.gnu.org/g:7f914294fedfe7117712cb802fe93afa3f5e68a8

commit r16-7090-g7f914294fedfe7117712cb802fe93afa3f5e68a8
Author: Iain Sandoe <i...@sandoe.co.uk>
Date:   Sun Oct 19 15:49:31 2025 +0100

    c++, contracts: Add tests for C++26 contracts.

    This adds in a set of tests for the C++26 contracts, and also ensures that
    cases that previously failed with attribute syntax continue to work as
    expected with the revised C++26 syntax.

            PR c++/113968
            PR c++/110871
            PR c++/110872

    gcc/testsuite/ChangeLog:

            * g++.dg/contracts/cpp26/BZ121936-workaround-noipa.C: New test.
            * g++.dg/contracts/cpp26/assertion-statement-errors.C: New test.
            * g++.dg/contracts/cpp26/assertion-statement.C: New test.
            * g++.dg/contracts/cpp26/basic.contract.eval.p11-observe.C: New
test.
            * g++.dg/contracts/cpp26/basic.contract.eval.p14.C: New test.
            * g++.dg/contracts/cpp26/basic.contract.eval.p17-2.C: New test.
            * g++.dg/contracts/cpp26/basic.contract.eval.p17-3.C: New test.
            * g++.dg/contracts/cpp26/basic.contract.eval.p17-4.C: New test.
            * g++.dg/contracts/cpp26/basic.contract.eval.p17-5.C: New test.
            * g++.dg/contracts/cpp26/basic.contract.eval.p17-SMF-post.C: New
test.
            * g++.dg/contracts/cpp26/basic.contract.eval.p17-SMF-pre.C: New
test.
            * g++.dg/contracts/cpp26/basic.contract.eval.p17-SMF2.C: New test.
            * g++.dg/contracts/cpp26/basic.contract.eval.p17-SMF3.C: New test.
            * g++.dg/contracts/cpp26/basic.contract.eval.p17-SMF4.C: New test.
            * g++.dg/contracts/cpp26/basic.contract.eval.p17.C: New test.
            * g++.dg/contracts/cpp26/basic.contract.eval.p4-error.C: New test.
            * g++.dg/contracts/cpp26/basic.contract.eval.p4.C: New test.
            * g++.dg/contracts/cpp26/basic.contract.eval.p6.C: New test.
            * g++.dg/contracts/cpp26/basic.contract.eval.p6.observe.C: New
test.
            * g++.dg/contracts/cpp26/basic.scope.contract.p1.C: New test.
            * g++.dg/contracts/cpp26/basic.scope.contract.p2.1.C: New test.
            * g++.dg/contracts/cpp26/contract-assert-run.C: New test.
            * g++.dg/contracts/cpp26/contract-assert-warn-attributes.C: New
test.
            * g++.dg/contracts/cpp26/contract-violation-noexcept.C: New test.
            * g++.dg/contracts/cpp26/contract-violation-noexcept2.C: New test.
            * g++.dg/contracts/cpp26/contract_genericize.C: New test.
            * g++.dg/contracts/cpp26/contracts-friend1.C: New test.
            * g++.dg/contracts/cpp26/contracts-nested-class1.C: New test.
            * g++.dg/contracts/cpp26/contracts-nested-class2.C: New test.
            * g++.dg/contracts/cpp26/contracts-tmpl-spec2.C: New test.
            * g++.dg/contracts/cpp26/dcl.contract.func.p4.C: New test.
            * g++.dg/contracts/cpp26/dcl.contract.func.p6.C: New test.
            * g++.dg/contracts/cpp26/dcl.contract.res.p1-NT.C: New test.
            * g++.dg/contracts/cpp26/dcl.contract.res.p1.C: New test.
            * g++.dg/contracts/cpp26/dcl.contract.res.p2.C: New test.
            * g++.dg/contracts/cpp26/debug-and-opt.C: New test.
            * g++.dg/contracts/cpp26/deferred1.C: New test.
            * g++.dg/contracts/cpp26/dependent_contract.C: New test.
            * g++.dg/contracts/cpp26/empty-nt-param.C: New test.
            * g++.dg/contracts/cpp26/function-contract-specifier-seq-error.C:
New test.
            * g++.dg/contracts/cpp26/function-contract-specifier-seq.C: New
test.
            * g++.dg/contracts/cpp26/lambda.C: New test.
            * g++.dg/contracts/cpp26/name_mangling.C: New test.
            * g++.dg/contracts/cpp26/over.call.func.p3.1.C: New test.
            * g++.dg/contracts/cpp26/pr113968.C: New test.
            * g++.dg/contracts/cpp26/src-loc-0.C: New test.
            * g++.dg/contracts/cpp26/src-loc-1.C: New test.
            * g++.dg/contracts/cpp26/src-loc-2.C: New test.
            * g++.dg/contracts/cpp26/throwing-violation-handler.cc: New test.
            * g++.dg/contracts/cpp26/unused_warning.C: New test.
            * g++.dg/contracts/cpp26/vaargs.C: New test.
            * g++.dg/contracts/cpp2a/check-err.C: New test.
            * g++.dg/coroutines/pr110871.C: New test.
            * g++.dg/coroutines/pr110872.C: New test.
            * g++.dg/contracts/cpp26/basic.contract.eval.p8.C: New test.
            * g++.dg/contracts/cpp26/dcl.contract.func.p7.C: New test.
            * g++.dg/contracts/cpp26/dcl.contract.res.p1-2.C: New test.
            * g++.dg/contracts/cpp26/expr.prim.id.unqual.p7-2.C: New test.
            * g++.dg/contracts/cpp26/expr.prim.id.unqual.p7.C: New test.
            * g++.dg/contracts/cpp26/basic.contract.eval.p7.3.C: New test.
            * g++.dg/contracts/cpp26/intro.compliance.general.p2.3.4.C: New
test.

    Co-Authored-by: Nina Ranns <dinka.ra...@gmail.com>
    Co-Authored-by: Ville Voutilainen <ville.voutilai...@gmail.com>
    Signed-off-by: Iain Sandoe <i...@sandoe.co.uk>