<div dir="ltr">For future references.<br><br>In that particular case it will be enough to check if Call has declaration<br><br>Call.getDecl()<br><br>and throw an error only if there is no declaration.<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Mar 8, 2016 at 7:26 PM, Alexander Smirnov <span dir="ltr"><<a href="mailto:alexander@smirn0v.ru" target="_blank">alexander@smirn0v.ru</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">As far as I understand I should extend existing NullabilityChecker and use propagated 'nullability' attribute. Seems to be the only way to understand probability that the block is null.<div><br></div><div>Still will be happy to get your thoughts on this.</div></div><div class="HOEnZb"><div class="h5"><div class="gmail_extra"><br><div class="gmail_quote">On Sun, Mar 6, 2016 at 11:50 PM, Alexander Smirnov <span dir="ltr"><<a href="mailto:alexander@smirn0v.ru" target="_blank">alexander@smirn0v.ru</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Hello,<br><br>I'm trying to add ObjC clang analyzer checker to check if called block is non null.<br><br>I thought that at some ProgramState SVal for the called block will be constrained to null and that's all I need to check.<br><br>I was naive.<br><br>Here is code of the checker: <a href="http://pastebin.com/raw/dcE12ayk" target="_blank">http://pastebin.com/raw/dcE12ayk</a><br>But it reports error even for simple code like:<br><br>void(^bl)(void) = ^{}; <br>bl();<br><br><div>That's caused by the fact that for my checker SVal for "bl" is "underconstrained".</div><div><br></div><div>Could please someone lead me on the right examples from current checkers? Or explain, what am I doing wrong ?</div></div>
</blockquote></div><br></div>
</div></div></blockquote></div><br></div>