; RUN: opt %loadPolly -polly-detect -pass-remarks-missed="polly-detect" -disable-output < %s 2>&1| FileCheck %s

; CHECK: remark: <unknown>:0:0: Irreducible region encountered in control flow.

define void @hoge(ptr %arg)  {
bb1:
  br i1 false, label %bb2, label %bb3

bb2:
  br i1 false, label %bb4, label %bb5

bb4:
  br i1 false, label %bb3, label %bb5

bb5:
  br label %bb6

bb6:
  br label %bb4

bb3:
  ret void
}