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

[Gábor Horváth via Phabricator via cfe-commits]

xazax.hun added a comment.

You cannot always have constant bounds. E.g. a dynamically allocated array size might depend on a variable.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D73536