[LLVMdev] Adding a halting function attribute?
John Regehr
regehr at cs.utah.edu
Sun May 2 09:32:24 PDT 2010
> On reflection, perhaps this isn't so bad. This really only matters when
> the compiler is able to infer readnone/readonly, which typically doesn't
> include cases with indirect calls. Per #2, I think it could be handled
> by making the GCC-style pure/const attributes imply both
> readonly/readnone *and* halting.
This sounds right to me.
John
More information about the llvm-dev
mailing list