; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s

target datalayout = "p:64:64"

; This would crash - PR50836

define i64 @strlen(i32* %s) {
; CHECK-LABEL: @strlen(
; CHECK-NEXT:    [[R:%.*]] = call i64 @strlen(i32* noundef nonnull dereferenceable(1) [[S:%.*]])
; CHECK-NEXT:    ret i64 0
;
  %r = call i64 @strlen(i32* %s)
  ret i64 0
}