]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0cda8a7) | patch
c++: share code between [[assert]] and contracts
authorJason Merrill <jason@redhat.com>
Fri, 21 Oct 2022 14:48:15 +0000 (10:48 -0400)
committerJason Merrill <jason@redhat.com>
Wed, 26 Oct 2022 21:00:24 +0000 (17:00 -0400)
commitd7cb97b26da508121906038465609b6437121461
treed316382756d39a1a6c0d73dd5e866057ee5da27etree
parent0cda8a7e8366ac1817030cf824c8bfd6e27d9780commit | diff
c++: share code between [[assert]] and contracts

gcc/cp/ChangeLog:

* constexpr.cc (cxx_eval_assert): Factor out from...
(cxx_eval_internal_function): ...here.
(cxx_eval_constant_expression): Also use it for contracts.
* contracts.cc (build_contract_check): Use build_assume_call.
gcc/cp/constexpr.cc diff | blob | blame | history
gcc/cp/contracts.cc diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git