[PATCH] D85184: [Attributor][WIP] Deduce noundef attribute

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

One last question. Shouldn't we use `isGuaranteedNotToBeUndefOrPoison` in the initialization on the associated value?
Unsure but this example might be impacted:

  void unknown();
  void bar(int*);
  void foo() {
    int x;
    unknown();
    bar(&x /* <- should be noundef as far as I can tell */);
  }


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

https://reviews.llvm.org/D85184