
<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div>Hey,</div><div><br></div><div>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. </div><div><br></div><div>Richard</div><div><br></div><div></div></body></html>