[PATCH] D73536: [analyzer][taint] Remove taint from symbolic expressions if used in comparisons

Kristóf Umann via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed Feb 5 06:09:01 PST 2020


Szelethus added a comment.

I think its very good that this conversation came up, and it might just happen that we'll end up removing some taint when we have a better understanding of how this works. For now, I think we can put this aside :)


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D73536





More information about the cfe-commits mailing list