[llvm-dev] RFC: New function attribute HasInaccessibleState

[Krzysztof Parzyszek via llvm-dev]

On 12/4/2015 10:48 AM, Vaivaswatha Nagaraj via llvm-dev wrote:
> This point however reminds me to add, functions that transitively call
> functions with HasInaccessibleState must also have the flag set.

That's in practice impossible to guarantee, both by the compiler and by 
the programmer.

-Krzysztof

-- 
Qualcomm Innovation Center, Inc. is a member of Code Aurora Forum, 
hosted by The Linux Foundation