[petsc-dev] Clang Analyzer

[Lisandro Dalcin]

On 13 April 2015 at 01:20, Barry Smith <bsmith at mcs.anl.gov> wrote:
>
>   Lisandro,
>
>    More code analysis is always good. We'll figure something out for this particular beast. Note that petscsys.h already uses #if defined(__has_attribute) so maybe we can use
>
> #if defined(__has_attribute)
> #  if __has_attribute(analyzer_noreturn)
>
>    instead of the #ifdef __clang_analyzer__?
>
> Barry
>
> Of course I couldn't resist playing with the code analyzer on PETSc as soon as I got your email :-)
>

https://bitbucket.org/petsc/petsc/branch/dalcinl/clang-analyzer



-- 
Lisandro Dalcin
============
Research Scientist
Computer, Electrical and Mathematical Sciences & Engineering (CEMSE)
Numerical Porous Media Center (NumPor)
King Abdullah University of Science and Technology (KAUST)
http://numpor.kaust.edu.sa/

4700 King Abdullah University of Science and Technology
al-Khawarizmi Bldg (Bldg 1), Office # 4332
Thuwal 23955-6900, Kingdom of Saudi Arabia
http://www.kaust.edu.sa

Office Phone: +966 12 808-0459