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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
