[PATCH] D63067: [Attributor] NoAlias on return values.

[Stefan Stipanovic via Phabricator via llvm-commits]

sstefan1 marked an inline comment as done.
sstefan1 added a comment.

> Why should the return values in nonnull.ll be noalias?

All functions returning pointer never actually capture it, or they return null.  Isn't that enough?



================
Comment at: llvm/lib/Transforms/IPO/Attributor.cpp:707
+    if (F.returnDoesNotAlias()) {
+      indicatePessimisticFixpoint();
+      return;
----------------
jdoerfert wrote:
> Why a pessimistic fixpoint? It should be optimistic, right?
Yes, don't know how it happened.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D63067/new/

https://reviews.llvm.org/D63067