[LLVMdev] Adding a halting function attribute?

[John Regehr]

> 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