; RUN: opt < %s -instcombine -S | not grep call ; rdar://6880732 declare double @t1(i32) readonly willreturn define void @t2() nounwind { call double @t1(i32 42) ;; dead call even though callee is not nothrow. ret void }