If we have Type object, can we construct an SVal for the size of that type, i.e., for the value we'd get by evaluating sizeof(type)? -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20160509/99b62127/attachment.html>