[PATCH] D95815: Restrict hoisting of potentially freed memory

[Philip Reames via Phabricator via llvm-commits]

reames updated this revision to Diff 322524.
reames retitled this revision from "[WIP] Demonstrate correctness problem with deref attributes and free" to "Restrict hoisting of potentially freed memory ".
reames edited the summary of this revision.
reames added a reviewer: jdoerfert.
reames set the repository for this revision to rG LLVM Github Monorepo.
reames added a comment.

Rework of patch description, and candidate fix for issue exposed in first WIP.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D95815

Files:
  llvm/include/llvm/Analysis/MemoryBuiltins.h
  llvm/include/llvm/Analysis/ValueTracking.h
  llvm/lib/Analysis/Loads.cpp
  llvm/lib/Analysis/MemoryBuiltins.cpp
  llvm/lib/Analysis/ValueTracking.cpp
  llvm/lib/Transforms/Scalar/LICM.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D95815.322524.patch
Type: text/x-patch
Size: 8696 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210209/43cb6cca/attachment.bin>