llvm dev - Feb 2021 - willreturn

After the '[local] treat calls that may not return as being alive'
patch,  https://reviews.llvm.org/D94106

it seems not to be possible in clang to indicate that a 'C' function or
an 'extern "C"' function will progress.
At least, I did not find an attribute that indicates this. (
__attribute__((const))  is not sufficient)

Is there already a clang attribute to indicate this ?

Thanks,

Jeroen Dobbelaere

I'm confused.

Are you interested in adding `willreturn` to a function via clang?


On 2/17/21 11:05 AM, Jeroen Dobbelaere wrote:
> After the '[local] treat calls that may not return as being alive'
patch,  https://reviews.llvm.org/D94106
>
> it seems not to be possible in clang to indicate that a 'C'
function or an 'extern "C"' function will progress.
> At least, I did not find an attribute that indicates this. (
__attribute__((const))  is not sufficient)
>
> Is there already a clang attribute to indicate this ?
>
> Thanks,
>
> Jeroen Dobbelaere
>