; RUN: opt -passes="lint" -S < %s | FileCheck %s

; After 2fe81edef6f0b
;  [NFC][RemoveDIs] Insert instruction using iterators in Transforms/
; this crashed in FindInsertedValue when dereferencing an empty
; optional iterator.
; Just see that it doesn't crash anymore.

; CHECK-LABEL: @test1

%struct = type { i32, i32 }

define void @test1() {
entry:
  %.fca.1.insert = insertvalue %struct zeroinitializer, i32 0, 1
  %0 = extractvalue %struct %.fca.1.insert, 0
  %1 = tail call %struct @foo(i32 %0)
  ret void
}

declare %struct @foo(i32)