[PATCH] D51431: [WIP][IPSCCP] Add lattice value for != constant and propagate nonnull.

[Dávid Bolvanský via Phabricator via llvm-commits]

xbolva00 added a comment.

Does this patch + https://reviews.llvm.org/D50039 optimizes following code?

int l  = strlen(s);
if (!s) <-- remove this condition

  return -1;

return len;


https://reviews.llvm.org/D51431