On 5/24/23 15:21, Lénárd Szolnoki via Std-Proposals wrote:
> Hi,
>
> On 24 May 2023 14:07:28 BST, Federico Kircheis via Std-Proposals <std-proposals_at_[hidden]> wrote:
>> On Wed, May 24, 2023 at 03:02:56PM +0200, Alejandro Colomar via Std-Proposals wrote:
>>> On 5/24/23 14:57, LUCE Jean-Sébastien via Std-Proposals wrote:
>>>> Hello
>>>>
>>>> It is often useful to support multiple cancel conditions, like 'return' in
>>>> a function, but without having to isolate the code in such a function
>>>> (which is called from a single point).
>>>>
>>>> I'm used to write code like
>>>>
>>>> "
>>>> do {
>>>> if (Failed(Condition0))
>>>> break;
>>>> if (Failed(Condition1))
>>>> break;
>>>> Code_to_execute;
>>>> } while (0);
>>>> "
>>>
>>> The keyword exists, with a lovely name: goto
>>>
>>> ```c
>>> if (failed(foo))
>>> goto x;
>>> if (failed(bar))
>>> goto x;
>>>
>>> baz();
>>> x:
>>> ```
>>>
>>>
>>>
>>> [...]
>>>
>>
>> Unfortunately it cannot be used in constexpr functions, maybe it is a good time to lift that restriction...
>
> Absolutely agree, I just bumped into this. I went with the do {... break; ...} while(false) workaround.
>
> Is this hard to implement?

Don't know if it's hard, but GCC-12 has implemented it (possibly
before 12, I don't know):

$ cat goto.c++
constexpr int
foo(int x)
{
 if (x >= 3) return x;
inc:
 x++;
 if (x < 3)
  goto inc;

 return x;
}
$ g++ -Wall -Wextra -std=c++2b -c goto.c++
$

>
> Cheers,
> Lénárd