[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