Re: [PATCH RFA] libstdc++: add experimental Contracts support

2022-11-19 Thread Jonathan Wakely via Gcc-patches
On Sat, 19 Nov 2022 at 02:40, Jason Merrill wrote: > > Thanks, this is what I'm pushing: > Great. I wonder if we should move the contents of libstdc++fs.a and libstdc++_libbacktrace.a into libstdc++exp.a and make the former libraries into linker scripts that point to libstdc++exp.a It would

Re: [PATCH RFA] libstdc++: add experimental Contracts support

2022-11-18 Thread Jason Merrill via Gcc-patches
On 11/18/22 13:17, Jonathan Wakely wrote: On 03/11/22 15:57 -0400, Jason Merrill wrote: Tested x86_64-pc-linux-gnu.  OK for trunk? -- >8 -- This patch adds the library support for the experimental C++ Contracts implementation.  This now consists only of a default definition of the violation

Re: [PATCH RFA] libstdc++: add experimental Contracts support

2022-11-18 Thread Jonathan Wakely via Gcc-patches
On 03/11/22 15:57 -0400, Jason Merrill wrote: Tested x86_64-pc-linux-gnu. OK for trunk? -- >8 -- 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

[PATCH RFA] libstdc++: add experimental Contracts support

2022-11-03 Thread Jason Merrill via Gcc-patches
Tested x86_64-pc-linux-gnu. OK for trunk? -- >8 -- 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