[PATCH] D127306: [analyzer] Treat system globals as mutable if they are not const

[Gabor Marton via Phabricator via cfe-commits]

martong added a comment.

> In theory, the engine should propagate taint in default eval call. If that would be the case, we would still have this report.

How complex would it be to add the taint propagation to the engine/evalCall? Do you see that feasible as a parent patch of this?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D127306