commit 493164dddd8fca98365cbd768e2b057a8263a48d
author Jason Merrill <jason@redhat.com> Mon Jul 05 20:50:58 2021 -0400
committer Jason Merrill <jason@redhat.com> Tue Jul 06 16:42:23 2021 -0400
tree 3ce1bb9bd83720a21de84a19efcf167b39850587
parent a70e678aec8900fff80602afff5eb223c993aa50

c++: contract condition function linkage

Since the .pre/post functions are implementation details, not ABI artifacts,
we should make them internal when possible, including putting them in the
same COMDAT group with a vague linkage guarded function.

gcc/cp/ChangeLog:

	* contracts.cc (build_contract_condition_function): Set linkage.
	* semantics.c (expand_or_defer_fn_1): Call finish_function_contracts
	here.
	* decl.c (finish_function): Not here.
	* decl2.c (comdat_linkage): Add pre/post fns to same comdat group.

gcc/testsuite/ChangeLog:

	* g++.dg/contracts/contracts-comdat1.C: New test.