[llvm-dev] willreturn

[Jeroen Dobbelaere via llvm-dev]

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