[llvm] [CaptureTracking] Remove dereferenceable_or_null special case (PR #135613)

[Nikita Popov via llvm-commits]

================
@@ -741,7 +741,7 @@ define i1 @nocaptureInboundsGEPICmpRev(ptr %x) {
 define i1 @nocaptureDereferenceableOrNullICmp(ptr dereferenceable_or_null(4) %x) {
 ; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
 ; CHECK-LABEL: define {{[^@]+}}@nocaptureDereferenceableOrNullICmp
-; CHECK-SAME: (ptr nofree noundef readnone captures(none) dereferenceable_or_null(4) [[X:%.*]]) #[[ATTR0]] {
+; CHECK-SAME: (ptr nofree noundef readnone dereferenceable_or_null(4) [[X:%.*]]) #[[ATTR0]] {
----------------
nikic wrote:

Attributor results are currently not optimal because it just generally doesn't support `captures`, tracked in https://github.com/llvm/llvm-project/issues/135610.

https://github.com/llvm/llvm-project/pull/135613