Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Tell infer to ignore this file, as it reports a spurious memory leak.
This is what it reports: hpy/debug/src/debug_ctx.c:37: error: MEMORY_LEAK memory dynamically allocated by call to `malloc()` at line 25, column 26 is not reachable after line 37, column 5. 35. dctx->_private = info; 36. 37. > debug_ctx_init_fields(dctx, uctx); 38. return 0; 39. } However, it is clear that "info" is stored inside dctx->_private and so still reachable.
- Loading branch information