[PATCH] D66461: [CaptureTracker] Comparisons of allocation pointers do not capture

Hal Finkel via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Wed Aug 21 06:37:19 PDT 2019


hfinkel added a comment.

I'm missing something here. If I have two pointers (e.g., returned from malloc), and I compare them so I know they're equal, then I've learned that the pointers are equal -- and, thus, if I know all of the bits of one pointer I now know all of the bits of the other pointer. As a result, I can still reconstruct it later using that information.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D66461





More information about the llvm-commits mailing list