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

Wed Jun 8 08:46:50 PDT 2022

steakhal added a comment.

In D127306#3566761 <https://reviews.llvm.org/D127306#3566761>, @martong wrote:

>> 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?

I see your point, but I don't think we should delay D124244 <https://reviews.llvm.org/D124244> because of that. By landing this, we could also land that. And the change you propose might take significantly longer to make and verify.
I could make some prototypes, but I'm not making promises.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D127306