[Attributor] Remove dereferenceable_or_null when nonull is present
authorHideto Ueno <uenoku.tokotoko@gmail.com>
Fri, 29 Nov 2019 06:45:07 +0000 (06:45 +0000)
committerHideto Ueno <uenoku.tokotoko@gmail.com>
Fri, 29 Nov 2019 06:45:07 +0000 (06:45 +0000)
commitdfedae50018f321cb2189a95936511b2506e5bce
tree9d4b8330ddcd8544217a06d4989b8514ddd94567
parentb0e979724f2679e4e6f5b824144ea89289bd6d56
[Attributor] Remove dereferenceable_or_null when nonull is present

Summary: This patch prevents the simultaneous presence of `dereferenceable` and `dereferenceable_or_null` attribute

Reviewers: jdoerfert, sstefan1

Reviewed By: jdoerfert

Subscribers: lebedev.ri, hiraditya, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D70789
llvm/lib/Transforms/IPO/Attributor.cpp
llvm/test/Transforms/FunctionAttrs/dereferenceable.ll