[PATCH] D38801: [analyzer] In getSVal() API, disable auto-detection of void type as char type.
Devin Coughlin via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Fri Nov 10 11:21:04 PST 2017
dcoughlin accepted this revision.
dcoughlin added a comment.
This revision is now accepted and ready to land.
In https://reviews.llvm.org/D38801#910524, @NoQ wrote:
> Also the overload between `getSVal(Ex, LC)` and `getSVal(R, Ty)`, when they do completely different things, seems confusing.
Yes! I think we should change this (possibly rename them both?). I think it is a big barrier to entry -- I certainly found it super confusing when first getting started on the analyzer code base.
More information about the cfe-commits