[cfe-dev] Static Checker: getting svals for a struct field value
McDowell, Raymond C. via cfe-dev
cfe-dev at lists.llvm.org
Tue Jun 21 09:21:38 PDT 2016
Thanks, Artem!
My approach worked fine until I tried analyzing code that accessed the buffer in a return statement. In that situation, for some reason I do not understand, the values of the buffer fields would disappear from the store. However, your approach still works then.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20160621/8a538753/attachment.html>
More information about the cfe-dev
mailing list