searchsorted allocates unnecessarily for views

[robsmith11]

It should be possible for searchsorted to search a view of an array without allocating.

julia> a = [0]
1-element Array{Int64,1}:
 0

julia> @btime searchsorted($a, 0)
  14.404 ns (0 allocations: 0 bytes)
1:1

julia> @btime searchsorted(view($a,1:1), 0)
  37.277 ns (1 allocation: 48 bytes)
1:1

julia> @btime findfirst(x->x==0, view($a,1:1))
  5.833 ns (0 allocations: 0 bytes)
1

julia> versioninfo()
Julia Version 1.5.0-DEV.645
Commit c3fc36707c (2020-04-18 20:13 UTC)
Platform Info:
  OS: Linux (aarch64-unknown-linux-gnu)
  CPU: unknown
  WORD_SIZE: 64
  LIBM: libopenlibm
  LLVM: libLLVM-9.0.1 (ORCJIT, kryo)

[stev47]

It's the view itself that allocates:

a = [0]
@btime av = view($a, 1:1) # 11.396 ns (1 allocation: 48 bytes)
@btime searchsorted($av, 0) # 10.577 ns (0 allocations: 0 bytes)

Thus a duplicate of #14955. Only in a few select cases the compiler is able to optimize the view away.

[robsmith11]

Ah, I see. Thanks.