[cfe-dev] CLang Static Analysis -- false positives

Jordy Rose jediknil at belkadan.com
Thu Apr 26 09:54:22 PDT 2012

Sorry, what result are you expecting? There's no problem with the code you've posted. Are you /getting/ a warning that you don't expect?

If you can find something that is definitively a bug, though, it's probably best to file it on our bug tracker at http://llvm.org/bugs/, though checking here to see if it's really a bug (or if it's a known problem) is perfectly okay.


On Apr 26, 2012, at 12:45, Kent Williams wrote:

> I'm using scan-build (aka CLang Static Analysis) to check through ITK
> (http://www.itk.org).
> There is a common 'single exit from function' pattern used several places:
> int
> somefunc()
> {
>  int status = EXIT_SUCCESS;
>  // do a bunch of stuff, and if there's a failure
>  if(failure)
>    {
>    status = EXIT_FAILURE;
>    }
>  return status;
> }
> I tried making a simple test case to flush out this false positive
> error, but I can't seem to trigger it.  Is there some trick to this?
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev

More information about the cfe-dev mailing list