[PATCH] D35450: [analyzer] Support generating and reasoning over more symbolic constraint types

Anna Zaks via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Mon Aug 28 11:37:13 PDT 2017

zaks.anna added a comment.

> But I've never used the taint tracking mode, so I don't know what would be a reasonable default for MaxComp.

that one is very experimental anyway. I'd just keep the functional changes to tain out of this patch and use the current default that taint uses.


More information about the cfe-commits mailing list