[cfe-dev] [Clang Static Analyzer] CheckDeadSymbol Callback not received

[Karthik Bhat]

Hi,
I'm working with SimpleStreamChecker (3.2 Version).

For a code like -

void dummyClose(FILE* fp) {
  return;
}

int main() {
 FILE* fp = fopen("myfile","w");
 dummyClose(fp);
 return 0;
}

i'm unable to get checkDeadSymbol callback when symbol corresponding to
FILE* fp dies.

Could anyone please let me know if something is going wrong?

I'm running  clang++ -cc1 -analyze
-analyzer-checker=alpha.unix.SimpleStream test.cpp

Thanks and Regards
Karthik
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20130618/62d0ce1b/attachment.html>