Yepang Liu

@jeremydubreil Interesting, the warning is gone after removing the check `!c.isClosed()`. Why Infer reports a warning if the check is there? Thank you!

@jeremydubreil I also find that if I replace `c.close()` with a method call `closeCursor(c)` (see code below), Infer will report there is a leak. Is Infer's analysis inter-procedural? Thanks! ```...

@jeremydubreil Thanks for the explanation. I tried in an emulator. Nothing will happen if we close the same cursor multiple times. The app won't crash. Maybe the cursor resource is...

@jeremydubreil Any idea why Infer will not report the leak warning for the code snippet 1, but would report the leak warning for the code snippet 2? The only difference...