[PATCH] D83762: [Attributor][WIP] allow multiple branches in followUsesInMBEC

[Shinji Okumura via Phabricator via llvm-commits]

okura added a comment.

I tried to handle the case that we have to initialize states optimistically again and again, but I got stuck.
I probably don't understand the way you expect. 
Could you explain how we should update the states in the following specific case?

  void foo(int a, int b, int c, int *ptr) {
    if (a) {
      if (b)
        *ptr = 1;
      else
        *ptr = 2;
    } else {
      if (c)
        *ptr = 3;
      else
        foo(1, 1, 1, ptr);
    }
  }


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

https://reviews.llvm.org/D83762