Yeah, you're right. We should think of a way to find entry point, such as processing assure before compiling codes so that compiler can generate entry points.
If the function is not inlined? The optimization will be invaild. Optimizing without inline is the main work of assure.

________________________________
发件人: Std-Proposals <std-proposals-bounces_at_[hidden]> 代表 Simon Schröder via Std-Proposals <std-proposals_at_[hidden]>
发送时间: 2025年6月2日 12:59
收件人: std-proposals_at_[hidden] <std-proposals_at_[hidden]>
抄送: Simon Schröder <dr.simon.schroeder_at_[hidden]>
主题: Re: [std-proposals] 回复: 回复: A Proposal about A New Keyword assure


On Jun 2, 2025, at 6:55 AM, SD SH via Std-Proposals <std-proposals_at_[hidden]> wrote:


  *
Store entry points?

No. Caller just finds the case it need.

How is the caller supposed to know if it does not see the function definition? I would claim this is the common case. Mostly inline functions are visible to the caller and the optimizer does already the right thing as mentioned before.

The function declaration would need a way to specify which assures are valid.