David Bolvansky a7e59d5958 Annotate return values of allocation functions with dereferenceable_or_null ...

Summary:
Example
define dso_local noalias i8* @_Z6maixxnv() local_unnamed_addr #0 {
entry:
  %call = tail call noalias dereferenceable_or_null(64) i8* @malloc(i64 64) #6
  ret i8* %call
}


Reviewers: jdoerfert

Reviewed By: jdoerfert

Subscribers: aaron.ballman, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D66651

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@370168 91177308-0d34-0410-b5e6-96231b3b80d8

2019-08-28 08:28:20 +00:00

..

llvm

Annotate return values of allocation functions with dereferenceable_or_null

2019-08-28 08:28:20 +00:00

llvm-c

Revert "Expose TailCallKind via the LLVM C API"

2019-08-15 03:49:51 +00:00