# RUN: not llc -run-pass none -o /dev/null %s 2>&1 | FileCheck %s

--- |

  define i32 @foo() {
  entry:
    ret i32 0
  }

...
---
name:            foo
body: |
  ; CHECK: [[@LINE+1]]:13: expected ':'
  bb.0.entry
...