[PATCH] D120133: [instsimplify] Assume storage for byval args doesn't overlap allocas, globals, or other byval args

[Florian Hahn via Phabricator via llvm-commits]

fhahn added inline comments.


================
Comment at: llvm/lib/Analysis/InstructionSimplify.cpp:2654
       Opts.NullIsUnknownSize =
-          NullPointerIsDefined(cast<AllocaInst>(LHS)->getFunction());
+        !CxtI || NullPointerIsDefined(CxtI->getFunction());
       if (getObjectSize(LHS, LHSSize, DL, TLI, Opts) &&
----------------
Could this lead to a regression where `CtxI` is nullptr but `LHS` is an instruction?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D120133