[PATCH] D144319: [SimplifyCFG] Check if the return instruction causes undefined behavior

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

xbolva00 added inline comments.


================
Comment at: llvm/lib/Transforms/Utils/SimplifyCFG.cpp:7135
+        return true;
+      // Return null to a nonnnull return value is undefined.
+      if (C->isNullValue() &&
----------------
xbolva00 wrote:
> if the result value is not used - is it?
> 
> check line 7172, it requires nonnnull+noundef for similar case.
(please ignore, was in draft)


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D144319