commit ea63396f6b08f88f1cde827e6cab94cd488f7fa7
author Jeff Chapman II <jchapman@lock3software.com> Thu Nov 03 15:47:19 2022 -0400
committer Jason Merrill <jason@redhat.com> Fri Nov 18 21:40:29 2022 -0500
tree ce183d1127e1f26aea84d5d6092e00648c4a77d2
parent a7aef0a5a2b7e20048275a29bd80674c1a061a24

libstdc++: add experimental Contracts support

This patch adds the library support for the experimental C++ Contracts
implementation.  This now consists only of a default definition of the
violation handler, which users can override through defining their own
version.  To avoid ABI stability problems with libstdc++.so this is added to
a separate -lstdc++exp static library, which the driver knows to add when it
sees -fcontracts.

Co-authored-by: Andrew Marmaduke <amarmaduke@lock3software.com>
Co-authored-by: Jason Merrill  <jason@redhat.com>

libstdc++-v3/ChangeLog:

	* acinclude.m4 (glibcxx_SUBDIRS): Add src/experimental.
	* include/Makefile.am (experimental_headers): Add contract.
	* include/Makefile.in: Regenerate.
	* src/Makefile.am (SUBDIRS): Add experimental.
	* src/Makefile.in: Regenerate.
	* configure: Regenerate.
	* src/experimental/contract.cc: New file.
	* src/experimental/Makefile.am: New file.
	* src/experimental/Makefile.in: New file.
	* include/experimental/contract: New file.