Re: [PATCH] c++, contracts: Always regenerate contracts from the current template pattern [PR125712]

On 8/14/26 4:44 PM, Wang Jinghao wrote:
> Bootstrapped/regtested on x86_64-pc-linux-gnu.
> 
> -- >8 --
> 
> `tsubst_function_decl()' associates uninstantiated contracts with a
> function template instantiation.  If an explicit instantiation is
> encountered before a later redeclaration provides the definition,
> those contracts can still refer to PARM_DECLs from the earlier
> declaration.
> 
> Therefore, we should always regererate the contracts from the current
> code_pattern in `regenerate_decl_from_template()' when either DECL
> or pattern has contracts.
> 
> 	PR c++/125712
> 
> gcc/cp/ChangeLog:
> 
> 	* pt.cc (regenerate_decl_from_template): Regenerate contracts
> 	from the current code pattern.
> 
> gcc/testsuite/ChangeLog:
> 
> 	* g++.dg/contracts/cpp26/pr125712.C: New test.

So perhaps specialization1.C

Jason