<div dir="ltr">Hi,<div style>I'm working with SimpleStreamChecker (3.2 Version). </div><div style><br></div><div style>For a code like -</div><div style><br></div><div style>void dummyClose(FILE* fp) {</div><div style>
  return;</div><div style>}</div><div style><br></div><div style>int main() {</div><div style> FILE* fp = fopen("myfile","w");<br></div><div style> dummyClose(fp);</div><div style> return 0;</div><div style>
}</div><div style><br></div><div style>i'm unable to get checkDeadSymbol callback when symbol corresponding to FILE* fp dies. </div><div style><br></div><div style>Could anyone please let me know if something is going wrong?</div>
<div style><br></div><div style>I'm running  clang++ -cc1 -analyze -analyzer-checker=alpha.unix.SimpleStream test.cpp</div><div style><br></div><div style>Thanks and Regards</div><div style>Karthik</div></div>