[LLVMdev] readonly and infinite loops

[Sanjoy Das]

On Sat, Jun 27, 2015 at 2:46 PM, Daniel Berlin <dberlin at dberlin.org> wrote:
> In C, dunno, but in LLVM, it means  they aren't readonly :)

In that case, -functionattrs needs to be fixed:

define void @infloop() {
 entry:
  br label %l

 l:
  br label %l
}

== opt -functionattrs ==>

; Function Attrs: readnone
define void @infloop() #0 {
entry:
  br label %l

l:                                                ; preds = %l, %entry
  br label %l
}

attributes #0 = { readnone }


-- Sanjoy