[cfe-dev] Weak function pointers (was "SymbolRef and SVal confusion")

[Jordan Rose]

Sorry, Richard...I/we have had no time to look at this this week, and next week is WWDC. Hopefully I'll get a chance to open this up again the week after that.

Jordan


On Jun 2, 2013, at 9:29 , Richard <tarka.t.otter at googlemail.com> wrote:

> Hey,
> 
> I have a week or so free between projects, and I thought I would have another shot at getting this weak function static analyzer code into a better shape. How about the attached diff? I tried your suggestion of moving the weak function checking into evalCastFromLoc, which works pretty well in fact, not sure what I was doing before. The interface between the constraint manager and the SValBuilder is a little strange I think, open to suggestions here if you have a simpler idea. Otherwise it is a pretty non intrusive patch which passes the attached test. Let me know what you think. 
> 
> Richard
> 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: weak5.diff
Type: application/octet-stream
Size: 10354 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20130606/648a4d4f/attachment.obj>
-------------- next part --------------
> 
>