[cfe-dev] Static analyzer: possible memory leak false positive?
lists at eitanadler.com
Fri Sep 28 10:32:37 PDT 2012
On 28 September 2012 07:37, Tijl Coosemans <tijl at coosemans.org> wrote:
> - Have the analyzer treat return from main like it treats a call to exit(),
> at least by default (technically main could be called from another
This is my preference. Having a default on tunable that treaks main()
> - Have an analyzer_free() function which acts like free to the analyzer
> but is a no-op to the compiler. The experimental malloc checker supports
I would very much prefer not this option. It requires special annotation for the
analyzer to work correctly. csa has been very good about avoiding this
> - Declare mntbuf static which tells the analyzer the memory is allowed to
> persist for the lifetime of the process.
This seems more of a workaround for an analyzer bug than a solution in
the general case.
More information about the cfe-dev