[cfe-dev] [StaticAnalyzer] How to give hint on path execution

[Paul Bert via cfe-dev]

Hi,

I wrote a checker similar to the  SimpleStreamChecker except that the close
function that moves the state of the stream to released,  takes a second
parameter, a callback, for instance

close(FILE *, mycallback).

When the stream moves to release state, the callback is executed.

The "close" function is defined externally so that the checker cannot
reason on it except using the rules I give it in checkPostCall callback.
How can I make the analyzer  aware that the callback has to be executed
when the state move to release?

Thanks for any help,

Paul
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20170507/12e2dcc8/attachment.html>